Bitwise Encoding of Finite State Machines.

Jos Monteiro, James H. Kukula, Srinivas Devadas, Horcio C. Neto

Browse the full VLSID paper archive.