形式验证

孤月飞星 · 发表于 2012-4-22 13:39:24

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

x

做完综合之后需要做形式验证，但是在网上没有搜到formality tools，还有就是要钱买的啊，问一下有没有像DC那样可以免费下载的哦。

ahcolin · 发表于 2012-4-22 14:48:02

形式验证是什么意思？

zhq101213 · 发表于 2012-4-22 14:58:50

这里不是很多吗

bob_haohao · 发表于 2012-4-23 09:50:28

做形式验证主要是针对你的设计比较大的时候，跑后仿真比较慢，采用形式验证就可以加速Signoff，主要的形式验证工具有formality。

孤月飞星 · 发表于 2012-4-23 10:39:26

有没有哪里可以下载formality

教父 · 发表于 2012-4-23 16:14:04

形式验证就是主要是验证两个模块的一致性，比如在代码综合完成后，你要做verilog和网表的验证，确保综合出来的网表功能的正确性，另外就是你要修改一个代码，但是你可能不知道你修改后的逻辑是否和你原来的相等，这个时候你也要做形势验证

jumphigh1987 · 发表于 2012-8-21 13:12:41

回复 6# 教父

在DC完以后的第一步就进行形式验证么？

buildgates · 发表于 2017-9-6 22:34:20

形式验证是什么意思？

对角巷的小麻瓜 · 发表于 2022-2-15 11:12:50

啊实打实的

[求助] 形式验证