KISS: A PROGRAM FOR OPTIMAL STATE ASSIGNMENT OF FINITE STATE MACHINES.Giovanni De MicheliR. Braytonet al.1983ICCAD 1983
WAVE CONVERGENCE ALGORITHMS FOR THE WAVEFORM RELAXATION METHOD.P. DebefveH.Y. Hsiehet al.1983ICCAD 1983