formality 验证失败了怎么办

yangyang。 · 发表于 2021-8-25 16:20:59

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

x

用formality做的rtl和dc之后的netlist做比较，，出现了以下的问题：

登录/注册后可看大图

求大神指教

yangyang。 · 发表于 2021-8-25 16:26:10

问题是：Exists in the impl cone but not in the ref cone for 1 compare point:r/WORK/...../..._reg

A1985 · 发表于 2021-8-25 19:13:00

读入svf

lizhibin8718 · 发表于 2021-8-25 19:37:28

能多给点信息？

chenjing0530 · 发表于 2021-8-26 10:08:40

综合时会改变线等的名字，svf记录的就是怎么变更的，你用Formality 比较等价性的话要吃SVF文件，是综合的时候生成的。

yangyang。 · 发表于 2021-8-27 13:19:31

chenjing0530 发表于 2021-8-26 10:08
综合时会改变线等的名字，svf记录的就是怎么变更的，你用Formality 比较等价性的话要吃SVF文件，是综合的时 ...

我已经吃了

yangyang。 · 发表于 2021-8-31 09:02:47

这个我用LEC验证的时候，通过了，里面有DW组件需要特殊去处理

SpunkyGG · 发表于 2021-9-1 15:22:43

svf没读

yangyang。 · 发表于 2021-9-1 15:28:46

SpunkyGG 发表于 2021-9-1 15:22
svf没读

读了，，这个点不知道咋回事，，我用LEC已经验证通过了

flyskyseu · 发表于 2023-8-1 14:11:06

yangyang。发表于 2021-8-31 09:02
这个我用LEC验证的时候，通过了，里面有DW组件需要特殊去处理

请问要DW组件要怎么特殊处理?

[求助] formality 验证失败了怎么办