Efficient Boolean characteristic function for fast timed ATPG.

Yu-Min Kuo, Yue-Lung Chang, Shih-Chieh Chang

Browse the full ICCAD paper archive.