librelane/steps · librelane · kepler-formal | ThingAtlas

publicUnclaimed/

librelane

CloneStarsFork Build this

Design files

Name	Storage	Size
.. / Parent directory
__init__.py	Git	1.7 KB
__main__.py	Git	13.1 KB
checker.py	Git	22.1 KB
common_variables.py

Leo MoserWIP: add kepler-formal and KeplerFormal.SEC1b4851bb0

Name	Storage	Size
.. / Parent directory
__init__.py	Git	1.7 KB
__main__.py	Git	13.1 KB
checker.py	Git	22.1 KB
common_variables.py	Git	14.6 KB
kepler_formal.py	Git	2.0 KB
klayout.py	Git	44.8 KB
magic.py	Git	27.4 KB
misc.py	Git	5.7 KB
netgen.py	Git	9.2 KB
odb.py	Git	39.8 KB
openroad_alerts.py	Git	3.3 KB
openroad.py	Git	106.7 KB
pyosys.py	Git	25.5 KB
step.py	Git	54.2 KB
tclstep.py	Git	9.9 KB
verilator.py	Git	9.6 KB
yosys.py	Git	12.8 KB