The EPFL Logic Synthesis Libraries: open-source tools for classical and emerging technologies
- Speaker: Alessandro Tempia Calvino
- email: alessandro.tempiacalvino[at]epfl.ch
- website: https://aletempiac.github.io
- Scholar: https://scholar.google.com/citations?user=OzJdDk0AAAAJ&hl=en
Downloads
- Slides (to upload a file: go to Edit mode, then click on the fourth icon from the left "Images and media" and follow the instructions)
- Video recording
Abstract
The EPFL logic synthesis libraries are a collection of open source C++ libraries for the development of logic synthesis applications. Today, there are ten libraries focused on classical computing, such as mockturtle, kitty, lorina, easy, alice, and percy. All libraries are well documented and tested. Furthermore, being header-only, the libraries can be readily used as core components in complex design automation systems, e.g., Yosys.
In this talk, we will show the versatility and potential of mockturtle in solving logic synthesis problems in conventional and emerging technologies. We demonstrate how simple it is to create a personalized synthesis tool capable of reading a Verilog description of a circuit, building a logic network out of it, optimizing the logic network, and then map it to a technology. Finally, we will discuss the current development directions of the library.
Software
General information
- Repository: https://github.com/lsils/mockturtle
- EPFL libraries: https://github.com/lsils/lstools-showcase
- Main documentation website: https://mockturtle.readthedocs.io/en/latest
- The software has been used in the following projects: LSOracle, lgraph, TUM Fiction, and more...
Roadmap
- The software wishes to interface with the following tools: ABC, Yosys
- The project seeks help on: developing a command line interface