English

The EPFL Logic Synthesis Libraries

Logic in Computer Science 2022-06-06 v3 Mathematical Software

Abstract

We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as core components in complex logic synthesis systems.

Keywords

Cite

@article{arxiv.1805.05121,
  title  = {The EPFL Logic Synthesis Libraries},
  author = {Mathias Soeken and Heinz Riener and Winston Haaswijk and Eleonora Testa and Bruno Schmitt and Giulia Meuli and Fereshte Mozafari and Siang-Yun Lee and Alessandro Tempia Calvino and Dewmini Sudara Marakkalage and Giovanni De Micheli},
  journal= {arXiv preprint arXiv:1805.05121},
  year   = {2022}
}

Comments

13 pages, originally accepted at Int'l Workshop on Logic & Synthesis 2018, extended for Workshop on Open-Source EDA Technology 2019

R2 v1 2026-06-23T01:53:55.088Z