The EPFL Logic Synthesis 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.

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

Cited by in corpus (5)

• fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits
• Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits
• Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic Networks
• Determining the Multiplicative Complexity of Boolean Functions using SAT
• Simulation-Guided Boolean Resubstitution