Sequential Synthesis Using S1S (1995)

by A Aziz, R K Brayton, F Balarin, A L Sangiovanni-Vincentelli
Venue:in Proc. Intl. Conf. on Computer-Aided Design