The EPFL Logic Synthesis Libraries

by   Mathias Soeken, et al.

We present a collection of modular open source C++ libraries for the development of logic synthesis applications. The alice library is a lightweight wrapper for shell interfaces, which is the typical user interface for most logic synthesis and design automation applications. It includes a Python interface to support scripting. The lorina library is a parsing library for simple file formats commonly used in logic synthesis. It includes several customizable parsing algorithms and a flexible diagnostic engine. The kitty library is a truth table library for explicit representation and manipulation of Boolean functions. It requires less overhead compared to symbolic counterparts such as binary decision diagrams, but is limited by the number of variables of the Boolean function to represent. Finally, percy is an exact synthesis library with multiple engines to find optimum logic networks. 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.



There are no comments yet.


page 7


Import2vec - Learning Embeddings for Software Libraries

We consider the problem of developing suitable learning representations ...

DATC RDF: An Open Design Flow from Logic Synthesis to Detailed Routing

In this paper, we present DATC Robust Design Flow (RDF) from logic synth...

Extending the Web3D: Design of Conventional GUI Libraries in X3D

Extensible 3D (X3D) modeling language is one of the leading Web3D techno...

Generic Library Interception for Improved Performance Measurement and Insight

As applications grow in capability, they also grow in complexity. This c...

Digital Libraries, Conceptual Knowledge Systems, and the Nebula Interface

Concept Analysis provides a principled approach to effective management ...

Efficient Binary Decision Diagram Manipulation in External Memory

We follow up on the idea of Lars Arge to rephrase the Reduce and Apply a...

MoebInv: C++ libraries for manipulations in non-Euclidean geometry

The introduced package MoebInv contains two CPP libraries for symbolic, ...

Code Repositories


Showcase examples for EPFL logic synthesis libraries

view repo
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.