formality对同一份rtl前后分析成两种不等价的电路

cyannn · 发表于 2024-10-24 16:40:30

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

x

eco过程中，并没有改动到这部分rtl，但是前后对rtl的分析不一样导致fail，是什么原因，怎么debug呢？如下图所示，一个有反相器，一个没有反相器。

cyannn · 发表于 2024-10-24 16:45:21

它的implemention是一个QN触发器，我在想是不是eco之后svf没有告诉工具这里反向了

[求助] formality对同一份rtl前后分析成两种不等价的电路