系统测试与分析.pptx

《系统测试与分析.pptx》由会员分享，可在线阅读，更多相关《系统测试与分析.pptx（25页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、会计学1系统测试与分析系统测试与分析SoC系统验证方法系统验证方法 在系统芯片的设计过程中，系统规约确定之在系统芯片的设计过程中，系统规约确定之后后进行系统级设计进行系统级设计。首先对系统行为进行建模，根首先对系统行为进行建模，根据功能规范要求对行为模型进行验证；然后将行据功能规范要求对行为模型进行验证；然后将行为模型映射到由芯核和功能块组成的架构之上。为模型映射到由芯核和功能块组成的架构之上。目的就是去验证该架构的功能和性能。目的就是去验证该架构的功能和性能。第1页/共25页SoC系统验证方法系统验证方法在功能设计和架构映射之后，都需要进行验证，分在功能设计和架构映射之后，都需要进行验证，分

2、别是功能验证和性能验证别是功能验证和性能验证。功能验证：功能验证：功能验证：功能验证：目的目的是是检查行为设计是否满足功能需求检查行为设计是否满足功能需求。性能验证：性能验证：性能验证：性能验证：目的是目的是检查所选出的架构是在满足功能需求检查所选出的架构是在满足功能需求之外是否能满足性能需求。之外是否能满足性能需求。第2页/共25页SoC系统验证方法系统验证方法在整个验证过程中，都将使用测试平台来检验设在整个验证过程中，都将使用测试平台来检验设计对象的功能计对象的功能，系统级测试平台是整个验证系统级测试平台是整个验证过程的一个关键。过程的一个关键。第3页/共25页SoC系统验证方法系统验证方

3、法从系统规约中提取出一项从系统规约中提取出一项功能要求，并定义出检验功能要求，并定义出检验其功能的具体测试，重复其功能的具体测试，重复进行，直至为每一项功能进行，直至为每一项功能都建立了测试都建立了测试。第4页/共25页SoC系统验证方法系统验证方法n n在实际中对在实际中对SoCSoC进行验证时，由于它是由多个功能块组成，可以将进行验证时，由于它是由多个功能块组成，可以将SoCSoC的整个系统级测试平台运用于系统芯片的每一个子模块（功能的整个系统级测试平台运用于系统芯片的每一个子模块（功能块），实现对每个功能块的细节进行验证。块），实现对每个功能块的细节进行验证。第5页/共25页SoC系统验

4、证方法系统验证方法n n对对SoCSoC功能块的细节进行验证时，可以采用如下多种方法：硬件建功能块的细节进行验证时，可以采用如下多种方法：硬件建模、接口验证、软模、接口验证、软/硬件协同验证、随机测试、基于应用程序的验硬件协同验证、随机测试、基于应用程序的验证、门级验证等证、门级验证等。n n 硬件建模硬件建模硬件建模硬件建模n n为了达到足够高的无故障率，需要运行大量的应用程序来进行测试。为了达到足够高的无故障率，需要运行大量的应用程序来进行测试。n n对于规模较小的设计，可以使用单个对于规模较小的设计，可以使用单个FPGAFPGA对整个芯片进行建模对整个芯片进行建模n n对于规模较大的设计

5、，可以使用多个对于规模较大的设计，可以使用多个FPGAFPGA进行建模，配合专门开发的软进行建模，配合专门开发的软件，构建硬件仿真器件，构建硬件仿真器第6页/共25页硬件仿真器硬件仿真器硬件仿真器提供了对可重配置逻辑、可编程互连、大容量逻辑以及特硬件仿真器提供了对可重配置逻辑、可编程互连、大容量逻辑以及特殊存储器和处理器的支持。殊存储器和处理器的支持。对对SoCSoC的设计，若要使用硬件仿真，就需要提供适合于硬件仿真器的的设计，若要使用硬件仿真，就需要提供适合于硬件仿真器的各种模型，如微处理器、存储器、总线功能模型、监控器、时序产生各种模型，如微处理器、存储器、总线功能模型、监控器、时序产生器

