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
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;
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