在数字电路的设计过程中，仿真与验证是一个重要的环节，它能检查所设计的电路是否符合要求。本书系统介绍了数字电路仿真与验证的原理与主要方法。全书共11章，内容包括：VLsI设计的方法与基本流程；电路的逻辑功能模型、结构模型、层次模型等的建立方法；数字电路的逻辑仿真、高层次仿真、开关级仿真；模型检验；组合电路验证；时序电路验证；系统芯片SOC的验证；对逻辑布尔函数或逻辑电路进行有效表示与操作的二元判定图BDD的结构、性质及其在电路的综合、验证中的应用。 本书可作为电子、计算机、通信等专业高年级本科生和研究生的教材，也适合于从事数字系统设计、测试和维护的技术人员作为参考书。