Efficient sequential atpg based on partitioned finite-state-machine traversal | IEEE Conference Publication | IEEE Xplore