AQUILA: An equivalence verifier for large sequential circuits.

Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen

Browse the full ASPDAC paper archive.