The EPFL Logic Synthesis Libraries

05/14/2018
by   Mathias Soeken, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 7

03/27/2019

Import2vec - Learning Embeddings for Software Libraries

We consider the problem of developing suitable learning representations ...
10/02/2018

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...
03/08/2019

Extending the Web3D: Design of Conventional GUI Libraries in X3D

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

Generic Library Interception for Improved Performance Measurement and Insight

As applications grow in capability, they also grow in complexity. This c...
09/08/2011

Digital Libraries, Conceptual Knowledge Systems, and the Nebula Interface

Concept Analysis provides a principled approach to effective management ...
04/25/2021

Efficient Binary Decision Diagram Manipulation in External Memory

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

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

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

Code Repositories

lstools-showcase

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.