formality

lunmag · 发表于 2014-1-23 09:40:59

回复 5# zfx253

请教下，这个设置 set hdlin_unresolved_modules "black_box" ; # default = "error"
是什么意思，有什么作用？还有就是关于黑盒一般有什么设置？谢谢了！！

orphan · 发表于 2014-6-7 15:47:01

5楼活雷锋啊

bigqubian · 发表于 2014-7-1 23:14:54

一般自己就能匹配上。你可以试试naming first，修改下匹配规则

xiuqi180 · 发表于 2014-7-9 14:42:15

受教了

thostones · 发表于 2014-7-14 18:16:29

学习了~~

yiyuan318 · 发表于 2014-11-4 15:30:55

学习了、。、、

wlf204 · 发表于 2015-2-3 16:32:12

学习了，，顶

taotao_ic · 发表于 2015-2-4 20:01:44

做等效性验证的，最关键一步就是。 mapping (LEC)/match(formality).把这个问题解决，后面大部分的问题都是工具的和设计的问题了

yi4105635 · 发表于 2015-8-6 10:56:49

回复 1# socsd

楼主知道哪里下载formality吗？

Riker · 发表于 2016-3-15 04:05:05

Thank you.

[求助] formality