Automatic Derivation of FSM Specification to Implementation Encoding.

Carl Pixley, Gary Beihl, Ernesto Pacas-Skewes

Browse the full ICCD paper archive.