Eleonora Testa, Luca G. 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
DATE, 2019.
@inproceedings{DATE-2019-TestaASMVLCGM,
author = "Eleonora Testa and Luca G. Amarù and Mathias Soeken and Alan Mishchenko and Patrick Vuillod and Jiong Luo and Christopher Casares and Pierre-Emmanuel Gaillardon and Giovanni De Micheli",
booktitle = "{Proceedings of the 23rd Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.23919/DATE.2019.8714776",
isbn = "978-3-9819263-2-3",
pages = "1643--1648",
publisher = "{IEEE}",
title = "{Scalable Boolean Methods in a Modern Synthesis Flow}",
year = 2019,
}
