Verilog Testbench设计技巧和策略

仿真Testbench的设计是Top-Down流程中非常关键的一个环节,但是很多设计者却感到困难较大。实际上,verilogHDL有着较强的行为建模能力,可以方便地写出更加高效、简洁的行为模型。论文结合一个ATM测试平台的Testbench设计,讨论了Testbench的结构和总线功能模型(BFM),并对使用BFM模型进行Testbench设计的策略和方法进行了探讨,希望能对广大设计者有所帮助。

基于Testbench的FPGA实物自动化测试环境设计

针对FPGA软件测试过程中仿真测试和实物测试的不足,提出了一种基于仿真测试用例的实物自动化测试环境,将用于仿真测试的Testbench进行解析处理,形成能够用于FPGA实物测试的传输信号,通过执行器将此信号转换为作用于被测FPGA芯片的实际信号,并采集被测FPGA芯片的响应,实现对FPGA的实物自动化测试。采用实物自动化测试环境验证平台对设计架构进行了验证,取得了良好的效果。

Testbench设计技巧研究

Testbench的设计是仿真和验证数字逻辑设计的标准方法也是设计过程中的必要环节，简单高效的Testbench可以帮助设计者完成复杂工作。该文主要从Testbench的功能结构入手，研究了如何将文件化分为功能模块和实现模块的设计技巧．并通过一个FIFO的实例将这些功能模块组合成一个完整的Testbench。

基于NIOS Ⅱ的CPU调试系统设计技术研究

对基于FPGA的CPU设计,研究了其调试系统的设计和实现.运用TestBench测试理念和设计思想,采用IP软核和自定义Avalon外设技术,以NIOS Ⅱ软核作为控制核心,实现了对基于FPGA的CPU设计进行调试的功能.

一种可重用MCU核测试平台的设计

随着IP核的规模日益增大,测试的复杂度也越来越大,本文针对MCU核的特点,介绍一种可重用测试平台的结构,并且设计了测试平台实例以完成对8051 IP核的测试。

一种基于功能覆盖率的验证环境的构建方法

首先介绍了功能覆盖率和层次化Testbench,然后将两者结合起来介绍了一种基于功能覆盖率的验证环境的构建方法。论文结合作者设计的“龙腾R2”总线接口单元的验证平台,对这一方法作了详细的介绍。通过与“龙腾R1”总线接口单元的验证方法比较显示,笔者搭建的验证平台的验证时间缩短25%。

一种基于事务的IP功能验证环境

介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境,加入断言技术,并应用于实际项目,实验结果表明,该验证平台具有较高的自动化程度和较快的错误定位机制,可以极大地提高验证效率。

应用TEXTIO和MATLAB进行复杂数字系统仿真

在基于FPGA的复杂数字系统的仿真测试中,设计者常常面临各种挑战。以数字图像处理系统的仿真为例,如果采用完备性仿真测试方法,那么测试矢量的数量将是非常巨大的;如果采用常规方法,不仅效率不高,而且可能无法达到仿真测试的目的。针对这个难题,提出一种进行仿真测试的新方法,该方法应用TEXTIO和MATLAB来辅助仿真测试过程,使问题得到较好的解决。以电视图像实时多目标捕获单元的仿真测试为例,全面、细致地讨论这种新方法。

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

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

混合动力汽车动力总成试验台测控系统

设计了汽车动力总成试验台架:采用2台负载电动机安装在差速器两端模拟行驶阻力,1台驱动电动机模拟内燃机驱动动力传动系。应用LabVIEW软件开发台架测控软件,对动力传动系主控制器CAN信息和基于MODBUS和USS协议的台架电气传动系统串口信号进行实时同步采集与监控。系统集多种通讯协议于统一平台,具有良好的可移植性和可扩展性。将试验台架应用于ISG型混合动力总成系统可靠性试验和电磁耦合动力合成箱关键部件性能测试以及工况模拟试验,可为其控制策略制定、参数优化提供有价值的参考。

立辊式玉米收获机试验台的设计

适时收获期短是玉米收获机械发展缓慢的主要原因之一。为了能够延长试验时间、缩短研究与试制周期,更加方便地进行各种试验研究,设计制造了立辊式玉米收获机关键部件试验台。试验台由秸秆喂入装置、夹持输送装置、摘穗装置、控制系统和检测系统构成,可模拟玉米收获机田间作业情况,并能分析秸秆在摘辊上的运动规律、摘穗机理及影响收获损失的各种性能因素。

