formailty设计和网表有不匹配但找不到不匹配点的对应源代码
时间：10-02
整理：3721RD
点击：
用formailty对前端设计代码和后端网表进行比较，报告有不匹配的点，内容如下：
逻辑锥对比图如下：
ref cone:
impl cone:
然后去网表的源代码中找这个模块对应的实例化代码，发现找不到图中的模块，如图：
请问这个网表中的\*dff.00\*是什么，是匹配多个触发器?为什么网表中找不到逻辑锥中的模块。
谢谢解答！
lib读对了么?run log有什么error和可疑的warning?