断言验证相关论文
IEEE属性描述语言PSL为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法(ABV)为硬件的设计和验证提出了一种新的很具有......
随着集成电路技术的快速发展,工艺特征尺寸不断减小,产品的性能不断提高,在单一芯片上实现全部系统功能的SoC (System on a Chip,......
数字信号处理器(Digital signal processor,DSP)广泛应用于雷达、声纳、数字通信以及语音视频信号处理等领域。为保证DSP能够正常......
提出了一种基于E语言和OVL库的功能验证解决方案,此方案可以自动产生测试矢量并确定设计缺陷的位置和严重等级。使用这种方法可以......
随着IC设计规模和复杂度的增加,设计的功能验证要花费整个设计流程时间的70%左右。目前基于仿真的功能验证平台在实际应用中存在以下......
随着系统设计的规模和复杂度呈指数上升,传统的验证环境在可重用性、灵活性和验证效率等方面存在的缺点越来越明显,显然已无法满足......
为了探索更好的验证方式,本文总结了仿真验证方法在应对HDLC协议验证时面临的挑战,提出了以形式验证对HDLC协议设计进行协议级验证......
本文在分析可扩展安全计算机平台实时性和安全性要求的基础上,提出基于可编程逻辑器件(FPGA)和时钟级同步2取2结构的安全输入/输出(安......
在总线桥设计中,对于简单模块的连接,可以通过自己定义的接口实现。而成熟的IP通常都兼容若干种总线协议,这样应用IP时只要把它连接到......
本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法,并简要介绍其在数据完整性验证方面的应用实例。......
本文结合处理器芯片实际项目,重点介绍了功能验证环节的工作。文章基于VMM验证平台,利用System Verilog语言自动生成测试激励,采用断......
本文基于VMM验证平台,介绍了高速串行收发器芯片的验证方法。文章首先简要介绍了Serdes芯片和VMM验证方法,然后搭建了Serdes芯片的......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
针对由设计复杂程度不断增加造成的功能验证困难的问题,提出了OVL在ARINC429通讯板卡设计验证中的使用方法。介绍了断言开放式验证......
在软件程序中插入断言是保证软件质量的一个简单但有效的方法,人们常使用测试的方法检验程序中的断言是否满足,但测试很难保证验证......
针对X-DSP存储空间的访问安全问题,本文采用硬件保护原理设计了一个存储保护单元,通过检查访问请求属性是否安全来决定是否允许未......
微控制器因其成本低、性能可靠、体积小等优点已经在工业控制与电子信息领域被广泛应用。随着微电子产业和集成电路工艺水平的不断......
目前我们采取的基于受限随机矢量生成机制的验证方法流程,是系统根据设计人员所规定的约束条件生成外部激励并输入到待验证模块,然......
随着移动互联网的高速发展,移动客户端日渐普及,同时带来的是移动应用数量的爆炸式增长。在移动应用产品发布之前,往往需要进行大......
功能验证成为了现代芯片设计中的最大瓶颈。传统功能验证方法的不足严重影响着验证工作的效率,主要表现为验证过程的可观察性和可......
在当前集成电路芯片开发过程中,功能验证已成为时间花费最大的环节。传统功能验证方法受限于自身可观察性与可控制性方面的不足,无......
功能验证是现代IC设计中最主要的挑战之一,它已成为芯片设计中的瓶颈。本文主要研究的内容是基于断言的功能验证方法ABV(Assertion......