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

Pranav Ashar, Abhijit Ghosh, Srinivas Devadas, A. Richard Newton

Browse the full ICCAD paper archive.