RVM验证中的代码覆盖分析及其应用

本文首先阐述了进行代码覆盖分析的必要性;然后,简单介绍了RVM(参考验证方法学)验证中代码覆盖分析的类型以及覆盖结果的产生过程;最后,结合实例,详细说明了如何在验证过程中进行代码覆盖分析,以达到芯片设计的代码覆盖率目标.本文的主要目的就是通过论述代码覆盖分析学,为验证人员提供一定的参考,使用的工具是VCS仿真工具,平台搭建方法是RVM参考验证方法学.     

数字中频芯片的仿真研究

数字中频芯片通常间接地采取matlab的方式进行datapath滤波器等功能的设计和验证。在此基础上直接对数字中频RTL代码进行仿真验证研究,分别从单音、宽带、delay测试等方面进行阐述,结合快速傅立叶变换,综合运用python脚本工具分析结果。研究结果表明,相对于间接采用matlab仿真,直接的RTL代码仿真不仅能实现同样的测试功能,而且可以更好地提升代码覆盖率和功能覆盖率,进一步提升了验证质量。     

基于覆盖率的集成电路验证

随着集成电路规模和复杂度的逐渐提高,百万千万门级以上的集成电路验证消耗了整个芯片开发过程大约70%的时间,不仅需要专职的团队,而且人数通常是设计团队的1.5～2倍.针对当前超大规模集成电路验证的这个瓶颈,在传统验证平台的基础上提出了代码覆盖率和功能覆盖率、随机激励与定向激励结合的验证方法.代码覆盖率确保代码的执行,功能覆盖率确保功能点的覆盖,随机与定向激励结合在验证的各个阶段有针对性地编写测试用例,三者相互结合实现高效率验证.此方法在多协议标签交换转发芯片项目中将验证时间缩短了三个月,而且问题的收敛速度加快,验证的规格更可靠.与传统的验证方法相比,此方法提高了验证效率,缩短了验证周期,增强了可靠性,对今后的项目开发有重要借鉴意义和指导意义.     

基于UVM验证方法学的数字交换芯片验证平台

采用统一验证方法学(universal verification methodology,UVM)搭建验证平台,对数字交换芯片的功能进行验证[1]。由于数字交换芯片的数据处理量较大,验证平台产生受约束的随机激励来验证数字交换芯片的功能,并通过代码覆盖率和功能覆盖率来完善验证用例。仿真结果表明,通过该验证平台验证数字交换芯片的功能正确,功能覆盖率达到100%,并通过机台测试。     

Questasim的高级应用技巧在工程实践中的应用

Questasim在硬件设计和仿真验证中得到了广泛的应用,除基础仿真应用外,工具提供的代码覆盖率分析和仿真波形比较两种功能在实际应用中具有重要意义,可以有效地提高测试效率,减少冗余代码,缩短设计和验证时间,加强测试激励的完整性。本文介绍了如何在设计中应用上述两种功能,并结合实际项目分析了其在设计流程中应用的意义。     

基于SystemVerilog的网络处理器验证平台设计

描述了一种基于SystemVerilog的网络处理器验证平台设计.该验证平台基于VMM架构,采用SystemVerilog语言编写所需的验证组件和功能覆盖率代码,并在设计代码中插入断言(SVA),将两者结合起来,能够快速、准确的定位出网络处理器在执行过程中发生的错误,有效对其进行功能验证.     

八通道多协议串行通信控制器的功能验证

超大规模集成电路芯片的验证是一项复杂的任务,占据了整个芯片设计工作量的70%.实现了一款八通道多协议串行通信控制器芯片的功能验证,介绍了基于总线功能模型验证平台的建立方法,并根据此芯片的设计特点,研究了该芯片的验证策略,设计了验证平台,同时完成了芯片的后仿真和样片测试.实践证明,该验证策略具有较高的功能覆盖率,验证平台具有较好的复用性,对同类具有复杂通信协议电路的功能验证有一定的参考价值.     

嵌入式软件的云平台覆盖测试

本文介绍的是一种针对嵌入式软件的基于云平台的覆盖率测试方法,以及相关工具的应用。通过工具将插桩编译后的软件装载到目标机上运行,黑盒手工执行测试,白盒显示函数调用图和控制流程图,同时将执行和未执行代码分颜色显示,对未执行的代码进行人工分析,可以通过增加测试用例来提高覆盖率。     

3WDSPl00高速链路口模块的设到

本文介绍了BWDSPl00芯片的高速互联接口——链路口的实现方法，功能验证结果表明，模块功能覆盖率和代码覆盖率均达到100％，符合设计要求。同时给出了流片后BWDSPl00芯片和FPGA链路口互联测试结果，结果表明300MHz下模块功能正确且传输稳定可靠。     

基于FPGA的芯片功能性验证自动化实现

针对传统半导体设计流程中对MCU芯片进行功能性验证时涉及到多个芯片之间的互联,手工操作连接十分烦琐且易出现错误,介绍了一种基于FPGA的MCU引脚自动互联的设计与实现.介绍了MCU模块功能性验证自动化实现的概念,从硬件逻辑角度给出了一种解决方法,并且从FPGA模块设计、功能仿真和系统实现等方面,证明了新的测试方法不但降低了人为操作错误的可能性,而且提高了模块功能验证的覆盖率和验证效率,大大缩短了产品的上市时间.     

基于UVM的可重用SoC功能验证环境

