Chip Design Python Packages

librelane

ASIC implementation flow infrastructure, successor to OpenLane

kepler-formal

Digital Design Equivalence Checking

revolution-eda

Revolution EDA repository, an integrated schematic to GDS design environment for custom integrated circuits

qpdk

Sample PDK for Superconducting RF Quantum Circuits

svgap

Evidence profiles for AI-generated RTL that expose what functional benchmarks miss. Seeking collaborators, design partners, and validation

rawast

Universal bidirectional grammar-driven engine for EDA file formats. One grammar drives parse + save for GDSII, LEF, DEF, Tcl.