[问答]

怎么解决Conformal做RTL和netlist的形式验证时综合优化的电路也会报不相等？

21572 电源IC

问答对人有帮助，内容完整，我也想知道答案 0 用Conformal做RTL和netlist的形式验证，对比结果有很多报不等的是DC综合被优化掉的，conformal没有识别出来这种优化，请问需要设置什么可以解决这个问题？ 0
2022-8-9 17:31:22　　评论淘帖0 邀请回答您可以邀请以下用户，快速回答问题 × 刘英该类别下有 31 个回答。邀请回答 chenbingjy 该类别下有 27 个回答。邀请回答 yoonssica 该类别下有 22 个回答。邀请回答 houxiaoxiao 该类别下有 17 个回答。邀请回答小萃米该类别下有 16 个回答。邀请回答小工兵该类别下有 16 个回答。邀请回答 Elecfans管家该类别下有 15 个回答。邀请回答言尽于此33 该类别下有 14 个回答。邀请回答薄迪该类别下有 14 个回答。邀请回答我爱妖妖该类别下有 14 个回答。邀请回答那些年儿ing 该类别下有 13 个回答。邀请回答平漂流该类别下有 13 个回答。邀请回答 hxing 该类别下有 13 个回答。邀请回答 xiekaboy 该类别下有 12 个回答。邀请回答 1653344032.827400 该类别下有 12 个回答。邀请回答小麦地该类别下有 12 个回答。邀请回答科比如我该类别下有 12 个回答。邀请回答倪love 该类别下有 12 个回答。邀请回答 2013crazy 该类别下有 11 个回答。邀请回答英雄孤寂该类别下有 11 个回答。邀请回答举报陈静相关推荐 • labview向oracle插入数据，怎样可以主键自增1?如果不插入主键的字段，会报插入的数目与表中的数据不相等 2150 • 运放正负输入级的漏电流是不相等的，那为什么还要用匹配的电阻呢？ 127 • 做lec形式验证已经把flash模块设置为黑盒，并创建了empty模块为何还会报在吃综合吐出来的.v文件？ 826 • ARM指令中的BNE指令跟谁比较大小呢 2059 • 怎么利用Synphony HLS为ASIC和FPGA架构生成最优化RTL代码？ 2169 • 如何使用DCNXT实现物理综合？ 3721 • 关于三运放仪表放大器的使用问题。 7282 • 求一套手工逻辑综合的方法和综合步骤？ 911 • 如何计算如下RC电路的传递函数？ 1388 • Conformal和formality做形式验证svf文件问题 20055