基于COMIP系统平台的SoC验证方法
被引量:1
摘要
随着微电子产业的发展,SoC系统将是未来IC发展的方向。如何对一个复杂的SoC系统进行验证是开发的关键。本文基于COMIP通信系统平台的开发,对SoC的验证方法进行了一些探讨。
出处
《中国集成电路》
2005年第3期48-50,78,共4页
China lntegrated Circuit
参考文献4
-
1[1]ARM AMBA BUS 2.0 Specification.
-
2[2]SYNOPSYS VERA 7.0 DOCUMENT
-
3[3]IEEE Verilog Specification
-
4[4]Janick Bergeron, Writing Testbenches: Functional Verification of HDL Modules. Kluwer Academic Publishers, 2003
同被引文献10
-
1王世好,王歆民,刘明业.嵌入式系统软硬件协同验证中软件验证方法[J].计算机研究与发展,2005,42(3):514-519. 被引量:10
-
2Corbet Jonathan,Rubin Alessandro,Kroahhartman Greg.Linux设备驱动程序(第3版)[M].魏永明,耿岳,钟书毅译.北京:中国电力出版社,2006:1-569.
-
3IEEE P1647.The e Functional Verification Language Working Group[EB/OL].http://www.eda.org/twiki/bin/view.cgi/P1647/WebHome,2010-03-08.
-
4Korsgaard Peter.USB:Gadget[EB/OL].http://git.kernel.org/?p=linux/kernel/git/gregkh/usb-2.6.git;a=commit;44444h=77f46328fb83b64befd889ebce6d7fb959932509,2010-03-19.
-
5Venkateswaran Sreekrishnan.精通Linux驱动程序开发(英文版)[M].北京:人民邮电出版社,2009:1-714.
-
6罗克露.嵌入式软件调试技术[M].北京:电子工业出版社,2008.
-
7于晓,王家礼,赵怀军.基于嵌入式Linux的微波信号发生器键盘设计及驱动实现[J].测控技术,2007,26(10):70-71. 被引量:3
-
8殷永峰,刘斌,姜同敏,张国良.嵌入式软件测试数据处理系统的研究[J].测控技术,2008,27(12):71-73. 被引量:2
-
9张永博,沈勇.基于Simulink的OSEK嵌入式软件开发方法[J].单片机与嵌入式系统应用,2009,9(5):21-24. 被引量:6
-
10林安,王一鸣.基于ADAMS的光盘驱动器隔振系统仿真与优化[J].计算机工程,2004,30(7):154-156. 被引量:2
-
1我国研制成功系统芯片[J].中国信息导报,2004(10):60-60.
-
2常迎辉,杨振学,张勇,曾明.一种基于多FPGA的SoC验证方法[J].计算机与网络,2012,38(24):59-61. 被引量:3
-
3王中伟,张盛兵,沈戈,赵勇.一种在电路SOC验证接口设计方法研究[J].微电子学与计算机,2005,22(9):68-70. 被引量:3
-
4叶军林,蔡兆波.一种基于FPGA的通信系统平台的设计[J].微计算机信息,2008,24(35):205-206. 被引量:2
-
5张跃玲,张磊,汪健,王镇.FPGA的验证平台及有效的SoC验证方法[J].单片机与嵌入式系统应用,2016,16(3):8-11. 被引量:5
-
6李建成,庄钊文,张亮.SOC设计的软硬件协同验证研究[J].半导体技术,2007,32(10):904-908. 被引量:4
-
7李静.基于COMIP芯片的无线视频监控终端设计[J].科技创新导报,2009,6(33):13-13.
-
8COMIP—运用之妙存乎一芯 COMIP系列芯片产品之——DTT6C01—3介绍[J].中国集成电路,2007,16(8):10-11.
-
9西门子企业通信和惠普中国签署战略合作备忘录[J].电信网技术,2011(3):96-96.
-
10刘霆.基于COMIP芯片的SCDMA终端省电功能的设计与实现[J].电信科学,2008,24(2):45-50. 被引量:1