IC验证技术分类 Simulation lechnologies Logic simulation Event-based simulation Cycle-based simulation Transaction-based simulation -Code coverage Fault simulation HW/SW co-verification Technologies Emulation Rapid prototyping Hardware accelerator Static Verification Technologies -Lint checking (code inspection) Static Timing Analyze (STA) Formal Verification Technologies Physical Verification Technologies 2020/9/4 集成电路可测性设计 7
2020/9/4 集成电路可测性设计 7 IC验证技术分类 Simulation Technologies Logic simulation Event-based simulation Cycle-based simulation Transaction-based simulation Code coverage Fault simulation HW/SW co-verification Technologies Emulation Rapid prototyping Hardware accelerator Static Verification Technologies Lint checking (code inspection) Static Timing Analyze (STA) Formal Verification Technologies Physical Verification Technologies
两个概念的区分 Simulation vs Emulation Mentor PRODUCTS SOLUTIONS TRAINING SERVICES COMPANY BLOGS SUPPORT ⊙gCea Functional Verification Search Mentor.com Q Products Functional Venfication Customer stories STMicroelectronis:Simulation Emulation-Verification Success Veloce Emulation Platform STMicroelectronics:Simulation Emulation Verification X-STEP Success Questa Verification Solution In2012 STMicroelectronics Northwest Logic Analog/Mixed- began a pilot Signal Verification project to build lite.augmented Microsemi Corporation Clock-Domain what it called the Crossina Eagle Reference Cypress 2020/9/4 集成电路可测性设计 8
两个概念的区分 Simulation vs Emulation 2020/9/4 集成电路可测性设计 8
两个概念的区分 Simulator -VCS NC-Verilog 慢、便宜套 -Active-hdl Emulator -Veloce---Mentor -ZeBu®---Synopsys 快、但真贵 套 -Palladium---Cadence 2020/9/4 集成电路可测性设计 9
两个概念的区分 Simulator VCS NC-Verilog Active-hdl Emulator Veloce---Mentor ZeBu® ---Synopsys Palladium---Cadence 2020/9/4 集成电路可测性设计 9 慢、便宜 快、但真贵
Simulation:Perfomance vs Abstraction Cycle-based Simulator Event-driven Simulator SPICE 001x 1x 10x 2020/9/4 集成电路可测性设计 10
2020/9/4 集成电路可测性设计 10 Simulation: Perfomance vs Abstraction .001x SPICE Event-driven Simulator Cycle-based Simulator 1x 10x Abstractio n
各种验证测试方法的比较 基于事件 基于时钟 硬件加 仿真 形式验 静态时 速器 证 间 功能 是 是 是 是 是 是 抽象级 行为、门、 门、RTL 门、 门、 门、 RTL RTL RTL RTL 门 功能等效 是 是 是 是 是 是 时间 是 否 是/否 否 否 是 容量 低 中 高 很高 高 中 运行时间 (10时钟 1K时钟 1K时钟 1M时钟 中 高 成本 低 中 中 高 中 低 2020/914 集成电路可测性设计 11
2020/9/4 集成电路可测性设计 11 各种验证测试方法的比较 基于事件 基于时钟 硬件加 速器 仿真 形式验 证 静态时 间 功能 是 是 是 是 是 是 抽象级 行为、门、 RTL 门、RTL 门、 RTL 门、 RTL 门、 RTL 门 功能等效 是 是 是 是 是 是 时间 是 否 是/否 否 否 是 容量 低 中 高 很高 高 中 运行时间 〈10时钟 1K时钟 1K时钟 1M时钟 中 高 成本 低 中 中 高 中 低