Bitwise Encoding of Finite State Machines (1994)

by José Monteiro, James Kukula, Srinivas Devadas, Horácio Neto
Venue:Proc. 7th Conf. on VLSI Design