作者：沈海华, 张锋, 乐翔著
出版社： 科学出版社
CIP号：2017279683
书号：978-7-03-055370-6
出版地：北京
出版时间：2018.1
定价：￥98
全面介绍了集成电路验证领域的各项技术内容。本书首先介绍了设计验证语言，在此基础上探讨了数字电路设计中的功能验证和物理验证，还关注模拟电路仿真、功耗验证等内容，围绕相关验证技术，介绍了EDA工具支持下的工业界验证实践。本书关注验证领域存在的问题及前沿研究工作，介绍了包括低功耗验证、指令级随机验证、硅后验证等仍在探索中的内容，给读者带来更多的思考空间。