Formal verification of circuits - Drechsler, Rolf (Kluwer Academic Pub., 2000)