Logical equivalence checking of asynchronous circuits using commercial tools.

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

Browse the full DATE paper archive.