Increasing testability by clock transformation (getting rid of those darn states).

Krishna B. Rajan, David E. Long, Miron Abramovici

Browse the full VTS paper archive.