Title :
Asynchronous Data Path Models
Author :
Sokolov, Danil ; Poliakov, Ivan ; Yakovlev, Alex
Author_Institution :
Univ. of Newcastle, Newcastle
Abstract :
A token-based model for asynchronous data path is formally defined and three token game semantics, spread token, antitoken and counterflow, are introduced. These semantics are studied and their advantages and drawbacks are highlighted. For analysis and comparison a software tool is developed which integrates these models into a consistent framework. The models are verified by mapping them into Petri nets and employing the existing model checking tools.
Keywords :
Petri nets; programming language semantics; Petri nets; antitoken semantics; asynchronous data path models; counterflow semantics; spread token semantics; token game semantics; token-based model; Automatic control; Circuit synthesis; Concurrent computing; Delay; Electronic design automation and methodology; Encoding; Logic; Petri nets; Pipelines; Software tools;
Conference_Titel :
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location :
Bratislava
Print_ISBN :
0-7695-2902-X
DOI :
10.1109/ACSD.2007.45