现在系统级芯片(SoC)系统集成度和复杂度不断提高,验证环节消耗时间占用了芯片研发时间的70％,芯片验证已经成为芯片研发中最关键的环节.目前业界验证方法大多有覆盖率低和通用性差等缺点,基于上述原因提出了一种新的验证方法.与传统验证方法和单纯的通用验证方法学(UVM)不同,该方法结合系统级芯片验证和模块级验证的特点,并且融合UVM和知识产权验证核(VIP)模块验证的验证技术,且使用了SoC系统功能仿真模型以提高验证覆盖率和准确性.验证结果表明,同一架构系列SoC芯片可以移植于该验证平台中,并且可大幅缩短平台维护与开发时间,采用该验证方法的代码覆盖率为98.9％,功能覆盖率为100％.     

数字集成电路的FPGA验证

在一个复杂的asic芯片设计中，动辄数百万门，如果已流片后回来的芯片无法正常工作，必将造成时问、金钱的极大损失，比如开发费用的成倍增加，市场先机的丧失等等；为避免以上情况，在流片之前需要做验证，除了采用软件仿真和形式验证是很不够的，还需做其他一些不同的验证，这些验证方法互相补充，以尽可能提高芯片验证的覆盖率，其中很重要的就是系统级的FPGA验证。由于FPGA验证系统与实际的系统很接近，在这样一个系统上，芯片运行的速度和实际系统可比拟甚至一样，这有助于发现一些出现概率很低的bug，很容易运行一些在软件仿真中不太实际的测试；其次，对于一个FPGA验证系统，可以把它视为一个实际芯片构成的系统，完全可以在此基础上利用各种开发工具开发出相应的测试平台和应用平台，这就使得芯片代码的验证与实际芯片的测试类似，并且用于代码验证的所开发的工具和测试向量完全可以用于流片回来后的产品测试，大大减小了工作量，提高了工作效率；     

基于属性的形式验证技术及应用

为了提高产品的验证覆盖率和首次流片成功率,越来越多的验证技术和衡量标准被采纳。传统的仿真验证技术很难达到验证的快速收敛,而静态验证技术采用数学穷举的方法,利用断言对cornerco．se进行快速验证,有效避免了一些设计缺陷。Mentor公司的QuestaFormal工具可以对代码进行常规的功能检查,并可用Formal引擎证明设计代码及其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。     

结合断言与覆盖率为导向的验证方法

伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功能"遗漏点"的侦测.基于断言的验证方法可以将断言加入到DUT内部,通过断言覆盖加强覆盖率检测.阐述了将断言和覆盖率为导向相结合的验证方法,并用此种方法对USB2.0系统进行了验证.讨论了如何将两种验证方法有效地结合,并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证方法的结果,说明结合断言与覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期.     

基于UVM的AXI总线验证IP设计

基于UVM技术设计了可用于验证AXI总线协议的验证IP,对支持AXI4接口的Block RAM IP进行了验证,并构建了多Master和多Slave互联模拟验证平台,验证多AXI设备互联场景。设计了三种类型的测试用例(随机测试、基础测试和错误测试),并通过统计功能覆盖率来评估验证的完整性。验证结果表明,该验证IP功能正确,可满足对AXI总线的验证要求,功能覆盖率达到100%。     

功能覆盖率驱动的自适应遗传算法验证技术

根据不同功能测试点在芯片代码中的逻辑深度与相应测试向量覆盖到的测试点多少的关系,对不同测试点设置了相应的权重,提出一种基于自适应遗传算法的激励向量生成方法。实验结果表明,该方法能减少编写约束文件时间,较快自动搜索有针对性的测试激励,提高芯片功能验证的可靠性和仿真效率。     

基于System Verilog语言的设计验证技术

随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法。这些方法能极大提高芯片设计的效率,降低芯片设计的风险,减轻测试工程师的负担。     

基于SEP0611的电源管理驱动设计

休眠模式是减少嵌入式系统功率消耗的一种运行模式.一般来说,系统处于休眠模式时,不执行任何功能,在一定时期内没有用户请求产生,因此它可以最大限度地减少其不必要的功耗.在文章中,硬件平台采用东南大学自主研发的SEP0611嵌入式微处理器,软件平台采用Linux2.6.32内核,设计并实现了电源管理驱动.在SEP0611电源管理驱动中,使系统进入休眠模式的代码负责保存芯片状态、自刷新DDR;使系统退出休眠模式的代码负责使得DDR退出自刷新状态、恢复芯片状态,以使系统返回正常模式.通过在测试板上让系统进入休眠并唤醒系统、同时测试系统休眠前后各路电路的电流值,从而验证了该驱动的准确性.     

应用于导航芯片的SPI接口的设计与验证

本文采用自顶向下的Top-Down设计方法,详细描述了具有SPI协议的接口的设计与验证,包括接口的定义、模块划分、模块设计、接口验证,并给出了验证过程中收集的代码覆盖率和功能覆盖率,此款SPI接口已成功应用于导航芯片的模拟电路控制,具有实际的工程意义。     

基于覆盖率分析的僵尸网络控制命令发掘方法简

从僵尸程序执行轨迹对二进制代码块的覆盖规律出发,提出了一种僵尸网络控制命令发掘方法。通过分析执行轨迹对代码块的覆盖率特征实现对僵尸网络控制命令空间的发掘,根据代码空间是否被全覆盖来验证发现的僵尸网络命令空间的全面性。对僵尸网络Zeus、SdBot、AgoBot的执行轨迹进行了代码块覆盖率分析,结果表明,该方法能够快速准确地发掘出僵尸网络的控制命令集合,时间和空间开销小,且该命令集合所对应的执行轨迹可以覆盖僵尸程序95%以上的代码空间。