期刊文献+

ARINC659总线协议芯片的仿真验证 被引量:12

Implementation of ARINC 659 Bus Interface Chip Verification Platform
下载PDF
导出
摘要 在现代集成电路设计中,对芯片的仿真验证是芯片设计验证的关键环节之一,一定程度上决定流片的成败。为了搭建一种可靠的芯片验证的虚拟平台,首先分析了ARINC659总线协议的特点,在此基础上结合ARINC659总线协议芯片设计中基于虚拟验证平台的仿真验证项目实践,重点研究了该芯片设计虚拟验证平台的一种构建实现方法和仿真验证。该验证方法提高了验证效率,缩短了整个设计验证周期,为芯片的成功投片提供了可靠的保证。 The verification of chip is the key process of taping out successfully,in modern integrate circuit design.For set up the verification platform of the chip,first of all,analyses the character of ARINC659 bus protocol.Basing on this,it link the simulation on dummy verification platform of ARINC659 chip item,and research a way of ARINC659 bus interface chip to implement verification platform and simulation of the chip principally.The result shows that testbench constructed in this way improves verification productivity, shortens the whole design process, and provides eredible guarantee for taping out successfully of the chip.
出处 《计算机技术与发展》 2010年第1期205-208,共4页 Computer Technology and Development
基金 国防2006年重点基金项目(9140A1601070) 国防"十一五"微电子预研项目(513080105110)
关键词 ARINC659 总线协议芯片 验证平台 仿真验证 ARINC659 bus protocol chip testbench verification
  • 相关文献

参考文献5

二级参考文献25

  • 1王旭姣,梁利平.一种基于事务的IP功能验证环境[J].微电子学与计算机,2007,24(7):27-30. 被引量:3
  • 2国家军用标准.GJB5186-2003,数字式时分指令/响应型多路传输数据总线测试方法[s].2003.
  • 3Prakash Rashinkar, Peter Paterson. System on a Chip Verification: Methodology and Techniques [ M ]. Kluwer Academic Publishers ,2001.
  • 4Furber S[英],著,田泽,于敦山,盛世敏,译.ARMSoC体系结构[M].北京:北京航空航天大学出版社,2002.
  • 5[1]Burch J R,Clarke E M,Long D E,et al.Symbolic model checking for sequential circuit verification.IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems,1994;13(4):401-424
  • 6[2]Minato S,Muroga S B.The VLSI handbook.Boca Baton:Chen Wai kai,Chapter,2000;26:
  • 7[3]Lain W K.Hardware design verification:simulation and formal method-based approaches.[S.1.]:[s.n.],2005
  • 8[4]McMillan K L.Symbolic model checking:an approach to the state explosion problem.Pittsburgh:Carnegie Mellon University,1993
  • 9[5]Choi H,Yun Byeongwhee,Lee Yuntae,el al.Model checking of S3C2400X industrial embedded SOC product:38th DAC,2001.New York:ACM Press,2001
  • 10[6]Jaeyoung J,Qadeer S,Kaufmarm M.et al.Formal verification of FIRE:A case study.34th DAC,1997.ACM Press,1997:173-177

共引文献41

同被引文献75

引证文献12

二级引证文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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