Michael Cogswell Don Pearl James Sage Alan Troidl Test structure verification of logical BIST: problems and solutions. 123-130 2000 conf/itc/2000 ITC db/conf/itc/itc2000.html#CogswellPST00