书名：芯片形式化验证原理、方法与实战
作者：王亮，谭永亮
ISBN：978-7-111-78268-1
出版社：机械工业出版社
出版日期：2025.07.22
本书系统介绍了形式化验证的概念和原理，并通过丰富的实例生动展示了形式化验证所需的TCL和SVA语言语法规则，同时揭示了其在商业上的潜在价值和广阔前景。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VC Formal形式化验证工具，深入浅出地讲解了各种形式化验证应用的流程、使用方法以及常见陷阱，为读者提供了从基础知识到高级应用的学习途径。
本书包括三个部分：
? 基础篇（第1～6章），主要介绍形式化验证的工具、语言和设计；
? 实战篇（第7～13章），主要展示相关工具的使用方法、常见问题以及对应的解决方案；
? 进阶篇（第14～17章），主要探讨简化、签核和加速等关键形式化验证技术。
本书不仅适合芯片设计和开发领域的从业人员快速入门和实践形式化验证，也可以作为电子工程等相关专业的教学参考书。