Login / Signup

Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.

Prasad JoshiPeter A. BeerelMarly RonckenIvan 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