ARINC659总线协议芯片的仿真验证

在现代集成电路设计中,对芯片的仿真验证是芯片设计验证的关键环节之一,一定程度上决定流片的成败。为了搭建一种可靠的芯片验证的虚拟平台,首先分析了ARINC659总线协议的特点,在此基础上结合ARINC659总线协议芯片设计中基于虚拟验证平台的仿真验证项目实践,重点研究了该芯片设计虚拟验证平台的一种构建实现方法和仿真验证。该验证方法提高了验证效率,缩短了整个设计验证周期,为芯片的成功投片提供了可靠的保证。

1553B总线接口SoC验证平台的实现

随着半导体技术的发展,验证已经成为SoC设计的瓶颈。分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法。该方法提高了验证效率,缩短了整个设计验证周期。

SoPC光纤通道控制器IP核的仿真验证

通过片上可编程系统(SoPC)设计方法构建光纤通道(FC)控制器,详细分析了硬件设计的功能模块图.FC控制器硬件集成了NIOS II处理器、DDR SDRAM控制器、flash控制器、定时器、串口和带Avalon接口的光纤通道接口逻辑,通过Avalon交换总线进行互连.采用自底向上的方法,分别从功能模块级、知识产权(IP)核级和系统级给出了FC控制器的仿真验证框架,并用Altera公司的Stratix GX系列现场可编程逻辑门电路(FPGA)进行了上板调试.验证结果表明,提出的仿真验证方案正确可行,能较好地完成验证任务.

协同融合泛在网传输试验平台的设计与实现

基于异构网协同融合传输的思想,提出了一种协同融合泛在网传输试验平台的设计架构,并给出了综合接入网关和业务控制服务器两类主要功能实体的功能描述。在现有的异构无线网络环境下,搭建了用于传输高速视频流的多路径并行传输试验平台,介绍了所采用的关键技术,并给出了试验结果。

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中,传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷.为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而进一步提高验证的自动化水平.将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中,验证结果表明,该平台可以缩短仿真验证时间大约55%～65%左右,有效地提高了验证的效率和质量.

气动锤铆自动铆接的工艺研究

通过对输入气压和铆接时间等工艺参数的控制,在自动铆接试验台上进行锤铆试验工艺.试验得到,当输入气压为0.5MPa、铆接时间为2s时,铆接效率较高且能达到铆接技术要求,但存在铆接件表面质量差、变形较大等缺陷.针对自动铆接试验台铆接工艺的这一缺陷进行研究,并提出解决方案,建立了试验台铆接系统的动力学模型,分析顶铁振动、弹簧刚性和预紧力对铆接质量的影响.

一种基于事务的SoC功能验证方法

本文介绍了基于事务的SoC验证方法,详细说明了事务、事务处理器的概念和事务级验证平台的功能结构。Synopsys公司的RVM验证方法学是当前比较流行的基于事务的SoC验证方法,文中详细介绍了RVM验证平台的层次结构,并且以一个UART模块的功能验证为例,描述了如何利用RVM验证方法学搭建一个高效的可重用的验证平台。

基于前馈神经网络的焓差试验台故障预测

本文提出了一种基于前馈神经网络的焓差试验台故障预测模型,定义了查准率、查全率与F1系数作为模型的评判依据。基于空调焓差试验台的长期运行数据,建立前馈神经网络预测模型,并采取多种优化策略和方式改进模型。最终基于测试集数据进行性能测试,验证了该模型对焓差试验台故障预测的有效性。在一年多的试验工况下,该模型所预测的焓差试验台故障达到了93.33%的查准率与95.02%的查全率、以及94.14%的F1系数。对焓差试验台使用该模型,可有效预测台架故障,从而采取应对措施,减少试验台架故障导致的损失。

基于FPGA设计的功能验证技术

功能验证是FPGA设计中的一个重要阶段。随着集成电路规模越来越大,FPGA的规模也迅速增大。几百万门级的电路设计已成平常,电路验证也变得越来越难。如何对设计本身进行完整而又有效的验证是非常重要的。前期对设计所进行全面的验证对产品的成功与否有着至关重要的作用。本文主要介绍了FPGA设计的功能仿真验证技术。