集成电路验证

本书从集成电路验证领域存在的问题出发，详细介绍数字电路和模拟电路验证方法，主要包括设计验证语言基础、模拟仿真验证、覆盖率检验方法、电路的形式验证、物理验证、SPICE仿真、低功耗设计和验证方法、低功耗验证技术实例、硅后验证等方面。全书紧密围绕工业界集成电路验证流程进行阐述，尽可能覆盖集成电路验证领域的现有技术内容，同时对低功耗验证、硅后验证等验证领域新的趋势和研究课题进行分析。