什么是形式验证

xaaa001 · 发表于 2012-2-21 17:04:52

形式验证就是看看你综合出来的网表的行为是否和你的RTL代码的行为一致

jumphigh1987 · 发表于 2012-8-21 13:19:43

这个帖子值的一看

603038276 · 发表于 2012-8-21 16:33:06

ets(encounter timing system）可以搞sta

xaaa001 · 发表于 2012-9-9 01:39:12

回复 1# wjx197733

就是比较2个设计是否等效

和设计的功能无关

husthuige · 发表于 2013-5-25 14:32:35

主流的工具是：
Synopsys的 Formality
Candence的 Conformal(Lec)
不过个人感觉 Cadence 的Conformal(Lec)比Synopsys的 Formality要好用一些

ljobro · 发表于 2013-9-18 11:25:08

和功能验证无关？？
［In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.[1]］
上面解释说用数学方法验证某种算法。。。
为何于功能验证无关呢？

请指教！

ljobro · 发表于 2013-9-18 11:27:26

形式验证可以穷尽各种可能性，是验证手段的一种
handsomehhj 发表于 2009-12-22 21:07

登录/注册后可看大图

是的，我的理解也是穷尽各种可能，但是当然于功能验证有关了！

bsslp · 发表于 2013-10-5 21:29:15

就是一种功能模型的一致性比对。

bob_haohao · 发表于 2013-10-8 17:00:31

形式验证只可验证综合后的网表或布局布线后网表与golden RTL代码功能描述是否一致，而不能验证时序。

sunjianhui · 发表于 2014-9-16 12:09:11

说的很好，有很大启发....谢谢！

我现在做gate level的仿真（vcs ,notimingcheck,,no-annotate-sdf），出现很多不确定的X-state ;;
也就是说---》直接进行“形式验证”，就可以了吧？？

账号		自动登录	找回密码
密码			注册

什么是形式验证

浏览过的版块

站长推荐 /1