SIS: A system for sequential circuit synthesis (1992)

by E M Sentovich, K J Singh, L Lavagno, C Moon, R Murgai, A Saldabha, H Savoj, P R Stephan, R K Brayton, A Sangiovanni-Vincentelli