Jane Street에서 진행한 ASIC 리버스 엔지니어링 챌린지를 해결한 흥미로운 사례를 소개합니다. GDS 파일을 분석하여 회로를 Verilog로 복원하고, 120비트라는 방대한 입력 조합 중 정답을 찾기 위해 Z3 solver를 활용한 역방향 접근 방식을 사용했습니다. 이 과정에서 직접 시뮬레이터와 파서를 제작하며 겪은 시행착오, 그리고 실제 ASIC 설계 오류를 발견한 에피소드까지 담고 있습니다. 하드웨어 설계와 소프트웨어 개발 역량이 결합된 고난도 문제 해결 과정을 확인해 보세요.