Download Equivalence Checking Of Digital Circuits : Fundamentals, Principles, Methods 2004