Jane Street ASIC 리버스 엔지니어링 챌린지, 칩 배치도에서 회로를 복원해 풀기

GDS 파일로 주어진 ASIC을 시뮬레이션 가능한 회로로 변환하고, 120비트 입력에 숨겨진 정답 (* TWO STARS *)를 찾아냄
gdstk와 SKY130 문서를 이용해 도형, 레이어와 핀을 식별하고, 서로 맞닿은 배선을 그래프로 합쳐 실행 가능한 Verilog 회로로 변환함...