Title :
An evaluation of code generation strategies targeting hardware for the rapid prototyping of SDL specifications
Author :
Muth, Annette ; Kolloch, Thomas ; Maier-Komor, Thomas ; Färber, Georg
Author_Institution :
Inst. of Real-Time Comput. Syst., Tech. Univ. Munchen, Germany
Abstract :
The specification of an embedded system at the system level, together with co-joint hardware/software synthesis, is a goal of many rapid prototyping projects. SDL has been proposed as a formal and abstract specification language that is well-suited for this purpose. In the automated generation of hardware, however, SDL´s asynchronous communication model (directly implemented in the so-called server model) can lead to large overheads in area and response time. The activity thread implementation model, on the other hand, is more similar to hardware description language concepts, with respect to its execution in hardware, due to its synchronous communication and execution scheme. This paper compares VHDL code generation from SDL using these two models, with regard to their implementation architectures, resource usage, throughput and response time. The integration in an existing rapid prototyping design process is presented, as well as results gained from several application examples
Keywords :
embedded systems; formal specification; hardware description languages; hardware-software codesign; program compilers; software prototyping; SDL specifications; VHDL; abstract specification language; activity thread implementation model; area overhead; asynchronous communication model; automated hardware generation; co-joint hardware/software synthesis; code generation strategies; hardware description language; hardware execution; implementation architectures; rapid prototyping; resource usage; response time overhead; server model; synchronous communication; system-level embedded system specification; throughput; Asynchronous communication; Delay; Embedded software; Embedded system; Hardware design languages; Prototypes; Software prototyping; Specification languages; Throughput; Yarn;
Conference_Titel :
Rapid System Prototyping, 2000. RSP 2000. Proceedings. 11th International Workshop on
Conference_Location :
Paris
Print_ISBN :
0-7695-0668-2
DOI :
10.1109/IWRSP.2000.855210