• DocumentCode
    3528585
  • Title

    Asynchronous interaction between FSM and dataflow models

  • Author

    Kim, Dohyung ; Ha, Soonhoi

  • Author_Institution
    Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    103
  • Lastpage
    106
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    VLSI and CAD, 1999. ICVC '99. 6th International Conference on
  • Conference_Location
    Seoul
  • Print_ISBN
    0-7803-5727-2
  • Type

    conf

  • DOI
    10.1109/ICVC.1999.820837
  • Filename
    820837