Skip to content
Showcase examples for EPFL logic synthesis libraries
Branch: master
Clone or download
Latest commit 3d6e997 Mar 15, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples link abc with -fPIC. Jan 11, 2019
lib
slides/iwls18 Some instructions for editing and viewing slides. Oct 5, 2018
.clang-format ABC example. Mar 4, 2018
.gitignore
.gitmodules
CMakeLists.txt
LICENSE Initial commit Mar 4, 2018
README.md

README.md

The EPFL Logic Synthesis Libraries (Showcase)

The EPFL logic synthesis libraries are a collection of modular open source C++ libraries for the development of logic synthesis applications. All libraries are well documented and well tested. Being header-only, the libraries can be readily used as core components in complex logic synthesis frameworks. This showcase repository presents several applications in which the libraries are used.

Libraries

alice: C++ command shell library
GitHub | Version 0.3 (July 22, 2018) | Documentation
maintained by Mathias Soeken

caterpillar: C++ quantum circuit synthesis library
GitHub
maintained by Giulia Meuli

easy: C++ exclusive-or sum-of-product (ESOP) library
GitHub | Documentation
maintained by Heinz Riener

kitty: C++ truth table library
GitHub | Version 0.5 (October 8, 2018) | Documentation
maintained by Mathias Soeken

lorina: C++ parsing library
GitHub | Version 0.2 (October 18, 2018) | Documentation
maintained by Heinz Riener

mockturtle: C++ logic network library
GitHub | Documentation
maintained by Mathias Soeken

percy: C++ exact synthesis library
GitHub | Version 0.1.2 (May 12, 2018) | Documentation
maintained by Winston Haaswijk

tweedledum: C++ quantum compilation library
GitHub | Documentation
maintained by Bruno Schmitt

Examples

abc: A tiny ABC clone that uses alice for creating the CLI shell

countluts: Count and classify LUT functions in a BENCH file

exactmine: Mine optimum Boolean networks from truth tables

External projects using the EPFL Logic Synthesis Libraries

LSOracle (The University of Utah, USA)

fiction (Marcel Walter, Universität Bremen, Germany)

ropper (Ruan Formigoni, Federal University of Viçosa, Brazil)

If you are using the EPFL logic synthesis libraries in a project, we'd be happy to hear about it and list your project in this list.

Events

Reference

The EPFL logic synthesis libraries are explained in the paper The EPFL Logic Synthesis Libraries, to be presented at the International Workshop on Logic Synthesis 2018.

If you use the EPFL logic synthesis libraries in your research work and experimental evaluation, we'd be happy if you cite:

  • Mathias Soeken, Heinz Riener, Winston Haaswijk, and Giovanni De Micheli: “The EPFL Logic Synthesis Libraries”, Int'l Workshop on Logic Synthesis, 2018, pre-print available at arXiv:1805.05121.
@misc{EPFLLibraries,
  author = {Soeken, Mathias and Riener, Heinz, and Haaswijk, Winston and De Micheli, Giovanni},
  title = {The {EPFL} logic synthesis libraries},
  archivePrefix = "arXiv", 
  note = {arXiv:1805.05121},
  year = 2018,
  month = may
}
You can’t perform that action at this time.