The EPFL Logic Synthesis Libraries

TL;DR

The paper introduces a set of modular, open-source C++ libraries designed to facilitate logic synthesis across classical, emerging, and quantum technologies, emphasizing ease of integration and comprehensive documentation.

Contribution

It provides a versatile, header-only library collection for logic synthesis, supporting classical and quantum applications with thorough testing and documentation.

Findings

Libraries are modular and header-only for easy integration.

Support for classical, emerging, and quantum logic synthesis.

Well-documented and extensively tested libraries.

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.