SIS: A system for sequential circuit synthesis (1992)

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