Efficient Boolean Characteristic Function for Timed Automatic Test Pattern Generation

Yu-Min Kuo, Yue-Lung Chang, Shih-Chieh Chang. Efficient Boolean Characteristic Function for Timed Automatic Test Pattern Generation. IEEE Trans. on CAD of Integrated Circuits and Systems, 28(3):417-425, 2009. [doi]

Abstract

Abstract is missing.