Are logic synthesis tools robust?

Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.