Asynchronous Data Path Models

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 i...

Full description

Saved in:
Bibliographic Details
Main Authors: Sokolov, D., Poliakov, I., Yakovlev, A.
Format: Conference Proceeding
Language:English
Subjects:
Automatic control
Circuit synthesis
Concurrent computing
Delay
Electronic design automation and methodology
Encoding
Logic
Petri nets
Pipelines
Software tools
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1550-4808
2374-8567
DOI:10.1109/ACSD.2007.45