A Sangiovanni-Vincentelli. Sis: A system for sequential circuit synthesis (0)

by E Sentovich, K Singh, L Lavagno, C Moon, R Murgai, A Saldanha, H Savoj, P Stephan, R Brayton