检索结果-南通市图书馆

2009 IEEE 8th International Conference on ASIC(ASICON 2009)

作者： Myoung-Keun You Gi-Yong Song the Computer Engineering Division College of Electrical & Computer EngineeringChungbuk National UniversityCheongju361-763 Korea the Electronics Engineering Division College of Electrical & Computer EngineeringChungbuk National UniversityCheongju361-763 Korea

A verification environment which is based on a constrained random layered testbench using systemverilog OOP is implemented in this paper to verify the functionality of DUT designed with synthesizable constructors of *** the uses of multiple inheritance in OOP appear to be less common than those of single inheritance,multiple inheritance is useful for creating class types that combine the properties of two or more class *** systemverilog OOP technique does not allow multiple inheritance,we adopt SystemC to design a component of verification environment which has multiple inheritance,and we combine SystemC design unit with the systemverilog-based layered testbench using systemverilog DPI and ModelSim *** DPI provides a way to interface with any other foreign *** and tasks registered to shared library using DPI can be called out like native *** recently supports SystemC simulation with built-in compiler for SystemC design *** order to simulate SystemC design unit with ModelSim,the SystemC design unit should be modified using some macros provided by *** this paper,FIFO channel frequently used in high-level communication is designed as a custom hierarchical channel which has three base classes;schannel,channel interface,and data payload *** low-layer components of the systemverilog-based layered testbench communicate with DUT using virtual interface,and other components can communicate with each other using FIFO *** in this paper includes BFM because most IPs designed for SoC are connected to a bus and controlled through the bus.

关键词： systemverilog SystemC verification environment layered-testbench custom hierarchical channel

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

适于SoC的统一设计语言systemverilog

引用

半导体技术 2003年第12期28卷 25-29页

作者：黎宝峰陈杰颜永红湖南大学应用物理系湖南长沙410082 中国科学院微电子中心北京100029

顺应SoC的发展趋势,Accellera标准组织提议了一个统一设计语言systemverilog。本文主要讨论了systemverilog的特点、设计优势、现状和未来趋势等,并给出了一些实例。systemverilog是C、C++、Superlog和Verilog的混合,它极大地扩展了抽... 详细信息

顺应SoC的发展趋势,Accellera标准组织提议了一个统一设计语言systemverilog。本文主要讨论了systemverilog的特点、设计优势、现状和未来趋势等,并给出了一些实例。systemverilog是C、C++、Superlog和Verilog的混合,它极大地扩展了抽象结构层次的设计建模和验证的能力,是SoC设计的最佳统一语言。

关键词：片上系统 SoC 统一设计语言 systemverilog 抽象结构设计建模验证能力

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于systemverilog的向量存储器验证方法

引用

计算机研究与发展 2014年第S1期51卷 239-244页

作者：徐沛文陈海燕陈书明燕世林国防科学技术大学计算机学院长沙410073

随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大容量向量存储器(vector memory,VM)覆盖率驱动的验证方法进行研... 详细信息

随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大容量向量存储器(vector memory,VM)覆盖率驱动的验证方法进行研究,基于systemverilog验证方法学,采用层次化建模方法搭建了高效的VM验证平台,在较高抽象层次上实现了带约束的随机激励,结合SVA断言技术对向量存储器向量读访存流水线的同步与提交状态实时监控,保证了关键时序逻辑功能验证的完备性、正确性,有效提高了验证效率.最终模块级验证结果表明,定向激励和随机激励相结合能较快达到理想的代码覆盖率.

关键词：验证 systemverilog 向量存储器断言覆盖率

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于systemverilog的图像采集压缩卡芯片验证平台设计

引用

电子测量技术 2021年第20期44卷 29-36页

作者：王凯王骞符云越李拓刘凯山东海量信息技术研究院济南250098 浪潮电子信息产业股份有限公司高效能服务器和存储技术国家重点实验室济南250101 山东浪潮人工智能研究院有限公司济南250101

验证平台对视频采集压缩卡芯片的开发设计有重要作用。针对传统的验证平台在代码覆盖率以及测试效率方面存在的不足,设计了一款基于systemverilog搭建的验证平台,该验证平台采用面向对象程序语言设计,其中,PCIe host(RP)端采用Xilinx I... 详细信息

