formality的学习总结

厚娇07 · 发表于 2019-3-29 09:12:28

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

x

本人最近正在学习形式验证工具formality，边学习边总结吧，附件中总结了几条需要注意的地方和一些设置，会不断更新，如果大家有好的资料，希望分享，谢谢！如有不对的地方，请指正

Chains · 发表于 2019-3-30 18:18:09

谢谢

JohnHilo · 发表于 2019-3-30 19:54:21

这个主要验证对象是啥？

厚娇07 · 发表于 2019-3-31 14:26:26

JohnHilo 发表于 2019-3-30 19:54
这个主要验证对象是啥？

RTL和netlist，netlist和netlist

JohnHilo · 发表于 2019-3-31 15:19:55

厚娇07 发表于 2019-3-31 14:26
RTL和netlist，netlist和netlist

之前没用过

JohnHilo · 发表于 2019-3-31 15:21:04

厚娇07 发表于 2019-3-31 14:26
RTL和netlist，netlist和netlist

之前没用过

vsop · 发表于 2019-3-31 23:00:55

好东西，感谢分享！

厚娇07 · 发表于 2019-4-1 08:52:57

JohnHilo 发表于 2019-3-31 15:21
之前没用过

我也刚刚在学

LanceBurton · 发表于 2019-4-8 16:59:38

谢谢分享

upsingmen · 发表于 2019-4-24 14:23:40

set_case_analysis ：
formality 中set_case_analysis的设置，很多时候是区分dft/non-dft功能下的比对；
综合时候设置，很多时候是时序分析的需要。

[资料] formality的学习总结