Title :
COSMOS: a codesign approach for communicating systems
Author :
Ismail, T.B. ; Abid, Mohamed ; Jerraya, Ahmed
Author_Institution :
TIMA, Inst. Nat. Polytech. de Grenoble
Abstract :
This paper presents COSMOS, a method for modeling and synthesis of complex communicating systems. COSMOS starts from a system-level specification based on an extended finite state machine model allowing for the specification of complex protocols. System-level synthesis is composed of three tasks: partitioning systems into inter-dependent sub-systems, inter-sub-system communication synthesis and architecture generation. The output is a flexible architecture model which includes both hardware and software components. The paper concerns a set of parallel processors communicating through well defined protocols
Keywords :
formal specification; multiprocessor interconnection networks; parallel architectures; protocols; systems analysis; COSMOS; architecture generation; codesign approach; communicating systems; complex communicating systems; complex protocols; extended finite state machine model; flexible architecture model; hardware; inter-dependent subsystems; inter-subsystem communication synthesis; modeling; parallel processors; partitioning systems; software; specification; synthesis; system-level specification; system-level synthesis; well defined protocols; Application specific integrated circuits; Computer architecture; Delay; Design methodology; Distributed computing; Hardware; Laboratories; Process design; Protocols; Software design;
Conference_Titel :
Hardware/Software Codesign, 1994., Proceedings of the Third International Workshop on
Conference_Location :
Grenoble
Print_ISBN :
0-8186-6315-4
DOI :
10.1109/HSC.1994.336727
