Efficient Boolean characteristic function for fast timed ATPG. - Yu-Min Kuo; Yue-Lung Chang; Shih-Chieh Chang (ICCAD, 2006)

Efficient Boolean Characteristic Function for Timed Automatic Test Pattern Generation. - Yu-Min Kuo; Yue-Lung Chang; Shih-Chieh Chang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)