conformal lec求助

jiangyoucoco · 发表于 2025-2-26 18:07:27

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

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

x

想请教个问题，formality里有个set_dont_verify_points的指令可以忽略某些点的比较，请问lec里对应的指令是add_ignored_inputs/outpus吗？
如果是的话，set_dont_verfiy_points的对象可以是cell，但是lec里的好像只能是input/output pin，那我想要忽略某个cell的话，用ignore这个cell的input/output能实现相同效果吗？

kk2009 · 发表于 2025-2-27 01:59:13

当然可以呀。你都将他的input和output都ignore掉了。
其实加input、output更好，比如像有些sram带了scan支持的，在对插入dft后，做conformal的时候，需要将scan的相关信号ignore掉，但是其他的function相关的还是需要比对的，所以不能将整个cell ignore掉。

jiangyoucoco · 发表于 2025-2-27 10:14:11

kk2009 发表于 2025-2-27 01:59
当然可以呀。你都将他的input和output都ignore掉了。
其实加input、output更好，比如像有些sram带了scan支 ...

明白了，谢谢！

[求助] conformal lec求助

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

浏览过的版块

站长推荐 /2