期刊文献+

软硬件协同验证系统平台间通讯设计 被引量:4

Communication Design for Hardware and Software Co-verification Platform
在线阅读 下载PDF
导出
摘要 软硬件协同设计是软件、硬件的并行设计,包括系统描述、软硬件划分、设计实现和软硬件协同验证等几个阶段[1]。软硬件协同验证同时验证软件和硬件,使用处理器仿真器进行协同验证是其中一种重要的方法。一个能够对片上系统(SOC)设计进行全面快速验证的测试系统将会大大提高协同设计的效率[2]。测试系统中不同平台之间数据和信号的发送与接收是系统中必不可少的组成部分。该文介绍了测试系统平台间通讯方式和通讯协议的设计与实现。 Codesign with hardware and software is a parallel-design methodology,and it is divided into system description,hardware -software partition,implementation and co -verification 1 .Co -verification verifies hardware and software simultaneously,and processer emulator is an important direction for co-verification.A test platform that can support a general and quick verification for SOC will improve the efficiency of codesign greatly 2 .The communication of data and signals between the different platforms in test system is indispensable.The paper introduces the communication design,protocal and implementation detailedly.
出处 《计算机工程与应用》 CSCD 北大核心 2003年第27期122-124,共3页 Computer Engineering and Applications
基金 国家自然科学基金项目(编号:69873026) 国家973重点基础研究发展规划资助(编号:G1998030403)
关键词 软硬件协同设计 软硬件协同验证 通讯 并口 JTAG加载 SOC HW/SW codesign,HW/SW co-verification,Communication,Parallel port,JTAG download,SOC
  • 相关文献

参考文献7

  • 1Xun Yang,Hongxi Xue,Jinian Bian.The Integration of Simulation and Emulation for SOC HW/SW Coverification[C].In:Proceedings of Third International Conference on Computer Aided Industrial Design and Conceptual Design, HongGong, 2000: 533-537.
  • 2Yang Xun,Zhu Ming,Xue Hongxi et al.A Platform for System-on- achip Design Prototyping.ASICON 2001 ,Shanghai.
  • 3Altera Corporation.Altera Configuring APEX 2Ok,FLEX 10k & FLEX 6000 Devices.http ://www.altera.com.
  • 4Craig Peacock.Interfacing the Standard Parallel Port.http://www.senet. com.au/-epeacock.
  • 5Peter H Anderson.Use of a PC Printer Port for Control and Data Acquisition.the Technology Interface,Fall 1996.
  • 6Jan Axelson.Jan's Parallel Port FAQ.http://www.lvr.com.
  • 7Synopsys Inc.CoWare.System C Specification Version 2.0.2001.

同被引文献18

  • 1吴兵.中国教育电视台的卫星远程教育传输平台[J].电视技术,2004,28(9):33-35. 被引量:2
  • 2丰玉田,付宇卓,赵峰.大规模SoC设计中的高效FPGA验证技术的研究与实现[J].电子技术应用,2006,32(2):110-114. 被引量:13
  • 3GHENASSIA Fran. Transaction-level modeling with Sys- temC.. TLM concepts and applications for embedded sys- tems [M]. New York: Springer, 2005.
  • 4BERGERON J. Writing testbenches., functional verification of HDL models [M]. 2nd ed. New York: Springer, 2003.
  • 5Intel. USB2. 0 transceiver macrocell interface (UTMI) specification, version 1.05 [M]. USA: Intel, 2001.
  • 6Synopsys Inc. DesignWare USB verification IP databook, version 8.20a [M]. USA.. Synopsys Inc. , 2010.
  • 7Compaq Microsoft National Conductor. Open host controller interface speeification for USB [M]. USA: Compaq Mi- crosoft National Conductor, 1999.
  • 8Intel. Enhanced host controller interface specification for universal serial bus, revision 1.0 [M]. USA.. Intel, 2002.
  • 9Intel. Universal serial bus specification revision 2.0 [M]. USA: Intel, 2000.
  • 10Cadence Inc. Incisive simulation acceleration deployment [M]. [S. 1.]: Cadence Inc. , 2003.

引证文献4

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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