DocumentCode
2027948
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
fYear
2005
fDate
8-10 June 2005
Firstpage
47
Lastpage
53
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on
ISSN
1074-6005
Print_ISBN
0-7695-2361-7
Type
conf
DOI
10.1109/RSP.2005.16
Filename
1509432
Link To Document