共查询到19条相似文献,搜索用时 109 毫秒
1.
2.
属性说明语言在基于断言的硬件验证中的应用 总被引:2,自引:2,他引:0
EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明.文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义.然后给出了用PSL实现基于断言的硬件验证方法.用一个实例说明了怎样用PSL语言实现基于断言的验证. 相似文献
3.
随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步.因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容.本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率. 相似文献
4.
随着集成电路设计复杂程度的不断提高.功能验证越来越受到重视.一种新兴的验证方法,基于断言的验证,得到越来越广泛的应用.介绍了基于断言的验证方法.及其在WISHBONE到AHB转换接口验证中的应用,总结了断言验证在功能验证中的优势和特点. 相似文献
5.
基于断言的验证方法已经广泛应用于芯片设计验证,其主要作用是提高验证效率和验证质量。由于手工设计的断言需要耗费大量人力和时间,使得断言的应用受到很大限制。断言合成可以自动生成高质量的白盒电路断言。本文介绍了一种基于断言合成的验证方法学与流程,以及其在验证流程中的多个应用:评估验证过程的进度;协助完成IP的coverage signoff;帮助在硬件仿真时发现问题,并且在验证的不同阶段协助发现或者快速定位芯片设计中的缺陷。 相似文献
6.
断言语言SVA在硬件功能验证中的应用 总被引:1,自引:0,他引:1
基于断言的验证(Assertion Based Verification,ABV),是一种有价值的主流验证技术.断言特别适合于描述时序特性和因果特性.作为System Verilog的重要组成部分,System VerilogAssertion(SVA)提供了丰富的断言指令,能有效的提高验证测试工作的质量和效率.文章首先介绍了断言验证语言System Verilog Assertion,并针对ARM公司的AMBA总线中的AHB仲裁器模块的设计,给出了一种基于断言的验证方法,采用SVA对其进行验证测试.测试仿真的结果表明,本文给出的方法的有效性和正确性. 相似文献
7.
实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART 的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证。实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例子中所具有的重要意义。 相似文献
8.
基于断言的SRAM控制器功能验证 总被引:3,自引:0,他引:3
传统的基于约束的随机矢量生成验证技术在验证过程中存在难于定位bug的缺点,从而增加了验证时间。文中将断言技术和随机矢量验证方法相结合形成基于断言的验证方法,通过在设计实现中加入断言,实时监控设计特性,使设计bug更加容易定位,从而缩短验证过程。以SRAM控制器为例,实验结果表明整个验证时间缩短40%以上,加快了设计验证进度。 相似文献
9.
硬件设计复杂度的增加使功能验证成为硬件设计方法学中的重要内容,基于断言技术的硬件设计验证技术(ABV:Assertion Based Verification)得到越来越多的应用。本文首先简要地介绍了硬件设计断言的类型,然后详细讨论了使用断言进行硬件设计验证的方法,包括:断言在仿真中的应用,断言在形式验证中的应用,结合了仿真及形式验证的混合形式验证等.本文还介绍了支持断言验证技术的设计语言和设计属性检查库,包括OVL(Open Verification Library)、OVA(OpenVera Assertion)和OVA设计属性检查库等。 相似文献
10.
结合断言与覆盖率为导向的验证方法 总被引:5,自引:2,他引:3
伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功能"遗漏点"的侦测.基于断言的验证方法可以将断言加入到DUT内部,通过断言覆盖加强覆盖率检测.阐述了将断言和覆盖率为导向相结合的验证方法,并用此种方法对USB2.0系统进行了验证.讨论了如何将两种验证方法有效地结合,并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证方法的结果,说明结合断言与覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期. 相似文献
11.
12.
13.
DSP的软件UART实现 总被引:4,自引:0,他引:4
介绍了ANALOG DEVICE公司的16位定点DSP与标准RS-232设备进行数据交换时,如何采用软件模拟的方式实现通用异步收发器,并就两种方式的优缺点进行了讨论,给出了主要程序流程图。 相似文献
14.
基于FPGA的UART设计与实现 总被引:2,自引:0,他引:2
介绍了应用现场可编程门阵列(FPGA)设计和实现通用异步收发器UART的方法。采用有限状态机模型形式化描述了UART的功能,在此基础上用硬件描述语言VHDL编程实现了UART,并使用QuartusⅡ软件中的嵌入式逻辑分析仪SignalTapⅡ对数据传输进行了检测,验证了设计的正确性。 相似文献
15.
本文基于VMM验证平台,介绍了高速串行收发器芯片的验证方法。文章首先简要介绍了Serdes芯片和VMM验证方法,然后搭建了Serdes芯片的VMM统一验证平台,并从测试激励产生、寄存器读写控制、覆盖率自动统计、断言验证及覆盖率收敛等几个方面详细阐述了Serdes芯片的验证过程。最后给出了验证结果和测试报告。 相似文献
16.
17.
基于FPGA的UART模块的设计 总被引:6,自引:2,他引:4
为了实现计算机与基于FPGA图像处理系统的数据通信,这里用FPGA设计了一款简易通用异步收发器(UART)模块.UART的主要功能是实现数据处理模块与RS 232串行数据接口之间的数据转换,即将送过来的并行数据转换为输出的串行数据流,由数据处理模块传送给计算机,还可以将串行数据转换为并行数据,供数据处理模块使用.为了简化电路设计,减少电路面积,这里省略了UART系统中的奇偶检验模块. 相似文献
18.
19.
基于FT232R桥接芯片开发USB/UART接口是一种较为简便易行的设计方法,这种方法可以适合大多数的USB小型系统的应用。本文先简单介绍FT232R芯片工作原理和功能,而后进行了USB接口硬件电路设计。针对芯片厂商提供的不同驱动程序,通过示例介绍了基于两种驱动程序下的软件设计思路。 相似文献