基于波形比对TestBench的Verilog在线自动测试系统设计 被引量：1

1

作者 黄继业 金清嵩 +1 位作者 李平 刘鑫 《实验室研究与探索》 北大核心 2025年第2期91-94,109,共5页

为解决Verilog编程练习需求大和现有在线测评系统无法较好地支持Verilog在线评测的问题,设计了基于波形比对TestBench的Verilog在线自动测试系统。系统将标准答案源码和学生提交代码分别仿真,得到两种输出波形并转换为txt文本加以比对,... 为解决Verilog编程练习需求大和现有在线测评系统无法较好地支持Verilog在线评测的问题,设计了基于波形比对TestBench的Verilog在线自动测试系统。系统将标准答案源码和学生提交代码分别仿真,得到两种输出波形并转换为txt文本加以比对,根据比对结果在线自动评分。根据代码正确率给出具体分数,并将代码错误信息以文本形式反馈给学生,帮助学生全面评估自身水平并快速定位纠错。该系统已部署至程序设计类实验辅助教学平台,经过教学实践,能有效提升学生的Verilog编程能力,在教学中取得了显著成效。 展开更多

关键词 Verilog在线自动测试 OJ系统 测试基准 波形比对

在线阅读 下载PDF 职称材料

Verilog Testbench设计技巧和策略 被引量：7

2

作者 李瑛 张盛兵 高德远 《计算机工程与应用》 CSCD 北大核心 2003年第10期128-130,共3页

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

关键词 Verilogtestbench C语言 程序设计 BFM模型 功能仿真 专用集成电路

在线阅读 下载PDF 职称材料

垂直飞行性能增强的油电混动复合翼无人机设计

3

作者 甘元涛 付尧明 +2 位作者 彭旭 叶宇翔 安斯奇 《内燃机工程》 北大核心 2025年第3期98-106,共9页

为提升复合翼物流运输无人机的垂直飞行性能并延长悬停续航时间,提出了一种混合动力复合翼无人机的整体布局和动力推进系统设计方法,并成功开发出工程样机及适配地面台架。根据具体任务需求,设计了串联直驱式混合动力系统结构,并制定了... 为提升复合翼物流运输无人机的垂直飞行性能并延长悬停续航时间,提出了一种混合动力复合翼无人机的整体布局和动力推进系统设计方法,并成功开发出工程样机及适配地面台架。根据具体任务需求,设计了串联直驱式混合动力系统结构,并制定了功率输出模式。在考虑机翼载荷和推重比等结构约束条件下,给出了固定翼模式起飞质量和机翼尺寸的估算方法,并利用Profili软件选择了适用于低速飞行的USA-35B翼型;同时探讨旋翼和变距推进桨的选型方法,并通过地面试验台获得最优巡航桨叶角。通过仿真试验与地面测试验证了动力系统、电气传动系统及机械结构的可行性。经过样机试飞验证,所设计的复合翼无人机实现24 min悬停,在垂直飞行性能方面较业界平均水平有显著提高。 展开更多

关键词 油电混动 无人机 复合翼无人机 活塞发动机 变距螺旋桨 地面试验台

在线阅读 下载PDF 职称材料

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

4

作者 许盛 高明伦 +1 位作者 李伟 娄孝祥 《电子测量技术》 2008年第1期97-100,共4页

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

关键词 测试平台(testbench) MCU IP 可重用

在线阅读 下载PDF 职称材料

一种基于功能覆盖率的验证环境的构建方法 被引量：3

5

作者 迟志刚 高德远 +1 位作者 樊晓桠 靳战鹏 《计算机工程与应用》 CSCD 北大核心 2006年第5期88-90,96,共4页

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

关键词 功能点 功能覆盖率 验证环境 testbench 总线接口

在线阅读 下载PDF 职称材料

混合动力汽车动力总成试验台测控系统 被引量：8

6

