Text this: A new ATPG algorithm to generate compact test sets which detect static and dynamic defects in VLSI circuits /