Environment Foundry · Chip Design Environment Research · 2026-07-29
AI는 어떻게 칩을 배우는가
AI가 칩을 잘 설계하는 데 필요한 것은 "더 큰 시뮬레이터"도 "더 많은 파일"도 아니라 —
보상 1회 비용이 초~분 단위인 실행 가능한 충실도 사다리 위에서,
히든 채점기가 돌연변이 감사로 검증되고, 권리가 유효한 결정 에피소드를
무한히 리플레이할 수 있는 환경이다.
리서치 3편 + 실험 8회(v1 5회 + v2 3회)의 종합 결론을, 클릭하며 검증하는 인터랙티브 설명서.
01 · First Principles
제1원칙: 칩이란 무엇인가
칩은 실리콘 위의 전하 이동 규칙이다. 그 위에 쌓인 추상화 계층은 전부
물리 법칙의 근사 모델이고, 각 계층 사이에는 근사 오차가 있다.
사다리의 각 단을 클릭하면 그 단계가 무엇을 숨기고 있는지 — 그리고 어떤 오차를 감수하는지 펼쳐진다.
유효한 칩 설계는 하나의 스칼라가 아니라 논리곱이다:
valid = 기능 통과 AND 형식검증 AND DRC 무위반 AND LVS 일치 AND 타이밍 이내 AND IR drop 이내
그리고 유효한 것들 사이의 점수는 score = Pareto(성능, 전력, 면적, 검증 공수, 툴 실행시간, 테스트 비용).
"AI가 칩을 잘 설계한다"는 것은 — 어떤 계층에서든 ① 결정을 내리고 ② 결과를 실행해서 관측하고(시뮬레이터 = 상태전이 함수)
③ 유효성 논리곱과 파레토 점수로 채점받는 루프를 ④ 충분히 많이, 충분히 싸게, 충분히 정직하게 반복하는 것이다.
세 가지 제1원칙적 관찰: 시뮬레이터는 선택이 아니라 정의다 · 보상 1회 비용이 제1 설계 변수다 · 모든 싼 측정은 거짓말을 한다 — 문제는 얼마나인가다.
02 · Simulator Map
시뮬레이터 지도: 비용-충실도 곡선
정답은 "하나의 최고 시뮬레이터"가 아니라 비용-충실도 곡선 위의 최소 집합이다.
축 위의 점이나 카드를 클릭하면 보상 1회 비용, 라이선스, RL 적합성, 대표 연구를 볼 수 있다.
보상 1회 비용 →싸다 = RL 루프에 넣을 수 있다
초분시간일
설계 원칙: 싼 툴이 에피소드를 만들고, 비싼 툴이 싼 순위가 현실을 예측하는지 검증한다.
최소 집합 Icarus/Verilator + Yosys + OpenROAD + Timeloop 4개면 사다리 전 구간을 커버하고 전부 오픈소스다.
사다리의 각 단은 PDK를 공유해야 하고, 오픈 PDK(SKY130/GF180=fab 가능, Nangate45/ASAP7=연구용)가 전체를 묣로 지탱한다.
03 · Environment Contract — 8 Gates
환경 계약 8게이트
8회의 이터레이션(v1 5회 + v2 3회)이 실증한 것. 게이트 순서가 곧 환경 설계 계약이다.
각 게이트를 클릭하면 가설 → 결과 → 다음 가설과 실측 데이터가 펼쳐진다.
■ v1 — 조합 블록(ALU) 계약 확립 (5회)■ v2 — 순차 블록 전이 + 채점기 감사 + 프록시 충실도 (3회)
v2-1 실험의 축소판. gold(정답, 오버랩 처리)와 gamer(공개 테스트만 통과하도록 오버랩 미처리) —
두 FSM은 공개 테스트에선 구분이 안 된다. 비트열을 직접 입력해서 둘이 갈라지는 지점(오버랩)을 찾아볼 것.
힌트: 1101 뒤에 바로 101을 붙여볼 것.
왜 이게 핵심인가: gamer는 "띄엄띄엄 나오는 1101"(공개 테스트 3종)은 전부 맞힌다.
하지만 1101101처럼 검출 직후 새 패턴이 즉시 시작되는 오버랩 구간에서 gold는 2회, gamer는 1회만 검출한다.
히든 채점기(16,384 시퀀스 × 14비트 전수, 사이클 정확 골든 모델)만이 이 차이를 잡아낸다 —
실제 실험에서 gamer의 첫 실패는 seq=91, bit=6에서 격리됐다. "공개 테스트 통과"는 "정답"이 아니다.
05 · Korea Partner Map
한국 회사 지도: 누구의 데이터인가
한국에서는 데이터 허브 성격의 디자인하우스(세미파이브/에이직랜드 류) 2개사 POC가 최우선 wedge다.
유형 필터를 눌러 보고, 카드를 클릭하면 데이터 자산과 딜 구조를 볼 수 있다.
※ 유형·데이터 자산은 공개 정보 + 업계 구조에 대한 추론(리서치 C)이며, 실제 보유 여부는 각사 확인이 필요하다.
공통 리스크: 파운드리 PDK NDA(→ PDK-free 추상화 + 파트너 측 enclave 실행), 고객 IP 소유권(→ 메타데이터 분리 제공 계약), 경쟁사 노출 우려.
06 · Conclusion
결론: 원페이저와 90일
열 문장으로 압축한 종합 결론. 각 항목은 위 섹션의 실측 데이터에 대응한다.
수정된 90일 계획
이번 실증(mutation audit · 노이즈 플로어)을 스펙에 반영한 버전. 각 구간을 클릭해 게이트 조건 확인.