결과를 따라가고, 시험을 재현하다.

Forge 고객형 내부 실증

내부 요청은 고객이 보낼 형태로 저희가 직접 낸 요청이며 고객은 관여하지 않았습니다. 표에는 지금까지 낸 요청을 낸 순서대로 모두 실었습니다. 인도는 요청마다 ZIP으로 봉인한 꾸러미로, RTL과 배치·배선 결과, 통합 자료, 재생 명령이 들어 있습니다. 통과는 비교한 출력이 모두 정수 기준 모델의 값과 같았다는 뜻입니다. 배선 넷리스트의 게이트 수준 시뮬레이션에서 확인하고, ZIP을 풀어 재생해 다시 확인했습니다. 개수는 비교한 출력 수입니다.

인도 시간은 접수부터 그 재생 검수 완료까지의 실제 경과 시간이며 재시도를 포함합니다. 004번부터는 최초 접수 관측 시각이 기준입니다. 001~003번은 요청 수락 시각만 기록해 그 시각부터 셉니다. 010번부터는 배선 넷리스트의 4상태 냉시동 통과도 인도 조건이어서, 재생 검수와 냉시동 통과 중 늦은 시각까지 셉니다.

003~010번은 같은 동결 요청을 두 경로로 구현했습니다. 기본 경로는 그대로 구현하고, 이력 적용 경로는 앞선 요청의 실패·수정 기록을 추가로 받았습니다. 두 경로가 통과하면 먼저 완료한 인도를 표에 싣습니다. 다만 인도 뒤 확인에서 결함이 드러난 인도는 요청의 인도로 싣지 않고 그 사실을 납품물 표 아래에 적습니다(009번). 002번은 같은 RTL의 물리 단계만 비교했고 001번은 경로가 하나입니다.

납품물

위 표에 실린 인도가 무엇인지입니다. 두 경로가 통과한 요청은 먼저 완료한 경로의 결과이고, 그 경로를 요청 번호 옆에 적었습니다. 009번은 먼저 완료한 인도의 결함이 인도 뒤 확인에서 드러나 다른 경로의 결과를 실었으며, 그 내용을 표 아래 메모에 적었습니다.

요청 클록과 여유

클록 주기는 요청이 정한 목표입니다. setup·hold 여유는 그 클록에서 남은 폭이며 둘 다 양수여야 합니다.

셀 면적

표준 셀 면적입니다. SRAM 매크로 면적은 따로 적었습니다.

입력 하나, 연속 입력

블록에 한 번 넣는 시험 입력입니다(002는 벡터, 003은 패치, 004는 타일, 005~009는 프레임, 010은 타일). 연속 입력은 입력을 기다리게 하지 않고 출력도 막지 않는 조건입니다. 시간은 클록 수에 요청 클록을 곱해 계산한 값이며 실리콘에서 잰 값이 아닙니다.

부동소수점 기준 대비

정수 출력을 부동소수점 기준과 비교한 값이며, 칸에 입력 수를 적은 요청은 교정에 쓰지 않은 입력으로 쟀습니다. NRMSE는 그 입력 전체의 상대 L2 오차로 한도 이하여야 하고, 최소 코사인은 입력 하나씩 본 코사인 유사도의 최솟값으로 한도 이상이어야 합니다. 한도는 요청에 미리 적었습니다. 009, 010번은 입력 하나씩 본 NRMSE에도 같은 한도를 걸어, 그 최댓값을 함께 적었습니다.

SHA-256

인도 ZIP과 그 안에 든 배선 넷리스트의 해시입니다. RTL·원본 로그·ZIP은 내부에 두며, 해시가 이 숫자를 그 파일에 묶습니다. 전체 값은 공개 요약 JSON에 있습니다.

옆으로 밀어 전체 항목 보기

