期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

系统级描述语言SystemC到时间Petri网的转换技术 被引量：1

Research on translation method from system level description language SystemC to timed Petri net
下载PDF
导出
摘要 SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段。针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系。同时提出了由SystemC程序到时间Petri网的转换方法。使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法。并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的。 SystemC is a system level description language which can describe both hardware and software, but it lacks formal method to analyze the program. Introduction of Petri net is proposed to deal with this problem. The structure features of SystemC program are mapped out in this paper, which include sequence, branch, loop and concurrent structures. The Petri net model of each structure is also provided respectively. Based on the analysis, SystemC-Timed Petri net translation method is proposed. The objective of this work is to translate SystemC program into timed Petri net and analyze the program with Petri net tools and provide formal analysis method for the system design based on SystemC. At last, the validity of the translation method is illustrated with an exemplar program. The deadlock detection of the program using reachability diagram is also provided in the example, and the goal of introduction formal method is reached.
作者 黄源 钟艳如 古天龙
机构地区 桂林电子科技大学计算机与控制学院
出处 《桂林电子科技大学学报》 2006年第6期455-459,共5页 Journal of Guilin University of Electronic Technology
关键词 SYSTEMC 时间PETRI网 软硬件协同设计 SystemC timed Petri net hardware/software co-design
分类号 TP391 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献7

  • 1ERNST R. Codesign of embedded systems:ststus and trends[J]. IEEE Design & Test of Computers, 1998,15 (2): 45-54.
  • 2OPEN SYSTEM C INITIATIVE. Draft Standard SystemC Language Reference Manual[EB/OL]. [2006-9-20]http://www. systemc.org/download/5/3/60/104/LRM_version2. 1.pdf.
  • 3DOEMER R,GERSTLAUER A,GAJSKI D. SpecC language Reference Manual Version 2 [EB/OL]. 0. [2006-9-25]http://www. speec. gr. jp/eng/tech/index. htm/SpecC_LRM-20. pdf.
  • 4熊悦,龚育昌,赵振西.嵌入式系统规范语言[J].计算机研究与发展,2003,40(3):493-499. 被引量：7
  • 5MACIEL P,BARROS E,ROSENSTIEL W. A Petri net model for hardware software codesign [J]. Design Automation for Embedded Systems, 1999,4 (10): 243-310.
  • 6BHASKER J．System C基础教程[M]．孙海平，等，译．北京:清华大学出版社,2004．
  • 7MURATA T. Petri nets: properties, analysis and applications[J]. Proceedings of the IEEE, 1989,77 (4): 541-580.

二级参考文献32

  • 1VHDL homepage, http://www.vhdl.org
  • 2Verilog homepage, http://www.verilog.com
  • 3R Ernst. Codesign of embedded systems: status and trends. IEEE Design & Test of Computers, 1998, 15(2): 45～54
  • 4K Wakabayashi, T Okamoto. C-Based SoC design flow and EDA tools: An AISC and system vendor perspective. IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems, 2000, 19(12): 1507～1522
  • 5E M Clarke, O Grumberg, S Jha et al. Progress on the state explosion problem in model checking. In: LNCS 2000. Berlin: Springer-Verlag, 2001. 176～194
  • 6R Klein. Miami: A hardware software co-simulation environment. In: Proc of 7th IEEE Int'l Workshop on Rapid System Prototyping. Thessaloniki, Greece: IEEE, 1996. 173～177
  • 7W Ecker. Using VHDL for HW/SW co-specification. In: Proc of Euro Design Automation Conf. USA: IEEE, 1993. 500～505
  • 8S Swamy, A Molin, B Covnot. OO-VHDL: Object-oriented extensions to VHDL. IEEE Computer, 1995, 28(10): 18～26
  • 9M Radetzki et al. Objective VHDL: The object-oriented approach to hardware reuse. In: J-Y Roger, B Stanford-Smith, P T Kidd (Hrsg) eds. Advances in Information Technologies: The Business Challenge. Amsterdam: IOS Press, 1998
  • 10R Helaihel, K Olukotun. Java as a specification language for hardware-software systems. In: Proc of IEEE/ACM Int'l Conf on Computer Aided Design; Digest of Technical Papers. DC: IEEE CS, 1997. 690～699

共引文献6

同被引文献8

  • 1[1]ERNST R.Codesign of embedded systems:status and trends[J].IEEE Design & Test of Computers,1998,15(2):45-54.
  • 2[2]VAHID,F.GAJSKI,D.Clustering for Improved System-levelFunctional Partitioning.In Proceedings of the 8th International Symposium on System Synthesis.1995
  • 3[3]R.Ernst,J.Henkel,and T.Benner.Hardware-software Cosynthesis for MicrocontroUers[J].IEEE Design & Test,Vol.12,pages 64-75,1993
  • 4[4]R.K.Gupta,C.Coelho,and G.De Micheli.Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components.29th ACM,IEEE Design Automation Conference,pages 225-230,1992
  • 5[5]MACIEL P,BARROS E,ROSENSTIEL W.A Petri net model for hardware software eodesign[J].Design Automation for Embedded Systems,1999,4 (10):243-310
  • 6[6]DICK,R.P.JHA,N.K.MOGAC:A Muhiobjective Genetic Algorithm for the Co-Synthesis of Hardware-Software Embedded Systems.Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design,1997.522-529
  • 7[9]MURATA T.Petri nets:properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-582001,3:1-3
  • 8姚放吾.嵌入式系统的硬件/软件协同设计[J].微计算机信息,2001,17(3):1-3. 被引量：27

引证文献1

二级引证文献2

桂林电子科技大学学报
2006年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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