SAT-Sweeping Enhanced for Logic Synthesis.

Luca G. Amar, Felipe S. Marranghello, Eleonora Testa, Christopher Casares, Vinicius N. Possani, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli

Browse the full DAC paper archive.