6、等。这些模型的建立应该在器等。这些模型的建立应该在SoCSoC设计阶段的早期就开始进行，可以设计阶段的早期就开始进行，可以与芯核的提供商一起来共同解决。与芯核的提供商一起来共同解决。第7页/共25页 协同验证与仿真协同验证与仿真n n在设计阶段的早期建立协同验证环境，进行软件在设计阶段的早期建立协同验证环境，进行软件/硬件协同验证。硬件协同验证。使用协同验证可以达到如下目标：让电路工程师们能够同时设计、使用协同验证可以达到如下目标：让电路工程师们能够同时设计、开发和调试软件和硬件，同时在系统集成和制造芯片之前将设计开发和调试软件和硬件，同时在系统集成和制造芯片之前将设计错误去除。错误去除。第8

7、页/共25页协同验证与仿真协同验证与仿真第9页/共25页协同验证与仿真协同验证与仿真从理论上讲，在协同仿真中，硬件可以用从理论上讲，在协同仿真中，硬件可以用C/C+C/C+建建模，整个系统可以像单个模，整个系统可以像单个C/C+C/C+程序一样执行。实程序一样执行。实际上，对硬件的实现，仍是采用际上，对硬件的实现，仍是采用HDL/RTLHDL/RTL描述。因描述。因此，协同仿真需要一个或多个此，协同仿真需要一个或多个HDLHDL仿真器和一个仿真器和一个C/C+C/C+平台（编译器、装入程序、链接器和计算机平台（编译器、装入程序、链接器和计算机操作系统的其他部分）。操作系统的其他部分）。第10页

8、/共25页硬件仿真硬件仿真n n在在协协同同仿仿真真中中，包包括括HDLHDL仿仿真真器器和和软软件件仿仿真真器器在在内内的的两两个个或或多多个个仿仿真真器器需需要要互互相相链链接接，因因此此不不同同仿仿真真器器之之间间的的通通信信是是关关键键问问题题，可以采用主可以采用主/从模式、分布式模式两种方案。从模式、分布式模式两种方案。第11页/共25页 系统级时序验证系统级时序验证n n时序验证是用来检查设计对象是否满足预期的时时序验证是用来检查设计对象是否满足预期的时序要求。对所设计电路中的每一个存储单元和锁序要求。对所设计电路中的每一个存储单元和锁存器都存在需要满足的时序要求，如建立时间、存器

9、都存在需要满足的时序要求，如建立时间、保持时间、延迟时间等。保持时间、延迟时间等。n n时序分析有动态分析和静态分析两种类型。时序分析有动态分析和静态分析两种类型。n n动态时序分析使用仿真向量去验证；对于给定的动态时序分析使用仿真向量去验证；对于给定的输入，电路的输出结果是否符合时序的规定。输入，电路的输出结果是否符合时序的规定。n n静态时序分析检查电路中的所有时序路径静态时序分析检查电路中的所有时序路径第12页/共25页物理验证物理验证n n物理设计是在逻辑设计或电路设计之后实现物理版图的过程。物理设计是在逻辑设计或电路设计之后实现物理版图的过程。n n物理版图是由各层次的版图编辑而成，

10、形成晶体管和其他器件相物理版图是由各层次的版图编辑而成，形成晶体管和其他器件相互间的连线。互间的连线。n n物理验证是物理设计的一个重要环节。物理验证是物理设计的一个重要环节。第13页/共25页物理验证物理验证第14页/共25页物理验证物理验证n n物理验证阶段的任务是对最后结果进行验证，主要有功耗分析、物理验证阶段的任务是对最后结果进行验证，主要有功耗分析、设计规则检查、版图逻辑图一致性检查、物理效应分析等工作。设计规则检查、版图逻辑图一致性检查、物理效应分析等工作。第15页/共25页 SoC系统测试原理及方法系统测试原理及方法现在人们对电路的测试通常是在测试系统所提供的硬件、软件环境下现在

