KISS: A PROGRAM FOR OPTIMAL STATE ASSIGNMENT OF FINITE STATE MACHINES.Giovanni De MicheliR. Braytonet al.1983ICCAD 1983