结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用 被引量：12

1

作者 陈辉 申敏 刘树军 《微计算机信息》 北大核心 2006年第09Z期113-115,229,共4页

本文首先介绍RVM验证方法学和覆盖率驱动技术,然后详细分析如何使用结合覆盖率驱动技术的RVM验证方法学对SOC(SystemOnChip)进行完备的功能验证,最后探讨如何利用此方法学提高验证的效率。

关键词 SOC 被验证模块 功能模块 RVM验证方法学 RVM验证平台 覆盖率驱动

下载PDF 职称材料

高效验证平台在TD-SCDMA终端芯片功能验证中的应用 被引量：10

2

作者 陈辉 申敏 刘树军 《重庆邮电学院学报（自然科学版）》 2006年第3期299-302,316,共5页

介绍了基于事务级验证的验证方法学(RVM)和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证。此验证平台比传统验证平台在... 介绍了基于事务级验证的验证方法学(RVM)和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证。此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期。 展开更多

关键词 片上系统 待验证模块 验证方法学(RVM) 覆盖率驱动 RVM验证平台 引用模型

下载PDF 职称材料

基于覆盖率驱动的高性能DSP指令集验证方法 被引量：5

3

作者 刘畅 郭阳 《计算机工程》 CAS CSCD 2014年第6期317-320,F0003,共5页

针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令... 针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令集建模,同时定义功能覆盖点和交叉覆盖率,并对随机约束规则进行描述,利用SystemVerilog的约束求解机制在覆盖率驱动下生成大量的测试指令码。对"银河飞腾"高性能DSP芯片指令集进行验证,结果表明,与定向测试相比,随机测试的寄存器和数据通路覆盖率提高50%,操作数覆盖率提高90%以上,交叉覆盖率提高75%以上,同时功能覆盖率能在较短的时间内达到预期值,从而缩短验证周期。 展开更多

关键词 SystemVerilog语言 随机测试 覆盖率驱动 约束描述 面向对象编程 验证平台

下载PDF 职称材料

基于面向多种覆盖率驱动的验证方法研究 被引量：1

4

作者 董伟杰 张晓静 《中国测试技术》 CAS 2008年第5期54-56,共3页

验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分... 验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断。该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分析。然后根据分析得出的数据再次进行验证,直到验证的完整性满足设计者的要求。覆盖率是否达到预期的要求,可以作为判断验证工作质量的依据。 展开更多

关键词 验证方法 覆盖率驱动 功能覆盖率 结构覆盖率 断言覆盖率

下载PDF 职称材料

RVM在SoC验证中的应用及覆盖率驱动技术 被引量：1

5

作者 万超 申敏 《重庆邮电大学学报（自然科学版）》 2007年第5期562-565,共4页

介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。

关键词 RVM SOC验证 层次化验证平台 覆盖率驱动

下载PDF 职称材料

基于覆盖率驱动的高频RFID芯片验证平台设计 被引量：4

6

作者 王国军 景为平 《电子技术应用》 北大核心 2016年第4期28-30,34,共4页

提出了一种采用覆盖率驱动激励产生算法的验证技术,设计了一套完整的验证平台,成功地验证了一款高频RFID(射频识别技术)芯片。该技术的核心思想是在验证过程中,通过分析功能覆盖率和代码覆盖率,得出未覆盖的边界条件,进而修改激励产生... 提出了一种采用覆盖率驱动激励产生算法的验证技术,设计了一套完整的验证平台,成功地验证了一款高频RFID(射频识别技术)芯片。该技术的核心思想是在验证过程中,通过分析功能覆盖率和代码覆盖率,得出未覆盖的边界条件,进而修改激励产生的约束条件,产生测试激励,验证边界条件,以有效地提高验证覆盖率。现该验证平台所验证的芯片已经成功流片,且测试性能优异。 展开更多

关键词 覆盖率驱动 验证技术 激励产生算法

下载PDF 职称材料

覆盖率驱动的芯片功能验证设计与实现 被引量：3

7

作者 罗莉 何鸿君 +1 位作者 窦强 徐炜遐 《计算机工程与科学》 CSCD 北大核心 2013年第1期36-40,共5页

随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流... 随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率。 展开更多

关键词 覆盖率驱动 功能验证 PSL SYSTEMVERILOG

下载PDF 职称材料

覆盖率技术的提高在RVM层次化验证方法中的应用 被引量：1

8

作者 袁艳 申敏 《电子测试》 2008年第1期10-14,19,共6页

本文首先介绍了传统验证方法的弊端,描述了RVM验证平台的层次化结构及它的可重用性原理,主要目的是强调在现有的验证平台上为了模块得到完备性验证必须提高它的覆盖率。本文使用的方法是在基于RVM的验证平台上通过验证工程师充分理解协... 本文首先介绍了传统验证方法的弊端,描述了RVM验证平台的层次化结构及它的可重用性原理,主要目的是强调在现有的验证平台上为了模块得到完备性验证必须提高它的覆盖率。本文使用的方法是在基于RVM的验证平台上通过验证工程师充分理解协议之后增加测试例的构造来实现覆盖率技术的提高。然后以UART(通用异步收发信机)为实例具体说明如何提高覆盖率,最后得出结论通过这种方法可以使功能覆盖率和代码覆盖率都达到100%,提高了验证的完备性。 展开更多

