Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test

Pranav Ashar, Abhijit Ghosh, Srinivas Devadas, A. Richard Newton. Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test. In ICCAD. pages 84-87, 1990.

Abstract

Abstract is missing.