Login / Signup

Self-referential verification of gate-level implementations of arithmetic circuits.

Ying-Tsai ChangKwang-Ting Cheng
Published in: DAC (2002)
Keyphrases
  • asynchronous circuits
  • levels of abstraction
  • efficient implementation
  • data sets
  • model checking
  • arithmetic operations