赛灵思
直播中

陈逸群

8年用户 168经验值
私信 关注
[问答]

确定给定网络的逻辑方程是什么

嗨,
在追踪综合问题时(见帖子)我查看了合成后的原理图,想知道是什么决定了触发器的输入。
我很幸运,只有一个LUT4,这个条件非常容易“手工”重建。
我喜欢在网络的上下文菜单上有一个'show equation'选项。
因此想知道这是否是确定给定网络的逻辑方程的工具。
从概念上讲,必须递归地跟随组合路径向后到主端口或顺序元素,并基于LUT的INIT值重建方程。
任何暗示欢迎,沃尔特

以上来自于谷歌翻译


以下为原文

Hi,

when chasing a Synthesis issue (see posting) I looked at the post-synthesis schematics and wanted to know what determines the input of a flip flop. I was lucky, there was only one LUT4 and the condition was quite easily reconstructed 'by hand'. I'd loved to have a 'show equation' option on the context menu of the nets.

So wonder whether the is a tool which determines the logic equation for a given net. Conceptually one has to recursively follow the combinatorial path backward to primary ports or sequential elements and reconstruct the equation based on the INIT value of the LUTs.

Any hint welcome, Walter

回帖(3)

王文霞

2019-4-18 14:18:44
你好@ wfjmueller
我假设你要求LUT正在实现并推动翻牌的等式。
给出的是LUT的单元属性
参考附件快照
-Shreyas
--------------------------------------------------
--------------------------------------------尝试搜索你的答案
在发布新帖子之前在论坛或xilinx用户指南中发出问题。请注意 - 如果提供的信息解决了您的问题,请将答案标记为“接受为解决方案”。给予您认为有用的帖子给予荣誉(右边提供的星号)
并回复.----------------------------------------------
------------------------------------------------

以上来自于谷歌翻译


以下为原文

Hi @wfjmueller
I assume you are asking for equation that LUT is implementing and driving the flop with.
it is given is cell properties of the LUT
refer attached snapshot

-Shreyas
----------------------------------------------------------------------------------------------
Try to search answer for your issue in forums or xilinx user guides before you post a new thread.

Kindly note- Please mark the Answer as "Accept as solution" if information provided solves your query.
Give Kudos (star provided in right) to a post which you think is helpful and reply oriented.
----------------------------------------------------------------------------------------------
举报

张琳

2019-4-18 14:33:05
嗨@aher
我确定能做到这一点,做到了。
但这很麻烦,因为下一步是弄清楚什么是驱动LUT的输入引脚,许多手动愚蠢的工作,可以自动化。
我所追求的是一个以pin或net作为输入的函数,并返回类似的输出 
A和B而不是C而不是(D和E而不是F);
技术上必须做的是
如果给定引脚,则确定连接网
确定网络的驱动程序
当driver是主端口或顺序元素时,返回相应的端口或单元名称
当驱动器为LUT时,从INIT值导出方程,并为每个LUT输入递归重复上述步骤
这样,人们应该能够构建驱动引脚或网络的逻辑的可读描述。
作为命令行工具很好,当集成在GUI中时甚至更好。
有助于更快地了解检查原理图时发生的情况。

以上来自于谷歌翻译


以下为原文

Hi @aher
 
sure I can do that, have done that. But it's cumbersome, because next step is to figure out what is driving the input pins of the LUT, lots of manual stupid work, which could be automatized.
 
What I'm after is a function which takes a pin or net as input, and returns an output like
 
   A and B and not C and not (D and E and not F);
 
What it has to do technically is

  • if pin given, determine connected net
  • determine driver for net
  • when driver is primary port or sequential element, return respective port or cell name
  • when driver is LUT, derive equation from INIT value, and recursively repeat above steps for each LUT input
This way one should be able to build a readable description of the logic driving a pin or net.
 
Nice as command line tool, even nicer when also integrated in the GUI. Would help to understand much faster what is going on when inspecting a schematic.
举报

陈苏文

2019-4-18 14:50:10
在xilinx tcl appstore中,有一个“来自路径的verilog结构网表”脚本。
它看起来很复杂,但它可能(或至少是一个起点)你需要什么。
- 如果提供的信息有用,请将答案标记为“接受为解决方案”。给予您认为有用且回复的帖子。

以上来自于谷歌翻译


以下为原文

in the xilinx tcl appstore, there is a "verilog structural netlist from path" script. It looks quite convoluted but it could be (or at least a starting point for) what you need.- Please mark the Answer as "Accept as solution" if information provided is helpful.
Give Kudos to a post which you think is helpful and reply oriented.
举报

更多回帖

发帖
×
20
完善资料,
赚取积分