Login / Signup

Lazy transition systems: application to timing optimization of asynchronous circuits.

Jordi CortadellaMichael KishinevskyAlex KondratyevLuciano LavagnoAlexander TaubinAlexandre Yakovlev
Published in: ICCAD (1998)
Keyphrases
  • asynchronous circuits
  • model checking
  • transition systems
  • delay insensitive
  • temporal logic
  • search algorithm
  • concurrent systems