基于事务的RVM随机向量产生器在SOC验证中的应用

在搭建层次化验证平台时,产生器是一个重要的模块,它能否根据需要产生随机向量直接关系到测试平台的可靠性.传统的激励产生方法由于是用人工生成的,效率低且性能也不令人满意,已经不能满足当前大规模芯片验证的需求.介绍了一种基于事务的随机向量产生器,它把基于事务的验证策略和随机向量产生器结合起来,通过产生受限的随机数据,提高了激励的覆盖率.与传统的向量产生方法相比,基于事务的随机向量产生器能够使验证平台更可靠,同时减轻了验证工程师的工作,加快了芯片上市的时间.     

一种基于UVM的模块级可重用随机化验证平台构建方法

介绍了一种基于UVM验证方法学的SoC模块级验证平台的构建方法.该平台针对基于AMBA总线的AES硬件加速器IP的功能验证需求,采用面向对象的层次化建模方法,完成可重用AMBA通用验证化组件,参考模型以及验证事务级建模的随机化高功能覆盖率测试向量的可重用工作.该平台面向基于AMBA总线的SoC模块级验证领域实现可重用性.验证结果表明,基于随机化验证策略的验证平台在功能覆盖率收敛效率上提高了21.4%.     

基于遗传算法的随机测试生成技术探究

随着集成电路设计复杂度不断提高,功能验证的挑战也不断增大。为了加快验证进程提高覆盖率,提出了一种新的基于遗传算法（Genetic Algorithm, GA）的随机测试生成方法。该方法基于一种二进制和十进制数混合编码的双层编码模式,并使用了权值可自动调控的功能覆盖点来计算个体适应度值,并将模拟过程中的覆盖率报告自动反馈回给随机测试生成的约束产生。该方法已应用于中国科学院微电子研究所自主研发的IME-Diamond数字信号处理器RTL模型的模块功能验证。实验结果表明,该方法有效提高了验证效率。     

基于RVM SD/MMC卡控制器验证平台的搭建

本文介绍了RVM验证方法学和覆盖率驱动技术,验证方法学的关键就是搭建验证平台.覆盖率驱动技术是让我们搭建的验证平台达到覆盖率期望的要求,从而确保DUT的功能得到充分的验证.本文是根据覆盖率驱动技术搭建了基于RVM的SD/MMC卡控制器的验证平台,该验证平台从上到下分为测试层,产生器层,功能层,命令层和信号层,最后在此基础上给出了SD/MMC卡控制器的仿真波形,并根据波形分析不断修改SD控制器的源代码完善其功能,从而达到验证目的.     

基于Libnet的网络流量产生器的设计与实现

流量产生器可以产生不同的流量来对网络进行加载以实现各种指标的测试.本文分析了产生网络流量的方法,介绍了基于Libnet 进行网络编程的原理,并举例说明基于Libnet实现网络流量产生器的过程.通过对实现的结果进行验证,表明基于Libnet编程比利用Socket编程效率明显提高,还可以产生更高速率的网络流量.     

功能覆盖率驱动的自适应遗传算法验证技术

根据不同功能测试点在芯片代码中的逻辑深度与相应测试向量覆盖到的测试点多少的关系,对不同测试点设置了相应的权重,提出一种基于自适应遗传算法的激励向量生成方法。实验结果表明,该方法能减少编写约束文件时间,较快自动搜索有针对性的测试激励,提高芯片功能验证的可靠性和仿真效率。     

基于uvm验证方法学的盲均衡器验证

文章采用通用验证方法学(UVM)搭建验证平台,以高速光纤传输系统中的数字信号处理芯片的盲均衡器作为验证对象,重点分析了UVM验证平台的搭建思想,产生随机化的测试向量,对盲均衡器进行全面验证,从而达到覆盖率的要求,通过寄存器模型和自动化脚本的使用,提高验证效率和平台的可重用性。验证结果表明,通过这种面向对象的层次性建模方法,可以大幅缩短平台的维护和开发时间,采用该验证方法的功能覆盖率为100%,代码覆盖率为98%,翻转覆盖率为97%。     

基于PSL语言的数字集成电路功能覆盖率测试

设计复杂度的增加、IP重用等当前复杂SoC／ASIC设计的特性要求对设计的功能进行更加充分的验证。基于PSL的功能覆盖率分析与传统的代码覆盖率分析共同构成了一个完整的衡量电路验证质量的尺度，这一全新设计方法学的使用将有效提高验证的质量和效率。     

VMM验证方法在AXI总线系统中的实现——Verification IP应用一例

本文基于中科院计算所某项目实际工作,介绍如何利用高级验证语言、验证基本库、以及成熟的验证模型,快速建立可随机产生测试向量、向量场景可调制、并具有覆盖率收集功能的验证系统。项目采用SystemVerilog语言,测试平台架构基于Synopsys公司最新的验证方法VMM,并使用DesignWare系列验证IP加快平台的建立。     

总线协议中的CRC及其在SATA通信技术中的应用

