Formal Verification Of Circuits by Rolf Drechsler