Title :
Automatic generation of component wrappers by composition of hardware library elements starting from communication service specification
Author :
Grasset, Arnaud ; Rousseau, Frédéric ; Jerraya, Ahmed A.
Author_Institution :
TIMA Lab., Grenoble, France
Abstract :
A system-on-chip is composed of heterogeneous components interacting through a communication network. Wrappers are hardware components aimed to adapt these heterogeneous components to the network. Such an adaptation can be specified as a set of provided and required services, according to communication requirements and available resources. System-on-chip designers are required to quickly adapt to the fast changing system specifications, but the design of a wrapper can be time consuming. So this paper presents a new methodology for their automatic generation starting from a communication service specification. This specification, already used in the computer network community, is refined to an RTL model using a systematic library based approach. The effectiveness of the methodology is shown on an example.
Keywords :
electronic engineering computing; formal specification; formal verification; system-on-chip; RTL model; automatic generation; communication network; communication service specification; component wrapper; computer network community; hardware library element; heterogeneous component; system specification; system-on-chip; systematic library; Clocks; Communication networks; Communication system control; Computer networks; Hardware; Libraries; Protocols; Space exploration; System-on-a-chip; Time to market;
Conference_Titel :
Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on
Print_ISBN :
0-7695-2361-7
DOI :
10.1109/RSP.2005.16