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