genus工具生成lec.do约束scan_mode问题？

fjiang · 发表于 2023-10-13 14:32:15

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

x

再使用genus工具综合时，最后生成的dofile为什么约束scan_mode_in。

corinwjx · 发表于 2023-10-16 16:06:28

你后续在做 LEC （形式验证）的时候不把 DFT 相关的约束设上能 pass 吗？

fjiang · 发表于 2023-10-18 14:56:04

corinwjx 发表于 2023-10-16 16:06
你后续在做 LEC （形式验证）的时候不把 DFT 相关的约束设上能 pass 吗？

后续不手动把scan_mode设为0的话,LEC过不了

corinwjx · 发表于 2023-10-19 13:41:54

fjiang 发表于 2023-10-18 14:56
后续不手动把scan_mode设为0的话,LEC过不了

是的，scan 要设pin constraint的，因为你对比的东西里面没有这段逻辑，要把它bypass掉 lec 才能过

fjiang · 发表于 2023-10-19 15:20:09

corinwjx 发表于 2023-10-19 13:41
是的，scan 要设pin constraint的，因为你对比的东西里面没有这段逻辑，要把它bypass掉 lec 才能过
...

在做综合的时候怎么样才能让综合工具把scan_mode=0的约束自动写在lec脚本里面呀？

[求助] genus工具生成lec.do约束scan_mode问题？