共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
3.
本文介绍了用于SOC功能验证的RVM验证方法学,描述RVM验证平台的层次化结构,介绍了RVM的随机测试和基于覆盖率驱动技术的验证策略.文中以一个UART模块为例,详细说明了RVM验证平台在SOC功能验证中的应用;并对验证平台的重用性进行了阐述. 相似文献
4.
5.
6.
随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步.因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容.本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率. 相似文献
7.
8.
基于PC与数据采集系统的DSP&CPU芯片功能验证方案 总被引:1,自引:1,他引:0
随着现代超大规模集成电路设计、制造工艺的快速发展,芯片的测试与验证所需的费用也越来越高.针对这个问题,本文提出了一种数字芯片的功能验证方案,该方案充分利用了PC机的丰富资源和数据采集系统的强大功能,有效地降低了数字芯片功能验证的成本.作者成功地运用该方案对一个百万门级的DSP&CPU芯片进行了功能验证,实际应用证明,该方案使用灵活、可靠,并且可以大幅降低芯片验证所需的费用,为数字芯片的功能验证提供了可以借鉴的有效方案. 相似文献
9.
10.
11.
本文介绍了RVM验证方法学和覆盖率驱动技术,验证方法学的关键就是搭建验证平台.覆盖率驱动技术是让我们搭建的验证平台达到覆盖率期望的要求,从而确保DUT的功能得到充分的验证.本文是根据覆盖率驱动技术搭建了基于RVM的SD/MMC卡控制器的验证平台,该验证平台从上到下分为测试层,产生器层,功能层,命令层和信号层,最后在此基础上给出了SD/MMC卡控制器的仿真波形,并根据波形分析不断修改SD控制器的源代码完善其功能,从而达到验证目的. 相似文献
12.
现在系统级芯片(SoC)系统集成度和复杂度不断提高,验证环节消耗时间占用了芯片研发时间的70%,芯片验证已经成为芯片研发中最关键的环节.目前业界验证方法大多有覆盖率低和通用性差等缺点,基于上述原因提出了一种新的验证方法.与传统验证方法和单纯的通用验证方法学(UVM)不同,该方法结合系统级芯片验证和模块级验证的特点,并且融合UVM和知识产权验证核(VIP)模块验证的验证技术,且使用了SoC系统功能仿真模型以提高验证覆盖率和准确性.验证结果表明,同一架构系列SoC芯片可以移植于该验证平台中,并且可大幅缩短平台维护与开发时间,采用该验证方法的代码覆盖率为98.9%,功能覆盖率为100%. 相似文献
13.
针对SoC的功能验证需求,提出了一种基于32 bit CPU核的SoC功能验证平台.该平台集成了SoC功能验证流程,包括IP模块验证、软硬件协同验证、模数混合验证、验证程序开发、验证程序调试、验证数据生成、验证Testbench、验证配置环境、结果比较和分析及基于FPGA的硬件验证平台等.该验证平台已经成功应用于某混合信号SoC的设计.该芯片在0.18 μm CMOS工艺上进行了实现,工作频率为80 MHz、功耗为450 mW.该验证平台原理清晰,提高了功能验证的效率和自动程度,并对其它混合SoC设计具有一定的参考作用. 相似文献
14.
本文结合处理器芯片实际项目,重点介绍了功能验证环节的工作。文章基于VMM验证平台,利用System Verilog语言自动生成测试激励,采用断言和功能覆盖率相结合的验证方法,实时监测RTL模型运行时的各种信号,自动进行覆盖率统计,通过增加约束实现覆盖率的快速收敛。文章最终给出了基于VMM验证平台进行功能验证的结果,绘制了功能覆盖率上升曲线。 相似文献
15.
现场可编程门阵列(Field Programmable Gate Array,FPGA)的设计可靠性直接影响产品的可靠性,因此必须对FPGA设计进行高效和充分的验证.对传统功能仿真验证进行了分析,从验证方法和方法学角度阐述了验证平台的发展趋势,提出并实现了一种层次化的通用验证平台,利用该平台对两个被测设计(Design Under Test,DUT)进行验证.验证结果表明,该方法建立起的验证平台具备一定的通用性,可有效提高验证覆盖率和验证效率. 相似文献
16.
17.
针对WLAN基带芯片的特点与功能验证需求,提出并实现基于SystemVerilog语言和MATLAB参考模型的功能验证方案.并给出该方案中MATLAB参考模型与验证平台的融合,功能覆盖模型的定义以及覆盖率驱动验证机制.使用该方案有效地提高一敖WLAN基带芯片的功能验证效率和质量,完成功能验证目标. 相似文献
18.
李晨阳 《微电子学与计算机》2022,(4):109-117
随着电子设计复杂度的持续增长,芯片的软件功能验证受到行业内越来越多的重视,业内采用传统测试方法和主流通用验证方法学(UVM)时,都是基于测试驱动的软件功能验证,导致验证环境内的组件具有较强的耦合性,在开展多重环境的软件功能验证时,需要花费大量的时间设计不同测试组件,不利于可重用性实现.本文提出了一种基于需求驱动的功能验... 相似文献
19.
硬件设计复杂度的增加使功能验证成为硬件设计方法学中的重要内容,基于断言技术的硬件设计验证技术(ABV:Assertion Based Verification)得到越来越多的应用。本文首先简要地介绍了硬件设计断言的类型,然后详细讨论了使用断言进行硬件设计验证的方法,包括:断言在仿真中的应用,断言在形式验证中的应用,结合了仿真及形式验证的混合形式验证等.本文还介绍了支持断言验证技术的设计语言和设计属性检查库,包括OVL(Open Verification Library)、OVA(OpenVera Assertion)和OVA设计属性检查库等。 相似文献
20.
在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在:①复杂验证场景难以构建。②边缘情况难以覆盖。基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生验证矢量.有效解决了传统验证方法面临的挑战。本文以一款SOC的存储子系统控制模块为例,研究了在Specman验证平台上,使用E语言构建验证环境的基于受限随机矢量生成的功能验证在SOC设计中的应用。验证结果表明,复杂验证场景和边缘情况的覆盖率均达到100%。经过多目标圆片(MPW)流片试验和测试,采用该方法验证的模块达到设计要求。 相似文献