Test pattern generation using Boolean proof engines - Drechsler, Rolf (Springer, 2009)
Keywords: Algebra, Boolean; Computer algorithms; Computer software -- Verification; Integrated circuits -- Verification