MPEG-2／4AAC音频编码模块的验证

先进音频编码（AdvancedAudioCoding,AAC）以其多声道、多采样率、高压缩比、音质好等特点被广泛使用。文中首先介绍了MPEG-2／4AAC音频编码技术;接着基于MPEG-2／4AAC音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的BFM模型,搭建了音频编码模块的RTL级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证。实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的FPGA平台验证和芯片应用提供了有力的保证。     

MPEG-2/4 AAC 音频编码模块的验证

先进音频编码(Advanced Audio Coding,AAC)以其多声道、多采样率、高压缩比、音质好等特点被广泛使用.文中首先介绍了 MPEG-2/4 AAC 音频编码技术;接着基于 MPEG-2/4 AAC 音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的 BFM 模型,搭建了音频编码模块的 RTL 级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证.实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的 FPGA平台验证和芯片应用提供了有力的保证.     

基于ARINC629的层次化验证平台设计

结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。     

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

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

龙腾Stream流处理器验证

芯片设计复杂度的提高迫切地需要先进的方法学以应对巨大的验证工作量。通过开发基于System Verilog的覆盖率驱动的自动化验证平台,对龙腾Stream流处理器的指令集进行了功能验证。实验结果表明,该验证平台提高了验证效率和功能覆盖率,具有良好的重用性和可移植性。搭建FPGA原型验证系统对流处理器的功能和系统性能进行了评测,并提出了优化流处理器加速性能的方法。     

基于UVM平台实现SDHost控制器的验证

随着数字信息技术的发展，SDHost控制器的应用逐渐广泛。本文对SDHost控制器的相关功能进行验证，基于UVM验证方法学搭建完整的验证平台，通过直接测试和大量的随机测试案例以及Makefile脚本自动化编译，完成代码覆盖率以及功能覆盖率的统计，最终代码覆盖率和功能覆盖率均满足要求。UVM验证平台以及自动化脚本的使用提升了验证效率，对验证流程做了简化，同时保证了验证的完备性。     

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

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

网络处理器的原型验证技术

介绍一款网络处理器的设计方案,根据该网络处理器体系结构的特点,论述针对数据处理内核的原型验证技术。讨论原型验证平台的结构,在采用多片FPGA进行原型验证时要考虑复位时序、时钟同步等因素,以及原型验证过程。实验结果表明,该原型验证平台有效验证了网络处理器核心部件的设计功能。     

基于UVM实现时间同步电路的功能验证

时间同步电路模块是某款在研网络通信SoC芯片的核心IP之一,为通信网络子系统之间提供精准的时间同步功能,因此对其功能正确的验证具有重要意义。如果采用传统的定向测试方法对其验证将很难遍历到所有情况,而采用受约束的随机测试、基于覆盖率驱动的UVM验证方法学,能大量减小验证激励的开发项,有效穷举要验证的功能点。文中介绍了基于UVM验证方法学验证平台设计实现的过程,经过仿真验证和覆盖率的统计分析,证明采用该方法能高效地检查出设计的缺陷,减少了验证花费的时间。     

基于UVM实现时间同步电路的功能验证

时间同步电路模块是某款在研网络通信SoC芯片的核心IP之一,为通信网络子系统之间提供精准的时间同步功能,因此对其功能正确的验证具有重要意义.如果采用传统的定向测试方法对其验证将很难遍历到所有情况,而采用受约束的随机测试、基于覆盖率驱动的UVM验证方法学,能大量减小验证激励的开发项,有效穷举要验证的功能点.文中介绍了基于UVM验证方法学验证平台设计实现的过程,经过仿真验证和覆盖率的统计分析,证明采用该方法能高效地检查出设计的缺陷,减少了验证花费的时间.     

接触式智能卡的嵌入式系统攻击平台设计

为了对接触式智能卡的安全性进行研究,搭建了一个多功能的接触式智能卡的嵌入式系统攻击平台,作为开放、可控的目标芯片激励平台;文中给出了具体的实现方案,尤其对智能卡接口电路、读卡器接口电路以及控制模块的设计进行了详细阐述;该平台可以模拟智能卡和读卡器的功能,与真实的智能卡或者读卡器通信,实施中间人攻击、产生侧信道攻击所需的触发信号、向卡片的电源和时钟施加扰动。通过该平台的使用,还可对智能卡芯片安全性设计进行FPGA验证;该方案具有灵活性强、成本低、高效率等优点,可以用于侧信道攻击、故障攻击、密码芯片安全性测试等领域,提高工作效率。     

