Finite State Machine Decomposition by Transition Pairing.

James H. Kukula, Srinivas Devadas

Browse the full ICCAD paper archive.