SoC芯片验证课件.ppt

SoC芯片验证;Agenda;What is Design Verification?;;Where are the Bugs?;Percentage of Total Flaws;Importance of Verification;Bug Fixing Cost in Time;Verification vs. Testing;Agenda;Verification Alternatives;Verification Methodologies;Software Simulation;Software Simulation;RTL仿真;搭建RTL验证环境;搭建RTL验证环境（续）;编写RTL testbench;编写RTL testbench;编写arm测试代码;编写arm测试代码（续）;把ARM测试代码的二进制文件加载到RTL验证环境中的RAM中;开始编译RTL代码并仿真;开始运行arm测试程序;观察仿真波形;观察仿真波形（续）;观察仿真波形（续）;观察仿真波形（续）;观察仿真波形（续）;观察调试信息;Verification Alternatives;Prototyping;Prototyping;A Prototyping Example;FPGA验证;FPGA选型;FPGA的设计步骤;FPGA的设计步骤;FPGA的设计步骤;FPGA软件开发工具;FPGA电路板;FPGA结果观察;Verification Alternatives;Formal Verification;Speed Comparison;Design Complexity; 系统级软硬件协同验证技术;系统级软硬件协同验证技术;什么是电子系统级设计？;传统的设计流程;电子系统级设计流程;电子系统级设计流程（续）;电子系统级设计流程（续）;电子系统级设计方法;片上系统对设计/描述语言的要求;设计描述语言的发展;SystemC – 提出;SystemC介绍 – 语言架构;SystemC – 描述层次;SystemC – 描述层次;SystemC – 描述层次;SystemC – 描述层次;SystemC – 描述层次;SystemC介绍 –建模能力;SytemC介绍 –传统的设计流程;SytemC介绍 –有了SystemC的设计流程;Transaction Level vs. RTL;SystemC与第三方工具/语言的结合;为什么SystemC+UML;为什么SystemC+MATLAB?;关于SystemC的几个关键澄清;SystemC介绍小结;SystemC与SystemVerilog;SystemC与SystemVerilog是竞争对手么？;电子系统级设计方法;基于armulator建模;基于Armulator建模（续）;电子系统级设计方法;SoC designer建模;?#? ;在SoC Designer平台上利用向导自动生成一个GPS模块，其中要实例化模块的名称、属性、输入输出、参数、寄存器、存储器空间大小