验证平台对视频采集压缩卡芯片的开发设计有重要作用。针对传统的验证平台在代码覆盖率以及测试效率方面存在的不足,设计了一款基于systemverilog搭建的验证平台,该验证平台采用面向对象程序语言设计,其中,PCIe host(RP)端采用Xilinx IP建模链路层和物理层,保证了PCIe总线环境与真实主机板卡环境相同;外部验证环境采用systemverilog分层设计的方法,并采用类思想进行上层验证环境设计,使较多验证组件能够移植至同一接口协议的不同类SoC;此外,在自动化验证阶段,通过仿真报告自动判断case状态,调整随机基准以及在覆盖率报告中追踪未覆盖模块路径,极大地改善了代码的边角覆盖情况,加速了回归收敛。从采集压缩仿真过程、验证自动化以及覆盖率3个方面对该验证平台进行了分析,结果表明,该验证平台可快速完成相似设计的验证模组横向移植,提高相似功能芯片的验证可靠性,节省人力,加快仿真进度,加速覆盖率收敛,缩短验证周期,增加流片成功率。

关键词： systemverilog 功能验证自动化验证覆盖率收敛

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于systemverilog的数字基带通信芯片的验证

引用

南开大学学报（自然科学版） 2020年第6期53卷 1-4页

作者：乔鹏丽吕英杰南开大学电子信息与光学工程学院天津300350

随着集成电路设计复杂度的提高,验证的难度也随之提高,传统的基于Verilog搭建的验证平台已经不能满足要求.以数字基带通信芯片为验证对象,基于systemverilog语言建立一种双向通信的验证平台.该验证平台采用类的思想进行设计,使其更易于... 详细信息

随着集成电路设计复杂度的提高,验证的难度也随之提高,传统的基于Verilog搭建的验证平台已经不能满足要求.以数字基带通信芯片为验证对象,基于systemverilog语言建立一种双向通信的验证平台.该验证平台采用类的思想进行设计,使其更易于修改和可重用.与传统的验证平台相比,分层次的验证平台具有更高的灵活性和易操作性.

关键词：验证平台双向通信 systemverilog 分层次

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于systemverilog可重用测试平台的实现

引用

电子技术应用 2015年第2期41卷 61-64页

作者：王鹏刘万和刘锐田毅中国民航大学民用航空器适航审定技术与管理研究中心天津市民用航空器适航与维修重点实验室天津300300 中国民航大学安全科学与工程学院天津300300

对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,... 详细信息

对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。

关键词：验证 systemverilog 测试平台可重用

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于systemverilog的图像处理单元模块验证的研究

基于SystemVerilog的图像处理单元模块验证的研究

引用

作者：李厚博西安电子科技大学

学位级别：硕士

随着集成电路以及计算机图像技术的发展,人们对于图像质量的要求越来越高,GPU得以飞速发展。GPU中的核心部分为3D引擎,用于渲染3D图像,而图像处理单元作为3D引擎的主要组成部分,用于实现纹理操作、像素操作以及图像处理等功能。图像处... 详细信息

随着集成电路以及计算机图像技术的发展,人们对于图像质量的要求越来越高,GPU得以飞速发展。GPU中的核心部分为3D引擎,用于渲染3D图像,而图像处理单元作为3D引擎的主要组成部分,用于实现纹理操作、像素操作以及图像处理等功能。图像处理单元作为GPU中主要的数据通路及处理图像的主要手段,其丰富的数据通路及巨量的数据计算给传统的验证手段带来了挑战。功能验证是芯片开发工程中不可或缺的一个阶段,通常占用开发周期的75%左右,而采用systemverilog验证语言,基于事务级验证技术可在大程度上提高功能验证的效率。本论文以GPU3D引擎中的核心部分图像处理单元为研究对象,重点开展基于systemverilog的图像处理单元模块验证工作的研究。首先,对图像处理单元功能规范以及OpenGL协议进行了研究,详细剖析了图像处理单元包括图像管线、图像处理子集、纹理操作、像素操作等功能,并据此制定了验证策略,提取出了待验证的功能点。随后,针对图像处理单元所要验证的功能点,本论文使用systemverilog验证语言,基于事务级验证技术,搭建了实现自动比对的图像处理单元验证平台,包括基于interface的功能总线模型、参考模型、事务发生器、监控器四个部分。其中,基于interface的功能总线模型可完成图像处理单元外围模块与图像处理单元的交互功能;参考模型可实现图像处理单元模块的所有功能,同时分块式的设计可用于模块级仿真的重用;事务发生器将与图像处理单元有关的OpenGL函数封装起来作为事务级操作;监控器具有自动比对并输出对错的功能,与参考模型一起可完成验证平台的自动比对。最后,为了保证验证的完备性和正确性,基于验证策略,设计并编写相关测试用例,使用设计好的验证平台,从基本资源测试、函数功能测试、图像处理单元内部模块功能测试、异常测试、边界测试五个方面的验证(基本资源测试可用于测试SRAM、寄存器等基本单元,函数功能测试可用于测试支持的OpenGL函数功能,图像处理单元内部模块功能测试可用于测试图像处理单元内部各模块的功能,异常测试可用于测试异常场景,边界测试可用于测试临界场景)来完成图像处理单元的功能验证工作。在所有测试用例仿真完成并通过后,利用回归测试批量仿真来收集覆盖率,覆盖率总体超过了95%,达到了验证要求。此外,本论文还采用一种可视化的验证方法,即:验证平台收集处理后的图片,并与处理前的图片进行比较。这样一种可视化的验证方法不仅可评估设计效果,更可以方便检视出bug并修改。本论文提出的一种基于systemverilog的图像处理单元的验证方法具有可重用性高、自动化高的特点,该验证方法合理可行,并给类似于图像处理单元系统级验证的大数据量、多功能性、难以观察的待测设计的功能验证提供了解决思路。

