本文已参与「新人创作礼」活动，一起开启掘金创作之路！
关于《Formal Verification An Essential Toolkit for Modern VLSI Design》全书主要技术内容的翻译。
章节内容介绍：
第一章：概括性的介绍，形式验证背景介绍，算科普介绍，没啥有用内容。
第二章：FV工具内部的一般背景介绍，让读者相信这些技术不是黑魔法，但仅仅是扎实地应用基础良好的工程技术，可以跳过，但是看了的话，更好（可能）。
第三章：SVA的基本构造块介绍，如果不熟悉断言and/or FV ，必须要看这节；如果之前稍微接触过或使用过SVA可以不看，主要是介绍assert property 、assume property、cover property。
第四章：FPV的基本概念、基本的FPV环境、FPV和模拟不同之处、在什么情况下使用哪些方法来运行FPV。
第五-七章：FPV技术的细节，绝对得看。
第八章：本章介绍了FEV的概念，确定两个不同模型之间等价性的通用技术，这些模型可以是高级模型、RTL或网表，在本书中主要关注的是涉及RTL的案例。讨论了定义等价的方法：组合等价，模型需要在所有状态元素上匹配；序列等价，模型只需要最终生成相同的结果；事务等价，即行为需要对应于某些定义明确的事务。
第九章：本章探讨了导致FV误报的各种类型的问题：运行某种类型的FV流的情况，在项目的某个时候，当验证在逻辑上存在不合理之处时，设计被标记为“已验证”。
第十章：处理复杂性的高级技巧工具包。本章探讨了一些处理复杂性的技术，并使FV工具能够在运行时或内存消耗出现初始问题的情况下取得成功。
这本书的公司网站：formalverificationbook.com 这上面会有一些在形式验证上深耕多年的大佬的介绍，以及你可以在这个网站上购买正版本书电子档或纸质档，电子档:$74.96。
