search

YosysHQ / eqy

Equivalence checking with Yosys
https://yosyshq.readthedocs.io/projects/eqy/en/latest/
Other
30 stars 5 forks source link

add spm sky130 example #38

Closed nakengelhardt closed 1 year ago