期刊文献+

面向SoC开发的协同验证平台的实现方法 被引量:1

Implement Method of Co-verification Platform on SoC
下载PDF
导出
摘要 首先分析SoC设计中验证存在的一些问题,并在针对性地解决这些问题的基础提出了一种协同验证技术。该技术是现在SoC开发工程师关注的重点之一,在未来的设计中占据重要的地位。所以发展一种基于该技术的综合验证平台变得极为必要。重点是在此基础上讨论Summit设计公司的协同验证平台Virtual-CPU(V-CPU)验证方法的具体实现。 This paper analyses some questions during designing a System on a Chip, (SoC) system,on basis of solving these problems,putting forward a co-verification method. Now,the technology is one of the focuses to which engineers developing SoC are pay attention and it is important for designing in the future. At the same time it is necessary to develop a co - verification platform based on this method. In terms of it,on discussing Virtual - CPU implement of verification method at Summit Company. The paper summarizes and points out shining application future about this platform.
出处 《现代电子技术》 2007年第5期149-151,共3页 Modern Electronics Technique
关键词 SOC 协同验证 V—CPU 研发周期 SoC co - verification Virtual - CPU R&D cycle
  • 相关文献

参考文献5

  • 1Rajsuman R. System - on - a Chip Design and Test[M]. Artech House, 2000.
  • 2Sforza F, Battu L, Brunelli M. A Design for Verification Methodology. 2nd International Symposium on Quality of Electronic Design, San Jose, 2001.
  • 3Semeria L, Ghosh A. Methodology for Hardware/Software Coverification in C/C++. Proc. Asia and South Pacific Design Automation Conf. (ASPDAC00), ACM Press, 2000:405 - 408.
  • 4Visual CPU User's Guide [Z]. Summit Inc. , 2006.
  • 5严迎建,刘明业.片上系统设计中软硬件协同验证方法的研究[J].电子与信息学报,2005,27(2):317-321. 被引量:7

二级参考文献6

  • 1Lei Jinmei,Yao Qingdong. Software/hardware co-design for system on chip[C]. The Fourth International Workshop on CSCW in Design. Compiegne, France: 1999:237 - 240.
  • 2Rowson A. Hardware/software co-simulation[C]. The 31^st Design Automation Conference. San Diego, CA, USA, 1994:439 - 440.
  • 3Zhu Jianwen, Gajski D. An ultra-fast instruction set simulator.IEEE Trans. on Very Large Scale Integration (VLSI) Systems[J],2002, 10(3): 363 - 373.
  • 4ARM Limited. ARM7TDMI Data Sheet. ARM DDI 0029E,http://www. ann.com/documentation/, 2002.
  • 5Liu Jie, Lajolo M, Sangiovanni-Vincentelli. Software timing analysis using HW/SW cosimulation and instruction set simulator [C]. The International Workshop on HW/SW Codesign. Seattle,WA, USA, 1998:65 - 69.
  • 6吴清平,刘明业.VHDL事件驱动模拟核心库[J].计算机研究与发展,2002,39(1):17-22. 被引量:3

共引文献6

同被引文献11

  • 1ARM.AMBA Specification,Revision2.0[EB/OL].1999.http://www.arm.com.
  • 2Rashinkar P,Paterson P.System on a Chip Verification:Methodology and Techniques[M].[s.l.] :Kluwer Academic Pulishers,2001.
  • 3AEEC.Draft3 of Project Paper 664:Aircraft Data Network,Part7-Avionics Full Duplex Switched Ethernet (AFDX) Network[EB/OL].2004.http://www.arinc.com/aeec.
  • 4Andrews J R.Co-verification of hardware and software for ARM SoC design[M].America:America Eisevier Inc,2005.
  • 5吴昌平 姚放吾.基于SystemC的SoC设计方法的研究.计算机技术与发展,2006,16(10):243-246.
  • 6FURBERS.ARM SoC体系结构[M].北京:北京航空航天大学出版社,2002..
  • 7郭蒙,田泽,蔡叶芳,赵强.1553B总线接口SoC验证平台的实现[J].航空计算技术,2008,38(6):99-101. 被引量:22
  • 8申敏,曹聪玲.基于SoC设计的软硬件协同验证技术研究[J].电子测试,2009,20(3):9-12. 被引量:9
  • 9蔡叶芳,田泽,杨海波,李攀,赵强,黎小玉.基于SOPC的FC-2层协议设计与实现[J].计算机技术与发展,2009,19(8):224-227. 被引量:7
  • 10杨海波,田泽,蔡叶芳,李攀,黎小玉,赵强.FC IP软核的仿真与验证[J].计算机技术与发展,2009,19(9):168-172. 被引量:15

引证文献1

二级引证文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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