期刊文献+

AFDX交换芯片虚拟验证关键技术研究 被引量:5

Research on Key Technology of AFDX Switch Chip Virtual Verification
下载PDF
导出
摘要 AFDX(Avionics Full Duplex Switched Ethernet,航空全双工交换式以太网)网络为航电系统提供了一种确定、余度的数据交换服务,其基础和核心是交换芯片。在AFDX网络交换芯片整个研制过程中能否对其进行充分验证,是直接影响其投片成功的关键因素之一。文中结合AFDX网络交换芯片的设计过程,系统分析AFDX网络交换机及芯片的特点,制定出相应的验证策略,最后采用SystemVerilog验证语言、并基于OVM(Open Verification Method)概念构建了AFDX交换芯片的虚拟验证环境,缩短了验证平台的开发时间,极大提高了验证效率。 AFDX (Avionics Full Duplex Switched Ethemet) network provides an established,redundant data exchange service for the a- vionics system. Switch chip is the key component of AFDX network. In the whole development process of AFDX network switch chip,the ability to fully verify is direct impact on the final tape-out. Combined the design process of AFDX network switch chip, analyze the char- acteristics of the AFDX network switch and chip,develop corresponding verification strategy. At last,based on OVM,using the System- Verilog build the virtual verification environment for AFDX, shorten the development time of the verification platform,improving the ver- ification efficiency extremely.
出处 《计算机技术与发展》 2013年第8期177-180,共4页 Computer Technology and Development
基金 "十二五"微电子预研(51308010601) 总装预研基金(9140A08010712HK6101) 中国航空工业集团公司创新基金(2010BD63111)
关键词 航空全双工交换式以太网 虚链路 过滤 警管 SYSTEMVERILOG AFDX virtual link filter police SystemVerilog
  • 相关文献

参考文献13

  • 1ARINC. Specification 664 : Aircraft data network, part 7-deter- ministic networks[ S]. 2003.
  • 2Anand M. Formal Modeling and Analysis of the AFDX Frame Management Design[C]//Proceedings of the Ninth IEEE In- ternational Symposium on Object and Component- Oriented Real-Time Distributed Computing. [ s. 1. ] : IEEE Computer Society ,2006.
  • 3Charara H. Modelling and Simulation of an Avionics Full Du- plex Switched Ethernet[ C ]//Proceedings of the Advanced In- dustrial Conference on Telecommunications/Service Assurance with Partial and Intermittent Resources Conference/ELearning on Telecommunications Workshop. [ s. 1. ] : [ s. n. ] ,2005.
  • 4Bisson K, Troshynski T. Switched Ethernet Testing for Avion- ics Applications [ J ]. IEEE A&E System Magazine, 2004 ( 5 ) : 31-35.
  • 5李哲,田泽,张荣华.AFDX网络交换机芯片关键性能验证方法研究[C]//第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集.出版地不详:出版者不详,2012:483-486.
  • 6Standard for SystemVerilog-Unified Hardware Design,Specifi- cation, and Verification Language [ S ]. IEEE Std 1800TM - 2005,2005.
  • 7Glasser M. Open Verification Methodology Cookbook [ M ]. [ s. 1. ] :Springer,2009.
  • 8Spear C. System Verilog for Verification - A Guide to Learn- ing the Testbench Language Features [ M ]. 2nd ed. [ s. l. ] : Springer, 2008.
  • 9Spear C. System Verilog for Verification - A Guide to Learn- ing the Testbench Language Features [ M ]. 2nd ed. [ s. 1. ] : Springer, 2008.
  • 10Cohen B, Venkataramanan S, Kumari A. VMMing a System- Verilog Testbench by Example[ C]//SUNG San Jose 2006. [s.l. ] :[s. n. ] ,2006.

二级参考文献2

共引文献14

同被引文献33

引证文献5

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部