关键词 SOC RVM DUT 覆盖率驱动 RVM验证平台

下载PDF 职称材料

基于VMM的外部存储器接口验证 被引量：1

9

作者 刘兆勇 王进祥 李清波 《微处理机》 2009年第4期1-4,共4页

随着SoC规模和复杂度的增加,功能验证变得越来越复杂,传统的验证方法很难对其进行全面的验证。基于SystemVerilog语言和VMM(Verification MethodologyManual)的高级验证方法学,采用覆盖率驱动、带有约束的随机化和断言等验证方法设计验... 随着SoC规模和复杂度的增加,功能验证变得越来越复杂,传统的验证方法很难对其进行全面的验证。基于SystemVerilog语言和VMM(Verification MethodologyManual)的高级验证方法学,采用覆盖率驱动、带有约束的随机化和断言等验证方法设计验证平台,对外部存储器接口进行了功能验证。验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事务,代码和功能覆盖率可达100%。该方法简化验证复杂度,提高验证平台的可重用性,较好地满足芯片验证需要。 展开更多

关键词 VMM验证方法学 事务级 覆盖率驱动 外部存储器接口

下载PDF 职称材料

一种面向IO Die的敏捷验证方法

10

作者 罗莉 石伟 +3 位作者 何鸿君 潘国腾 王蕾 龚锐 《计算机工程与科学》 CSCD 北大核心 2023年第4期571-576,共6页

IO Die可以用做IO扩展芯片,也可作为芯粒(chiplet)复用于多个项目。提出一种面向IO Die的敏捷验证方法,验证平台包括子系统级、簇级、全片级3个层次,可实现测试激励的跨层次复用;针对各验证层次的测试激励的自动生成方式进行优化,分别... IO Die可以用做IO扩展芯片,也可作为芯粒(chiplet)复用于多个项目。提出一种面向IO Die的敏捷验证方法,验证平台包括子系统级、簇级、全片级3个层次,可实现测试激励的跨层次复用;针对各验证层次的测试激励的自动生成方式进行优化,分别采用覆盖率驱动、可配置约束产生、多目标优化策略,提高测试激励的生成效率。实验结果表明,该方法在保证效率和可靠性的前提下,可以降低验证成本,缩短验证时间,快速获得已知合格裸片KGD。 展开更多

关键词 裸片 敏捷验证 覆盖率驱动 可配置约束 多目标优化

下载PDF 职称材料

基于UVM的软硬件协同验证平台设计 被引量：1

11

作者 李姝萱 卜刚 韩宇昕 《计算机技术与发展》 2022年第8期76-81,共6页

随着芯片的规模和复杂度日益增大,软件环境下的功能验证越来越无法满足高效率的芯片生产流程的需求。因此,验证效率的提高变得十分关键。针对RFID数字基带系统中标签——阅读器链路的FM0和Miller编码模块,利用FPGA硬件平台的高速性能和... 随着芯片的规模和复杂度日益增大,软件环境下的功能验证越来越无法满足高效率的芯片生产流程的需求。因此,验证效率的提高变得十分关键。针对RFID数字基带系统中标签——阅读器链路的FM0和Miller编码模块,利用FPGA硬件平台的高速性能和面向对象编程的优势,搭建了一种基于覆盖率驱动的UVM软硬件协同验证平台。FPGA端将集成有RS-232串口收发模块的可综合待测设计下载到硬件上,PC端采用winsock API编写数据上行和下行通路的C程序。验证平台仍保留在仿真软件QuestaSim中运行,并通过DPI接口调用的方式与硬件平台进行通信。最终,上述方案在Altera开发板实现。实验结果表明,该验证平台的功能覆盖率达到100%,能够有效提高验证效率并且能够为大规模SoC的验证所用,同时还具有硬件资源占用率低以及可维护性和可复用性强的优点。 展开更多

关键词 通用验证方法学 软硬件协同验证 串口 现场可编程门阵列 覆盖率驱动

下载PDF 职称材料

基于覆盖率的功能验证方法 被引量：8

12

作者 解咏梅 张珩 张福新 《计算机应用研究》 CSCD 北大核心 2005年第1期23-24,28,共3页

随着半导体技术的发展,验证已经逐渐成为大规模集成电路设计的主要瓶颈。首先介绍传统的功能验证方法并剖析其优缺点,然后引入传统方法的一种改进———基于覆盖率的验证方法,最后介绍了基于覆盖率的验证方法在一款通用微处理器功能验... 随着半导体技术的发展,验证已经逐渐成为大规模集成电路设计的主要瓶颈。首先介绍传统的功能验证方法并剖析其优缺点,然后引入传统方法的一种改进———基于覆盖率的验证方法,最后介绍了基于覆盖率的验证方法在一款通用微处理器功能验证中的实际应用。 展开更多

