• 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