• DocumentCode
    3326648
  • Title

    SDL to VHDL conversion rules: A case study

  • Author

    Mortada, Mohamed ; Abdel-Hamid, Amr T.

  • Author_Institution
    Networks Eng. Dept., German Univ. in Cairo, Cairo
  • fYear
    2007
  • fDate
    29-31 Dec. 2007
  • Firstpage
    249
  • Lastpage
    252
  • Abstract
    This paper´s aim is to contribute in the challenging task of defining and setting the basic rules that should be followed to transform a high abstraction level of a complicated system from one description scheme to another while keeping the system specification intact at correct. These rules, once defined, will be the basis upon which we build a tool that will be capable of transforming a certain system´s SDL presentation into a VHDL behavioral description, completely compliant with the original system specification and at the same time synthesizable which means that the huge gap existing between the outputs of nowadays tools for SDL to VHDL conversion will be narrowed, and the output (VHDL system presentation) will be flawless and available for industrial purposes and production. The differences between formal design languages, such as SDL, and implementation language, ex. VHDL, is pretty large, as usually SDl is concerned wit the algorithmic level, and the VHDL is synthesizable at the behavioral and structural levels.
  • Keywords
    formal specification; hardware description languages; SDL; VHDL behavioral description; VHDL conversion rules; abstraction level; formal design languages; system specification; Computer languages; Formal specifications; Hardware; Helium; Object oriented modeling; Petri nets; Production systems; Software systems; Specification languages; Unified modeling language; Formal Langauges; SDL; SDL to VHDL Conversion; VHDL;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Microelectronics, 2007. ICM 2007. Internatonal Conference on
  • Conference_Location
    Cairo
  • Print_ISBN
    978-1-4244-1846-6
  • Electronic_ISBN
    978-1-4244-1847-3
  • Type

    conf

  • DOI
    10.1109/ICM.2007.4497704
  • Filename
    4497704