基于定向数据链组网的仿真验证技术研究

针对传统单一的仿真手段已不能满足定向组网协议仿真验证需求的问题,综合利用STK、OPNET和MATLAB 等多种仿真平台,提出了一种基于定向数据链组网的综合仿真验证方法,并对典型的定向数据链网络进行了建模仿真,并针对定向组网的重要特征进行了仿真验证,得到了一系列仿真验证结果.仿真验证结果表明,该仿真验证技术可靠有效,对定向数据链网络的发展具有一定的参考意义.     

PON结构航空总线协议芯片仿真验证方法

针对基于PON结构的FC_AE航空总线协议芯片的验证需求与功能特性,提出了一种基于RTL级组网功能仿真验证的方法,阐述该方法下仿真验证平台测试用例模块、参考模型模块、结果检测器模块、验证平台整合模块的实现原理,最后,采用该方法搭建了FC_AE协议芯片的仿真验证环境,完成该芯片的仿真验证.该方法基于多种语言自动化验证平台,可从系统级与芯片级双通道验证芯片功能,有效的提高了验证效率,缩短了整个设计验证周期,为芯片的成功投片提供了可靠的保证.     

基于直方图分析的红外仿真图像验证方法研究

红外仿真图像的真实性和逼真度决定着红外成像制导仿真的有效性,红外仿真图像的验证方法研究具有重要的意义。本文提出一种基于灰度直方图的红外仿真图像验证方法,并建立了验证评价综合指标,该方法采用一维直方图研究红外仿真图像的亮度、对比度和信息量,以验证辐射亮度和辐射对比度的准确性;通过二维直方图研究图像像素之间的灰度空间关系,验证仿真图像的像素空间相关性。实验证明,该方法适合对红外仿真图像进行客观质量验证评价,进而可评价辐射模型和图像生成算法的真实性和有效性。     

导弹仿真模型验证系统的研究与实现

为评估数字仿真系统的仿真模型与实际物理模型之间的接近程度,确保仿真结果的可信性,在对现有模型验证方法的优缺点及适用性分析的基础上,研究开发一套仿真模型验证系统。该系统采用自顶向下的模块化结构设计,实现了仿真模型验证方法在系统中的高度集成,为仿真系统的整体性能评估奠定了坚实的基础。     

利用OVM实现基于Class的高效仿真验证环境

随着FPGA设计规模和设计复杂度的不断提高,传统的仿真验证方法正暴露出越来越多的缺陷,难以满足高质量、高效率的验证需求。开放式验证方法(OVM)是由Cadence公司和Mentor公司应时推出的一种新兴验证方法学,本文利用该方法设计并实现了基于类(Class)的仿真验证环境,并证明了该方法在改善目前仿真验证困境方面的可行性和有效性。     

基于特征曲线重构的仿真模型验证

针对仿真模型动态验证过程中缺乏参考数据的情况,提出了一种基于特征曲线重构的仿真模型验证方法。首先通过与领域专家交流得到仿真数据时序的特征曲线,然后由特征曲线对仿真数据进行参数估计,最后将所估计的参数与专家给出的范围进行比较,完成仿真模型的验证。仿真分析表明,该方法能有效解决模型验证中缺乏参考数据的问题,具有一定的参考意义。     

调试功能仿真及验证平台设计

本文档针对ARM CPU芯片,介绍了支持双核CPU芯片调试功能仿真平台和验证平台的设计及实现方法.调试功能仿真平台主要由验证脚本和Debug Driver程序组成;调试功能验证平台是基于仿真平台进行设计,直接使用仿真平台的Debug Driver程序,由MCU中验证程序替代仿真验证脚本的功能,使用验证设计更加灵活、全面...     

一种快速验证FPGA互连线连接正确性的方法

随着FPGA规模的不断增大,互联线验证变得越来越困难。传统互连线验证采用功能仿真的方法,具有仿真速度慢、覆盖率低等不足。基于互连网络比对,设计了一种快速验证FPGA互连线连接正确性的方法。相对于功能仿真验证,该方法可以快速完成FPGA互连线连接正确性的验证,覆盖率高达100%,在保证互连正确的前提下,极大地缩短了设计时间。     

基于时序逻辑的仿真系统行为验证方法

仿真系统行为可信性评估是一项复杂的任务，需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求，借鉴形式化验证技术的思想，提出基于时序逻辑的仿真系统行为验证方法。该方法首先根据真实系统和实测数据，结合专家经验，对所关注的仿真系统行为属性进行提取；其次，利用时序逻辑语言对提取的待验证属性进行形式化描述；然后，运行仿真系统并获得相应的输出数据，利用验证算法自动检验仿真数据是否满足给定的属性，从而实现行为验证；基于对武器装备体系对抗仿真领域的验证属性分析，选取度量区间时序逻辑作为属性的形式化描述语言；最后，通过一个防空对抗仿真系统的验证示例，表明了该方法的有效性。     

一种数模混合SoC的系统级后仿真验证平台

针对传统大规模数模混合SoC后仿真验证过慢的问题,提出了一种数模混合SoC系统级后仿真验证平台。该平台充分利用主流EDA工具,在传统Verilog-cdl后仿真验证平台的基础上,将原本网表中耗时长的模块用Verilog模型替换,使用Verilog-cdl-Verilog仿真方法,明显加快了仿真速度。从验证环境搭建、系统脚本设计、仿真接口设计三个方面详述了仿真平台的设计流程,并通过指令集功能的仿真实现,证明了平台的可行性和可靠性。该验证平台有助于缩短大规模数模混合SoC的开发周期。     

