SIS: A System for Sequential Circuit Synthesis,” tech (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 Sangiovanni-Vincentelli