The EPFL Logic Synthesis Libraries

Mathias Soeken, Heinz Riener, Winston Haaswijk, Eleonora Testa, Bruno Schmitt +6 more
5/14/2018
cs.LOcs.MS

Official code: lsils/lstools-showcase (211 stars, MIT, last commit 2024-04-05).

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.

View on arXivView PDF

Code Implementations(1)

lsils/lstools-showcaseOfficial100%
MIT

Showcase examples for EPFL logic synthesis libraries

21132CSS, CMakeMar 6, 20182 years agoMIT
exampleslogic-synthesis

Similar Papers

DisCoPy: Monoidal Categories in Python

78% match1 repo172020

ScaffCC: Scalable Compilation and Analysis of Quantum Programs

76% match2015

Open source software in quantum computing

76% match1 repo9772018

OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis

76% match1 repo172024

hlslib: Software Engineering for Hardware Design

75% match1 repo3422019

Autonomous Evolution of EDA Tools: Multi-Agent Self-Evolved ABC

75% match2 repos32026

Cite this paper

@article{soeken2018epfl,
  title  = {The EPFL Logic Synthesis Libraries},
  author = {Mathias Soeken and Heinz Riener and Winston Haaswijk and Eleonora Testa and Bruno Schmitt and Giulia Meuli and Fereshte Mozafari and Siang-Yun Lee and Alessandro Tempia Calvino and Dewmini Sudara Marakkalage and Giovanni De Micheli},
  year   = {2018},
  eprint = {1805.05121},
  archivePrefix = {arXiv},
  url    = {https://arxiv.org/abs/1805.05121}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/1805.05121.svg)](https://codeofpaper.com/paper/1805.05121)

Discussion