用formality验证失败,怎样debug！！！

发表于 2025-3-18 17:58:37 | 显示全部楼层

mingxing00 发表于 2014-1-16 15:34
遇到相同的问题了，输入时1，经过latch输出就变成0了~~
还有formality check遇见unmatch中类型为DFF0X，这 ...

DFF0X大概率是因为工具优化代码时，会把一些DFF的输入优化成0，此时逻辑链断了，工具就match不到该DFF了。

回复支持反对

1 23 / 3 页

高级模式

您需要登录后才可以回帖登录 | 注册

本版积分规则回帖后跳转到最后一页

GMT+8, 2025-4-19 09:08 , Processed in 0.012808 second(s), 7 queries , Gzip On, MemCached On.

eetop公众号

创芯大讲堂

创芯人才网

站长推荐 /2