关键词： systemverilog 事务级验证技术图像处理单元图形处理器 OpenGL

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于systemverilog的图像缩放IP验证平台的研究与实现

基于SystemVerilog的图像缩放IP验证平台的研究与实现

引用

作者：陈锴中国海洋大学

学位级别：硕士

在整个半导体行业蓬勃发展的背景下，集成电路的设计规模进一步扩大。因此近年来SOC芯片开始广泛应用于各行各业。然而在SOC芯片开发过程中，芯片的验证一直占据着整个项目周期的70%左右。传统的验证方法已经不能满足目前芯片验证中所... 详细信息

在整个半导体行业蓬勃发展的背景下，集成电路的设计规模进一步扩大。因此近年来SOC芯片开始广泛应用于各行各业。然而在SOC芯片开发过程中，芯片的验证一直占据着整个项目周期的70%左右。传统的验证方法已经不能满足目前芯片验证中所遇到的许多问题。以先进的验证理论为基础的高效的验证方法，成为芯片功能验证的重要保障。本文所研究的内容，是中国某知名电器公司的数字电视SOC芯片开发项目的一部分，即对其内部图像缩放IP的RTL代码进行全面的功能验证。从而确保图像缩放IP的设计完全满足设计规范，并实现所提出的功能要求。文中首先回顾了验证方法学的发展史，并指出芯片验证所面临的挑战。而后对现今芯片验证方法学的原理进行了细致的研究，并引入了一些重要的验证概念，例如随机化，覆盖率，分层结构等。为后文奠定了扎实的理论基础。图像缩放IP是数字电视SOC芯片中的一个重要的模块。主要实现了对图像的横向和纵向放大，缩小处理功能。文中根据图像缩放IP的设计要求，进行功能点分析，从而制定出详细的验证策略。之后根据制定的验证策略和测试点，以层次化，可重用，易维护为原则，并使用先进的随机约束，参考模型，代码覆盖率和功能覆盖率等先进的验证技术为手段。用systemverilog语言对整个验证平台进行设计和搭建，并对整个验证流程和验证环境进行详细的阐述。最后，本文对整个验证平台和验证结果进行了分析，确保了图像缩放IP验证的有效性和正确性。此外，文中所搭建的验证平台可以方便的复用于系统级验证，并可作为相关项目的参考平台。

关键词： SOC 图像缩放 systemverilog 验证方法学验证平台

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于systemverilog的CBCT图像重建中关键模块的建模

基于SystemVerilog的CBCT图像重建中关键模块的建模

引用

作者：梁崇哈尔滨工业大学

学位级别：硕士

当前螺旋锥束CT（Cone-Beam Computed Tomography）在医学中的应用引起了广泛的关注，因为螺旋锥束CT具有很多的优势，包括采集速度非常快，检测效率高以及图像的分辨率高等。CBCT图像重建的算法中Katsevich算法可以精确的实现图像重建... 详细信息

当前螺旋锥束CT（Cone-Beam Computed Tomography）在医学中的应用引起了广泛的关注，因为螺旋锥束CT具有很多的优势，包括采集速度非常快，检测效率高以及图像的分辨率高等。CBCT图像重建的算法中Katsevich算法可以精确的实现图像重建，所以对于Katsevich算法的研究一直未停止过。本论文主要针对Katsevich算法中的几个关键模块进行了硬件建模，而采用的硬件建模语言为systemverilog，这是因为systemverilog语言的一些特性，例如新数据类型、always块的分类以及接口的引入，使得整个硬件建模更加的简洁和准确。论文中对CBCT图像重建中的微分求导、插值算法和反投影运算进行了systemverilog硬件建模与仿真，同时对每一个模块中最关心的内存利用和速度加快进行了优化。在微分求导的建模过程中通过使用简单的逻辑运算和选择器使设计中内存的利用减少了1/4;插值计算通过采用流水线结构来加快运算的速度;整个CBCT图像重建中最重要的一步就是反投影运算，不仅需要花费很大的内存空间来存储数据，而且运算的时间也是最长的。本设计采用了一种新的实现方案，即更新域的方法，使得只需要存储一帧数据的内存空间就可以完成整个反投影运算，同时由于流水线的结构，运算所花费的时间也降到了很低。最后通过仿真验证得出整个设计在很少的内存利用和很快的重建速度的要求内，所得到的结果是正确的。

