Robert K. Brayton, Gary D. Hachtel, et al.
IEEE Transactions on Circuits and Systems
Robert K. Brayton, Gary D. Hachtel, et al.
IEEE Transactions on Circuits and Systems
Bruno O. Schmitt De, Alan Mishchenko, et al.
ASP-DAC 2017
Michael L. Case, Victor N. Kravets, et al.
DAC 2008
Robert K. Brayton, Stephen W. Director
IEEE Transactions on Circuits and Systems