008번, 인도 뒤 확인. 새 입력 4,096개를 정수 모델로 계산해 입력 하나씩 보면 62개가 NRMSE 8% 한도를 넘고 가장 큰 값은 15.35%입니다. 4,096개 합산으로는 3.34%, 최소 코사인 0.9995로 요청의 한도 안입니다. 요청은 교정에 쓰지 않은 입력의 합산에 한도를 걸었으므로 인도는 정한 대로 통과했습니다. 입력 하나하나가 정확하다는 것까지 보인 것은 아닙니다. 마스크 조건 두 가지마다 오차가 가장 큰 입력 하나씩(15.35%와 12.78%, 전체 순위 1위와 4위)을 두 경로의 배선 넷리스트에 연속 입력으로 재생했고, 재생 4건의 출력 6,144개가 모두 정수 모델의 값과 같았습니다.

009번, 인도 뒤 확인. 먼저 인도한 기본 경로의 배선 넷리스트는 인도 뒤 추가 확인에서 미통과했습니다. 실제 리셋 에지를 넣는 4상태 냉시동 재생에서 SRAM 리셋 경고 32건이 나왔고 첫 읽기 값이 틀렸습니다. 이 확인은 요청의 동결 합격선에 없던 것이며, 기본 경로는 그 합격선을 5시간 10분 54초에 먼저 통과했습니다. 그래서 요청 표와 납품물 표에는 기본 경로 대신 이력 적용 경로(5시간 17분 16초)를 실었습니다. 이력 적용 경로의 배선 넷리스트는 같은 확인에서 지시 시험 46개를 통과했고 SRAM 리셋 경고는 0건이었습니다. 수정한 기본 경로 인도는 물리 검사, 정수 출력 6,144개 일치, 같은 냉시동 확인(지시 시험 46개 통과, 경고 0건)을 거쳐 5시간 58분 24초에 검수를 마쳤습니다. 냉시동 확인은 SRAM 기능 모델을 쓴 4상태 시뮬레이션이며 실리콘에서 잰 것이 아닙니다.

010번, 인도 검증 시각. 이 요청부터는 깨끗한 ZIP 재생 수락과 배선 넷리스트의 4상태 냉시동 통과를 모두 인도 조건으로 두고, 둘 중 늦은 시각까지를 인도 시간으로 셉니다. 냉시동 확인은 두 경로 모두 RTL·일반 합성본·배선본 세 단계에서 통과했고, 배선본에서는 지시 시험 62개를 통과했으며 SRAM 리셋 경고는 0건이었습니다. 인도 시간은 기본 경로 11시간 05분 56초, 이력 적용 경로 11시간 05분 48초이고, ZIP 재생 수락까지는 기본 경로 11시간 00분 38초, 이력 적용 경로 11시간 04분 03초입니다. 두 경로의 배선본 냉시동 확인을 같은 시각에 함께 시작했기 때문에 인도 시간의 8초 차이와 그 순서는 경로의 차이가 아닙니다. ZIP 재생 수락은 기본 경로가 3분 25초 먼저였습니다. 요청 표와 납품물 표에는 인도 시간이 이른 이력 적용 경로를 실었고, A/B 요약에서는 010번의 시간 순서를 세지 않았습니다. 정확도는 최종 출력인 잔차 합산과 층 스케일 뒤 분기 값을 따로 검수했습니다. 표의 값은 잔차 합산이며, 층 스케일 뒤 분기 값은 NRMSE 3.40%, 입력별 최대 NRMSE 3.47%, 최소 코사인 0.9994로 같은 한도(NRMSE 8% 이하, 최소 코사인 0.995 이상) 안입니다. 냉시동 확인은 SRAM 기능 모델을 쓴 4상태 시뮬레이션이며 실리콘에서 잰 것이 아닙니다.

A/B: 기본 경로와 이력 적용

003~010번은 같은 요청·입력·합격선으로 두 경로를 한 번씩 구현했습니다. 재시도는 자동 검사에 걸린 뒤 다시 한 횟수이고, 공통 재시도는 두 경로가 함께 거친 단계의 것입니다.

• 이력 적용 경로의 인도가 빠름: 004, 005, 008. 늦음: 003, 006, 007 (0.3초), 009. 순서를 비교하지 않음: 010.
• 입력 하나의 클록 수가 줆: 004 −16.0%, 005 −31.1%, 006 −0.1%, 010 −0.1%. 늚: 003 +0.3%, 007 +0.3%, 008 +40.2%, 009 +1.2%. 클록 수 변화 8건 중 4건은 1% 미만입니다.