一个VLIW处理器验证平台的设计

本文主要针对VLIW结构的处理器结构特点，提出了一种基于伪随机和模块化指令流激励的面向对象的逻辑验证平台的设计方法，提高了处理器验证的覆盖率和效率。验证人员可以在平台上协同工作，开发相应的验证程序，完成指定的逻辑功能验证任务。实验结果表明该平台的建立解决了逻辑功能验证的瓶颈，该平台具有高效、灵活、易用和维护性好等特点。     

“龙腾R2”微处理器模块级验证

针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块,实现自动化验证;通过仿真,与传统方法相比,在达到同等验证程度的情况下,使用该平台验证周期明显缩短,同时验证覆盖率也有所提高。     

基于UVM的基带射频接口电路的验证

针对UVM验证方法学的高效性,结合UVM可重用性的特点,搭建层次化的模块级验证平台,对基带射频接口电路的功能进行验证。验证分析表明,基带射频接口硬件电路架构移植于UVM环境中,不仅提高了代码覆盖率和功能覆盖率,而且大幅提升了验证效率。同时通过DC(Design Compiler)对硬件RTL约束后,得到射频接口电路接收通路的面积为0.3 mm~2,功耗为39 mW;射频接口电路发送通路的面积为0.5 mm~2,功耗为58 mW。     

中科SoC的USB1.1 OHCI主机控制器IP设计

系统阐述了USB1．1OHCI主机控制器IP的功能、结构、各功能模块的电路设计和实现方法,介绍了主机串行接口引擎模块及其时钟和数据恢复电路以及并行CRC算法的设计。为了验证OHCI主机控制器功能正确性,在中科SoC虚拟验证平台上对该主机控制器做了系统级模拟验证,验证结果证明了设计的正确性。     

基于单片机的智能仪器监控平台设计

目前传统分析仪表正在更新换代,向数字化,智能化方向迈进.本文设计了一种基于Intel 80C196ke单片机的便携式智能仪器监控平台,并且系统的介绍了该嵌入式监控平台的软硬件设计及其功能.该平台采用模块化设计,包括译码电路、LCD液晶显示、键盘、A/D采样电路、12C总线储存器、时钟芯片等.监控平台的软件系统采用C程序设计.     

基于UVM的存储控制器功能验证

采用通用验证方法学(UVM)搭建验证平台,以AHB总线上挂载的存储控制器为验证对象,重点分析了UVM验证平台的设计;采用传统的定向验证方法将很难遍历到所有情况,而通过UVM验证平台能够产生受约束的随机激励信号,对存储控制器进行全面的验证,并能自动收集功能覆盖率和分析验证结果;验证结果表明,该验证平台能有效地查出设计缺陷,达到覆盖率要求,减少验证时间,提高验证效率,且具有良好的可配置性和可复用性.     

电工技术（模电）虚拟实验平台设计

模电实验多为验证性实验,硬件实验平台设计的搭建过程复杂,容易出现搭建错误,导致设备硬件损坏,使实验无法进行,因此,文章在模拟电子实验室的基础上开发了虚拟实验平台。本设计基于LabVIEW软件的环境,设计了模拟电子虚拟实验系统,本系统包含了方波-三角波产生电路、功率放大器等基本电路。该实验平台基础性实验符合理论性实验验证的要求,且操作简易。     

基于VMM的外部存储器接口验证

随着SoC规模和复杂度的增加,功能验证变得越来越复杂,传统的验证方法很难对其进行全面的验证.基于SystemVerilog语言和VMM(Verification Methodology Manual)的高级验证方法学,采用覆盖率驱动、带有约束的随机化和断言等验证方法设计验证平台,对外部存储器接口进行了功能验证.验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事务,代码和功能覆盖率可达100%.该方法简化验证复杂度,提高验证平台的可重用性,较好地满足芯片验证需要.     

基于AT89S51的防盗报警器设计

为了满足现代住宅防盗需要而设计的一款"基于AT89S51单片机的防盗报警器"。对硬件电路部分,包括有对单片机芯片的选择、时钟电路、复位电路、按键电路、LED灯指示电路、人体感应电路、数码管显示电路做了详细介绍,对程序设计部分做了详细说明,并提供了详细程序。经试验验证,该设计是正确的合理的,具有硬件结构简单、扩展性强等特点,具有一定的应用价值。