Design Automation in Wonderland: EPFL Logic Synthesis Libraries
summary
EPFL releases eight modular logic-synthesis libraries implemented in header-only C++14/17 that glue together a truth-table engine (Kitty), a generic network library (mockturtle), a bench-file parser (lorina), a SAT-based optimal-network solver (thirsty), and a command-shell/front end (comanche). Libraries minimize dependencies, provide Python/Jupyter bindings, integrate with ABC and external SAT solvers, and ship CI, docs and tests. Early adopters (academic groups and a quantum-computing startup) report measurable improvement over previous flows.
AI-written summary · about
chapters (18)
- 0:00Intro
- 1:03EPFL Logic Synthesis Libraries
- 4:05Motivation
- 6:42Logic Synthesis Software School
- 7:23EPFL Open Science Fund
- 7:48Implementation
- 9:18Running example
- 11:25Command shell with alice
- 12:00alice: C++ command shell library
- 13:38Implementing custom commands
- 14:27kitty: C++ truth table library
- 14:56Dynamic vs. static truth tables
- 15:32NPN Canonization
- 16:01Read truth tables from LUTS
- 17:39percy: C++ exact synthesis library
- 18:09mockturtle: logic network library
- 18:48mockturtle: Philosophy
- 19:55mockturtle: Highlights
related talks
21mOpen Source Digital Design Tooling Updates
20mOpen-Source FPGAs: Tools, Flows, and Visualization
18mOpen source chip design: for fun and for profit
29m3 Talks for the Price of 1!
40mKeynote: Open Source FPGA Tooling
31mThe Best Library I Ever Designed
18mOpen Source Tools - Learn and Explore EDA...
01h 30mTrustworthy AI & Open Source