Shi-Yu Huang Kwang-Ting Cheng Kuang-Chien Chen Chung-Yang Huang Forrest Brewer AQUILA: An Equivalence Checking System for Large Sequential Designs. 443-464 2000 49 IEEE Trans. Computers 5 http://doi.ieeecomputersociety.org/10.1109/12.859539 db/journals/tc/tc49.html#HuangCCHB00