formailty设计和网表有不匹配但找不到不匹配点的对应源代码

zxxytdx · 发表于 2015-11-9 10:39:30

您需要登录才可以下载或查看，没有账号？注册

x

本帖最后由 zxxytdx 于 2015-11-9 15:58 编辑

用formailty对前端设计代码和后端网表进行比较，报告有不匹配的点，内容如下：
QQ截图20151109102831.png

逻辑锥对比图如下：
ref cone: QQ截图20151109103131.png

impl cone: QQ截图20151109103153.png

然后去网表的源代码中找这个模块对应的实例化代码，发现找不到图中的模块，如图：
QQ截图20151109103455.png

请问这个网表中的\*dff.00\*是什么，是匹配多个触发器？为什么网表中找不到逻辑锥中的模块。
谢谢解答！

songw · 发表于 2015-11-17 19:57:15

lib读对了么？run log有什么error和可疑的warning？

[求助] formailty设计和网表有不匹配但找不到不匹配点的对应源代码