形式化验证

eric_luo

原帖由 gyf2h 于 2008-12-14 23:32 发表

                               
登录/注册后可看大图

那位有形式化验证的书籍

Formal Verification：

你要用你的Propety模型与你的设计比较。它是一种功能验证，Formal verification有两种：一种是静态，另外一种是动态。
静态Formal 不需要testbench，它自身有引擎。动态需要testbench，并与仿真器一起来work。
好处： 可以遍历
坏处：  深度受限，序列比较深的不适合，也就是说做算法的不适合。控制模块比较适合。另外，对规模也有限制。

edayz

xuexile!