Formal Verification

介绍了FPV的基本概念、基本的FPV环境、FPV和模拟不同之处、在什么情况下使用哪些方法来运行FPV。

关于《Formal Verification An Essential Toolkit for Modern VLSI Design》全书主要内容翻译的章节介绍。