Login / Signup

Practical timing analysis of asynchronous circuits using time separation of events.

Supratik ChakrabortyKenneth Y. YunDavid L. Dill
Published in: CICC (1998)
Keyphrases
  • asynchronous circuits
  • delay insensitive
  • process algebra
  • model checking
  • event detection
  • neural network
  • temporal logic
  • temporal data
  • practical problems
  • complex events