摘要:验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了Sys-
temVerilog在进行同步FIFO验证平台建模时所采用的面向对象思想、多线程、接口、邮箱、时钟块等新技术以及建立验证平台的一般原则和技巧,实现了分层设计和验证过程中的自动监测。
关键词:SystemVerilog;面向对象;多线程;接口;邮箱;时钟块
随着硅片工艺技术的不断进步,系统芯片(Systenr om Chip,So)已经完全跨入百万门级]。目前,芯片的直接流片成本高达百万美金以上,验证工程正面临着前所未有的挑战。
据统计,对系统芯片进行验证已经占到设计研发工作总量的70%左右21。另一方面,验证技术发展一直比较缓慢,并且出现相对停滞的现象,这就是所谓的“验证危机”1。为了解决这一困境,工业界推出了Sys temVerilog设计验证语言。
SystemVerilog 语言不是新的硬件描述语言,它是对已存在的Verilog语言的丰富和扩展1。作为下一代的设计验证语言,它结合了现代的设计和验证环境,通过结合Verilog语言、VHDL语言、C*+语言,以及验证平台语言和断言语言的最佳特性,将硬件描述语言(HDL)与现代的高级验证语言(HVL)结合在一起,为高度复杂的芯片设计提供了强大的设计和验证保证[]。
资源简介:Xilinx公司推出的DSP设计开发工具System Generator是在Matlab环境中进行建模,是DSP高层系统设计与Xilinx FPGA之间实现的“桥梁”。在分析了FPGA传统级设计方法的基础上,提出了基于System Generator的系统级设计新方法,并应用新方法设计验证了一套数字下变...
上传时间: 2013-11-18
上传用户:小草123
资源简介:基于DCT域的图像数字水印技术: 摘要:数字水印技术作为数字媒体版权保护的有效办法,近年来在国内外引起了人们极大的兴趣。作者采用了DCT离散余弦变换的算法,对图像这种多媒体数字作品进行了数字水印的嵌入和检测研究。并且使用了高效实用的编程工具MATLAB...
上传时间: 2013-12-24
上传用户:sqq
资源简介:基于商务网站的建设和web技术的发展,采用J2EE平台开发网上购物平台。该平台采用APACHE作为Web服务器和应用服务器,后端连接Microsoft SQL Server数据库;网站中主要经营服装类,发布最新的服饰资讯、流行趋势和各类经典服装。提供方便的检索工具供用户查询所...
上传时间: 2013-12-29
上传用户:ecooo
资源简介: 针对互联网领域版权保护面临的挑战,介绍了一种新的版权公共服务新模式:数字版权标识符体系及其总体技术框架,并分析了基于数字指纹的数字版权标识技术,该技术对于数字版权标识符体系中数字版权监测取证功能的实现具有一定的意义。
上传时间: 2014-12-23
上传用户:suoyuan
资源简介:基于统计估计的盲信号分离技术
上传时间: 2015-02-01
上传用户:dave520l
资源简介:这是一个关于基于混合编码的图象压缩技术的实现,现在勉强可以实现关于小波的图象压缩实现。此程序可以将BMP格式的图象经压缩后以JPG的格式存储起来!压缩比一般可以达到32:1。还可以显示编码压缩所耗时间
上传时间: 2014-11-16
上传用户:xauthu
资源简介:这个是基于NIOS II的FPGA平台的一个CF卡的接口模块,是在Quartus II下的完整工程包
上传时间: 2015-05-04
上传用户:924484786
资源简介:基于matlab/simulink的风力发电建模系统,里面有很多实用的模型可以直接使用
上传时间: 2013-12-11
上传用户:weixiao99
资源简介:基于图像处理的计算机集成数控技术程序,具有一定的借鉴意义,值得相关人员学习
上传时间: 2013-12-22
上传用户:zhliu007
资源简介:基于P2P网络的游戏平台设计,对于想研究基于p2p游戏的可以一看.
上传时间: 2014-02-12
上传用户:四只眼
资源简介:基于高通的brew平台上的手机网络诊断程序netdiagnostics
上传时间: 2013-12-31
上传用户:许小华
资源简介:基于system view的cdma仿真 基于system view的cdma仿真
上传时间: 2013-12-27
上传用户:851197153
资源简介:wiThe-16287.zip 基于windows CE的 多平台无线通信方案。 此代码是相关测试程序
上传时间: 2014-09-09
上传用户:偷心的海盗
资源简介:system verilog 的好例子 system verilog 的好例子
上传时间: 2013-12-20
上传用户:ztj182002
资源简介:本文介绍了OFDM系统中一种基于训练引导的判决反馈均衡技术
上传时间: 2014-01-18
上传用户:王楚楚
资源简介:文章研究了在OFDM系统中一种基于训练引导的判决反馈均衡技术
上传时间: 2016-09-18
上传用户:wl9454
资源简介:基于TI公司的5509平台的FLASH读写程序
上传时间: 2016-09-28
上传用户:gonuiln
资源简介:基于Linux下的PAX270平台上的 触摸屏屏驱动实验的原代码
上传时间: 2014-01-02
上传用户:TRIFCT
资源简介:基于NAND Flash的PXA270 Eboot启动技术!
上传时间: 2013-12-31
上传用户:gxrui1991
资源简介:一个成功的百万级芯片的验证平台的介绍,验证对于负载芯片的研发是极为重要。
上传时间: 2013-12-22
上传用户:zhangyigenius
资源简介:关于在MATLAB上的仿真平台 仿真技术的使用教学PPT
上传时间: 2014-01-11
上传用户:xwd2010
资源简介:本书详细介绍了基于Web应用的ActiveX系列编程技术。全书的第一部分讨论了Web服务器端的编程,介绍了扩展Web服务器功能的CGI标准以及怎样用C++进行CGI编程,同时特别提供了减轻CGI类处理
上传时间: 2013-12-20
上传用户:lijianyu172
资源简介:linux 内核 基于嵌入式Linux 的内核错误跟踪技术
上传时间: 2013-12-22
上传用户:shinesyh
资源简介:ADI blackfin DSP bf533 TFTLCD 340*240,基于亿旗的开发平台
上传时间: 2017-07-29
上传用户:zhaiye
资源简介:这是一个基于vc开发的编程平台,吉利吉利2的教程
上传时间: 2014-01-24
上传用户:heart520beat
资源简介:基于VB语言的灰色系统建模和应用预测的研究和实现
上传时间: 2014-01-09
上传用户:dsgkjgkjg
资源简介: 基于直方图优化的图像去雾技术,对学习MATLAB有很大帮助。
上传时间: 2020-05-10
上传用户:嗡嗡嗡111
资源简介:基于PROFIBUS总线的数控系统建模与仿真这是一份非常不错的资料,欢迎下载,希望对您有帮助!
上传时间: 2021-12-24
上传用户:shjgzh
资源简介:本书重点介绍硬件设计描述和验证语言 system verilog的基本语法及其在功能验证上的应 用;书中以功能验证为主线,讲述基本的验证流程、高级验证技术和验证方法学,以 system verilog为基础结合石头、剪刀、布的应用实例,重点阐述了如何采用 system verilog...
上传时间: 2022-05-12
上传用户:
资源简介:嵌入式人脸识别系统建立在嵌入式操作系统和嵌入式硬件系统平台之上,具有起点高、概念新、实用性强等特点。它涉及嵌入式硬件设计、嵌入式操作系统应用开发、人脸识别算法等领域的研究;嵌入式人脸识别系统携带方便、安装快捷、机动性强,可广泛应用于各类门禁系...
上传时间: 2013-05-18
上传用户:我们的船长