logic-synthesis
A Python library for working with logic networks, synthesis, and optimization.
An open-source design automation framework for Field-coupled Nanotechnologies
The open-source agentic RTL IDE
A boolean matcher that computes the NPN canonical representative for a given boolean function.
