Test structure verification of logical BIST: problems and solutions.

Michael Cogswell Don Pearl James Sage Alan Troidl

Published in: ITC (2000)

Keyphrases

benchmark problems
practical solutions
test cases
combinatorial problems
efficient solutions
similar problems
data sets
search methods
approximate solutions
combinatorial optimisation
optimization problems
structural information
statistical tests
solving problems
partial solutions
computational issues