Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi. Fast Sequential ATPG Based on Implicit State Enumeration. In Proceedings IEEE International Test Conference 1991, Test: Faster, Better, Sooner, Nashville, TN, USA, October 26-30, 1991. pages 67-74, IEEE Computer Society, 1991.
Abstract is missing.