模拟(Simulation) 模拟是当前最常用的设计验证手段。用来验证设计 的功能或性能是否正确 -种类包括： >Logic or switch level >Timing >Fault 模拟一般是采用CAD工具中的模拟器(simulator)来 完成，模拟器实质上是一类程序，这类程序采用专 门的技术对原形设计信息进行准确地处理 2020/9/4 集成电路可测性设计 12
2020/9/4 集成电路可测性设计 12 模拟(Simulation) 模拟是当前最常用的设计验证手段。用来验证设计 的功能或性能是否正确 种类包括： Logic or switch level Timing Fault 模拟一般是采用CAD工具中的模拟器(simulator)来 完成，模拟器实质上是一类程序，这类程序采用专 门的技术对原形设计信息进行准确地处理
模拟的要素 描述原形设计的模型： 冬元器件库； 施加给模型的激励信号： 冬施加激励信号后模型的理想响应。 激励 设计 模块 模拟器 库 响应 2020/9/4 集成电路可测性设计 13
2020/9/4 集成电路可测性设计 13 模拟的要素 描述原形设计的模型； 元器件库； 施加给模型的激励信号； 施加激励信号后模型的理想响应
设计验证与模拟的关系 设计验证 (Verification) (EDA) 设计工具 (Develop Tools) 软硬件仿真环境 故障模拟 功能模拟 时间模拟 仿真 (Simulation) (Emulation 2020/9/4 集成电路可测性设计 14
2020/9/4 集成电路可测性设计 14 设计验证与模拟的关系 设计验证 (Verification) 设计工具 (EDA) (Develop Tools) 软硬件仿真环境 功能模拟 时间模拟 仿真 (Emulation) (Simulation) 故障模拟
基于模拟的方法 包括基于事件和基于时钟的模拟、基于事务的验证、 代码覆盖率、软硬件协同验证、数模混合验证、硬 件加速器。其中硬件加速器包括仿真、快速原形系 统(rapid prototype system)、硬件模拟器和硬 件加速器。 2020/9/4 集成电路可测性设计 15
2020/9/4 集成电路可测性设计 15 基于模拟的方法 包括基于事件和基于时钟的模拟、基于事务的验证、 代码覆盖率、软硬件协同验证、数模混合验证、硬 件加速器。其中硬件加速器包括仿真、快速原形系 统（rapid prototype system）、硬件模拟器和硬 件加速器
静态方法 静态方法不需要testbench或测试向量即可进行验 证，包括格式检查(lint checking)和静态时间 验证。 冬格式检查是验证设计代码格式的正确性，包括检查 未初始化的变量、不支持的结构和端口不匹配等错 误。 ·每一个存储和锁存单元都包含建立、保持和延迟等 时间要求，静态时间验证就是验证这些要求是否满 足。 2020/9/4 集成电路可测性设计 16
2020/9/4 集成电路可测性设计 16 静态方法 静态方法不需要testbench或测试向量即可进行验 证，包括格式检查（lint checking）和静态时间 验证。 格式检查是验证设计代码格式的正确性，包括检查 未初始化的变量、不支持的结构和端口不匹配等错 误。 每一个存储和锁存单元都包含建立、保持和延迟等 时间要求，静态时间验证就是验证这些要求是否满 足