State Variable Extraction and Partitioning to Reduce Problem Complexity for ATPG and Design Validation | IEEE Journals & Magazine | IEEE Xplore