作者 周健豪 袁银男 +2 位作者 陈笃红 邵斌 王存磊 《农业机械学报》 EI CAS CSCD 北大核心 2011年第7期36-40,69,共6页

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

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

在线阅读 下载PDF 职称材料

立辊式玉米收获机试验台的设计 被引量：16

7

作者 闫洪余 陈晓光 吴文福 《农机化研究》 北大核心 2008年第12期75-78,共4页

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

关键词 立辊式 玉米收获机 试验台 结构

在线阅读 下载PDF 职称材料

协同融合泛在网传输试验平台的设计与实现 被引量：2

8

作者 张冬梅 马文峰 +2 位作者 孙保明 徐友云 益晓新 《电信科学》 北大核心 2013年第2期77-83,共7页

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

关键词 协同融合泛在网 高速视频业务 多路径并行传输 传输试验平台

在线阅读 下载PDF 职称材料

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

9

作者 史再峰 姚素英 +1 位作者 丁三川 高静 《天津大学学报》 EI CAS CSCD 北大核心 2008年第8期951-956,共6页

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

关键词 总线接口协议验证 扩展有限状态机 断言 测试平台

在线阅读 下载PDF 职称材料

伪随机时钟激励模块设计研究及应用

10

作者 潘卫军 李涛 《航天返回与遥感》 2009年第1期53-57,共5页

随着现场可编程逻辑器件(Field Programmable Gate Array,FPGA)验证水平的逐渐提高,对于测试平台(Testbench)中产生的时钟激励也提出越来越高的要求。目前,在Testbench中使用的时钟激励模块都是具有固定周期和固定占空比的激励信号,然... 随着现场可编程逻辑器件(Field Programmable Gate Array,FPGA)验证水平的逐渐提高,对于测试平台(Testbench)中产生的时钟激励也提出越来越高的要求。目前,在Testbench中使用的时钟激励模块都是具有固定周期和固定占空比的激励信号,然而在现实条件下,时钟沿都具有一定的抖动,从而影响到时钟的占空比及瞬时频率。为了模拟时钟的这种实际特性,文章提出了一种基于伪随机算法实现的沿跳变的时钟激励模块,并将该模块用于高速计数器设计的实现验证,取得较好的验证效果。 展开更多

关键词 伪随机 测试平台 时钟激励 硬件描述语言

在线阅读 下载PDF 职称材料

SystemC在Turbo码实现和验证中的应用

11

作者 李源 《现代电子技术》 2009年第5期163-166,共4页

在简述SystemC的设计方法和流程的基础上,针对SystemC在硬件芯片系统级设计和寄存器传输级设计的特点,以Turbo编码器为对象和开发目的,研究了SystemC基于寄存器传输级设计的可实现性,利用SystemC的模块化功能,通过分析Turbo编码器的结... 在简述SystemC的设计方法和流程的基础上,针对SystemC在硬件芯片系统级设计和寄存器传输级设计的特点,以Turbo编码器为对象和开发目的,研究了SystemC基于寄存器传输级设计的可实现性,利用SystemC的模块化功能,通过分析Turbo编码器的结构与信号流图,进行建模仿真直到最后完成划分硬件模块与编程并在FPGA完成其实现与验证,充分证明了SystemC完全适用于基于寄存器传输级设计的IC应用。此外,此设计将系统级设计与寄存器传输级设计的工作合二为一,大大节省了开发的流程时间。 展开更多

关键词 SYSTEMC TURBO 系统级设计 寄存器传输级 FPGA测试平台

在线阅读 下载PDF 职称材料

基于任务流的混合信号SoC测试 被引量：9

12

作者 阮孝莉 李哲英 《电子测量与仪器学报》 CSCD 2010年第11期1024-1030,共7页

