有人用formal（Model Check）做验证的吗？
时间：10-02
整理：3721RD
点击：
业界用Formal验证的多不多?
你们是否用过Formal来验证?
使用Formal做寄存器验证个?
越来越多了。“做寄存器验证个”什么意思?
上面多打了“个”
就是把formal用于寄存器验证。
“寄存器验证”指验证RTL还是验证DUT内部的配置、控制寄存器?其实直接去cadence、synopsys、mentor网站上看看就知道答案了
我们有用这些工具，想看看业界用的多不多。
EDA公司网站上不光有产品介绍，还有用户发表的论文
反正我在用...
还是根据产品需要吧