News · 2026-10-25
New open resource: Toolkit on Digital Logic Synthesis
A free, ready-to-run toolkit for FSM minimization, state encoding, two-level and multi-level logic optimization, built on the Berkeley synthesis tools. https://a2dsl.iitmandi.ac.in/resources/1
A²DSL has released the Logic Synthesis Lab, a hands-on toolkit for learning how synthesis tools minimize and optimize digital circuits.
With a single command, users can minimize finite state machines, compare state encodings, run two-level minimization with espresso, and explore multi-level optimization (factoring, kernels and extraction) using the classic Berkeley SIS tools. Every result is explained step by step, problems are written in plain textbook notation, and generators create larger examples for exploration.
The kit was developed for the course VL-401 RTL Design and Verification at IIT Mandi and is open to everyone for educational and research use. It runs on Linux with Python 3 and nothing to install, and on Windows through WSL or a Google Colab notebook.