为提高测试覆盖率,本文提出了基于任务流的混合信号SoC系统测试方法。根据SoC的设计要求可以抽取出所希望的操作集合,所有操作的不同组合可以形成若干基本任务,将不同的任务连接起来形成一个具体的SoC工作目标,这个不同任务的连续实现... 为提高测试覆盖率,本文提出了基于任务流的混合信号SoC系统测试方法。根据SoC的设计要求可以抽取出所希望的操作集合,所有操作的不同组合可以形成若干基本任务,将不同的任务连接起来形成一个具体的SoC工作目标,这个不同任务的连续实现形成了任务流。针对一个混合信号SoC系统,通过分析其功能结构,建立了任务执行过程的DFG模型,并从中提取出对系统测试的三个任务和约束条件,据此设计出testbench及其测试程序。在Modelsim仿真工具下的结果显示,基于任务流的IP核测试方法对IP模块的覆盖率能够达到100%。 展开更多

关键词 SOC IP核 DFG 任务流 测试平台

在线阅读 下载PDF 职称材料

微处理器Cache的验证方法研究 被引量：2

13

作者 李智 李怡 +1 位作者 龚令侃 章建雄 《计算机工程》 CAS CSCD 北大核心 2010年第16期273-275,共3页

在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测)。基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场... 在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测)。基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场景。采样由Cache引起的微处理器系统总线行为检测验证结果。实验结果表明,该方法方便测试程序开发,减少验证时间。 展开更多

关键词 高速缓存 芯片级验证 验证平台调用 验证库 监视器 指令集模拟器

在线阅读 下载PDF 职称材料

地铁车辆空气弹簧通用性能检测台机械结构设计 被引量：2

14

作者 朱小娟 王建兵 +1 位作者 郭慧明 方宇 《城市轨道交通研究》 北大核心 2012年第1期37-40,共4页

介绍了新型地铁车辆空气弹簧通用性能检测台的机械结构设计,包括同步链轮传动系统、通用型夹具、压力加载机构、下底座及空气弹簧附加气室等主要部件。对压力加载横梁、下底座和滚珠丝杠三大关键受力部件进行了有限元分析和强度校核。... 介绍了新型地铁车辆空气弹簧通用性能检测台的机械结构设计,包括同步链轮传动系统、通用型夹具、压力加载机构、下底座及空气弹簧附加气室等主要部件。对压力加载横梁、下底座和滚珠丝杠三大关键受力部件进行了有限元分析和强度校核。研制的空气弹簧通用性能检测台为检修部门在车辆日常保养和维修过程中对判断空气弹簧系统的性能状态提供了有效的试验手段。 展开更多

关键词 地铁车辆 空气弹簧 性能检测台 机械结构 有限元分析

在线阅读 下载PDF 职称材料

基于事务的功能验证方法 被引量：1

15

作者 江龙 马琪 《现代电子技术》 2008年第6期1-3,11,共4页

功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。介绍这... 功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。介绍这种功能验证方法及其测试平台的建立。 展开更多

关键词 功能验证 事务 测试平台 IC设计

在线阅读 下载PDF 职称材料

八通道多协议串行通信控制器的功能验证

16

作者 周吉吉 何书专 +3 位作者 李伟 娄孝祥 张仲金 李丽 《半导体技术》 CAS CSCD 北大核心 2008年第11期1036-1040,共5页

超大规模集成电路芯片的验证是一项复杂的任务,占据了整个芯片设计工作量的70%。实现了一款八通道多协议串行通信控制器芯片的功能验证,介绍了基于总线功能模型验证平台的建立方法,并根据此芯片的设计特点,研究了该芯片的验证策略,设计... 超大规模集成电路芯片的验证是一项复杂的任务,占据了整个芯片设计工作量的70%。实现了一款八通道多协议串行通信控制器芯片的功能验证,介绍了基于总线功能模型验证平台的建立方法,并根据此芯片的设计特点,研究了该芯片的验证策略,设计了验证平台,同时完成了芯片的后仿真和样片测试。实践证明,该验证策略具有较高的功能覆盖率,验证平台具有较好的复用性,对同类具有复杂通信协议电路的功能验证有一定的参考价值。 展开更多

