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
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;
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
DOI :
10.1109/ICM.2007.4497704