Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods