Formal Equivalence Checking and Design Debugging by Shi-Yu Huang, Kwang-Ting (Tim) Cheng & Kwang-Ting Gtimm Cheng