Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/lsils/lstools-showcase

Showcase examples for EPFL logic synthesis libraries
https://github.com/lsils/lstools-showcase

examples logic-synthesis

Last synced: 3 months ago
JSON representation

Showcase examples for EPFL logic synthesis libraries

Awesome Lists containing this project

README 

        
# 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](https://github.com/msoeken/alice) | [Version 0.3 (July 22, 2018)](https://github.com/msoeken/alice/releases) | [Documentation](http://libalice.readthedocs.io/en/latest/) 


maintained by Mathias Soeken






**bill:** C++ reasoning library 


[GitHub](https://github.com/lsils/bill) | [Version 0.1 (June 2, 2020)](https://github.com/lsils/bill/releases) |

[Documentation](http://bill.readthedocs.io/en/latest/) 


maintained by Bruno Schmitt






**caterpillar:** C++ quantum circuit synthesis library 


[GitHub](https://github.com/gmeuli/caterpillar) |

[Documentation](https://qcaterpillar.readthedocs.io/en/latest/?badge=latest) 


maintained by Giulia Meuli






**easy:** C++ exclusive-or sum-of-product (ESOP) library

 


[GitHub](https://github.com/hriener/easy) | [Documentation](http://easy.readthedocs.io/en/latest/) 


maintained by Heinz Riener






**kitty:** C++ truth table library 


[GitHub](https://github.com/msoeken/kitty) | [Version 0.7 (March 13, 2020)](https://github.com/msoeken/kitty/releases) | [Documentation](http://libkitty.readthedocs.io/en/latest/) 


maintained by Mathias Soeken and Siang-Yun (Sonia) Lee






**lorina:** C++ parsing library 


[GitHub](https://github.com/hriener/lorina) | [Version 0.2 (October 18, 2018)](https://github.com/hriener/lorina/releases) | [Documentation](http://lorina.readthedocs.io/en/latest/) 


maintained by Heinz Riener






**mockturtle:** C++ logic network library 


[GitHub](https://github.com/lsils/mockturtle) | [Version 0.3 (July 12, 2022)](https://github.com/lsils/mockturtle/releases) | [Documentation](http://mockturtle.readthedocs.io/en/latest/) 


maintained by Siang-Yun (Sonia) Lee






**percy:** C++ exact synthesis library 


[GitHub Dev](https://github.com/lsils/percy) |

[GitHub](https://github.com/whaaswijk/percy) |

[Version 0.1.2 (May 12, 2018)](https://github.com/whaaswijk/percy/releases/) |

[Documentation](http://percy.readthedocs.io/en/latest/) 


maintained by Winston Haaswijk






**tweedledum:** C++ quantum compilation library 


[GitHub](https://github.com/boschmitt/tweedledum) | [Version 1.1.1 (September 8, 2021)](https://github.com/boschmitt/tweedledum/releases) | [Documentation](https://tweedledum.readthedocs.io/en/latest/) 


maintained by Bruno Schmitt






**angel:** C++ quantum state preparation library 


[GitHub](https://github.com/fmozafari/angel) |

[Documentation](https://libangel.readthedocs.io/en/latest) 


maintained by Fereshte Mozafari



## Examples



**[abc](examples/abc):** A tiny [ABC](https://bitbucket.org/alanmi/abc) clone that uses alice for creating the CLI shell



**[countluts](examples/countluts):** Count and classify LUT functions in a BENCH file



**[exactmine](examples/exactmine):** Mine optimum Boolean networks from truth tables



## External projects using the EPFL Logic Synthesis Libraries



[LSOracle](https://github.com/LNIS-Projects/LSOracle) (*University of Utah, UT, USA*)



[fiction](https://github.com/cda-tum/fiction) (part of the [*Munich Nanotech

Toolkit* (MNT)](https://www.cda.cit.tum.de/research/nanotech/mnt/), *Technical University of Munich, Germany*)



[ropper](https://gitlab.com/formigoni/ropper) (Ruan Formigoni, *Federal University of Viçosa, Brazil*)



[NetlistDB](https://github.com/HardwareIR/netlistDB/) (Michal Orsak, *Brno University of Technology, Czech Republic*)



[PandA](https://github.com/ferrandi/PandA-bambu/) (Fabrizio Ferrandi, *Politecnico di Milano, Italy*)



[LiveHD](https://github.com/masc-ucsc/livehd/) (Jose Renau, *University of California, Santa Cruz, CA, USA*)



[staq](https://github.com/softwareQinc/staq/) (*SoftwareQ Inc., ON, Canada*)



[ALSO](https://github.com/nbulsi/also/) (Zhufei Chu, *Ningbo University, China*)



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



* **July 2021:** Presentation at [*Logic Synthesis Software School*](https://hriener.github.io/lsss21.html) (virtual).

* **June 2019:** Presentation at [*Logic Synthesis Software School*](https://hriener.github.io/lsss19.html) in Lausanne, Switzerland.

* **June 2019:** Presentation at [*Workshop on Open Source EDA Tools*](https://fossi-foundation.org/wosh/) in Zurich, Switzerland.

* **Februrary 2019:** Presentation at [*FOSDEM CAD and Open Hardware devroom*](https://fosdem.org/2019/schedule/event/epfl_logic_synthesis/) in Brussels, Belgium.

* **November 2018:** Presentation at the [*Workshop on Open-Source EDA Technology*](http://scale.engin.brown.edu/woset/) in San Diego, CA, USA.

* **August 2018:** Presentation at the [*IEEE CASS Seasonal School on Logic Synthesis*](http://inf.ufrgs.br/cass/ls/) in Porto Alegre, Brazil.

* **June 2018:** Presentation at the [*27th International Workshop on Logic Synthesis*](http://www.iwls.org/iwls2018/) in San Francisco, CA, USA.



## Reference



The EPFL logic synthesis libraries are explained in the paper [*The EPFL Logic Synthesis Libraries*](https://arxiv.org/abs/1805.05121), presented at the [*International Workshop on Logic Synthesis 2018*](http://www.iwls.org/iwls2018/).



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**



* A second revised version (June, 2022) of this work is available at **arXiv:1805.05121v3**:



```bibtex

@misc{EPFLLibraries,

  author = {Soeken, Mathias and

            Riener, Heinz and

            Haaswijk, Winston and

            Testa, Eleonora and

            Schmitt, Bruno and

            Meuli, Giulia and

            Mozafari, Fereshte and

            Lee, Siang-Yun and

            Tempia Calvino, Alessandro and

            Marakkalage, Dewmini Sudara

            De Micheli, Giovanni},

  title = {The {EPFL} logic synthesis libraries},

  archivePrefix = "arXiv", 

  note = {arXiv:1805.05121v3},

  year = 2022,

  month = jun

}

```