한 번씩의 관측이므로 이 차이를 이력의 효과로 읽을 수는 없습니다. 요청 표는 먼저 완료한 인도를 싣기 때문에, 먼저 끝났지만 클록 수가 더 많은 경로가 실린 요청이 있습니다(006, 008). 009번은 인도 뒤 확인에서 결함이 드러난 기본 경로 대신 이력 적용 경로를 실었습니다. 010번은 두 경로의 냉시동 확인을 함께 시작해 인도 시간의 순서가 경로의 차이를 나타내지 않으므로, 빠름·늦음 어느 쪽에도 세지 않았습니다. 002번은 같은 RTL의 물리 단계만 비교했습니다.

002 · 물리 단계 A/B

같은 RTL에 이전 GF180 타이밍 보정값의 적용 여부를 바꿨습니다. 최종 통과 시도의 배치·배선 및 게이트 재생 시간입니다. 두 경로의 최종 넷리스트 해시는 같았습니다.

003 · 접수부터 인도까지 A/B

같은 요청·입력·합격선으로 각자 구현했습니다. 이력 적용 경로에 이전 실패·수정 기록을 제공했습니다.

004 · 접수부터 인도까지 A/B

같은 요청·입력·합격선으로 각자 구현했습니다. 이력 적용 경로에 이전 실패·수정 기록을 제공했습니다.

005 · 접수부터 인도까지 A/B

같은 요청·입력·합격선으로 각자 구현했습니다. 이력 적용 경로에 이전 실패·수정 기록을 제공했습니다.

006 · 접수부터 인도까지 A/B

같은 요청·입력·합격선으로 각자 구현했습니다. 이력 적용 경로에 이전 실패·수정 기록을 제공했습니다.

007 · 접수부터 인도까지 A/B

같은 요청·입력·합격선으로 각자 구현했습니다. 이력 적용 경로에 이전 실패·수정 기록을 제공했습니다.

008 · 접수부터 인도까지 A/B

같은 요청·입력·합격선으로 각자 구현했습니다. 이력 적용 경로에 이전 실패·수정 기록을 제공했습니다.

009 · 접수부터 인도까지 A/B

같은 요청·입력·합격선으로 각자 구현했습니다. 이력 적용 경로에 이전 실패·수정 기록을 제공했습니다. 두 경로의 경과 시간에는 설계·검증 작업이 아닌 대기 2시간 54분이 들어 있습니다(도구 사용 한도로 작업이 멈춘 시간과 클라우드 로그인 갱신을 기다린 시간).

010 · 접수부터 인도까지 A/B

같은 요청·입력·합격선으로 각자 구현했습니다. 이력 적용 경로에 이전 실패·수정 기록을 제공했습니다. 두 경로의 경과 시간에는 실행이 진행되지 않은 시간 6시간 53분이 들어 있습니다(작업 기록이 없는 공백 6시간 15분, 두 경로의 구현이 끝난 뒤 클라우드 로그인 갱신을 기다린 시간 38분). 첫 클라우드 실행의 실패와 그 진단·사전 시험 17분도 들어 있습니다. 기본 경로의 재시도 1회: 첫 지시 검사에서 SRAM 리셋 경고가 나와, 리셋 에지가 SRAM 활성 신호에 실제 전이를 만들도록 고쳤습니다. 공통 검증기 재시도(3회): 동결 뒤 공통 검증 실행기 수정 2회, 두 경로의 배선은 통과했으나 공통 포장 단계가 멈춰 경로 파일을 바꾸지 않고 다시 한 첫 클라우드 실행 1회. 공통 기준 생성 재시도(1회): 요청 동결 전 기준 생성 1회. 인도 검증 시각의 순서는 두 경로의 냉시동 확인을 함께 시작해서 생긴 것이라 A/B 요약에서 세지 않습니다(납품물 표 아래 메모).

공개 요약 JSON · 2026-11-14