有人用formal（Model Check）做验证的吗？

PercyPrimetime · 发表于 2016-11-25 15:27:30

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

x

本帖最后由 PercyPrimetime 于 2016-11-25 17:29 编辑

业界用Formal验证的多不多？
你们是否用过Formal来验证？

使用Formal做寄存器验证个？

nativeda · 发表于 2016-11-26 22:21:08

越来越多了。“做寄存器验证个”什么意思？

PercyPrimetime · 发表于 2016-11-28 08:06:21

回复 2# nativeda

上面多打了“个”
就是把formal用于寄存器验证。

nativeda · 发表于 2016-11-28 10:29:53

“寄存器验证”指验证RTL还是验证DUT内部的配置、控制寄存器？其实直接去cadence、synopsys、mentor网站上看看就知道答案了

PercyPrimetime · 发表于 2016-11-29 12:10:07

回复 4# nativeda

我们有用这些工具，想看看业界用的多不多。

nativeda · 发表于 2016-11-29 16:33:01

回复 5# PercyPrimetime

EDA公司网站上不光有产品介绍，还有用户发表的论文

Timme · 发表于 2016-12-2 19:24:18

反正我在用...

haiyi198712 · 发表于 2016-12-5 11:30:45

还是根据产品需要吧

[调查] 有人用formal（Model Check）做验证的吗？