• DocumentCode
    555832
  • Title

    Component-based Functional Integrated Circuit System design and its straight implementation

  • Author

    Wang, Yaoli ; Zhang, Gang ; Chang, Qing ; Di, Wenxia

  • Author_Institution
    Coll. of Inf. Eng., Taiyuan Univ. of Technol., Taiyuan, China
  • fYear
    2011
  • fDate
    26-28 Sept. 2011
  • Firstpage
    42
  • Lastpage
    47
  • Abstract
    Component-based Functional Integrated Circuit System (FICS) refers to the design and implementation of FICS using the Integrated Circuit system components. This paper discusses two parts: the Component-based Services Framework (CSF), or rather, the FICS framework for component-based application services, and Functional Integrated Circuit System Architecture Description Language (FICSADL), or rather, the application layer language for FICS service framework. The paper defines the FICSADL language elements, descriptive methods and formal specification by means of mapping the components of the service layer onto the connectors of the semantic layer. Various FICS business and system requirements are met by adjusting the connector glue parts on the semantic layer. Finally, the paper demonstrates the FICSADL π-calculus. This component-based FICS design and implementation is a design and implementation straight and directly from the algorithm to chip.
  • Keywords
    formal specification; hardware description languages; integrated circuit design; pi calculus; FICSADL π-calculus; application layer language; component-based application service framework; component-based functional integrated circuit system design; formal specification; functional integrated circuit system architecture description language; semantic layer; Business; Computer integrated manufacturing; Connectors; Educational institutions; Integrated circuit modeling; Semantics; Component-based Mapping; Connector; Formal Method; Integrated Circuit System;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Networked Computing (INC), 2011 The 7th International Conference on
  • Conference_Location
    Gyeongsangbuk-do
  • Print_ISBN
    978-1-4577-1129-9
  • Electronic_ISBN
    978-89-88678-43-5
  • Type

    conf

  • Filename
    6058943