2004
DOI: 10.1007/978-3-540-27864-1_15
|View full text |Cite
|
Sign up to set email alerts
|

Abstract Interpretation of Combinational Asynchronous Circuits

Abstract: Abstract.A technique, based upon abstract interpretation, is presented that allows general gate-level combinational asynchronous circuits with uncertain delay characteristics to be reasoned about. Our approach is particularly suited to the simulation and model checking of circuits where the identification of possible glitch states (static and dynamic hazards) is required. A hierarchy of alternative abstractions linked by Galois connections is presented, each offering varying tradeoffs between accuracy and comp… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2

Citation Types

0
2
0

Year Published

2005
2005
2012
2012

Publication Types

Select...
2
2
1

Relationship

0
5

Authors

Journals

citations
Cited by 6 publications
(2 citation statements)
references
References 8 publications
0
2
0
Order By: Relevance
“…To my knowledge, the only other works where the time is not abstracted as a discrete notion during the static analysis are the one of O. Bouissou and M. Martel in [6] as well as the one by S. Thompson and A. Mycroft, who proposed in [15] several abstractions to study asynchronous circuits and the changes counting domain we introduce has similarities with their work. The abstract time is reduced to a temporal relation between events.…”
Section: Related Workmentioning
confidence: 89%
“…To my knowledge, the only other works where the time is not abstracted as a discrete notion during the static analysis are the one of O. Bouissou and M. Martel in [6] as well as the one by S. Thompson and A. Mycroft, who proposed in [15] several abstractions to study asynchronous circuits and the changes counting domain we introduce has similarities with their work. The abstract time is reduced to a temporal relation between events.…”
Section: Related Workmentioning
confidence: 89%
“…This yields a more efficient analysis of hazard free operation, since the high-level design has a smaller state space than the more detailed, low-level design. [28] uses the modern program analysis technique of abstract interpretation to reason about hazards in asynchronous circuits. [29] uses a standard symbolic model checker to verify hazard free operation of speed-independent circuits, and an older tool called prlint [6] purports to exhaustively check hazard free operation of a production rule set.…”
Section: Related Workmentioning
confidence: 99%