从PCI接口的综合验证方法

当今流行的先进的验证技术有很多,本文综合使用了OVL(OpenVerificationLibrary)断言验证、总线功能模型BFM(BusFunctionModule)层次化验证和FPGA(FieldProgrammableGateArray)硬件加速仿真这三种验证技术,搭建一个从PCI(PeripheralComponentInterconnect)接口的验证环境.实验表明,该验证环境增强了验证的可重用性、可控性,极大地减少了仿真的工作量,提高了验证的效率.     

基于断言的形式验证方法研究与应用

随着设计规模的不断扩大和设计复杂度的不断提高。功能验证已经成为数字系统设计开发过程中的制约瓶颈。目前，利用传统的仿真方法并不能有效解决这一困境，而形式验证则是改善该状况的有效途径。本文针对形式验证中模型检验算法在工程实践中遇到的形式语言局限性和状态空间爆炸危机的问题，提出了基于断言的形式验证解决策略，并以DW8051-timer模块为例，利用该方法对它的RTL级设计进行了实际的功能验证。     

基于软件模拟的SoC功能验证技术研究进展

软件模拟验证在SoC设计中得到了广泛的研究和应用,是目前SoC功能验证的主要方法.文中从高度抽象化、可重用和自动化三个方面梳理和综述了基于软件模拟的SoC功能验证技术的研究进展.同时,基于断言的验证在SoC的功能验证技术中起到重要的辅助性作用,文中阐述了断言技术的研究进展.最后,对软件模拟验证技术的发展趋势进行了展望.     

基于事务断言验证及SDH芯片验证平台

提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工具控制语言来控制验证中PSL断言的状态,使得基于PSL的断言验证可以事务的形式灵活地应用。采用该技术建立了同步数字体系(Synchronous Digitial Hierarchy,SDH)验证平台,验证了超过100万门交换芯片的功能,实践表明,该方法极大的提高了验证覆盖率和验证效率。     

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

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

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

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

基于FPGA的ARINC429总线嵌入式接口板的设计与实现

提出了在一块芯片内实现ARINC429总线协议,并将USB、PCI两种接口结合在一块接口板上的新构想;并根据板卡的功能和技术指标要求,设计了基于FPGA的ARINC429总线接口板;在硬件设计上采用模块化方法设计了系统的硬件电路,分析了各部分的功能,并对硬件接口进行了详细的设计;软件设计上从硬件和软件两方面论述了NIOSⅡ处理器的设计,从总体设计、发送通道、接收通道、接口逻辑等方面设计与实现了多通道总线协议IP核;最后对板卡的功能进行测试,结果表明设计的接口板能够达到ARINC429数据通信的要求,能够克服专用芯片中的数据格式固定,使用不够灵活方便等缺点。     

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

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

基于ARINC 659的FPGA原型验证平台的构建与实现

依据ARINC 659协议的芯片设计中复杂功能逻辑的验证需求,提出了一款用于验证ARINC 659芯片逻辑功能的FPGA验证平台,全面论述了ARINC 659验证平台的构建以及ARINC 659芯片FPGA原型验证的全过程.实验结果表明,该验证平台能较为充分,全面地验证ARINC 659芯片的逻辑功能,提高了验证效率,缩短了芯片开发中的验证周期.     

基于SystemVerilog的向量存储器验证方法

随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大容量向量存储器(vector memory,VM)覆盖率驱动的验证方法进行研究,基于SystemVerilog验证方法学,采用层次化建模方法搭建了高效的VM验证平台,在较高抽象层次上实现了带约束的随机激励,结合SVA断言技术对向量存储器向量读访存流水线的同步与提交状态实时监控,保证了关键时序逻辑功能验证的完备性、正确性,有效提高了验证效率.最终模块级验证结果表明,定向激励和随机激励相结合能较快达到理想的代码覆盖率.     

一种PCI总线ARINC429通信卡实现方法

ARINC429总线是一种重要的航空数据总线标准,是飞机航电系统数字信息传递的主要途径之一。本文给出一种PCI总线ARINC429通信卡的实现方法,利用FPGA实现了ARINC429协议的编解码,测试表明,该通信卡实现方法合理、运行可靠。     

基于DD-03282的ARINC429 PCI通信接口设计

