Login / Signup
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.
Prasad Joshi
Peter A. Beerel
Marly Roncken
Ivan E. Sutherland
Published in:
Concurrency, Compositionality, and Correctness (2010)
Keyphrases
</>
asynchronous circuits
process algebra
model checking
delay insensitive
neural network
information systems
temporal logic
critical path