关键词 功能验证 协同仿真 自测检验 基于覆盖率的方法

下载PDF 职称材料

通用SPI Flash控制器的设计与验证 被引量：11

13

作者 罗莉 夏军 邓宇 《计算机工程》 CAS CSCD 北大核心 2011年第8期22-24,27,共4页

为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证... 为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证复杂度、提高验证速度和质量。实验结果证明,其功能覆盖率达到了100%。 展开更多

关键词 串行外设接口Flash FLASH控制器 属性描述语言 断言 功能覆盖率 覆盖率驱动的验证

下载PDF 职称材料

一种Cache一致性协议验证中覆盖率驱动的随机验证方法 被引量：1

14

作者 李拓 王恩东 +1 位作者 胡雷均 秦济龙 《计算机应用与软件》 CSCD 2011年第11期167-170,共4页

随机验证技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术,覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一。针对Cache一致性协议的验证目标,介绍一种引入基于朴素贝叶斯模型的机器学习来完善基于覆盖率驱动的随... 随机验证技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术,覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一。针对Cache一致性协议的验证目标,介绍一种引入基于朴素贝叶斯模型的机器学习来完善基于覆盖率驱动的随机验证的方法,并结合相关的实际验证过程对该方法进行了分析和讨论。 展开更多

关键词 软件高速缓存(Cache) 随机验证 覆盖率驱动 机器学习 朴素贝叶斯模型

下载PDF 职称材料

集成电路的设计验证

15

作者 倪青 《电脑知识与技术》 2006年第5期145-146,共2页

集成电路设计业正面临着一系列的挑战:芯片性能越来越强,规模越来越大,开发周期越来越长,设计质量越来越难于控制。而随着半导体技术的发展,设计验证已经逐渐成为大规模集成电路设计的主要瓶颈。而设计验证最基本的内容是功能验证,用于... 集成电路设计业正面临着一系列的挑战:芯片性能越来越强,规模越来越大,开发周期越来越长,设计质量越来越难于控制。而随着半导体技术的发展,设计验证已经逐渐成为大规模集成电路设计的主要瓶颈。而设计验证最基本的内容是功能验证,用于判别设计规范和实现之间是否一致。对模拟验证、形式验证中的等价性检验和模型检验进行了介绍,然后引入传统方法的一种改进——基于覆盖率的验证方法。 展开更多

关键词 设计验证 协同仿真 自测检验 基于覆盖率的方法

下载PDF 职称材料

基于覆盖率驱动的SoC验证技术研究 被引量：5

16

作者 朱车壮 陈岚 冯燕 《微电子学与计算机》 CSCD 北大核心 2011年第11期48-52,共5页

覆盖率数据是验证工程师判定SoC验证完备程度的定性度量,为SoC验证完全性提供了保障,指明了方向.文中以SoC总线仲裁器验证为例,对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆盖率进行了全面的分析,然后根据覆盖率分析结果反馈到RTL... 覆盖率数据是验证工程师判定SoC验证完备程度的定性度量,为SoC验证完全性提供了保障,指明了方向.文中以SoC总线仲裁器验证为例,对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆盖率进行了全面的分析,然后根据覆盖率分析结果反馈到RTL设计代码和测试激励进行修正,直到验证的完整性满足设计的要求. 展开更多

关键词 SoC验证方法 覆盖率驱动 结构覆盖率 功能覆盖率 断言覆盖率

下载PDF 职称材料

一种可暂停的低功耗DMA控制器设计及验证

17

作者 苏皇滨 林伟 林伟峰 《电子与封装》 2024年第3期69-74,共6页

通过分析直接内存存取(DMA)控制器的工作原理和主要功耗来源,发现其在空闲状态时依然存在功耗较高的问题,为了解决空闲状态功耗损失问题以及满足DMA控制器实际传输过程中可能出现的暂停需求,提出了一种可暂停的低功耗DMA控制器设计方案... 通过分析直接内存存取(DMA)控制器的工作原理和主要功耗来源,发现其在空闲状态时依然存在功耗较高的问题,为了解决空闲状态功耗损失问题以及满足DMA控制器实际传输过程中可能出现的暂停需求,提出了一种可暂停的低功耗DMA控制器设计方案。采用自适应时钟控制机制,通过加入时钟门控技术,根据DMA数据传输需求动态调整时钟,使DMA引擎模块功耗降低了62%。针对暂停需求,采用了一种可暂停的控制策略,通过加入暂停指令,实现对DMA传输的实时暂停和恢复,提高了DMA控制器的灵活性。为了保证DMA控制器功能的正确性和完备性,采用基于覆盖率驱动验证(CDV)的验证策略,划分DMA控制器的功能点,针对每个功能点编写测试用例,搭建通用验证方法学(UVM)仿真验证平台,进行大量随机测试和定向测试,给出了测试的结果以及完整的覆盖率分析结果。 展开更多

关键词 DMA控制器 低功耗设计 暂停指令 时钟门控技术 覆盖率驱动验证 通用验证方法学

下载PDF 职称材料