ICC软件2012版本，进行触发器链设计的后端流程后进行形式验证存在问题

skyskybird · 发表于 2022-4-19 16:11:00

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

x

设计在其他工艺上没有问题，更换软件版本，形式验证的问题感觉比较随机，有没有遇到的，相当于插入的反相器是奇数的，改变了路径上的逻辑

skyskybird · 发表于 2022-4-19 16:12:48

Floor后是没有问题的，place后输出的. V就存在问题，不同软件版本报错不同

skyskybird · 发表于 2022-4-19 16:16:24

尝试了2011，2012，2018的icc版本，结果都不一致，但是都不通过，请教各位可能是什么引起的

skyskybird · 发表于 2022-4-19 16:25:11

2012 版本通过的设计，在2011设计存在形式验证不通过，如何判断？

[求助] ICC软件2012版本，进行触发器链设计的后端流程后进行形式验证存在问题