验证方法分类

1. Formal Verification
   包含两个主要方向equivalence checking与model checking.

              Equivalence checking是检查某种变换前后，电路功能是否完全一致，比如CTS(Clock-tree Synthesis)或者Scan-chain insertion前后，电路的功能是否一致。另外这种方法还能用于验证综合工具的正确性，在EDA领域意义很大。

              Model checking主要是指在Model内部加入检查模型本身的语句，如assertion，确保模型执行的正确性。但是目前，assertion的方法还停留在比较低的层次，不能上升到系统功能的assertion定义。

2. Functional Verification

     目的是验证设计是否正确地实现了预期的所有功能。这是目前验证的最重要也是最直接的方法，即使形式化验证水平提高，这种方法也是不可替代的。

注：本文是我学习《Writing Testbench》第二版的笔记，非权威言论，欢迎提出意见，未经许可，严禁转载。