期刊文献+

SoPC光纤通道控制器IP核的仿真验证 被引量:5

Simulation and verification of SoPC-based fibre channel controller IP core
下载PDF
导出
摘要 通过片上可编程系统(SoPC)设计方法构建光纤通道(FC)控制器,详细分析了硬件设计的功能模块图.FC控制器硬件集成了NIOS II处理器、DDR SDRAM控制器、flash控制器、定时器、串口和带Avalon接口的光纤通道接口逻辑,通过Avalon交换总线进行互连.采用自底向上的方法,分别从功能模块级、知识产权(IP)核级和系统级给出了FC控制器的仿真验证框架,并用Altera公司的Stratix GX系列现场可编程逻辑门电路(FPGA)进行了上板调试.验证结果表明,提出的仿真验证方案正确可行,能较好地完成验证任务. The structure and function module of FC(fihre channel) controller was analyzed by SoPC (system on programmable chip). NIOS II processor, DDR SDRAM controller, flash controller, tim er, UART (universal asynchronous receiver/transmitter), JTAG (joint test action group) and FC us er logic were integrated through Avalon fabric bus in the hardware of FC controller. A verification framework for FC controller, including three levers: module level, IP (intelligence privilege) core level and system level, is proposed and applies to the Altera's Stratix GX FPGA (field program gate ar ray). The result showed that the verification scheme is feasible and task is finished effectively.
出处 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第10期91-94,共4页 Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金 国家重点基础研究发展计划资助项目(2004CB218201) 国家自然科学基金资助项目(60273074)
关键词 现场可编程逻辑门电路(FPGA) 片上可编程系统(SoPC) 光纤通道(FC)控制器 知识产权(IP)核 验证 测试平台 FPGA (field program gate array) SoPC (system on programmable chip) FC (fibre chan ned controller IP (intelligence privilege) core verification testbench
  • 相关文献

参考文献8

  • 1Bergero J.编写测试平台:HDL模型的功能验证[M].张春,陈新凯,等译.北京:电子工业出版社,2006.
  • 2Abramovici M,Breuer M A,Friedman A D.数字系统测试与可测试性设计[M].李华伟,鲁巍,译.北京:清华大学出版社,2004.
  • 3王芳,柴红刚,童薇.基于FPGA的光纤通道适配器研究[J].华中科技大学学报(自然科学版),2008,36(1):67-70. 被引量:7
  • 4MorethanIP GrnbH. 2000/4000Mbps Fibre Channel Transport Core [R]. Munich: MorethanIP GmbH, 2003.
  • 5T11 Technical Committee. ANSI X3. 230-1994 Fibre channel-physical and signaling interface[S]. Washington, D C: American National Standards Institute and InterNational Committee for Information Technology Standards, 1994.
  • 6T11 Technical Committee. ANSI INCITS424-2006 Fibre channel-framing and signaling-2[S]. Washington, D C.. American National Standards Institute and InterNational Committee for Information Technology Standards, 2006.
  • 7Wei Tong, Dan Feng. Design object-based storage controller with FPGA[C]//第十四届全国信息存储学术会议论文集.北京:电子工业出版社,2006,197-201.
  • 8Lam W K. Hardware design verification: simulation and formal method-based approached[M]. Upper Saddle River, N J: Prentice Hall, 2005.

二级参考文献5

  • 1Kaladhar Voruganti, Prasenjit Sarkar. An analysis of three gigabit networking protocols for storage area network[C]//IEEE International Conference on Performance, Computing and Communications. Arizona: IEEE Press, 2001: 259-265.
  • 2Malik J, Ojha A. Design of a VLSI FPGA integrated circuit[C]//Technical, Professional and Student Development Workshop, 2005 IEEE Region 5 and IEEE Denver Section. [s. 1]: IEEEPress, 2005: 12-15.
  • 3Wei Tong, Dan Feng. Design obiect-based storage controller with FPGA[C] //第十四届全国信息存储技术会议论文集.北京:电子工业出版社,2006,197-201.
  • 4Lee Ki Won, Georgiou Christos J, Li Chung-Sheng. Ultra high-speed networking solution: fibre channel architecture and its implementation[C] // Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems. Washington: IEEE Computer Society, 1995: 425-431.
  • 5余胜生,赵玉峰,周敬利.Fibre Channel主机适配器的研究与设计[J].小型微型计算机系统,2002,23(6):663-666. 被引量:7

共引文献6

同被引文献29

  • 1林强,熊华钢,张其善.光纤通道仲裁环流量控制中信誉的确定方法[J].航空学报,2004,25(6):602-605. 被引量:9
  • 2徐亚军,张晓林,郭蔡健,熊华钢.一种光纤通道轻量IP上层协议[J].北京航空航天大学学报,2006,32(10):1246-1249. 被引量:9
  • 3徐亚军,张晓林,郭蔡健,熊华钢.FC网络性能测试与研究[J].计算机工程与应用,2007,43(15):137-139. 被引量:13
  • 4王世奎,王国庆,王红春,李新民.航空电子光纤通道高层轻量协议的研究[J].航空计算技术,2007,37(2):108-111. 被引量:9
  • 5Lahbib Y, Missaoui O, Hechkel M, et al. Verification flow optimization using an automatic coverage driven testing policy[C] // Proceedings of the Design and Test of Integrated Systems in Nanoscale Technology. La Marsa: IEEE Press, 2006: 94-99.
  • 6Bergeron J. Writing testbenches: functional verification of HDL models[M]. Boston: Kluwer Academic Publishers, 2000.
  • 7Maraninchi F, Moy M, Cornet J, et al. SystemC/ TLM semantics for heterogeneous system-on-chip validation[C] // Proceedings of the 2008 Circuits and Systems and TAISA. Montreal: IEEE Press, 2008: 281-284.
  • 8Boukheehem S, Bourennane E B. TLM platform based on SystemC for STARSoC design space exploration[C].// Proceedings of the Adaptive Hardware and Systems. Noordwijk: IEEE Press, 2008: 354- 361.
  • 9Cornet J, Maraninchi F, Maillet-contoz L. A method for the efficient development of timed and untimed transaction-level models of systems-on-chip[C]// Proceedings of the Design, Automation and Test in Europe 2008. Munich: IEEE Press, 2008: 9-14.
  • 10Frankl P G, Hamlet R G. Evaluating testing methods by delivered reliability[J]. IEEE Transactions on Software Engineering, 1998, 24(8): 586-601.

引证文献5

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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