超大规模数字系统控制器的验证实现

数字系统的验证是一个复杂的过程.结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法.该方法需要两组有限状态机的STG状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否.实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.     

基于VHDL语言的控制器设计与验证

介绍了设计与MCS8051微处理器指令集完全兼容的微处理器芯片的方法和过程。 设计中采用自上而下的结构化设计方法。利用VHDL语言对目标芯片进行描述仿真，逐步细化 ，最后综合成逻辑级的网表。该文中重点介绍了VHDL结构化层次设计、FPGA验证以及在RTL 级利用VHDL语言对控制器单元的设计。     

基于VMT的DDR-SDRAM控制器功能验证

介绍了一种基于验证模型技术(VMT)的DDR-SDRAM控制器的功能验证方案。该方案完成了DDR-SDRAM控制器对DDR-SDRAM模型的读写以及AHB 2.0协议的兼容性验证。VMT的使用加快了验证平台的搭建和验证用例的编写。通过分析自动校对结果、仿真波形和覆盖率报告,实现控制器功能验证的快速收敛。FPGA原型验证进一步证明了该方案的可行性。     

优化帧频控制的LCD控制器IP的设计与验证

随着LCD在嵌入式系统中的广泛应用，LCD控制器IP成为SoC芯片中的一个重要部件。文章介绍了一种支持TFT和STN屏的LCD控制器设计。该设计使用了基于空间散列的帧频控制算法以优化LCD显示图像质量，并使用两级缓存结构以保证稳定的输出数据流。文章同时给出了模块化可配置的自动验证方案，并在FPGA上实现了该设计。     

X总线控制器的功能模拟验证

X总线控制器是时分多路复用串行数据总线控制系统的核心部分,工作模式复杂,功能众多。针对X总线控制器的特点,设计了它的功能模拟验证策略和方案:基于离散事件的事件调度策略,采用芯片级和系统级的验证方法,较好地完成了X总线控制器的功能模拟验证。     

基于UVM的异步接口CAN控制器验证平台

针对带有异步接口的CAN控制器,设计实现了一种基于UVM的随机化、可重用的功能验证平台。该平台使用面向对象的UVM类搭建,代码可重用性更强,开发周期更短;引入随机化程度更高的激励加快功能验证的收敛速度,且更加贴近芯片的实际应用场景;自动化比对机制可以实时地输出结果报告,便于问题的定位和调试。平台独创性地实现了CAN总线代理器和异步接口驱动器两个组件,兼容CAN 2.0B标准协议和Intel/Motorola异步接口时序,实现了平台与DUT的数据交互。实验结果表明,设计验证平台可以有效验证待测设计异步接口CAN控制器。     

PCI总线目标控制器的设计与实现

比较了目前两种主流PCI目标接口的实现方式——使用CPLD／FPGA或者专用电路，分析了PCI目标控制器的接口和实现的功能，介绍了控制器的内部结构和控制逻辑以及如何对PCI主设备发起的操作做出响应。介绍了整个设计的仿真和验证，验证结果表明设计符合PCI局部总线规范。     

多总线接口信号处理SoC虚拟验证平台的实现

多总线接口信号处理SoC芯片是以信号处理DSP为核心集成了多个总线接口的片上系统,该SoC涉及的总线协议众多,验证复杂、工作量大,验证将是该SoC芯片开发的瓶颈。为了缩短多总线接口信号处理SoC芯片的开发周期,提高该SoC芯片的一次流片成功率,必须采用更为可靠和有效的验证方案。以SoC验证流程及方法为指导,重点介绍了多总线接口信号处理SoC虚拟验证平台的构建和具体实施。验证结果表明,该验证平台能高效、全面验证芯片功能,提高了芯片验证效率,缩短了整个芯片开发周期,为芯片的成功投片提供了可靠保障。     

DDR2 SDRAM控制器接口的FPGA设计及实现

DDR2 SDRAM是第二代双倍数据传输速率同步动态随机存储器,以其大容量、高速率和良好的兼容性得到了广泛应用。DDR2芯片的控制较为复杂,为了解决DDR2芯片的驱动及功能验证问题,在介绍了其特点和工作机制的基础上,提出了一种简化的工作流程图,进而给出该控制器的总体设计、FPGA器件的引脚分配及验证方法。其中验证方法采用Verilog HDL硬件描述语言构建了DDR2控制器IP软核的测试平台,通过ModelSim软件对DDR2仿真模型测试无误后,再使用QuartusII软件的嵌入式逻辑分析仪工具SignalTap II抓取FPGA开发板实时信号。开发板上的验证结果表明：DDR2芯片初始化成功;其引脚上有稳定的读写数据;在双沿时钟频率200MHz下,写入数据和读出数据一致。故DDR2控制器设计达到要求,且控制器接口简单、工作稳定、移植性强。     

