具有自动加载功能的SPI总线控制器设计与验证

本文结合设计需求,提出了一种SPI主模式的接口电路设计,使其可以在多种SPI传输模式下进行数据的传输,且针对实时信息处理占用时间较长的不足,采取信息自动加载方法,有效降低了处理器占用时间.设计并搭建仿真验证平台对其进行验证.仿真测试结果表明,该SPI总线接口电路满足实际应用需求.     

基于Avalon-MM的I2C总线控制器设计及VMM验证

分析了Avalon-MM总线的架构以及I2C总线的传输方式,提出了一种可行的I2C总线控制设计方案,并说明了详细的实现过程;设计的基于Avalon-MM总线的I2C总线控制器可复用IP核,可以不加修改地应用在基于Altera公司产品的SOPC系统中;使用VMM验证方法学构建了多层次可复用的验证平台,对设计进行了全面的验证;整个验证平台使用systemverilog语言实现,仿真工具使用VCS-MX200606;最后仿真结果显示,设计被完全地验证并达到100%覆盖率。     

CAN总线控制器IP核设计实现

CAN总线是一种成熟的串行通信总线,它具有可靠性高、稳定性好、抗干扰能力强、通信速率高、维护成本低、实时性强、很好的开放性及数据兼容性等优点。CAN总线这些众多的优点使其广泛应用于工业自动化控制等领域。其应用的广泛性则进一步对CAN总线IP提出了需求。同时以IP实现的CAN总线控制器所具有的通用处理器访问接口,良好的可移植性等优点使其可以集成于各种嵌入式SoC设计中。文中从CAN总线的规范和特点出发,提出了CAN总线控制器IP核的特点并定义了其功能,采用Verilog语言设计实现了CAN总线控制器IP核的功能,最后通过仿真和FPGA原型验证,证明了设计实现的正确性。目前CAN总线控制器IP核已经应用于SOPC和SoC的嵌入式应用设计中。     

高速1553B总线通讯控制器测试验证系统研究

通过对10M1553B总线通讯控制器的特性进行分析,再结合10M1553B总线通讯控制器的A、B总线通道切换测试及通讯强度测试的测试指标,提出了相应的测试验证系统方案;通过对测试验证结果的研究与分析,证实10M1553B总线通讯控制器具有较好的品质,能够在一定程度上替代国外的同类产品;同时针对10M1553B总线通讯控制器所设计的测试验证系统方案、各测试指标所对应的测试方法和通过准则,对于其它类似产品的系统级综合测试具有普遍性、适用性和指导性;并通过实际测试验证了该测试验证系统的可靠性和稳定性。     

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

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

覆盖率导向的WTB控制器功能验证方法

随着单芯片集成度的迅速提高,硬件验证在系统设计中占有越来越重要的地位.仅由设计者完成的模块级验证已经不能够保障流片成功率,需要在验证方法学指导下采用多种先进有效的验证技术和工具,帮助设计者尽可能早地发现和修改设计缺陷.本文详细介绍了在验证方法学VMM指导下,基于IEC61375-1标准的规定,设计分层次的验证环境,对绞线式列车总线控制器进行RTL和参考模型联合仿真的功能验证技术.通过可重用VMM库和随机化函数及基于断言的验证方法,编写高效、可重用的验证平台,以提高验证效率和覆盖率.实验表明,采用覆盖率导向的验证方法可有效地减少验证工作量和验证时间,提高验证质量.     

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

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

微处理器功能验证的模拟加速方法

复杂微处理器的功能验证是当前主要的设计瓶颈．为提高验证效率,提出了自验证和混合模型模拟两种模拟加速方法．前者通过实现验证流程的自动化来提高验证效率,其有效性正比于激励空间的规模,反比于单个向量的平均模拟时间;后者则通过模拟不同抽象层次子模块模型组成的系统,将全芯片网表的验证时间从子模块数的指数关系降低到线性关系．该方法的有效性和可行性在32位处理器的设计实践中得到了验证．     

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

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

CAN总线控制器IP核设计实现

CAN总线是一种成熟的串行通信总线,它具有可靠性高、稳定性好、抗干扰能力强、通信速率高、维护成本低、实时性强、很好的开放性及数据兼容性等优点。CAN总线这些众多的优点使其广泛应用于工业自动化控制等领域。其应用的广泛性则进一步对CAN总线IP提出了需求。同时以IP实现的CAN总线控制器所具有的通用处理器访问接口,良好的可移植性等优点使其可以集成于各种嵌入式SoC设计中。本论文从CAN总线的规范和特点出发,提出了CAN总线控制器IP核的特点并定义了其功能,采用Verilog语言设计实现了CAN总线控制器IP核的功能,最后通过仿真和FPGA原型验证,证明了设计实现的正确性。目前CAN总线控制器IP核已经应用于SOPC和SoC的嵌入式应用设计中。     

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

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

1553B总线控制器双冗余方案的LabView仿真

采用LabView仿真,设计一种1553B总线控制器双冗余故障诊断研究方法。用计算机代替人进行复杂的逻辑推理,可以避免遗漏。状态机能够用于分析事件之间的逻辑关系。基于LabView状态机,实现对1553B总线控制器故障检测与故障诊断的逻辑推理过程仿真。仿真实验结果表明,该故障诊断方法能够成功实现对备份总线控制器的故障诊断。     

基于PCI总线的CAN总线通信适配器的设计与实现

本首先介绍了PCI总线控制器AMCC S5920与CAN总线通信控制器的80256的工作原理,并在此基础上比较详细地给出了PCI总线与CAN总线通信控制器接口的硬件与软件实现方法。     

某型航空涡轴发动机燃油调节器建模与仿真

根据某型航空涡轴发动机燃油调节器的结构原理图,分析了该型燃油调节器的调节规律以及调节器基本工作原理.进而结合该型燃油调节器在试验台上得到的部分试验数据,在MATLAB软件的SIMULINK平台上采用LookUp-Table模块构建系统非线性环节,以模拟系统的非线性特性,进而建立了该型燃油调节器的简易数学模型.对建立的燃油调节器模型进行的静态校验结果表明,调节器模型满足了该型燃油调节器的各项性能指标的要求.并结合该型涡轴发动机的数学模型进行了动态联合仿真,通过对动态仿真结果的分析,获得了影响该型调节器性能的关键结构参数及将该型调节器数字化时的采样周期范围.     

基于Agent仿真模型的校核与验证研究

首先对国内外基于Agent仿真模型的校核与验证方面的发展情况进行了述评;然后,提出了一个完整的基于Agent仿真模型的校核与验证框架,该方案中包括表面验证、参数灵敏度分析、模型校准与运行时验证;最后以环境经济政策仿真模型中的校核与验证为例对该框架进行了简单说明。     

基于PXI总线的温控盒自动测试系统设计

温控盒作为飞机温度调节系统中的核心部件,在飞机运行安全中起着举足轻重的作用,需要对温控盒的各项参数进行详细测试。传统的温控盒测试设备普遍存在测试数据不精确、扩展性差以及测试人员操作繁琐、工作量大等缺点。提出了基于PXI总线的温控盒自动测试技术,阐述了其基本的测试原理以及具体软硬件实现方法,重点介绍了阻值动态分段逼近闭环设计及脉冲输出的低延时处理算法,完成了测试过程的一键自动化,拥有通用性、扩展性强、功能全面、智能化程序高等特点。