介绍了一种基于HS3282的ARINC429 PCI通信接口板的设计方法，该设计应用DD-03282构建ARINC429总线通信系统，并使用FPGA实现与PC机互连的PCI接口逻辑。同时，还筒述了429通信接口板WDM驱动程序的编制。     

基于ARM微处理器的ARINC429接口板软件设计

采用模块化设计思想,对基于ARM微处理器的通知智能型ARINC429接口卡提出了一套完备的软件方案,有效地解决了四发八收的信息控制.此方案满足ARINC429数据总线传输要求,有执行速度快、集成度高、可靠性好等优点,可以用在基于ARINC429标准进行通信的机载设备的地面调试,及需要扩展ARINC429通信接口的场合.     

基于HS3282的ARINC429 PCI通信接口卡设计

介绍了一种基于HS3282的ARINC429 PCI通信接口卡的设计方法,该设计应用HS3282构建ARINC429总线通信系统,并使用FPGA实现与PC机互连的PCI接口逻辑。同时,还简述了429通信接口卡WDM驱动程序的中断部分编制方法。     

基于PCI的ARINC429通信板卡的设计与实现

介绍了ARINC429机载总线通信板卡的硬件设计和软件设计,该板卡在机载电子设备测试中有重要的实用价值。     

RS-232/ARINC429接口转换电路设计

论述了一种以计算机扩展卡的形式设计RS-232/ARINC429接口转换电路的方法;其核心是利用MCS-51单片机对数据流向进行控制,计算机通过RS-232接口与MCS-51单片机进行数据交换,给出了RS-232接口和ARINC429接口的硬件设计方案和软件设计流程,利用锁存器作为虚拟总线,解决了MCS-51单片机与429接口芯片HS3282之间的总线宽度匹配问题,实现了对MCS-51单片机的总线扩展;RS-232通讯采用57.6Kbps波特率,ARINC429通讯速率100Kb/s,通讯周期为50ms,经过一年多试验证明,该转换电路性能可靠,完全能够满足航空项目中计算机与航空电子设备数据交换的要求.     

基于嵌入式微处理器的ARINC429通信板卡的设计与实现

介绍了应用高性能32位嵌入式微处理器实现多通道ARINC429航空总线通信板卡的设计,为航空电子系统提供了高效可靠的通信平台.通信板卡在实际应用中取得了良好的使用效果,达到了预期的研制目的.     

基于DSP的ARINC429 16通道数据总线接口卡设计

针对目前ARINC429航空总线的应用研究现状,分析了常用ARINC429协议芯片的特点,选择HOLT INTEGRATED CIR- CUITS公司HI-8582芯片基于TMS320LF2812 DSP芯片开发了一种具有16个接收通道/2个发送通道的ARINC429总线接口卡;采用CPLD和多路选择开关协同工作来扩展接收通道,节约了电路板空间、降低了开发成本和提高了系统可靠性,并且可以严格保证系统通信的实时性;电气测试结果和逻辑分析结果表明,系统扩展后,接收器接收的信号符合ARINC429协议标准,系统工作稳定;所提出的设计方法对串行通信总线通道扩展有一定的借鉴意义,所设计的ARINC429总线接口卡具有一定的工程应用价值。     

基于DSP的ARINC429通信板卡设计

针对目前先进飞机自动配电系统的要求,设计了一款扩展性和可靠性好的ARINC429通信板卡.运用FPGA技术完成接口逻辑控制和全局时钟分配(倍频或分频),采用HI-8582协议芯片和多路开关相互配合构成可动态配置的多收/发通道,简化了硬件电路复杂度;使用混合冗余和大电流保护技术提高了通信可靠性,同时开发了基于VxWorks的板卡驱动.在某飞机配电地面系统中的测试结果表明,该板卡能够实现ARINC429总线系统的相关功能,运行稳定、波形良好,有一定的推广意义.     

基于DSP的ARINC 429嵌入式智能接口板硬件设计与实现

介绍了一种基于ISA接口的航空总线ARINC 429接口板的实现方案。其中,周TI公司的TMS320F206作为板卡的嵌入式CPU,有效地提高了板卡的执行速度,简化了外围电路的设计。译码、控制和中断逻辑周Altera公司的CPLD实现,提高了板卡的集成度。实验表明：该板卡满足高速ARINC 429数据传输要求,有执行速度快、集成度高、体积小、可靠性好等优点。