Title :
Asynchronous interaction between FSM and dataflow models
Author :
Kim, Dohyung ; Ha, Soonhoi
Author_Institution :
Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Abstract :
In this paper, we focus on communication protocols which integrate control modules and function modules. Among others, asynchronous interaction enables the FSM model to control the scheduling of the dataflow model and to change the parameter in the data flow modules. Compared with previous approaches, the proposed technique supports formal specification for each component and provides protocols which integrate the two models in a flexible way
Keywords :
data flow graphs; finite state machines; formal specification; hardware-software codesign; processor scheduling; protocols; DFG; FSM; asynchronous interaction; communication protocols; control modules; dataflow models; formal specification; function modules; scheduling; Automata; Backplanes; Communication system control; Computational modeling; Computer architecture; Design methodology; Digital signal processing; Processor scheduling; Protocols; Specification languages;
Conference_Titel :
VLSI and CAD, 1999. ICVC '99. 6th International Conference on
Conference_Location :
Seoul
Print_ISBN :
0-7803-5727-2
DOI :
10.1109/ICVC.1999.820837
