Test pattern generation using boolean proof engines - Drechsler, Rolf.; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2009)
Keywords: Integrated circuits -- Verification; Computer software -- Verification; Computer algorithms; Algebra, Boolean; Electronics and Microelectronics, Instrumentation; Circuits and Systems