分析了基于总线协议下的CRC校验关键技术的算法及实现原理。提出了一种适合总线协议生成多项式的CRC产生器与校验器的硬件电路实现方法。通过该方法,依照SATA国际I/O标准,编写的CRC产生器与校验器Verilog 代码,已通过VCS的仿真验证,并成功集成于SATA总线,实现了该总线的通信。该方案进行的CRC产生器和校验器设计,具有可靠性高,实用性广,便于提高工程开发效率等优点。     

An Automatic Functional Coverage for Digital Systems Through a Binary Particle Swarm Optimization Algorithm with a Reinitialization Mechanism

At present, functional verification represents the most expensive part of the digital systems design. Moreover, different problems such as: clock synchronization, code compatibility, simulation automation, new design methodologies, proper use of coverage metrics, among others represent challenges in this area. The automated test vector generation is involved in these problems. In this work, an automated functional test sequences generation for digital systems based on the use of coverage models and a binary Particle Swarm Optimization algorithm with a reinitialization mechanism (BPSOr) is described. Also, a comparison with other meta-heuristic algorithms such as: Genetic algorithms (GA) and pseudo-random generation is presented using different fitness functions, coverage models and devices under verification. The main strategy is based on the combination of the simulation and meta-heuristic algorithms to test the device behavior through the generation of test vector sequences. According to the results, the proposed test generation method represents a good alternative to increase the functional coverage during the automated functional verification of block-level digital systems verification.     

基于SV-DPI的图像坏元修正FPGA自动化验证

为实现红外图像坏元修正FPGA（field programmable gate array）的快速验证,提高测试覆盖性,设计了基于SV-DPI（SystemVerilog-direct programming interface）的FPGA自动化验证平台。采用DPI（direct programming interface）编程接口技术,实现了SystemVerilog平台调用C++编程语言,构建了针对红外图像坏元数据的生成和检测修正模型,建立了两种语言在事务级（transaction level）模型的通信。结果表明相对于传统验证方法,该平台结构简单,可以快速实现激励产生、参考模型构建、测试结果自动比对等功能,实现了红外图像坏元检测与修正FPGA的自动化测试,功能覆盖率达到100%,有效缩短FPGA测试平台搭建和调试周期,提高了测试效率和测试质量。     

Fuzzy logic based intelligent control of a variable speed cagemachine wind generation system

The paper describes a variable speed wind generation system where fuzzy logic principles are used for efficiency optimization and performance enhancement control. A squirrel cage induction generator feeds the power to a double-sided pulse width modulated converter system which pumps power to a utility grid or can supply to an autonomous system. The generation system has fuzzy logic control with vector control in the inner loops. A fuzzy controller tracks the generator speed with the wind velocity to extract the maximum power. A second fuzzy controller programs the machine flux for light load efficiency improvement, and a third fuzzy controller gives robust speed control against wind gust and turbine oscillatory torque. The complete control system has been developed, analyzed, and validated by simulation study. Performances have then been evaluated in detail     

基于开源处理器Rocket的异构SoC设计与验证

随着神经网络隐层数的增多,训练计算量增大。为提高算法的执行效率,包含硬件算法加速器的异构片上系统(So C)相继被提出。开源处理器Rocket core项目含有核生成器,不仅能够定制核的个数而且含有协处理扩展接口,易于异构So C的研究和设计工作。基于开源处理器Rocket core和开源项目Si-Five Blocks,以ReLU协处理器和向量内积加速器为例搭建了精简的So C,并以FPGA开发板VC707为验证平台,完成了ReLU和向量内积加速器的原型验证,结果证明了该异构So C对加速卷积神经网络运算的有效性和实用性。     

基于仪表和ADS软件的雷达半实物仿真系统介绍

本文提出应用矢量信号发生器和ADS等仪器和软件组成雷达半实物仿真系统,其中ADS和Matlab进行雷达射频和基带部分的建模与仿真,矢量信号发生器完成波形调制并在射频完成信号的产生,用于雷达系统的测试与评估.     

基于伪随机的微处理器验证方法及改进

处理器验证是验证工作中最重要也是时间开销最大的部分.文中提出了一种基于仿真的微处理器验证方法,以伪随机算法为主自动生成测试向量,实现了验证的自动化和验证环境的可重用性.并在此基础上引入神经网络算法,提高了整个验证过程的自动化程度和效率.通过一款DSP处理器的验证结果表明,该方法确实提高了微处理器功能验证的有效性和完备性.     

基于OVM的网络协议处理芯片验证平台的设计

针对一款网络协议处理芯片,为了保证其设计的正确性,提升验证效率,基于OVM架构,通过SystemVerilog语言搭建了具有受约束的随机激励生成、错误注入、覆盖率收集、正确性自检查等功能的验证平台。通过该验证平台对芯片进行了全方位的高效验证,实现了一次流片成功。基于OVM的验证平台具有良好的可重用性和可扩展性,相对于传统的编写定向测试激励的方法,在验证的高效性、完备性上具有显著的优势。     

Leon2微处理器流水线相关验证

微处理器的功能验证成为设计验证的瓶颈,指令集的组合验证对流水线处理器具有重要的意义。Leon2流水线相关验证找出了流水线相关的测试向量集,实现了测试程序的自动生成,构造自动化程度较高的验证平台。与指令随机组合测试的方法相比,有针对性地验证了引起流水线相关的情况,同时测试程序达到了较高的流水线状态覆盖率。