加入scan chain并且用到DW时formality的问题

zjt412 · 发表于 2014-2-12 21:19:11

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

×

请问：在用formality验证.v和netlist时，总是failed，在综合时加入了scan chain，并且用到design ware，这样在验证时用做什么特殊的操作么？比如定义black box等，求教求教，新手新手，谢谢大家！

zjt412 · 发表于 2014-2-20 10:22:01

有人解释一下么？谢谢谢谢！！！

zjt412 · 发表于 2014-2-20 10:22:31

有人解释一下么？？谢谢谢谢！！

zrzf23 · 发表于 2014-9-19 20:28:02

wanglijlu123 · 发表于 2015-10-28 14:58:32

需要把scan mode关掉

Riker · 发表于 2016-3-15 04:28:23

谢谢

Riker · 发表于 2016-3-15 04:29:47

Thank you

Ronaldomhs · 发表于 2016-3-15 11:29:26

set dont verify

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

[求助] 加入scan chain并且用到DW时formality的问题