基于SV语言的DBA芯片的验证

随着芯片规模和设计复杂度的增加,传统的模拟验证方法学已经成为整个验证的瓶颈。为了解决这一瓶颈问题,验证方法学从模拟验证逐步演变成形式验证,先后经过了模拟晶体管模型仿真、门级仿真以及采用点线功能模型（BFM）的事务级仿真三个阶段。SV验证方法学是在模拟验证的基础上增加了形式验证的方法;它采用以覆盖率为导向的技术、受约束的随机技术和基于断言的技术来构建全面的验证环境。以覆盖率为导向可使验证迅速达到验证的出口条件,采用随机测试用例为主代替传统的直接测试为主可使验证迅速收敛,而通过在设计中插入断言可精确验证设计的内部时序问题。实践结果表明,采用这种验证方法极大的提高了验证的效率,缩短了验证周期。     

战术数据链半实物仿真集成验证平台构建技术

本文在分析战术数据链概念的基础上,提出了战术数据链半实物仿真集成验证平台的构建思想,分析了其功能定位,并研究了具体组成模块,阐述了包括环境系统模拟、效能评估模型、智能对抗推演的关键技术.最后,文章对战术数据链半实物仿真集成验证平台的构建进行了总结与展望.     

MATLAB中多EDA软件实现数字系统设计

电子设计自动化EDA技术与MATLAB技术的结合,大大提高了工程中多EDA的算法设计的效率和可靠性。以MATLAB为核心的集成环境,可实现与众多EDA软件的输入输出链接,从系统设计、仿真、嵌入式系统代码生成与系统验证都能实现统一的EDA流程设计和仿真验证,为工程实现提供了一个良好的前期仿真验证手段。     

基于8位CPU核的混合信号SoC验证技术

教模混合系统芯片（SoC）验证技术是SoC设计中的一个难点。文中基于8051核总线构建一个8位SoC设计验证平台,利用NC-SIM的数字仿真环境和Hsim的模拟仿真环境相结合的方式,对整个混合电路进行验证。该验证环境是建立在IP复用规范的基础上,具有很强的可移植性。同时该环境使用的激励文件和IP可以被一起设计复用,因此在仿真精度和仿真速度都能够得到保障的前提下,可以大大减轻电路混合验证的工作量。通过该混合验证环境,成功设计一个8位SoC芯片,功能和性能指标都达到用户要求。     

FPGA硬核处理器系统加速数字电路功能验证的方法

为了缩短专用集成电路和片上系统的功能验证周期,该文提出FPGA硬核处理器系统加速数字电路功能验证的方法。所提方法综合软件仿真功能验证和现场可编程门阵列原型验证的优点,利用集成在片上系统现场可编程门阵列器件中的硬核处理器系统作为验证激励发生单元和功能验证覆盖率分析单元,解决了验证速度和灵活性不能统一的问题。与软件仿真验证相比,所提方法可以有效缩短数字电路的功能验证时间;在功能验证效率和验证知识产权可重用方面表现优于现有的FPGA原型验证技术。     

一种高效高速的大容量FPGA电路功能验证方法

对大容量FPGA芯片进行功能验证时,如何提高验证效率以及验证用例的覆盖率已经成为缩短总体产品时间所面临的挑战.针对上述问题,提出了一种高效、高速的大容量FPGA电路验证方法,可以根据验证用例需求,利用FPGA预先配置一定的功能,通过采取不同的配置文件得到最优网表.该验证方法具有灵活动态配置网表功能,可以节省仿真资源80％左右,大幅度缩短仿真时间,仿真器运行速度至少提高20倍,同时可以提高验证效率,最大限度地提高验证电路的覆盖率,能够满足大容量电路功能仿真的需求.该验证方法已成功应用于大容量FPGA电路功能验证工程实践中.     

Cohesive Coverage Management: Simulation Meets Formal Methods

It has been advocated by many experts in design verification that the key to successful verification convergence lies in developing the verification plan with adequate formal rigor. Traditionally, the verification plans for simulation and formal property verification (FPV) are developed in different ways, using different formalisms, and with different coverage goals. In this paper, we propose a framework where the difference between formal properties and simulation test points is diluted by using methods for translating one form of the specification to the other. This allows us to reuse simulation coverage to facilitate formal verification and to reuse proven formal properties to cover simulation test points. We also propose the use of inline assertions in procedural (possibly randomized) test benches, and show that it facilitates the use of hybrid verification techniques between simulation and bounded model checking. We propose the use of promising combinations of formal methods presented in our earlier papers to shape a hierarchical verification flow where simulation and formal methods aim to cover a common design intent specification. The proposed flow is demonstrated using a detailed case study of the ARM AMBA verification benchmark. We believe that the methods presented in this work will stimulate new thought processes and ultimately lead to wider adoption of cohesive coverage management techniques in the design intent validation flow.     

全数字仿真系统在综合航电火控系统研制中的应用

在工程应用的基础上,介绍了全数字仿真系统在作战飞机综合航电火控系统研制过程中的应用,总结和分析了全数字仿真系统设计开发的原理、思路和方法。     

片上系统的模型检验

片上系统(SoC)的验证是一个比较复杂的问题，仅靠模拟仿真无法保证SoC设计的正确。形式化方法是利用数学推理的方法来证明其正确．是对SoC设计进行验证的一条重要途径。模型检验技术是一种完全自动化的形式化方法，针对模型检验技术，讨论了在SoC验证中的应用，指出在SoC设计中，只有把模拟仿真与形式化、半形式化的方法结合起来，才能更好的对SoC进行验证。