Multi-level logic benchmarks: An exactness study

Luca Gaetano AmarĂ¹, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli. Multi-level logic benchmarks: An exactness study. In 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017. pages 157-162, IEEE, 2017. [doi]

@inproceedings{AmaruSHTVLGM17,
  title = {Multi-level logic benchmarks: An exactness study},
  author = {Luca Gaetano AmarĂ¹ and Mathias Soeken and Winston Haaswijk and Eleonora Testa and Patrick Vuillod and Jiong Luo and Pierre-Emmanuel Gaillardon and Giovanni De Micheli},
  year = {2017},
  doi = {10.1109/ASPDAC.2017.7858313},
  url = {http://dx.doi.org/10.1109/ASPDAC.2017.7858313},
  researchr = {https://researchr.org/publication/AmaruSHTVLGM17},
  cites = {0},
  citedby = {0},
  pages = {157-162},
  booktitle = {22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017},
  publisher = {IEEE},
  isbn = {978-1-5090-1558-0},
}