Eleonora Testa, Luca Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli. Scalable Boolean Methods in a Modern Synthesis Flow. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019. pages 1643-1648, IEEE, 2019. [doi]
Abstract is missing.