DocumentCode
3107368
Title
Asynchronous Data Path Models
Author
Sokolov, Danil ; Poliakov, Ivan ; Yakovlev, Alex
Author_Institution
Univ. of Newcastle, Newcastle
fYear
2007
fDate
10-13 July 2007
Firstpage
197
Lastpage
210
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location
Bratislava
ISSN
1550-4808
Print_ISBN
0-7695-2902-X
Type
conf
DOI
10.1109/ACSD.2007.45
Filename
4276279
Link To Document