期刊文献+

一种开源软核OR1200的系统级描述方法研究

System-level Description Method Research of an Open Source Soft Core OR1200
下载PDF
导出
摘要 探讨了一种基于ADL(体系结构描述语言)的系统级设计方法,并以一款32位嵌入式开源软核OpenRISC1200为原型,采用系统级的ADL—SystemC语言对这款软核从体系结构角度进行系统级抽象,主要实现了OR1200CPU模块的描述,并通过嵌入式逻辑分析仪SignalTap II对系统进行验证。 The paper discusses an system-level design method based on ADL(Architecture Description Language), which takes a 32-bitembedded open source soft core OpenRISC1200 as the prototype,and adopts system-level ADL SystemC language to abstract this kindof soft core in system level from view architecture. The paper mainly implements the description of OR1200 CPU module,then uses Sign-aITap Ⅱto test and verify.
出处 《单片机与嵌入式系统应用》 2015年第3期10-13,共4页 Microcontrollers & Embedded Systems
关键词 ADL OR1200 系统级设计 开源软核 ADL OR1200 system-level design open source soft core
  • 相关文献

参考文献10

  • 1鲁芳,柏娜.基于SystemC和Verilog软硬件协同验证[J].现代电子技术,2008,31(4):1-3. 被引量:7
  • 2杨君,李曦,王志刚,周学海.专用指令集处理器(ASIP)系统级设计研究[J].系统工程与电子技术,2006,28(10):1572-1577. 被引量:4
  • 3朱赟,李曦,龚育昌,王志刚.基于Petri网的ASIP体系结构形式化建模方法研究[J].小型微型计算机系统,2006,27(9):1722-1725. 被引量:4
  • 4苏鹤年,李曦,王志刚,杨君.基于语言的ASIP系统级综合方法研究[J].微型机与应用,2005,24(9):54-57. 被引量:4
  • 5Yong Zhu. The Specification of the Embedded Syslem of Real - time IR, DCABES 2007 ( ISTP), 2007.
  • 6Yong Zhu. The ASIP Design Specifica'don Based on ADI., IX;ABES2009 (ISTP).
  • 7Fanucci L, Cassiano M, Saponara S. ASIP Design and Synthesis for Non Linear Filtering in Image Processing, Design[J]. Au- tomation and Test in Europe, 2006(12) :1 - 6.
  • 8Morgan P,Taylor R. ASIP Instruction Encoding for Energy and Area Reduction, Design Automation (nference, 2007 [C]. California : [unknown], 2007.
  • 9Dan Wu,Zhiying Wang, Kui Dai, et al. A Novel Compiling Ap- proach for Sub - Word Parallelism Exploitation in Media - Pro cessing Algorithm, 5th International Syml:sium on Parallel Computing in Electrical Engineering (PARELEC 2006, IEEE Computer Society), 2006 [C]. Bialystok : [ unknown] 2006.
  • 10Altera Corporation. Quartus Ⅱ Handbook,volume 5,2007.

二级参考文献30

  • 1陈艾,周学海,李曦,王志刚,王峰.专用指令集处理器(ASIP)行为级设计方法研究[J].计算机工程与应用,2004,40(29):44-46. 被引量:4
  • 2苏鹤年,李曦,王志刚,杨君.基于语言的ASIP系统级综合方法研究[J].微型机与应用,2005,24(9):54-57. 被引量:4
  • 3方应龙,赵勇,幸强.SoC软硬件协同验证技术的应用研究[J].电子技术应用,2006,32(12):44-46. 被引量:5
  • 4Lu L,Li X,Xiong Yet al.XM-ADL,an extensible markup architecture description language.In:ASIC/SOC Conference,15th Annual IEEE International,2002.
  • 5Mclaughlin B.Java and XML Data-binding.O'Reiuy & Associates Inc, 2002.
  • 6Patterson D A,Hennessy J L.Computer Architecture A Quantitative Approach.Morgan Kaufmann Publishers Inc,2001.
  • 7Li Xi,Zhou Xue-hai,Xiong Yue,et al.XP-ADL:a key issue in software and hardware codesign[C].DPCS2002.Wuhan:2002:100-104.
  • 8Clarke E M,Wing J M.Formal methods:state of the art and future directions[A].ACM Computing Surveys,Dec.1996,28(4):626-643.
  • 9B'erard B,Bidoit M,Finkel A,et al.Systems and software verification:modelchecking techniques and tools[M].Springer-Verlag,Berlin,Germany,2001.
  • 10Lws Alejandro Cortes.Verification of embedded system using a petri net based representation[C].Proceedings of the 13th International Symposium on System Synthesis.Spain:Madrid,2000:149-155.

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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