关键词 功能验证 验证平台 总线功能模型

在线阅读 下载PDF 职称材料

SystemC在UART的IP软核设计中的应用

17

作者 董玲 陶建中 +1 位作者 张松 黄越 《江南大学学报（自然科学版）》 CAS 2007年第2期208-211,共4页

在IP软核的设计过程中,可以利用SystemC行为模型描述特点代替传统HDL语言,建立行为模型和验证平台.以一个通用异步收发器的IP核设计为例,详细讨论整个IP软核的设计流程,重点分析了行为模块和验证模块的设计.结果表明,SystemC对于提高代... 在IP软核的设计过程中,可以利用SystemC行为模型描述特点代替传统HDL语言,建立行为模型和验证平台.以一个通用异步收发器的IP核设计为例,详细讨论整个IP软核的设计流程,重点分析了行为模块和验证模块的设计.结果表明,SystemC对于提高代码效率和IP开发速度有着重要作用. 展开更多

关键词 IP核 通用异步收发器 SYSTEMC 验证平台

在线阅读 下载PDF 职称材料

基于处理器硅前性能验证平台的基准程序库设计方法

18

作者 张华亮 刘宏伟 刘天义 《高技术通讯》 CAS CSCD 北大核心 2016年第8期713-718,共6页

提出了一种新的适用于处理器的硅前性能验证平台的基准程序实现方法。方法的主要思想是利用现成的广泛使用的测试程序集合,通过降低工作负载,采用基于基本块的划分、归并方式,将多个基于相同特征点的代码片段作为一个基准检测点,这些抽... 提出了一种新的适用于处理器的硅前性能验证平台的基准程序实现方法。方法的主要思想是利用现成的广泛使用的测试程序集合,通过降低工作负载,采用基于基本块的划分、归并方式,将多个基于相同特征点的代码片段作为一个基准检测点,这些抽象的检测点构成了基准程序库。该方法将复杂的处理器内部行为的一致性判断转换为性能的宏观统计分析,充分利用了已有的权威测试基准集,无需重新编写性能验证平台的基准程序,既扩大了验证程序的规模,又节省了大量的劳动,同时可以针对验证样本通过分析系统自动展开验证工作,减少了人工核对的工作量。 展开更多

关键词 基准测试程序集 硅前性能验证 处理器验证 仿真加速器 基本块 验证平台 基准程序库

在线阅读 下载PDF 职称材料

基于System Verilog的NoC测试平台

19

作者 柯夏志 张颖 《计算机工程》 CAS CSCD 北大核心 2011年第23期223-225,共3页

针对片上网络(NoC)验证效率不高的问题,依据验证方法学,利用System Verilog语言的优势,构建一个由覆盖率驱动并受约束的随机分层NoC测试平台。在不同拓扑结构和流量分布下,对NoC进行性能评估,结果证明该测试平台具备较强的通用性、适应... 针对片上网络(NoC)验证效率不高的问题,依据验证方法学,利用System Verilog语言的优势,构建一个由覆盖率驱动并受约束的随机分层NoC测试平台。在不同拓扑结构和流量分布下,对NoC进行性能评估,结果证明该测试平台具备较强的通用性、适应性和扩展性,能有效地提高验证效率。 展开更多

关键词 SYSTEM VERILOG语言 片上网络 验证方法学 测试平台 功能覆盖率

在线阅读 下载PDF 职称材料

基于ARM核的片上可编程系统的功能验证

20

作者 金轶丰 《计算机工程》 EI CAS CSCD 北大核心 2005年第6期192-194,共3页

介绍了一种快速准确的片上系统验证方法。这种方法改善了针对当今高性能的系统设计的验证过程,从而减少了开发整个系统所需要的成本。

关键词 验证 VERILOG硬件描述语言 AHB 总线功能模型 测试基

在线阅读 下载PDF 职称材料