期刊文献+
共找到103篇文章
< 1 2 6 >
每页显示 20 50 100
基于SystemVerilog语言的设计验证技术 被引量:14
1
作者 闫沫 张媛 《现代电子技术》 2008年第6期8-11,共4页
随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法。这些方法能极大提高芯片设计的效率,降低芯片设计... 随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法。这些方法能极大提高芯片设计的效率,降低芯片设计的风险,减轻测试工程师的负担。 展开更多
关键词 systemverilog 随机约束 功能覆盖率 断言 面向对象
下载PDF
基于SystemVerilog的SoC功能验证方法研究 被引量:10
2
作者 程刚 蔡敏 《科学技术与工程》 2009年第22期6814-6818,共5页
SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual(VMM)验证架构,对SoC验证的各阶段进行了改进。模块验证阶段灵活应用了形式验证和动态仿真验证;集成验... SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual(VMM)验证架构,对SoC验证的各阶段进行了改进。模块验证阶段灵活应用了形式验证和动态仿真验证;集成验证阶段依据可重性的思想搭建验证环境、采用迭代开发的思想提前了集成验证启动时间;系统验证阶段采取了软硬件协同验证;同时利用随机约束技术开发验证向量,利用功能覆盖率技术评价随机约束向量对功能的覆盖。通过这些改进措施达到了提SoC功能验证效率的目的。 展开更多
关键词 systemverilog 单元验证 集成验证 系统验证
下载PDF
基于SystemVerilog可重用测试平台的实现 被引量:11
3
作者 王鹏 刘万和 +1 位作者 刘锐 田毅 《电子技术应用》 北大核心 2015年第2期61-64,共4页
对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,... 对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。 展开更多
关键词 验证 systemverilog 测试平台 可重用
下载PDF
基于SystemVerilog的数字基带通信芯片的验证 被引量:6
4
作者 乔鹏丽 吕英杰 《南开大学学报(自然科学版)》 CAS CSCD 北大核心 2020年第6期1-4,共4页
随着集成电路设计复杂度的提高,验证的难度也随之提高,传统的基于Verilog搭建的验证平台已经不能满足要求.以数字基带通信芯片为验证对象,基于SystemVerilog语言建立一种双向通信的验证平台.该验证平台采用类的思想进行设计,使其更易于... 随着集成电路设计复杂度的提高,验证的难度也随之提高,传统的基于Verilog搭建的验证平台已经不能满足要求.以数字基带通信芯片为验证对象,基于SystemVerilog语言建立一种双向通信的验证平台.该验证平台采用类的思想进行设计,使其更易于修改和可重用.与传统的验证平台相比,分层次的验证平台具有更高的灵活性和易操作性. 展开更多
关键词 验证平台 双向通信 systemverilog 分层次
原文传递
基于SystemVerilog的超高频RFID标签数字基带设计与研究 被引量:6
5
作者 汪永峰 卜刚 《电子技术应用》 2021年第1期36-40,共5页
在ISO/IEC 18000-6C标准协议的基础上,对超高频射频识别(UHF RFID)标签数字基带的设计与实现展开研究。根据协议规定的标签数字基带的设计要求和指标,采用SystemVerilog分别对标签发送和接收基带进行建模,并给出基带中关键模块的理论推... 在ISO/IEC 18000-6C标准协议的基础上,对超高频射频识别(UHF RFID)标签数字基带的设计与实现展开研究。根据协议规定的标签数字基带的设计要求和指标,采用SystemVerilog分别对标签发送和接收基带进行建模,并给出基带中关键模块的理论推导和设计实现。SystemVerilog作为Verilog基础上拓展产生的硬件描述语言和验证语言,可以大幅度提高SoC设计的效率。最后使用Modelsim SE-6410.4对标签数字基带设计进行仿真,结果表明该数字基带符合ISO/IEC 18000-6C协议要求,该设计为单芯片UHF RFID标签提供了设计参考。 展开更多
关键词 ISO/IEC 18000-6C systemverilog 通信链路 RFID 仿真验证
下载PDF
VMM中功能覆盖率收敛技术 被引量:5
6
作者 黄思远 邵智勇 +2 位作者 于承兴 常华 张波 《现代电子技术》 2010年第4期16-18,31,共4页
介绍SystemVerilog VMM验证方法学在LCD Controller验证中的应用,指出它相对于传统Verilog验证方法的优点,重点研究功能覆盖率的收敛技术,实验比较了多种具体的实现方法。实验结果表明,由于CCT能够收集覆盖信息,形成闭环负反馈,以控制... 介绍SystemVerilog VMM验证方法学在LCD Controller验证中的应用,指出它相对于传统Verilog验证方法的优点,重点研究功能覆盖率的收敛技术,实验比较了多种具体的实现方法。实验结果表明,由于CCT能够收集覆盖信息,形成闭环负反馈,以控制随机变量的生成,从而在实现快速收敛的目标方面取得了显著的效果。 展开更多
关键词 systemverilog VMM IC验证 功能覆盖率收敛技术 SOC
下载PDF
基于VIP与SystemVerilog的硬件加速器仿真模型设计
7
作者 杜越 吴益然 郑杰良 《计算机与网络》 2024年第4期307-313,共7页
随着片上系统(System on Chip,SoC)芯片规模与功能复杂度的膨胀,硬件加速器已成为大规模SoC的重要组成部分。为了缩短产品交付时间,有必要开发硬件加速器仿真模型,以在SoC设计初期支撑架构的探索与评估。在对硬件加速器的特点与建模需... 随着片上系统(System on Chip,SoC)芯片规模与功能复杂度的膨胀,硬件加速器已成为大规模SoC的重要组成部分。为了缩短产品交付时间,有必要开发硬件加速器仿真模型,以在SoC设计初期支撑架构的探索与评估。在对硬件加速器的特点与建模需求进行分析的基础上,提出一种基于AXI验证IP(Verification IP,VIP)、SystemVerilog信箱和旗语的硬件加速器建模方法。该方法支持完备的总线协议特性,同时支持多个处理引擎的并行处理与乱序输出。以实际SoC项目中的通信基带加速器为例,对提出的建模方法进行介绍,并进行相应的系统级仿真与分析。所提出的建模方法可实现对硬件加速器总线行为的高效建模,能够有力支撑SoC验证以及系统架构评估,缩短项目的开发周期。 展开更多
关键词 硬件加速器 仿真模型 片上系统 信箱 旗语 systemverilog 验证IP
下载PDF
一种可扩展的并行处理器模型设计及性能评估 被引量:6
8
作者 陈鹏 袁雅婧 +1 位作者 桑红石 张天序 《航空兵器》 2011年第5期56-61,共6页
开发和设计并行处理器是一种有效提高图像处理速度的方法。本文分析了国内外近年来各种并行处理器的发展状况,提出了一种可扩展的面向图像处理的并行处理器架构(EPIP)和专用指令集。该架构复用多个流处理单元(SP)以单指令多数据流方式... 开发和设计并行处理器是一种有效提高图像处理速度的方法。本文分析了国内外近年来各种并行处理器的发展状况,提出了一种可扩展的面向图像处理的并行处理器架构(EPIP)和专用指令集。该架构复用多个流处理单元(SP)以单指令多数据流方式组织充分实现了数据级并行。单个流处理单元内采用超长指令字(VLIW)技术和并行多线程技术(SMT)分别实现指令级并行和任务级并行。专用指令集支持对私有寄存器和共享寄存器的混合寻址。利用SystemVerilog对该架构进行时钟精确建模,并将常见图像处理算法在该结构上进行了映射。最后给出了EPIP初步的性能评估结果。 展开更多
关键词 并行处理器 图像处理 微体系结构 systemverilog 仿真模型
下载PDF
下一代芯片设计与验证语言:SystemVerilog(验证篇) 被引量:3
9
作者 钟文枫 《电子设计应用》 2008年第12期61-67,共7页
System Verilog是下一代芯片设计和验证语言,于2005年12月被标准化为IEEE P1800-2005。本文介绍System Verilog发展的过程及其对验证建模的支持,重点讨论其在功能验证方面的重要应用及使用技巧。
关键词 systemverilog 设计和验证语言 功能验证 断言 验证方法学
下载PDF
设计验证中的随机约束 被引量:5
10
作者 刘杰 徐伟俊 +1 位作者 夏宇闻 秦冀龙 《中国集成电路》 2006年第11期28-31,44,共5页
随机约束在现代集成电路验证中已得到国际IC设计业界的普遍认可,并逐渐开始普及。与传统的定向测试比较,它在验证效率、验证覆盖率等方面具有诸多优势。最新公布的SystemVerilogIEEE标准中,包含了对随机约束的支持。本文举例说明了随机... 随机约束在现代集成电路验证中已得到国际IC设计业界的普遍认可,并逐渐开始普及。与传统的定向测试比较,它在验证效率、验证覆盖率等方面具有诸多优势。最新公布的SystemVerilogIEEE标准中,包含了对随机约束的支持。本文举例说明了随机约束的优点、使用方法及其与断言和功能覆盖率相辅相成的关系。目前国内已有一些设计单位开始将随机约束应用于设计验证中,本文的宗旨是介绍我们的成功经验以推动这种新的验证方法在国内的推广和普及。 展开更多
关键词 随机约束 systemverilog 功能覆盖率
下载PDF
基于VMM方法的SOC集成验证 被引量:8
11
作者 李磊 罗胜钦 《电子与封装》 2011年第1期18-21,共4页
随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈。VMM是synopsys公司推出的基于systemverilog的一套验证方法学,已经成为SOC验证的主流方... 随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈。VMM是synopsys公司推出的基于systemverilog的一套验证方法学,已经成为SOC验证的主流方法学。SOC系统采用ARM9处理器和DSP处理器,基于AMBA总线架构。SOC验证包括集成验证和系统验证,相对于系统验证,集成验证具有运行速度快的特点,在芯片验证中极其重要。文中结合项目来介绍SOC集成验证,运用业界主流的VMM验证方法学并结合DesignWare VIP来搭建集成验证环境,通过VMM类的介绍来说明验证的过程,并提出验证环境归一化的思想。 展开更多
关键词 VMM验证 systemverilog DesignWare VIP 系统芯片
下载PDF
AFDX交换芯片虚拟验证关键技术研究 被引量:5
12
作者 吴晓成 田泽 +1 位作者 郭蒙 张荣华 《计算机技术与发展》 2013年第8期177-180,共4页
AFDX(Avionics Full Duplex Switched Ethernet,航空全双工交换式以太网)网络为航电系统提供了一种确定、余度的数据交换服务,其基础和核心是交换芯片。在AFDX网络交换芯片整个研制过程中能否对其进行充分验证,是直接影响其投片成功的... AFDX(Avionics Full Duplex Switched Ethernet,航空全双工交换式以太网)网络为航电系统提供了一种确定、余度的数据交换服务,其基础和核心是交换芯片。在AFDX网络交换芯片整个研制过程中能否对其进行充分验证,是直接影响其投片成功的关键因素之一。文中结合AFDX网络交换芯片的设计过程,系统分析AFDX网络交换机及芯片的特点,制定出相应的验证策略,最后采用SystemVerilog验证语言、并基于OVM(Open Verification Method)概念构建了AFDX交换芯片的虚拟验证环境,缩短了验证平台的开发时间,极大提高了验证效率。 展开更多
关键词 航空全双工交换式以太网 虚链路 过滤 警管 systemverilog
下载PDF
基于SystemVerilog的SoC系统控制单元的验证
13
作者 戴兆麟 赵启林 +1 位作者 李超 刘璐 《电子设计工程》 2023年第23期100-103,共4页
随着片上系统(System-on-Chip,SoC)成为芯片的主流形式,为协调与控制片上各个IP模块,通常在总线端设有控制单元使系统达到硬件资源配置、面积、功耗的统一,控制单元功能的正确性、完备性变得越来越重要。通过以覆盖率驱动的随机化验证... 随着片上系统(System-on-Chip,SoC)成为芯片的主流形式,为协调与控制片上各个IP模块,通常在总线端设有控制单元使系统达到硬件资源配置、面积、功耗的统一,控制单元功能的正确性、完备性变得越来越重要。通过以覆盖率驱动的随机化验证策略、基于SystemVerilog构建分层次的验证平台,对SoC系统的控制单元完成了高效率、高完备率的功能验证,该控制单元的设计符合预期,同时高度模块化的可移植验证平台对同一通信协议下其他SoC控制模块的验证具有参考意义。 展开更多
关键词 SOC 系统控制单元 数字验证 systemverilog 覆盖率
下载PDF
宽带电力线载波通信系统物理层的逻辑验证 被引量:4
14
作者 迟海明 周春良 +2 位作者 赵东艳 王于波 唐晓柯 《电子设计工程》 2020年第8期136-140,共5页
针对宽带电力线载波通信系统物理层的功能特性,分析了物理层逻辑验证所面临的挑战,提出了一种基于Systemverilog的逻辑验证平台。验证平台采用分层设计,结合面向对象技术,实现平台部件的重用性和扩展性。验证还引入工厂模式,提高了验证... 针对宽带电力线载波通信系统物理层的功能特性,分析了物理层逻辑验证所面临的挑战,提出了一种基于Systemverilog的逻辑验证平台。验证平台采用分层设计,结合面向对象技术,实现平台部件的重用性和扩展性。验证还引入工厂模式,提高了验证平台的灵活性和执行速度。验证采用随机和定向相结合的方式以保证验证的全面覆盖。利用DPI-C接口集成比特精确的算法仿真模型来实现随机验证,提高功能覆盖率。利用MATLAB算法仿真平台的数据作为有噪环境下的定向测试,使功能覆盖率达到100%,达到了验证目的。 展开更多
关键词 宽带电力线载波通信 物理层 验证 systemverilog DPI
下载PDF
一种高效率可重构的CPU验证平台 被引量:4
15
作者 刘春锐 张宏奎 +1 位作者 黄旭东 陈振娇 《电子与封装》 2021年第11期25-30,共6页
现有的CPU验证平台大多基于指令码匹配技术搭建,这种方式开发周期长、调试难度高。在CPU芯片的设计中,高效和完备的功能验证已成为CPU可靠性的重要依据。针对某32位CPU芯片的验证需求,提出了一种高效率可重构的CPU验证平台,并完成了该... 现有的CPU验证平台大多基于指令码匹配技术搭建,这种方式开发周期长、调试难度高。在CPU芯片的设计中,高效和完备的功能验证已成为CPU可靠性的重要依据。针对某32位CPU芯片的验证需求,提出了一种高效率可重构的CPU验证平台,并完成了该验证平台的设计与实现。该验证平台充分利用SystemVerilog的字符串匹配技术,集成了验证用例生成组件、参考模型组件、监控组件和结果比较组件,使用脚本语言自动化完成批量验证。相比现有的CPU验证平台,该平台开发及调试周期短,模块化的结构易于重复使用和移植。目前该平台已完成代码覆盖率收集,成功验证了自主设计的CPU功能正确性。 展开更多
关键词 CPU 验证平台 功能验证 systemverilog
下载PDF
基于ESL并采用SystemC和SystemVerilog的设计流程 被引量:5
16
作者 Rindert Schutten 《电子设计技术 EDN CHINA》 2006年第4期142-142,144,146,148,149,共5页
ESL解决方案的目标在于提供让设计人员能够在一种抽象层次上对芯片进行描述和分析的工具和方法,在这种抽象层次上,设计人员可以对芯片特性进行功能性的描述,而没有必要求助于硬件(RTL)实现的具体细节。
关键词 systemverilog SYSTEMC ESL 设计流程 设计人员 抽象层 芯片
原文传递
基于VMM构建可重用验证平台 被引量:3
17
作者 段承超 徐金甫 《现代电子技术》 2011年第8期127-129,132,共4页
传统的验证平台编写复杂,且难以在不同设计之间重用。采用SystemVerilog支持的VMM验证方法学,并结合带约束的随机验证和覆盖率驱动的验证技术,构建可重用验证平台,完成对UART模块的验证。与直接测试方法相比,该验证平台不仅能够有效提... 传统的验证平台编写复杂,且难以在不同设计之间重用。采用SystemVerilog支持的VMM验证方法学,并结合带约束的随机验证和覆盖率驱动的验证技术,构建可重用验证平台,完成对UART模块的验证。与直接测试方法相比,该验证平台不仅能够有效提高验证效率,而且在模块级和系统级验证过程中,能够重用该验证平台或验证组件。 展开更多
关键词 systemverilog VMM 可重用 验证平台
下载PDF
高性能验证平台设计与搭建 被引量:3
18
作者 宋秀兰 吴晓波 《电子器件》 CAS 2008年第6期1819-1821,共3页
随着集成电路设计的复杂度越来越高,系统验证的难度也在不断地提高。为了能更有效地完成验证工作,需要采用先进的验证方法来构建高性能验证平台。本文介绍的项目中,采用了多种先进验证技术,使用RVM分层结构,混合验证语言,集成多种验证IP... 随着集成电路设计的复杂度越来越高,系统验证的难度也在不断地提高。为了能更有效地完成验证工作,需要采用先进的验证方法来构建高性能验证平台。本文介绍的项目中,采用了多种先进验证技术,使用RVM分层结构,混合验证语言,集成多种验证IP,构建了一个存储系统的高效验证平台,探索了复杂系统验证平台设计与搭建之路。 展开更多
关键词 验证 IP RVM systemverilog openvera
下载PDF
基于VMM方法的SOC集成验证 被引量:3
19
作者 李磊 罗胜钦 《电子测量技术》 2011年第1期128-131,共4页
随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈。VMM是synopsys公司推出的基于syste mverilog的一套验证方法学,已经成为SOC验证的主流... 随着集成电路规模和设计复杂度的快速增长,芯片验证的难度也不断加大,芯片验证的工作量达到了整个芯片研发的70%,已然成为缩短芯片上市时间的瓶颈。VMM是synopsys公司推出的基于syste mverilog的一套验证方法学,已经成为SOC验证的主流方法学。SOC系统采用ARM9处理器和DSP处理器,基于AMBA总线架构。SOC验证包括集成验证和系统验证,相对于系统验证,集成验证具有运行速度快的特点,在芯片验证中及其重要。结合项目来介绍SOC集成验证,运用业界主流的VMM验证方法学并结合Design Ware VIP来搭建集成验证环境,通过VMM类的介绍来说明验证的过程,并提出验证环境归一化的思想。 展开更多
关键词 VMM验证 systemverilog Design WARE VIP 系统芯片
下载PDF
基于SystemVerilog的验证平台建模技术 被引量:2
20
作者 闫沫 《现代电子技术》 2009年第18期10-12,16,共4页
验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了SystemVerilog在进行同步... 验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了SystemVerilog在进行同步FIFO验证平台建模时所采用的面向对象思想、多线程、接口、邮箱、时钟块等新技术以及建立验证平台的一般原则和技巧,实现了分层设计和验证过程中的自动监测。 展开更多
关键词 systemverilog 面向对象 多线程 接口 邮箱 时钟块
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部