The EPFL Logic Synthesis Libraries
At LSI, we maintain several dedicated C++ open source libraries. You can find an overview of all libraries, links to them, and some examples on how to use them in the logic synthesis libraries showcase repository.
The EPFL Logic Synthesis Benchmarks
We maintain a list of large combinatorial benchmarks. Associated to this list is an ongoing competition on finding the smallest size or smallest depth 6-LUT networks for these benchmarks. More information can be found on the logic synthesis benchmarks repository.
CirKit and RevKit
CirKit and RevKit are command line tools for classical logic optimization and quantum compilation, respectively. They provide a friendly user interface to most of the functionality in the EPFL logic synthesis libraries. Apart from being command line tools, CirKit and RevKit can also be used as Python or C libraries, for integration into other tools and frameworks.
The following tools are no longer actively maintained.
FPGA – SPICE
FPGA – SPICE(Download link)
MIGFET (Download link)
MIG (Download link)
Most of the functionality in this package is now also available in the logic optimization library mockturtle.
BBDD (Download link)
Following software pacakages are available to download: