请问formality可以做RTL-RTL的验证吗？

irun2 · 发表于 2013-7-3 14:57:37

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

x

由于需要改动原有设计A，A是经过大量测试验证过的。现在代码有少量改动，变为了设计B。formality可以做相等检查吗？
谢谢！

orlye · 发表于 2013-7-4 07:51:40

可以的。
如果寄存器名称、位置有改造成match不上的话，可以用set_match_rule指定。

poiu_elab · 发表于 2013-7-4 09:09:41

原来也可以这样啊
学到了

教父 · 发表于 2013-7-5 11:00:33

FORMALITY可以做rtl----rtl. rtl---netlist, netlist---netlist 之间的对比

irun2 · 发表于 2013-7-5 16:50:55

谢谢以上各位。
确实可以做到~~

周建伟 · 发表于 2014-2-12 11:00:21

可以，而且结合PT，比动态验证更省时间

smc1017 · 发表于 2024-2-7 18:16:13

YUP, Formalit can do it

[求助] 请问formality可以做RTL-RTL的验证吗？