最新SoC设计9资料讲解.ppt

《最新SoC设计9资料讲解.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第九章SoC功能验证__________________________________________________内容大纲功能验证概述功能验证方法与验证规划系统级功能验证仿真验证自动化形式验证基于断言的验证内容大纲功能验证概述功能验证方法与验证规划系统级功能验证仿真验证自动化形式验证基于断言的验证随着设计的进行，越接近最后的产品，修正一个设计缺陷的成本就会越高不同设计阶段修正一个设计缺陷所需费用示意图验证的概念在IC设计与制造领域，通常所说的验证（Verification）和测试（Test）是两种不同的事验证在设计过程中

2、确认所设计的正确性通过软件仿真、硬件模拟和形式验证等方法进行在流片之前要做的。测试检测芯片是否存在制造或封装过程中产生的缺陷。采用测试设备进行检查功能验证功能验证一般是指设计者通过各种方法比较设计完成的电路和设计文档规定的功能是否一致，保证逻辑设计的正确性。通常不包括面积、功耗等硬件实现的性能检测SoC功能验证的挑战系统复杂性提高增加验证难度设计层次提高增加了验证工作量发展趋势：内容大纲功能验证概述功能验证方法与验证规划系统级功能验证仿真验证自动化形式验证基于断言的验证仿真为基本出发点的功能验证方法功能验证开发流程制订验证计划

3、功能验证需求激励产生策略结果检测策略验证开发提高验证的效率内容大纲功能验证概述功能验证方法与验证规划系统级功能验证仿真验证自动化形式验证基于断言的验证系统级功能验证行为级功能验证测试数据控制流，包括初始化和关闭I/O设备、验证软件功能、与外界的通信，等等性能验证通过性能验证可以使设计者清楚地知道整个系统的工作速度、功耗等性能方面的指标。协议验证根据总线协议对各个模块的接口部分进行验证系统级验证系统级的测试平台边界条件设计的不连续处出错的条件极限情况系统级的测试平台标准性能指标覆盖率指标内容大纲功能验证概述功能验证方法与验证规划

4、系统级功能验证仿真验证自动化形式验证基于断言的验证仿真验证平台激励的生成直接测试激励：检测到测试者所希望检测到的系统缺陷可以快速、准确地产生大量的与实际应用一致的输入向量随机测试激励：检测到测试者没有想到的一些系统缺陷带约束的随机测试激励是指在产生随机测试向量时施加一定的约束，使所产生的随机测试向量满足一定的设计规则。带约束的随机激励生成的例子x1和x2为系统的两个输入，它们经过独热码编码器编码之后产生与被验证设计（DUV）直接相连的输入输入约束：in[0]+in[1]+in[2]<=1这样产生的随机向量就可以保证它们的合法性

5、用SystemVerilog语言写的带约束随机激励生成例子输入data的数量限制在1～1000programautomatictest;//defineconstraintclassTransaction;randbit[31:0]src,dst,data[];//Dynamicarrayrandcbit[2:0]kind;//Cyclethroughallkindsconstraintc_len{data.sizeinside{[1:1000]};}//LimitarraysizeEndclass//instantiatio

6、nTransactiontr;//startrandomvectorgenerationinitialbegintr=new();if(!tr.randomize())$finish;transmit(tr);endendprogram响应的检查可视化的波形检查：直观，但不适用于复杂系统设计自动比对检查：通过相应的检测模型或验证模型来自动完成输出结果的比对覆盖率的检测覆盖率数据通常是在多个仿真中收集的覆盖率的模型由针对结构覆盖率（StructuralCoverage）和功能覆盖率（FunctionalCoverage）两种目标

7、而定义的模型所组成。可细化为：限状态机覆盖率（FSMCoverage）表达式覆盖率（ExpressionCoverage）交叉覆盖率（CrossCoverage）断言覆盖率（AssertionCoverage）用SystemVerilog语言写的覆盖率检测的例子programautomatictest(busifc.TBifc);classTransaction;randbit[31:0]src,dst,data;randenum{MemRd,MemWr,CsrRd,CsrWr,IoRd,IoWr,Intr,Nop}ki

8、nd;endclasscovergroupCovKind;coverpointtr.kind;//MeasurecoverageendgroupTransactiontr=new();//InstantiatetransactionCovKindck=new()