期刊文献+
共找到26篇文章
< 1 2 >
每页显示 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的验证平台建模技术 被引量:2
3
作者 闫沫 《现代电子技术》 2009年第18期10-12,16,共4页
验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了SystemVerilog在进行同步... 验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了SystemVerilog在进行同步FIFO验证平台建模时所采用的面向对象思想、多线程、接口、邮箱、时钟块等新技术以及建立验证平台的一般原则和技巧,实现了分层设计和验证过程中的自动监测。 展开更多
关键词 systemverilog 面向对象 多线程 接口 邮箱 时钟块
在线阅读 下载PDF
基于SystemVerilog的浮点数约束生成器的研究与实现
4
作者 吴沁文 王珊珊 《现代雷达》 CSCD 北大核心 2023年第7期75-82,共8页
SystemVerilog是专用于FPGA验证的语言,它的约束随机机制是支持FPGA随机测试的关键。然而,SystemVerilog语言仅提供了对整数类型的约束随机机制,这大大限制了需要使用浮点数随机激励的验证。文中设计了一种基于SystemVerilog的浮点数约... SystemVerilog是专用于FPGA验证的语言,它的约束随机机制是支持FPGA随机测试的关键。然而,SystemVerilog语言仅提供了对整数类型的约束随机机制,这大大限制了需要使用浮点数随机激励的验证。文中设计了一种基于SystemVerilog的浮点数约束生成器,它通过转换机制,实现对浮点数的约束随机生成,从而将SystemVerilog的约束随机机制扩大到浮点数据类型,有效扩大了SystemVerilog约束随机验证的支持范围。 展开更多
关键词 systemverilog语言 FPGA验证 约束随机 浮点数
在线阅读 下载PDF
基于SystemVerilog的向量存储器验证方法 被引量:3
5
作者 徐沛文 陈海燕 +1 位作者 陈书明 燕世林 《计算机研究与发展》 EI CSCD 北大核心 2014年第S1期239-244,共6页
随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大容量向量存储器(vector memory,VM)覆盖率驱动的验证方法进行研... 随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大容量向量存储器(vector memory,VM)覆盖率驱动的验证方法进行研究,基于SystemVerilog验证方法学,采用层次化建模方法搭建了高效的VM验证平台,在较高抽象层次上实现了带约束的随机激励,结合SVA断言技术对向量存储器向量读访存流水线的同步与提交状态实时监控,保证了关键时序逻辑功能验证的完备性、正确性,有效提高了验证效率.最终模块级验证结果表明,定向激励和随机激励相结合能较快达到理想的代码覆盖率. 展开更多
关键词 验证 systemverilog 向量存储器 断言 覆盖率
在线阅读 下载PDF
基于SystemVerilog的图像采集压缩卡芯片验证平台设计 被引量:2
6
作者 王凯 王骞 +2 位作者 符云越 李拓 刘凯 《电子测量技术》 北大核心 2021年第20期29-36,共8页
验证平台对视频采集压缩卡芯片的开发设计有重要作用。针对传统的验证平台在代码覆盖率以及测试效率方面存在的不足,设计了一款基于SystemVerilog搭建的验证平台,该验证平台采用面向对象程序语言设计,其中,PCIe host(RP)端采用Xilinx I... 验证平台对视频采集压缩卡芯片的开发设计有重要作用。针对传统的验证平台在代码覆盖率以及测试效率方面存在的不足,设计了一款基于SystemVerilog搭建的验证平台,该验证平台采用面向对象程序语言设计,其中,PCIe host(RP)端采用Xilinx IP建模链路层和物理层,保证了PCIe总线环境与真实主机板卡环境相同;外部验证环境采用SystemVerilog分层设计的方法,并采用类思想进行上层验证环境设计,使较多验证组件能够移植至同一接口协议的不同类SoC;此外,在自动化验证阶段,通过仿真报告自动判断case状态,调整随机基准以及在覆盖率报告中追踪未覆盖模块路径,极大地改善了代码的边角覆盖情况,加速了回归收敛。从采集压缩仿真过程、验证自动化以及覆盖率3个方面对该验证平台进行了分析,结果表明,该验证平台可快速完成相似设计的验证模组横向移植,提高相似功能芯片的验证可靠性,节省人力,加快仿真进度,加速覆盖率收敛,缩短验证周期,增加流片成功率。 展开更多
关键词 systemverilog 功能验证 自动化验证 覆盖率收敛
在线阅读 下载PDF
适于SoC的统一设计语言SystemVerilog 被引量:2
7
作者 黎宝峰 陈杰 颜永红 《半导体技术》 CAS CSCD 北大核心 2003年第12期25-29,共5页
顺应SoC的发展趋势,Accellera标准组织提议了一个统一设计语言SystemVerilog。本文主要讨论了SystemVerilog的特点、设计优势、现状和未来趋势等,并给出了一些实例。SystemVerilog是C、C++、Superlog和Verilog的混合,它极大地扩展了抽... 顺应SoC的发展趋势,Accellera标准组织提议了一个统一设计语言SystemVerilog。本文主要讨论了SystemVerilog的特点、设计优势、现状和未来趋势等,并给出了一些实例。SystemVerilog是C、C++、Superlog和Verilog的混合,它极大地扩展了抽象结构层次的设计建模和验证的能力,是SoC设计的最佳统一语言。 展开更多
关键词 片上系统 SOC 统一设计语言 systemverilog 抽象结构 设计建模 验证能力
在线阅读 下载PDF
基于SystemVerilog的多通道ARINC429总线通讯板卡的设计 被引量:2
8
作者 崔惠珊 崔海青 李淼 《现代电子技术》 2014年第16期54-57,共4页
为解决航电系统仿真验证过程中大多数ARINC429板卡软件定时不精确、不可靠的问题,拟从硬件上实现多通道、并行、高精度定时循环发送,采用基于标准SystemVerilog语言智能配置循环存储器的方法实现优化定时功能,提出一种多通道航空总线通... 为解决航电系统仿真验证过程中大多数ARINC429板卡软件定时不精确、不可靠的问题,拟从硬件上实现多通道、并行、高精度定时循环发送,采用基于标准SystemVerilog语言智能配置循环存储器的方法实现优化定时功能,提出一种多通道航空总线通信板卡设计方案。该方法采用通用网络接口与计算机连接,在基于LabVIEW的航空总线测试平台下,对所设计板卡进行测试和验证,结果表明该方法能够满足多个通道并行定时发送数据的要求,并且各项指标符合ARINC429电气标准。 展开更多
关键词 systemverilog 多通道ARINC429 定时循环发送 LABVIEW
在线阅读 下载PDF
基于SystemVerilog的同步FIFO的验证平台搭建 被引量:2
9
作者 邱玉泉 曾维 +2 位作者 刘世伟 冯坤 杨明翰 《无线电通信技术》 2017年第6期64-66,96,共4页
针对于传统验证平台利用Verilog搭建的验证平台效率低,准确度低的局限性,提出了一种基于SystemVerilog系统级语言的验证平台建模方法,可以有效地降低复杂度和设计风险。由于FIFO在大多数工程中利用率极高,也极易出现问题,通过对FIFO模... 针对于传统验证平台利用Verilog搭建的验证平台效率低,准确度低的局限性,提出了一种基于SystemVerilog系统级语言的验证平台建模方法,可以有效地降低复杂度和设计风险。由于FIFO在大多数工程中利用率极高,也极易出现问题,通过对FIFO模块进行验证平台建模,可以有效地降低设计与验证的时序竞争风险,实现验证平台的复用和验证过程中的自动监测,并且在搭建验证平台的过程中阐述了基本的验证流程,以及结合System Verilog语言介绍了一些基本建模规则和技巧。 展开更多
关键词 验证流程 验证平台 SYSTEM VERILOG FIFO
在线阅读 下载PDF
一种可扩展的并行处理器模型设计及性能评估 被引量:6
10
作者 陈鹏 袁雅婧 +1 位作者 桑红石 张天序 《航空兵器》 2011年第5期56-61,共6页
开发和设计并行处理器是一种有效提高图像处理速度的方法。本文分析了国内外近年来各种并行处理器的发展状况,提出了一种可扩展的面向图像处理的并行处理器架构(EPIP)和专用指令集。该架构复用多个流处理单元(SP)以单指令多数据流方式... 开发和设计并行处理器是一种有效提高图像处理速度的方法。本文分析了国内外近年来各种并行处理器的发展状况,提出了一种可扩展的面向图像处理的并行处理器架构(EPIP)和专用指令集。该架构复用多个流处理单元(SP)以单指令多数据流方式组织充分实现了数据级并行。单个流处理单元内采用超长指令字(VLIW)技术和并行多线程技术(SMT)分别实现指令级并行和任务级并行。专用指令集支持对私有寄存器和共享寄存器的混合寻址。利用SystemVerilog对该架构进行时钟精确建模,并将常见图像处理算法在该结构上进行了映射。最后给出了EPIP初步的性能评估结果。 展开更多
关键词 并行处理器 图像处理 微体系结构 systemverilog 仿真模型
在线阅读 下载PDF
覆盖率驱动的芯片功能验证设计与实现 被引量:3
11
作者 罗莉 何鸿君 +1 位作者 窦强 徐炜遐 《计算机工程与科学》 CSCD 北大核心 2013年第1期36-40,共5页
随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流... 随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率。 展开更多
关键词 覆盖率驱动 功能验证 PSL systemverilog
在线阅读 下载PDF
基于VMM方法的SOC集成验证 被引量:3
12
作者 李磊 罗胜钦 《电子测量技术》 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
基于覆盖率驱动的高性能DSP指令集验证方法 被引量:6
13
作者 刘畅 郭阳 《计算机工程》 CAS CSCD 2014年第6期317-320,F0003,共5页
针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令... 针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令集建模,同时定义功能覆盖点和交叉覆盖率,并对随机约束规则进行描述,利用SystemVerilog的约束求解机制在覆盖率驱动下生成大量的测试指令码。对"银河飞腾"高性能DSP芯片指令集进行验证,结果表明,与定向测试相比,随机测试的寄存器和数据通路覆盖率提高50%,操作数覆盖率提高90%以上,交叉覆盖率提高75%以上,同时功能覆盖率能在较短的时间内达到预期值,从而缩短验证周期。 展开更多
关键词 systemverilog语言 随机测试 覆盖率驱动 约束描述 面向对象编程 验证平台
在线阅读 下载PDF
RPR MAC数据通路的设计与实现(本期优秀论文) 被引量:1
14
作者 史晓飞 李惠军 +1 位作者 李玲 马骞 《光通信技术》 CSCD 北大核心 2008年第10期35-38,共4页
RPR定义了在环形拓扑结构上优化数据包传输的一种新的媒体接入控制层协议,基本数据单元是RPR数据帧。给出了一种新的RPR MAC数据通路的设计方案,主要包括数据接入模块、数据接收过滤模块以及数据发送模块的设计。采用SystemVerilog对系... RPR定义了在环形拓扑结构上优化数据包传输的一种新的媒体接入控制层协议,基本数据单元是RPR数据帧。给出了一种新的RPR MAC数据通路的设计方案,主要包括数据接入模块、数据接收过滤模块以及数据发送模块的设计。采用SystemVerilog对系统设计进行建模及验证,得到综合网表,最后在Xilinx的FPGA开发板Spartan 3E XC3S500E上进行了验证。 展开更多
关键词 弹性分组环 媒体接入控制 数据通路 现场可编程阵列 systemverilog
在线阅读 下载PDF
基于VMM构建可重用验证平台 被引量:3
15
作者 段承超 徐金甫 《现代电子技术》 2011年第8期127-129,132,共4页
传统的验证平台编写复杂,且难以在不同设计之间重用。采用SystemVerilog支持的VMM验证方法学,并结合带约束的随机验证和覆盖率驱动的验证技术,构建可重用验证平台,完成对UART模块的验证。与直接测试方法相比,该验证平台不仅能够有效提... 传统的验证平台编写复杂,且难以在不同设计之间重用。采用SystemVerilog支持的VMM验证方法学,并结合带约束的随机验证和覆盖率驱动的验证技术,构建可重用验证平台,完成对UART模块的验证。与直接测试方法相比,该验证平台不仅能够有效提高验证效率,而且在模块级和系统级验证过程中,能够重用该验证平台或验证组件。 展开更多
关键词 systemverilog VMM 可重用 验证平台
在线阅读 下载PDF
基于VMM的ALU验证 被引量:1
16
作者 苏雪 潘明 翟江涛 《现代电子技术》 北大核心 2015年第7期144-147,共4页
基于VMM方法学设计和实现了一个随机验证环境,验证一个64位ALU。该验证环境具备一套功能完备的随机测试程序发生器,可以生成覆盖率指导的有约束的定点、浮点指令序列,调用一个由C语言实现的参考模型进行运算结果自检,并采用覆盖率收敛... 基于VMM方法学设计和实现了一个随机验证环境,验证一个64位ALU。该验证环境具备一套功能完备的随机测试程序发生器,可以生成覆盖率指导的有约束的定点、浮点指令序列,调用一个由C语言实现的参考模型进行运算结果自检,并采用覆盖率收敛技术实现覆盖率快速收敛。实践结果表明,设计的随机验证环境,能够高效验证ALU的各项逻辑功能,减少测试时间,且随机测试程序生成模块可以简单移植应用于处理器其他模块的功能验证。 展开更多
关键词 systemverilog VMM 验证 算数逻辑单元
在线阅读 下载PDF
高性能MD5算法IP核的设计空间探索与分析
17
作者 原昊 吴东 谢向辉 《计算机工程与科学》 CSCD 北大核心 2009年第11期58-61,共4页
本文以Bluespec System Verilog高层硬件描述语言为工具,对MD5核心算法进行了设计空间探索,实现了全展开组合逻辑、全展开流水线、循环迭代、流水化的循环迭代四种结构,测试和分析了各种结构的性能和面积指标,完整掌握了MD5IP核的设计... 本文以Bluespec System Verilog高层硬件描述语言为工具,对MD5核心算法进行了设计空间探索,实现了全展开组合逻辑、全展开流水线、循环迭代、流水化的循环迭代四种结构,测试和分析了各种结构的性能和面积指标,完整掌握了MD5IP核的设计空间的各项参数。 展开更多
关键词 MD5 Bluespec systemverilog 高性能加速计算
在线阅读 下载PDF
基于UVM的I^2S验证IP设计 被引量:7
18
作者 倪伟 袁琳 王笑天 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2018年第1期49-54,共6页
文章采用统一验证方法学(universal verification methodology,UVM)技术开发了符合I2S(inter-IC sound)接口协议的验证IP(intellectual property),并构建了自测试验证平台对其功能进行检验。自测试验证平台产生受约束的随机激励信号检... 文章采用统一验证方法学(universal verification methodology,UVM)技术开发了符合I2S(inter-IC sound)接口协议的验证IP(intellectual property),并构建了自测试验证平台对其功能进行检验。自测试验证平台产生受约束的随机激励信号检查所实现的I2S协议,测试该验证IP的功能,并通过功能覆盖率来完善验证IP的设计。仿真结果表明,该验证IP可正确模拟I2S总线的数据通讯,功能覆盖率达到100%。 展开更多
关键词 统一验证方法学(UVM) systemverilog语言 I2S接口 验证IP
在线阅读 下载PDF
基于多模拟器协同模拟的微处理器验证技术研究
19
作者 宋慧静 赵天磊 +1 位作者 吴虎成 张民选 《小型微型计算机系统》 CSCD 北大核心 2015年第9期2130-2134,共5页
提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台Bug Finder.该平台通过System Verilog DPI(Direct Programming Interface)和操作系统共享内存机制,将待验证微处理器的RTL模型与GEM5模拟器相连,并自动比较每条... 提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台Bug Finder.该平台通过System Verilog DPI(Direct Programming Interface)和操作系统共享内存机制,将待验证微处理器的RTL模型与GEM5模拟器相连,并自动比较每条指令的运行结果,可以发现深层次的设计错误并快速定位.在实际验证中的应用结果显示,Bug Finder平台可以快速定位到大量RTL设计和验证环境中的错误,有效缩短了处理器的验证周期. 展开更多
关键词 微处理器验证 GEM5 systemverilog DPI 协同模拟 快速定位错误
在线阅读 下载PDF
VMM中功能覆盖率收敛技术 被引量:5
20
作者 黄思远 邵智勇 +2 位作者 于承兴 常华 张波 《现代电子技术》 2010年第4期16-18,31,共4页
介绍SystemVerilog VMM验证方法学在LCD Controller验证中的应用,指出它相对于传统Verilog验证方法的优点,重点研究功能覆盖率的收敛技术,实验比较了多种具体的实现方法。实验结果表明,由于CCT能够收集覆盖信息,形成闭环负反馈,以控制... 介绍SystemVerilog VMM验证方法学在LCD Controller验证中的应用,指出它相对于传统Verilog验证方法的优点,重点研究功能覆盖率的收敛技术,实验比较了多种具体的实现方法。实验结果表明,由于CCT能够收集覆盖信息,形成闭环负反馈,以控制随机变量的生成,从而在实现快速收敛的目标方面取得了显著的效果。 展开更多
关键词 systemverilog VMM IC验证 功能覆盖率收敛技术 SOC
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部