Qingwei Wu, Michael S. Hsiao. State Variable Extraction to Reduce Problem Complexity for ATPG and Design Validation. In Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA. pages 820-829, IEEE, 2004. [doi]
Abstract is missing.