Sequential Synthesis Using S1S (2000)

by Adnan Aziz , Felice Balarin , Robert K. Brayton , Alberto Sangiovanni-Vincentelli
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Citations:12 - 4 self