关键词：螺旋锥束CT systemverilog 微分求导插值反投影

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

图象处理系统中去噪模块的设计及基于systemverilog的系统级验证

图象处理系统中去噪模块的设计及基于SystemVerilog的系统级验证

引用

作者：彭成合肥工业大学

学位级别：硕士

TD-SCDMA第三代移动通信标准是近百年来我国通信史上第一个具有完全自主知识产权的国际通信标准，它的出现在我国通信发展史上具有里程碑的意义，并将产生深远影响，是整个中国通信业的重大突破。图象处理系统是当今手机基带芯片中的重... 详细信息

TD-SCDMA第三代移动通信标准是近百年来我国通信史上第一个具有完全自主知识产权的国际通信标准，它的出现在我国通信发展史上具有里程碑的意义，并将产生深远影响，是整个中国通信业的重大突破。图象处理系统是当今手机基带芯片中的重要组成部分，主要将从摄像头传入的数据通过各种算法来实现图象处理功能，从而提高图象的质量，是保证手机多媒体高性能的关键。该系统是展讯通信公司所开发的第二代TD-SCDMA／GSM双模手机基带芯片SC6800E中新改善的硬件加速器模块，通过标准的AMBA总线与ARM核相连。对模块的充分验证有助于及早地发现并改正芯片设计中可能存在的问题，降低芯片投片风险，也为后期的芯片测试工作打好基础。芯片复杂度的快速增长以及工艺和市场方面的挑战，给系统芯片的验证带来了很大的影响。特别是对于手机基带芯片这种千万门级的系统芯片，充分、全面的验证尤为复杂，需要耗费大量的人力物力和时间。而且与编写可综合的代码不同，验证可以使用各种语言的各种功能，这就产生了大量的仿真技术与方法。为了在缩短项目开发时间和减少开发成本的同时，加快产品面市步伐，光是提高芯片设计能力是不够的，选用什么样的验证策略和技术，如何规划验证时间，采用何种验证语言及支持它的EDA工具，对芯片设计公司而言成为了更关键的问题。本文对NSR模块的功能实现算法进行了一定程度的分析与研究，并通过分析当今业界主要应用的验证技术，结合公司的实际情况选用了先进的验证方法，在EDA工具的支持下对图象去噪模块进行了全面的功能性验证。文中还详细剖析了芯片验证环境，这是一个运用Verilog、systemverilog等语言的混合仿真环境，利用总线功能模型(BFM)实现总线操作，使得验证在事务级(transactionlevel)进行，大大提高了验证的效率及可复用性。本文针对去噪模块设计了足够的验证case，覆盖了模块的各项功能，并运用systemverilog搭建了高效的验证平台，通过perl脚本对整个验证架构中进行仿真管理与控制，实现了对codel参考模型的实时调用、输入参数的随机生成以及输出数据的实时比对等自动化功能。作者还运用systemverilog描述了ARM侧模块进行中断处理的程序，可供芯片中包括去噪模块在内的整个ISP系统使用，将模块验证平台中对中断信号的监测从模块级提高到了系统级，即监测经过ARM中断处理单元处理过的中断信号。此外还与其他验证工程师合作搭建了图象处理系统的联合仿真平台，该平台实现了图象处理中所有模块的系统级验证。此外，对图象处理系统还进行了FPGA验证，作为对基于仿真的验证的有效补充。网表(netlist)设计完成以后还进行了post-layout simulation(后仿真)，对芯片设计部门而言是流片前签发的最后一个环节。本文还通过先进的EDA工具及芯片仿真环境的支持，对去噪模块代码覆盖率进行了统计分析。对去噪模块的验证通过了展讯公司模块验证的评审流程，被认为是充分的。实践表明，本文所采用的验证方法和结构是适合SC6800E芯片项目开发的，具有灵活性好、效率高、可复用性强等优点。

关键词：图象处理去噪点模块验证方法学 systemverilog 代码覆盖率

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：