Login / Signup

A Timing Verifier and Timing Profiler for Asynchronous Circuits.

Per Arne KarlsenPer Torstein Røine
Published in: ASYNC (1999)
Keyphrases
  • asynchronous circuits
  • process algebra
  • delay insensitive
  • model checking
  • neural network
  • high dimensional
  • multiresolution
  • real time
  • database systems
  • multi agent systems
  • expert systems
  • wireless sensor networks