Peter Wohl John A. Waicukauski Test Generation for Ultra-Large Circuits Using ATPG Constraints and Test-Pattern Templates. 13-20 1996 conf/itc/1996 ITC db/conf/itc/itc1996.html#WohlW96