Formal Verification Of Circuits door Rolf Drechsler