Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
BalistaCRATZ
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
BalistaCRATZ
1mo ago
Nice! I ended up using the KLayout Python API to parse the GDS and extract the netlist, which was actually quite nice to use. Also, yosys has support for doing “assertion checking”, which I used in my solution: https://sunaabh.co