DocumentCode :
511910
Title :
DEVS2VHDL: Automatic transformation of XML-specified DEVS Model of Computation into synthesizable VHDL code
Author :
Molter, H. Gregor ; Seffrin, André ; Huss, Sorin A.
Author_Institution :
Integrated Circuits & Syst. Lab., Tech. Univ. Darmstadt, Darmstadt, Germany
fYear :
2009
fDate :
22-24 Sept. 2009
Firstpage :
1
Lastpage :
6
Abstract :
This paper presents a novel approach to transform DEVS models of computation into synthesizable VHDL code. By describing the transformation process thoroughly in terms of MoC timing characteristics, our approach is applicable to other discrete event based MoCs as well. The transformation engine uses rule checks to verify whether the model may be applicable to embedded real-time systems or if it may be only applicable to reduce simulation time by hardware execution. Moreover, we propose a DEVS model notation based upon state chart XML to support a superior interoperability of different tool-chains.
Keywords :
XML; discrete event systems; formal verification; hardware description languages; open systems; DEVS model notation; DEVS models of computation; DEVS2VHDL; MoC timing; XML-specified DEVS model; discrete event based MoC; discrete event specified system; interoperability; rule check; state chart XML; synthesizable VHDL code; Computational modeling; Discrete transforms; Hardware; Integrated circuit modeling; Integrated circuit synthesis; Petri nets; System-level design; Timing; Unified modeling language; XML;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Specification & Design Languages, 2009. FDL 2009. Forum on
Conference_Location :
Sophia Antipolis
ISSN :
1636-9874
Electronic_ISBN :
1636-9874
Type :
conf
Filename :
5404050
Link To Document :
بازگشت