Research activities are carried out in the frame of the LSI laboratory of EPFL. (Laboratoire des Systèmes Intégrés - Integrated Systems Laboratory).
LSI researchers design and maintain several dedicated C++ open source libraries. An overview of all libraries, links to them, and some examples on how to use them are available in the logic synthesis libraries showcase repository.
LSI researchers maintain a list of large combinatorial benchmarks. Associated with this list, LSI supports is an ongoing competition on finding the smallest size or smallest depth 6-LUT networks for these benchmarks. More information can be found on the logic synthesis benchmarks repository.
CirKit and RevKit are command line tools for classical logic optimization and quantum compilation, respectively. They provide a friendly user interface to most of the functionality in the EPFL logic synthesis libraries. Apart from being command line tools, CirKit and RevKit can also be used as Python or C libraries, for integration into other tools and frameworks.