Test pattern generation using Boolean proof engines - Drechsler, Rolf (Dordrecht ; London : Springer, 2009)
Includes bibliographical references and index
1
Keywords: Algebra, Boolean; Computer algorithms; Computer software -- Verification; Integrated circuits -- Verification