Equivalence Checking of Digital Circuits: Fundamentals, Prin... By Fairholm, Gilbert W. Hardcover Price $17.48 Free Shipping