conformal eco后formality失败

lolina · 发表于 2025-4-27 11:23:23

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

×

有一个eco需求，使用conformal的flatten flow（fef）流程进行了处理，脚本用的是conformal write_template命令写出来的，然后改了lib和网表
跑下来还是流畅的，但是现在遇到一个问题（旧的要ec的网表为net1，改后新综合的网表是net2，conformal eco之后吐出来的是net3）

用formality比较net2和net3失败
在conformal自带脚本中，在eco之后是会比对net2和net3的，那个时候比对结果是pass的

想问一下conformal eco出来的网表需要在formality中设置什么吗？为啥conformal比net2和net3就可以，formality就不行了，根据之前用formality的经验，网表比网表的话基本上不用设置什么吧
（刚开始用conformal，想交叉对比eco的结果）

lolina · 发表于 2025-4-27 15:36:29

原网表都是用dc综合的

yuenlee · 发表于 2025-4-28 08:30:38

lolina · 发表于 2025-4-30 11:33:56

我这个问题的原因找到了，是新网表综合时候约束有问题，改了之后重新来一遍formality也能过了
但我的问题依然保留，就是lec和formality迁移有什么注意事项吗
包括网上也有dc综合如何用conformal比的问题，但是感觉没什么知道或者官方文档

账号		自动登录	找回密码
密码			注册

[讨论] conformal eco后formality失败

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

浏览过的版块