分布式飞机机电综合系统半实物验证环境设计

文中针对现代飞机的分布式机电综合系统的要求,提出分布式飞机机电综合系统地面半实物仿真验证环境。以某型飞机分布式机电综合管理系统数字仿真及半实物硬件在环测试要求为牵引,明确分布式机电综合系统从数字验证到半实物验证的方法和过程。搭建分布式机电综合系统半实物验证环境,并对该环境整体能力进行验证测试,试验结果表明了涉及方法、验证系统是正确、合理的。     

基于LabVIEW的数字式气压计自动检定系统

气压是地面气象观测中的重要观测要素,现阶段气压计主要依赖人工检定,劳动强度大、效率较低且易出现失误；为此提出一种数字式气压计自动检定系统,以实现PTB220和PTB210系列数字式气压计的自动检定。系统依据JJG 1084-2013 《数字式气压计检定规程》设计,主要包括CPC6000型精密压力控制器、745-16B型高精度实验室标准表、多串口扩展卡以及计算机等。论文介绍了系统设计方案,基于LabVIEW开发了自动检定程序,包括压力控制、数据采集、数据处理、报表生成以及传感器调整等模块,并进行了检定实验。结果表明,系统可显著提高检定工作效率,经调整后的气压计测量误差符合要求。     

某型发动机控制器模拟接口电路测试性设计与验证

目前发动机控制系统的结构越来越复杂,为测试、维修带来了极大的不便,文中针对某型发动机控制器进行了测试性设计,并以其中模拟接口电路为例对设计情况进行了详细说明,最后采用故障注入手段对电路进行了测试性试验验证。验证结果表明发动机控制器测试性设计能够实时反映发动机控制系统的故障状态,让使用者或操作者能够依据这些状态参数准确判断出控制系统的工作状态。当发生故障时,可以快速定位到某一模块,并将故障隔离到某一功能电路,极大的提高了系统维护的效率。     

DMA控制器的一种硬件验证方法

在微处理器或SOC芯片设计过程中,DMA控制器的硬件仿真验证是难以解决的问题之一,因为DMA控制器与包括微处理器核和内存控制器在内的几乎所有部件都有数据通信,如将所有部件集成后进行仿真测试,则一旦发现错误后,定位错误会非常困难.本文为此提出了一种简化测试模型和验证方法,可以有效解决上述问题.     

基于DVD-ROM应用的内容加扰系统(CSS)的VLSI设计

本文介绍了一种基于DVD—ROM应用的内容干扰系统(CSS)的设计和实现。该系统可有效防止对DVD盘片的非法拷贝。文中通过对其工作原理和实际应用的分析，给出其最终实现方案，并用Verilog HDL完整整个系统的设计。功能仿真和FPGA验证表明，设计成功。     

An assertion-based verification methodology for system-level design

In this paper, we integrate an assertion-based verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification. In this direction a system-level assertion language is defined. The system-level assertions can be used to monitor the current state of system or flow of transactions. These assertions are automatically converted to “monitor hardware” or “monitor software” during the system-level synthesis process depending on their type and also synthesis style of their corresponding functions. The synthesized assertions are functionally equivalent to their original system-level assertions, and hence, can be reused to verify the system after HW/SW synthesis and also at run-time after system manufacturing. This way, not only system-level assertions are reused in lower-levels of abstraction, but also run-time verification of system is provided. In this paper, we describe the system-level assertion language and explain the corresponding synthesis method in our object-oriented system-level synthesis methodology; however the concept can be applied to any system-level design methodology with modifications to assertion types and synthesis method.     

交换控制电路功能验证平台设计

针对超大规模集成电路设计验证的复杂性，以多口以太网交换控制电路为验证对象，分析了高级验证语言的特点，研究了验证策略，设计了验证平台，实现了复杂电路的功能验证。验证结果表明，采用高级验证语言构建验证平台可有效地缩短验证周期、降低验证成本和提高验证质量。     

SoC高级综合验证研究进展

针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高级综合验证算法目前面临的映射关系缺失、状...     

Non-Interference Control Synthesis for Security Timed Automata

In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Automata, is addressed for the first time. We first discuss a notion of non interference for dense real-time systems that refines notions existing in the literature and investigate decidability issues raised by the verification problem for dense time properties. We then prove the decidability of the problem of synthesis of the timed controller for some of these timed non interference properties, providing so a symbolic method to synthesize a controller that ensures them.