SystemVerilog相关论文
人们对网络安全的要求越来越高,提出了诸如TLS、IPsec等安全协议来保障网络层的通信安全,但一直缺少对更底层——数据链路层的保护......
21世纪以来,全球集成电路产业发生着重大变革,各种新兴技术推动芯片向着尺寸更小,规模更大的方向发展。验证是保证芯片功能正确实......
学位
对RTL级代码进行功能验证的常用方法是仿真,即使用EDA工具模拟待测设计的实际工作情况,验证待测设计的正确性.对于功能不复杂的待......
近年来片上系统SoC(System on Chip)设计的集成度和复杂度不断提高,从而对SoC验证技术的要求也随之提高。芯片验证是SoC开发流程中的......
学位
在数字通信系统中,HDLC协议被广泛应用在数据链路层上,它的优点在于很便捷地实现数据的透明传输,满足数据链路大带宽,高可靠性,实......
近几年集成电路产业得到了飞速的发展,人工智能技术也脱颖而出,智能家居、智能办公得到了越来越多的关注和使用。但是要实现更高效......
学位
HDLC信号链路是国际标准化组织(ISO)制定的高级数据链路的控制规程(High Level Data Link Control,HDLC).遵循HDLC标准数据链路层......
现有的CPU验证平台大多基于指令码匹配技术搭建,这种方式开发周期长、调试难度高.在CPU芯片的设计中,高效和完备的功能验证已成为C......
期刊
随着集成电路工艺水平的不断发展,处理器芯片的系统集成度和复杂度也越来越高。在整个芯片项目周期中,验证环节所用的时间逐渐占到......
近几十年来,随着芯片尺寸和复杂度的增加,在IC设计中引入错误的可能性也大大增加,随之而来的是更加艰巨的验证工作。由于传统的验......
当双倍速率内存(DDR)控制系统开启错误检查与纠正(ECC)功能时,若访问的数据宽度小于DDR memory的接口总宽度,在仿真时需要进行ECC......
随着物联网技术的兴起和5G通信时代的到来,芯片需要满足更高和更复杂的性能要求,这给设计工作带来了极大的挑战。很小的失误便会造......
学位
随着智能科技的迅猛发展与社会智能信息化程度的加深,数据作为信息的载体已经演变成一种核心资产。然而伴随着个人隐私的泄漏,数据......
学位
随着集成电路技术的不断发展和制造工艺水平的不断提高,芯片规模逐渐扩大,功能也越来越复杂。如何在一定时间内发现设计中尽可能多......
随着集成电路的工艺不断发展,芯片的设计难度和复杂程度也不断增高。这使得芯片验证环节在芯片设计流程中的重要性不断提高,验证消......
随着外设总线对带宽的要求越来越高,PCIe总线协议被提出以取代传统的PCI总线。和PCI总线相比,PCIe总线由并行接口改为串行差分接口......
随着集成电路行业的不断发展,IC(Integrated Circuit)设计数字部分的复杂度越来越大,芯片规模成比例增加,每个芯片上的IP(Intellec......
随着集成电路设计复杂度的提高,验证的难度也随之提高,传统的基于Verilog搭建的验证平台已经不能满足要求.以数字基带通信芯片为验......
期刊
SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manu......
本文介绍了如何用SystemVerilog验证FPGA,从而说明采用现有的验证工具和方法可以提高设计质量,并加快产品上市速度.......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
图形流水线是GPU(Graphics Processing Unit)工作的通用模型.在图形流水线中,图元装配位于关键环节,为了提高改善图形流水线的速度和渲......
以UART总线接口为例介绍一种高性能验证平台。该验证平台基于SystemVerilog语言,以功能覆盖率为导向,通过带约束的随机方法产生测......
以UART总线接口为例介绍一种高性能验证平台。该验证平台基于SystemVerilog语言,以功能覆盖率为导向,通过带约束的随机方法产生测......
SystemVerilog是下一代芯片设计和验证语言,于2005年12月被标准化为IEEE P1800—2005。本文介绍SystemVerilog发展的过程及其对验证......
FC(Fibre Channel,光纤通道)交换机为光通信网络提供数据包交换服务,FC交换芯片是FC交换机的核心器件。在芯片研制过程中,能否完备......
RPR定义了在环形拓扑结构上优化数据包传输的一种新的媒体接入控制层协议,基本数据单元是RPR数据帧。给出了一种新的RPR MAC数据通......
全球电子设计创新领先企业Cadence设计系统公司(NASDAQ:CDNS)日前宣布,其基于System Verilog的验证解决方案在去年迅猛发展,用该语言......
开发和设计并行处理器是一种有效提高图像处理速度的方法。本文分析了国内外近年来各种并行处理器的发展状况,提出了一种可扩展的面......
AFDX(AvionicsFullDuplexSwitchedEthernet,航空全双工交换式以太网)网络为航电系统提供了一种确定、余度的数据交换服务,其基础和核心......
随着硬件设计复杂度的提高,设计的后期验证在设计生命周期中占据的比重也越来越大。能否对设计进行全面有效的验证,是验证人员所面......
为解决航电系统仿真验证过程中大多数ARINC429板卡软件定时不精确、不可靠的问题,拟从硬件上实现多通道、并行、高精度定时循环发送......
为解决航电系统仿真验证过程中大多数ARINC429板卡软件定时不精确、不可靠的问题,拟从硬件上实现多通道、并行、高精度定时循环发送......
结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验......
在ISO/IEC 18000-6C标准协议的基础上,对超高频射频识别(UHF RFID)标签数字基带的设计与实现展开研究。根据协议规定的标签数字基......
在ISO/IEC 18000-6C标准协议的基础上,对超高频射频识别(UHF RFID)标签数字基带的设计与实现展开研究。根据协议规定的标签数字基......
SpringSoft在业界标准SystemVerilog链接库支持之上完整支持UVM源代码。此外,SpringSoft在Verdi系统中提供了定制SystemVerilog文......
针对现行普遍的浮点运算器耗费面积较大,功能实现结构松散的问题,设计实现一款浮点及整数混合运算器(Mixture-Arithmetic Logic Unit,M......
针对现行普遍的浮点运算器耗费面积较大,功能实现结构松散的问题,设计实现一款浮点及整数混合运算器(Mixture-Arithmetic Logic Unit,M......
ARM和Synopsys正在联手开发基于覆盖率分析的片上系统(SoC)验证的统一方法,并将发布在即将出版的双方合著的<SystemVerilog验证方......
本文比较了AMBA的AHB协议和Wishbone协议,提出使用SystemVerilog语言实现AHB-Wishbone总线桥的方法。文中阐述了如何将SystemVeril......
本文比较了AMBA的AHB协议和Wishbone协议,提出使用SystemVerilog语言实现AHB-Wishbone总线桥的方法。文中阐述了如何将SystemVeril......
描述了一种基于SystemVerilog的网络处理器验证平台设计。该验证平台基于VMM架构,采用SystemVerilog语言编写所需的验证组件和功能......
顺应SoC的发展趋势,Accellera标准组织提议了一个统一设计语言SystemVerilog.本文主要讨论了SystemVerilog的特点、设计优势、现状......
随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、......
随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、......
针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案。该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降......
验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了......
验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了......
介绍SystemVerilogVMM验证方法学在LCDController验证中的应用,指出它相对于传统Verilog验证方法的1优点,重点研究功能覆盖率的收敛......