• 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