集成电路验证

全面介绍了集成电路验证领域的各项技术内容。本书首先介绍了设计验证语言，在此基础上探讨了数字电路设计中的功能验证和物理验证，还关注模拟电路仿真、功耗验证等内容，围绕相关验证技术，介绍了EDA工具支持下的工业界验证实践。本书关注验证领域存在的问题及前沿研究工作，介绍了包括低功耗验证、指令级随机验证、硅后验证等仍在探索中的内容，给读者带来更多的思考空间。