Logical equivalence checking of asynchronous circuits using commercial tools.

Arash Saifhashemi Hsin-Ho Huang Priyanka Bhalerao Peter A. Beerel

Published in: DATE (2015)

Keyphrases

asynchronous circuits
delay insensitive
process algebra
model checking
databases
lower bound
decision support
building blocks