Scalable Boolean Methods in a Modern Synthesis Flow.

Eleonora Testa, Luca G. Amar, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli

Browse the full DATE paper archive.