11、人们对电路的测试通常是在测试系统所提供的硬件、软件环境下实现的。实现的。测试矢量是影响测试效果的关键，它可通过测试生成（测试矢量是影响测试效果的关键，它可通过测试生成（ATPGATPG）算法）算法获得。获得。第16页/共25页SoC系统测试原理及方法系统测试原理及方法计算机主要用于为被测电路生成测试矢量；数据信号发生器根据计算计算机主要用于为被测电路生成测试矢量；数据信号发生器根据计算机的要求产生测试波形，并加载到被测电路上；逻辑分析仪采集被测机的要求产生测试波形，并加载到被测电路上；逻辑分析仪采集被测电路的响应信号并进行一定的分析，然后将结果送到计算机中进行处电路的响应信号并进行一定的分析，

12、然后将结果送到计算机中进行处理。理。第17页/共25页基于神经网络的电路测试生成方基于神经网络的电路测试生成方法法n n人工神经网络（人工神经网络（ANNANN）由于其优良的特性，能较好的处理目前串）由于其优良的特性，能较好的处理目前串行计算机难于解决的行计算机难于解决的NPNP完全问题完全问题（如（如HopfieldHopfield神经网络用于神经网络用于TSPTSP问题的求解）。问题的求解）。n n根据组合电路测试生成的特点，选用根据组合电路测试生成的特点，选用HopfieldHopfield神经网络作为电路建神经网络作为电路建模的基础模的基础，用神经网络的能量函数来表征电路的逻辑特性用神

13、经网络的能量函数来表征电路的逻辑特性。第18页/共25页二元判定图二元判定图BDDn n二元判定图二元判定图(BDD)(BDD)就是一种较有效的方法，它将布尔函数的功能用就是一种较有效的方法，它将布尔函数的功能用有向无环图来表示，图中从根节点到叶节点的路径对应了布尔函有向无环图来表示，图中从根节点到叶节点的路径对应了布尔函数值为数值为1 1的一个输入矢量。的一个输入矢量。第19页/共25页n n电路的可测性电路的可测性电路的可测性电路的可测性一般定义为测试的简便性或经济而有效测试的能力，一般定义为测试的简便性或经济而有效测试的能力，主要涉及如下三个基本方面：测试矢量的产生、测试的评估和计主要涉

14、及如下三个基本方面：测试矢量的产生、测试的评估和计算、测试的施加。算、测试的施加。n n电路可测性设计的基础是电路可测性设计的基础是电路可测性设计的基础是电路可测性设计的基础是可测性的度量方法可测性的度量方法大规模集成电路与系统的可测性大规模集成电路与系统的可测性设计设计第20页/共25页VLSI与系统的可测性设计与系统的可测性设计边界扫描可测性设计边界扫描可测性设计数摸混合电路的边界扫描测试数摸混合电路的边界扫描测试专用集成电路设计中的边界扫描专用集成电路设计中的边界扫描第21页/共25页VLSI与系统的可测性设计与系统的可测性设计边界扫描可测性设计边界扫描可测性设计 边界扫描测试是一种可应

15、用于数字器件的具有结构化特性的测试技术，它通过在集成电路的设计阶段采取一些措施，能在很大程度上简化印制电路板级的测试，从而降低测试费用问。第22页/共25页VLSI与系统的可测性设计与系统的可测性设计数摸混合电路的边界扫描测试数摸混合电路的边界扫描测试 通过数模或模数转换器(ADC或DAC)将模拟电路的模拟信号转换为数字信号，并由边界扫描链输出，或者把测试模拟电路的模拟信号先把其数字信号形式由边界扫描管脚输入，加到相应的模数转换器上，完成对模拟器件的测试。专用集成电路设计中的边界扫描专用集成电路设计中的边界扫描 对规模较小的FPGA器件，若它未含有边界扫描测试端口，则进行可测性设计时应为其设计边界扫描测试端口，并连入边界扫描链。第23页/共25页JTAG接口与启动配置接口与启动配置JTAG(Joint Test Action Group,联合测试行动小组)JTAG大致分两类，一类用于测试芯片的电气特性，检测芯片是否有问题；一类用于Debug一个含有JTAG Debug接口模块的CPU，只要时钟正常，就可以通过JTAG接口访问CPU的内部寄存器和挂在CPU总线上的设备，如RAM，FLASH，GPIO等第24页/共25页