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