[작성자:] gyuspapa@gmail.com

  • Ultrafast를 켜기 전에, 에이전트의 100초를 쪼개 보자

    에이전트가 코드를 고치고 테스트 결과를 가져오는 데 100초가 걸린다고 하자. 더 빠른 모델 처리 등급을 선택하면 이 대기 시간도 같은 비율로 줄어들까? 답을 찾으려면 먼저 그 100초 중 모델이 토큰을 만드는 시간이 얼마인지 알아야 한다.

    OpenAI는 9월 29일자 DevDay 발표에서 Astra Ultrafast의 API 토큰 생성 속도를 최대 6배로 소개했다. API 변경 기록이 규정한 변화는 생성되는 출력 토큰 사이의 간격을 줄이는 것이다. 검색, 테스트, 검증까지 끝내는 시간이 6분의 1이 된다는 발표는 아니다.

    선택 방법은 gpt-6-astra 요청에 service_tier="ultrafast"를 지정하는 것이다. 공식 사용 가이드상 API 사용자에게 열려 있지만 별도 처리량 제한이 있다. 지원 범위는 글로벌 처리와 미국 데이터 레지던시이며, EU 등 비미국 리전 처리 엔드포인트는 제외된다. 사용자의 국적이나 거주지가 아니라 요청의 데이터 처리 경로에 관한 조건이다.

    다만 현재 API 가이드 상단에는 Standard 대비 최대 8배로 적혀 있다. 9월 29일 발표의 API 6배와 다른데, 확인한 문서에는 차이를 설명할 측정 조건이 없다. 아래에서는 6배를 계산 가정으로만 쓴다.

    빨라지는 구간이 짧으면, 전체 대기도 조금만 줄어든다

    요청을 보내고, 입력을 처리하고, 출력을 생성하고, 도구의 결과를 기다리는 시간은 서로 다른 비용이다. OpenAI의 지연 최적화 가이드도 토큰 처리, 요청 왕복, 병렬 실행을 별개의 개선 수단으로 다룬다. 첫 토큰이 도착하는 시간과 필요한 결과가 완성되는 시간 역시 구분해야 한다.

    모든 단계가 순서대로 진행되는 단순한 작업을 생각해 보자. 총 100초 중 토큰 생성이 60초라면, 그 구간만 6배 빨라졌을 때 생성은 10초가 된다. 그대로 남는 40초를 더하면 완료 시간은 50초다. 생성이 원래 10초뿐이었다면? 90초는 그대로이고 생성만 약 1.7초가 되어, 총 91.7초가 걸린다.

    같은 6배 가속, 다른 완료 시간
    토큰 생성나머지 순차 구간

    생성이 60초인 작업 → 50초 완료

    기존 100초: 생성 60초 + 나머지 40초
    가속 후 50초: 생성 10초 + 나머지 40초
    완료 시간 50% 감소 · 전체 작업 속도 2배

    생성이 10초인 작업 → 약 91.7초 완료

    기존 100초: 생성 10초 + 나머지 90초
    가속 후 약 91.7초: 생성 약 1.7초 + 나머지 90초
    완료 시간 약 8.3% 감소 · 전체 작업 속도 약 1.09배
    온축 가정 계산·실측 아님. 작업량은 같고, 순차로 진행되는 토큰 생성 구간만 6배 빨라진다고 가정했다. 입력 처리·연결·도구 실행·검증 등 나머지 구간은 변하지 않는다. 막대의 빈 부분은 줄어든 시간이다.

    계산식은 ‘기존 생성 시간 ÷ 가속 배수 + 나머지 시간’이다. 다만 여러 에이전트나 도구가 동시에 움직이면 실행 시간을 모두 더해서는 안 된다. 최종 결과가 기다려야 하는 가장 늦은 의존 경로, 즉 임계 경로를 봐야 한다. 다른 긴 작업이 끝나기를 기다리는 동안 이미 마친 분기를 더 빨리 처리해도 최종 완료 시각은 달라지지 않을 수 있다.

    그래서 실제 도입 판단에는 출력 토큰 속도와 함께 ‘필요한 검증까지 끝난 시각’이 필요하다. 위 계산은 작업량을 고정한 설명일 뿐이다. 실제 실행에서는 출력 길이, 도구 선택, 재시도 횟수도 달라질 수 있으므로 완료 시간과 결과 품질을 함께 비교해야 한다.

    연결을 유지하는 일과 입력을 다시 계산하지 않는 일

    도구를 여러 번 호출하는 에이전트는 생성과 도구 실행 사이를 계속 왕복한다. 이 때문에 Ultrafast 가이드는 HTTP도 지원하면서, 잦은 도구 호출에는 지속적인 WebSocket 연결을 권한다. 생성 구간이 짧아질수록 요청 사이의 오버헤드가 상대적으로 눈에 띈다.

    WebSocket 모드에서는 연결을 열어 둔 채 새 입력과 previous_response_id를 보내 다음 턴을 이어간다. 활성 연결의 메모리에 남은 최근 응답 상태를 재사용할 수 있어 재개 비용이 줄어든다. 이는 토큰 한 개를 생성하는 속도와는 다른 부분을 개선한다.

    반면 프롬프트 캐시는 입력의 앞부분인 접두부를 처리하며 계산한 KV 상태를 재사용한다. 일치하는 캐시를 찾으면 같은 입력을 다시 계산할 필요가 줄어들지만, 새로 붙은 입력은 처리해야 한다. 저장된 답변 문장을 그대로 반환하는 기능이 아니다.

    이전 응답 ID를 넘겼다는 사실만으로 캐시 할인 적용을 판단할 수는 없다. 연결에 남은 응답 상태와 프롬프트의 KV 캐시는 역할이 다르다. 앞쪽 문맥을 유지하는 것은 재사용에 도움이 되지만, 실제 캐시 적중에는 접두부·설정의 일치와 사용할 수 있는 캐시가 필요하다.

    Standard는 예열하고, Ultrafast는 처음 불렀다면

    Standard로 같은 문맥을 여러 번 보낸 뒤 Ultrafast를 한 번 호출해 시간을 비교하면, 등급 차이에 캐시 상태 차이가 섞일 수 있다. 공식 캐시 진단 문서는 실제 처리 등급 변경을 기대한 접두부 재사용이 안 된 원인 중 하나인 service_tier_changed로 분류한다. 기존 캐시를 전부 지운다는 뜻은 아니다.

    따라서 등급별 첫 요청과 반복 요청을 나누어 비교하는 편이 낫다. 모델, 추론 강도, 도구 정의와 순서, 문맥, 전송 방식은 맞추고 각 등급에서 캐시를 준비한 뒤의 결과도 모은다. 운영 환경에는 첫 요청도 있으므로, 예열 뒤의 빠른 결과만 남기지는 않는다.

    요청한 값뿐 아니라 응답의 실제 service_tier를 확인하고, cached_tokens와 cache_write_tokens를 함께 기록하자. cache_hit여도 새 입력 처리분은 남을 수 있다. comparison_response_id는 원인 비교용이며 대화를 불러오거나 캐시를 바꾸지 않는다. 진단은 처음 분류한 원인만 보여주고 모든 미스를 설명하지는 못한다. 도구나 입력 변경도 살펴야 한다.

    6배의 단가로 사는 것은 어떤 기다림인가

    확인한 공식 가격표에서 Astra의 같은 컨텍스트 구간과 토큰 분류를 맞추면 Ultrafast 단가는 Standard의 6배다. 아래는 입력 272K 토큰 이하 요청에 해당하는 기본 단가다.

    Astra 기본 단가 · 100만 토큰당 미국 달러
    토큰 분류 Standard Ultrafast
    일반 입력 $10 $60
    캐시 읽기 $1 $6
    캐시 쓰기 $12.50 $75
    출력 $50 $300
    출처: OpenAI API 가격표. 한국시간 2026년 10월 6일 오전 8:05~8:08 문서 확인 중 관찰한 단가이며, 정확히 오전 8:03:57의 과거 가격을 확인한 자료는 아니다. 지역 처리 추가 요금과 별도 도구 사용료는 포함하지 않았다.

    캐시 쓰기 요금은 일반 입력 요금에 덧붙는 수수료가 아니다. 캐시 문서의 과금 설명에 따르면 해당 입력 토큰에는 일반 입력·캐시 읽기·캐시 쓰기 중 해당하는 단가를 적용한다.

    단가가 6배라는 사실과 성공한 작업 한 건의 총비용이 6배라는 말도 다르다. 실제 입력·출력 토큰 수, 캐시 읽기와 쓰기의 비중, 도구 사용료가 달라지기 때문이다. 속도 비교에서 캐시를 따로 본 이유가 비용 비교에서도 그대로 이어진다.

    Ultrafast의 유력한 적용 대상은 사람이 결과를 기다리고 있고, 그 대기의 큰 몫을 토큰 생성이 차지하는 작업이다. 외부 검색이나 테스트가 대부분이라면 먼저 그 긴 구간을 줄이는 편이 직접적이다. 더 빠른 토큰에 얼마를 낼지가 아니라, 성공한 작업 한 건을 얼마나 일찍 끝내기 위해 얼마를 더 낼지를 비교해야 한다. 출발점은 새 등급의 배수가 아니라 우리 에이전트의 100초다.

    이 글은 9월 29일 발표를 다시 살펴본 후속 해설이다. 사건 선정 기준은 한국시간 2026년 10월 6일 오전 8:03:57, 현재 문서 확인은 그 이후인 오전 8:05~8:08이다. 발표의 정확한 시각·시간대와 각 문서의 수정 시각은 확인되지 않았다. 제품 벤치마크를 실행하지 않았으며, 시간 막대는 온축이 독립적으로 구성한 가정 계산이다.

  • PiHarness가 에이전트를 다시 깨울 때, 티켓도 다시 만들어질까

    에이전트가 고객 문의를 읽고 외부 서비스에 지원 티켓을 하나 만들었다고 해보자. 서비스는 생성을 마쳤지만, 반환된 티켓 번호를 에이전트가 저장하기 직전에 프로세스가 죽었다. 다시 켜진 에이전트에게 남은 것은 아직 끝나지 않은 도구 호출이다.

    그 호출을 다시 실행하면 티켓이 두 개 생길 수 있다. 그렇다고 무조건 멈추면 오래 걸리는 일을 맡긴 의미가 줄어든다. 이 사이에서 Pi Durable과 Cloudflare PiHarness가 어떤 정보를 보존하고, 어떤 판단을 애플리케이션에 남기는지 살펴보자.

    Cloudflare는 10월 2일자 공식 변경 기록에서 PiHarness 베타를 공개했다. 함께 쓰는 Pi Durable은 Earendil이 10월 1일자로 발표한 실험적 패키지다. 두 발표는 에이전트를 오래 실행하다 끊겼을 때 하던 일을 이어가는 방법을 다룬다.

    사람이 이어주던 일을 런타임이 이어받는다

    Earendil이 출발점으로 삼은 것은 사람이 터미널에서 쓰는 Pi 코딩 에이전트였다. 프로세스가 죽으면 사람이 상황을 보고 계속하라고 지시할 수 있다. 여러 화면과 사용자가 접근하는 장기 실행 애플리케이션에는 그 역할을 맡을 기반이 필요하다. Pi Durable은 이를 위해 대화 저장, 모델 호출, 도구 실행을 관리하는 하네스를 제공한다. 기존 코딩 에이전트를 대체하기보다 이런 애플리케이션을 만들기 위한 프레임워크라는 것이 개발진의 설명이다.

    저장 대상은 채팅 기록보다 넓다. Pi Durable의 작업 모델에서 모델 호출과 도구 호출은 각각 상태를 가진 작업이다. 작업은 다음 단계로 넘어가기 전에 체크포인트를 남긴다. 다시 시작한 프로세스는 같은 저장소를 열고 미완료 작업을 찾아 마지막 저장 단계에서 진행한다. 이미 받은 질문과 대답을 다시 읽는 데서 그치지 않고, 어떤 일이 아직 끝나지 않았는지도 복원하는 셈이다.

    기록이 남아 있어도, 코드는 누군가 깨워야 한다

    Cloudflare 문서는 PiHarness의 연결 지점을 저장과 깨우기 두 가지로 나눈다. 대화 기록·입력 대기열·작업은 Durable Object의 SQLite에 둔다. 반면 다음 작업을 실행하는 Pi의 스케줄러는 메모리에 있다. 실행 인스턴스가 메모리에서 내려가면 스케줄러도 사라진다. 저장소가 남아 있다는 사실만으로 코드가 다시 돌지는 않는다.

    그래서 PiHarness는 진행 중인 세션에 Lifecycle 작업을 등록한다. 알람이 새 실행 기회를 만들면 Pi가 저장소를 다시 열어 일을 잇는다.

    Lifecycle의 작업 큐 설명에는 한 단계가 더 있다. 실행할 함수와 시각을 큐에 보관하고, 작업을 돌리기 전에 재기동을 위한 알람부터 설정한다. 실행 도중 인스턴스가 죽어도 다음 알람이 남도록 한 순서다. 저장된 작업이 어디서 이어갈지를 알려준다면, 이 알람 경로는 다시 실행될 계기를 남긴다.

    다시 이어간다는 말에는 재호출도 들어 있다

    복구는 멈춘 JavaScript 호출 스택을 그대로 되살리는 방식이 아니다. Earendil의 장애 복구 설명에 따르면 끊긴 모델 요청은 다시 보낸다. 저장된 부분 답변은 중단된 것으로 표시해 대화에 남긴다. 마지막 토큰 다음부터 같은 응답이 이어진다고 생각하면 실제 동작을 잘못 예상하게 된다.

    도구에는 별도의 갈림길이 있다. 재실행 정책 문서에서 replay: "safe"는 중단된 호출을 다시 실행해도 안전하다는 개발자의 선언이다. 조회나 검색처럼 두 번 실행해도 문제가 없는 도구에 쓸 수 있다. 기본값인 unsafe는 복구 시 자동 재실행을 하지 않고 모델에 중단 결과를 돌려준다. 그러면 모델이 다음 행동을 정한다.

    티켓은 있지만, 완료 기록은 없는 순간
    1. 1 · 에이전트 저장소도구 실행 의도 저장아직 완료되지 않은 작업
    2. 2 · 외부 서비스티켓 생성 완료외부에는 변경이 남음
    3. 3 · 장애 발생티켓 번호 저장 전 종료에이전트 쪽 결과 미확인
    4. 4 · 다시 실행미완료 도구 호출 발견재실행 정책에 따라 분기

    safe중단된 호출 자동 재실행

    unsafe · 기본값중단 결과를 모델에 전달

    Pi 문서·명세를 바탕으로 온축이 구성한 가상 사례. 실제 실행 결과가 아니다.

    여기서 중단 결과는 “외부 티켓이 만들어지지 않았다”는 확인서가 아니다. 이 예에서는 이미 만들어졌다. 또 자동 재실행을 건너뛴다고 모델이 나중에 새 생성 요청을 하지 못하는 것도 아니다. 따라서 생성 도구를 unsafe로 두는 것만으로 이 문제의 처리가 끝나지는 않는다.

    입력의 중복과 외부 변경의 중복은 따로 막는다

    클라이언트가 응답을 받지 못해 같은 질문을 다시 보내는 경우도 생각해보자. PiHarness의 입력 접수 API는 같은 세션에서 같은 operationId로 재요청하면 기존 작업을 돌려준다.

    Pi Durable 자체의 대응 API에서는 requestId라는 이름을 쓴다. 같은 대화에서 입력을 두 번 접수하지 않게 하는 기능이다. 이 ID가 외부 티켓 서비스에 자동으로 전달되어 중복 생성을 막는다는 뜻은 아니다.

    Pi Durable 명세의 ‘의도·실행·결과’ 예제는 먼저 키를 저장하고, 그 키로 중복 실행을 막는 외부 API를 호출한 뒤 결과를 저장한다. 복구해도 같은 키를 쓴다. 매번 새 키를 만들면 외부에서는 새 작업으로 받아들일 수 있다.

    티켓 서비스에도 키의 범위와 유효기간 안에서 중복 방지를 지원하는 기능이 있어야 한다. 지원하지 않는다면 이미 생성됐는지 조회해 결과를 맞추는 절차가 필요하다. 에이전트 쪽 완료 기록이 없다는 이유만으로 새 티켓부터 만들 수는 없다.

    처음 맡길 일의 성격이 보인다

    이 복구 방식을 처음 적용한다면 검색·조회·분석 중심의 장기 실행 보조가 자연스럽다. 작업을 안전하게 반복할 수 있고 외부 변경을 확인하는 부담도 작기 때문이다. 티켓 생성이나 발송까지 맡기려면 도구별 재실행의 의미와 결과 확인 절차를 함께 설계해야 한다. 이는 문서를 바탕으로 한 적용 판단이다.

    현재 PiHarness는 베타이고 API도 바뀔 수 있다. 이 글은 공개 문서와 명세를 읽어 설명한 것으로, 직접 장애를 주입하거나 운영 환경의 복구를 검증한 결과는 아니다.

    이번 연결에서 Pi는 이어갈 작업을 기록하고, Cloudflare는 다시 실행될 통로를 붙인다. 저장과 재기동을 함께 다룬다는 점이 오래 실행되는 에이전트를 만들 개발자에게 유용하다.

    이 사례의 복구는 이미 만들어진 티켓을 찾아 작업 결과와 연결하는 데서 마무리된다.

    기준 시각: 한국시간 2026년 10월 5일 오전 7:56:23 (KST). 발표일은 각 원문의 날짜 표기이며, 공개 시각·시간대가 없어 한국시간의 발표 시각으로 환산하지 않았다.

  • Claude Code Mods, 실행 전 검토를 도구 안으로 가져오다

    AI·IT 기술 동향 · 2026년 10월 4일

    명령을 잠시 붙잡고 변경 대상을 보여준 뒤 개발자의 결정을 기다린다. Anthropic의 Claude Code Mods 가이드가 제시한 예제다. 모드(Mods)는 세션 안에서 실행되는 JavaScript·TypeScript 코드로, 도구 호출과 화면을 함께 바꾼다.

    검토 창에서 ‘진행’을 고르는 것과 플랫폼이 실행을 허용하는 것은 다르다. 검사 코드가 고장 났을 때도 차단이 유지될까.

    지시문을 더하는 대신, 세션에 코드를 남긴다

    한 번 로드된 모드는 상태를 유지하며 세션에 머문다. 공식 예제는 컨텍스트 사용량과 편집 내역을 보여주는 화면을 만든다.

    도구를 막는 능력이 이번에 처음 생긴 것은 아니다. 설정 파일에 등록하는 기존 훅(settings hook)도 호출을 중단하거나 인자와 결과를 바꿀 수 있었다. 공식 비교 문서에서 Mods가 더하는 것은 세션 내부의 함수와 UI다. 모델이 읽을 지침은 skill, 외부 도구 연결은 MCP, 이벤트마다 정해진 검사를 수행하는 일은 기존 훅으로도 다룰 수 있다.

    이벤트 함수는 next(e)로 다음 처리기에 넘기거나, 입력을 고쳐 넘긴다. next 없이 결과를 반환하면 이후 처리를 끝낸다. 도구 호출에서 거부를 반환하면 명령은 실행되지 않고 모델이 사유를 받는다.

    Blast Radius 예제는 Bash 명령의 문자열을 분류해 위험한 작업에 해당하면 호출을 보류한다. git status나 dry run으로 영향을 조사하고, 보고서와 Proceed·Cancel 버튼을 보여준다. 취소하면 거부 사유를 반환하고, 진행을 고르면 다음 처리로 넘긴다. 별칭이나 다른 스크립트 안의 작업까지 모두 찾아내는 구조는 아니다.

    이 설계의 이점은 조사 결과와 결정할 시점을 한곳에 모은다는 것이다. 개발자가 명령의 영향을 따로 알아보러 작업 흐름을 벗어날 필요를 줄인다.

    Proceed는 권한을 주는 버튼이 아니다. next 이후에도 권한 검사는 남는다.

    검사 코드가 실패하면, 어디로 이어지는가

    오류 처리 규칙상 별도 .catch가 없는 훅이 next 호출 전에 예외·시간초과로 실패하면, Claude Code는 그 훅을 건너뛴다. 다음 처리기와 권한 검사가 허용한다면 원래 명령이 실행될 수 있다. 반면 next가 이미 완료된 뒤 훅이 실패하면 기존 결과를 유지하고, 같은 작업을 다시 실행하지 않는다.

    모드의 호출 훅에 도달한 뒤
    거부 결과를 반환다음 처리로 넘기지 않음도구 실행 중단
    next로 넘김다음 처리기·권한 검사허용될 때 실행
    next 호출 전 실패오류 처리기 없으면 훅 건너뜀다음 처리기·권한 검사로
    앞선 관리 훅에서 차단되지 않은 호출의 개념도. 조직의 관리 설정에 있는 PreToolUse 차단은 모드보다 먼저 적용된다. 권한 규칙과 이벤트 규칙을 바탕으로 온축이 재구성했다.

    문서는 훅에 .catch를 붙여 예외·시간초과 때 거부를 반환하도록 제안한다. 오류 시 차단은 별도로 구현해야 한다. 이 오류 처리기에도 별도의 1초 실행 제한이 있다. 차단용 모드라면 UI 표시 외에 예외·시간초과 때의 반환 결과도 검사해야 한다.

    Claude의 도구 권한과, 모드 코드의 권한

    먼저 Claude의 도구 호출 경로다. 조직이 배포한 관리 설정의 PreToolUse 훅이 차단하면 모드보다 먼저 결정되고, 모드가 이를 뒤집을 수 없다. 반면 tool.check를 다루는 모드는 확인을 요구하는 ask 규칙이나 관리 설정 밖의 PreToolUse 차단 결과를 허용으로 바꿀 수 있다. 공식 권한 문서는 이 차이를 명시한다.

    deny 우선순위는 환경에 달렸다. 내장 보안 모드 sec-default는 기기에 관리 설정이 있거나 Team·Enterprise로 로그인한 경우 기본 적용돼, 사용자 모드보다 deny 규칙을 우선한다. 조직이 deny 재정의를 허용하면 달라진다. 관리 설정에서 prependPlugins를 직접 지정할 때는 기본 목록이 대체되므로 sec-default@builtin을 포함해야 한다. API 키·외부 클라우드 인증에는 관리 설정이 있어야 이 보호가 적용된다.

    이 보호 조건 밖에서는 모드가 deny 규칙으로 거절된 도구 호출도 허용할 수 있다. 그러므로 “모드 뒤에 권한 검사가 있다”는 말과 “모드가 권한 판단을 바꿀 수 없다”는 말은 같지 않다.

    모드 자신의 파일·프로세스 API에는 이 도구 호출 규칙이 적용되지 않는다. 관리자 문서는 Read(.env)를 금지해도 모드가 $.fs.read로 그 파일을 읽을 수 있다고 설명한다. Read 도구 차단은 파일 자체의 접근 차단이 아니다. 모드 자체 작업을 제한하려면 로드를 막거나, 그 API 호출을 검사하는 정책 모드가 필요하다.

    가이드의 ‘sandbox’는 모듈 실행 환경에서 DOM·Node를 직접 쓰지 못하고 외부 작업에 $ API를 거친다는 제약이다. 그러나 접근 범위 문서는 모드가 사용자 권한으로 실행되며, 모드가 띄운 프로세스는 Claude의 Bash 샌드박스 밖에 있다고 설명한다. 언어 실행 환경의 제약을 운영체제 수준의 격리로 받아들이면 안 된다.

    화면 뒤에서 무엇을 실행하는가

    claude plugin validate는 코드를 실행하지 않고 받는 이벤트(hooks)와 호출하는 API(calls)를 보여준다. 파일 읽기·프로세스 실행이 있다면, 그 접근이 모드의 목적에 필요한지 코드와 함께 살펴볼 수 있다.

    claude plugin test는 다른 단계를 검증한다. 테스트에서 이벤트를 발생시켜 실제 모드 훅을 실행하되, 뒤에서 Claude Code가 돌려줄 응답은 stub으로 공급한다. 따라서 허용·취소·오류 분기는 검사할 수 있지만 실제 모델·도구·네트워크가 동작한 결과는 아니다. UI 트리 검사 역시 실제 화면 렌더링과 구분해야 한다.

    정적 목록·stub 테스트 통과는 실제 환경 검증이 아니다. 권한 설정과 화면은 별도로 확인해야 한다.

    화면을 붙이는 기능을 평가할 때는 실행 환경도 맞춰야 한다. 공식 지원 범위상 Mods는 v2.1.287 이상에서 기본 활성화되며, 모드 UI는 터미널과 데스크톱 앱의 Code 탭에 표시된다. 데스크톱 WSL 세션은 예외다. VS Code 채팅 패널·비대화형·클라우드 세션에서는 같은 UI가 표시되지 않는다.

    Mods는 판단할 정보를 실행 흐름에 붙인다. 그 편의를 받아들이는 팀은 화면 하나와 함께 실행 주체 하나를 더 검토해야 한다.

    이 글은 한국시간 2026년 10월 4일 아침 확인한 공식 문서와 예제를 해설했다. 직접 설치·실행한 테스트나 사고 감소·생산성 효과의 실측 결과는 없다.

    개발사 가이드의 게시일 표기는 2026년 10월 1일이며, 시각·시간대는 공개되지 않았다.

  • ChipMEM의 기억은 왜 두 갈래인가

    RTL · AGENT MEMORY

    검증을 마친 실행의 절차와, 진행 중인 호출 통계를 구분한다

    합성이 실패한 뒤 같은 명령을 다시 돌리는 에이전트와, 이전 설계에서 통했던 수정을 새 RTL에 그대로 적용하는 에이전트. 둘 다 경험을 잘 활용하지 못하지만 필요한 처방은 다르다. 앞의 에이전트에는 재시도 방향을 바꿀 단서가, 뒤의 에이전트에는 경험을 가져와도 되는 조건이 필요하다.

    ChipMEM은 반복 경험을 새 태스크로 옮기려는 이중 메모리 연구다.

    통과한 결과에서 절차를 남긴다

    공개 구현은 태스크 원본 파일의 임베딩으로 유사 태스크의 SKILL.md를 찾는다. skill 문장·생성 결과·숨은 테스트는 검색 키에서 제외한다.

    논문에서 PPA는 합성·동등성·개선을, CVDP는 숨은 simulation·coverage·mutation 검사를 통과해야 skill을 남긴다.

    판정은 원본 태스크에 묶인다. 검증 대상은 최종 산출물이다. skill 문장 전체가 후속 설계에도 맞는지 증명하지는 않는다.

    논문의 priority encoder 예시는 case·threshold 변환으로 매핑 면적이나 전력이 늘자, 기존의 간결한 표현을 유지하라는 교훈을 남긴다.

    이런 조언을 받아도 새 설계의 bit width와 우선순위 규칙까지 같아지는 것은 아니다. 비슷한 RTL이라는 이유만으로 이전 판단을 승인해 버리면, 검색 정확도가 높아질수록 잘못된 확신도 더 자주 재사용할 수 있다. 경험은 후보를 고르는 데 쓰고, 이번 결과의 동등성은 이번에 확인해야 한다.

    갱신 시점이 다른 두 메모리

    실행 중 · 통계 메모리
    완료된 도구 호출
    성공·실패 집계
    다음 행동에 복구 조언
    실행 후 · 절차형 메모리
    최종 산출물 평가
    PASS일 때만 새 skill
    다음 태스크에서 검색
    공개 코드의 동작 규칙을 재구성한 도식. 최종 태스크가 실패해도 도구 호출 통계는 남는다.

    실패한 호출도 기억한다

    명령·직전 오류·재시도 횟수별 성공 추정값은 표본이 적으면 넓은 통계로 보완한다. 같은 종류의 호출이 실패한 뒤 재시도 성공 추정값이 0.20 미만이면 조언한다. 복구 이력과 planner로 유효한 계획을 만들면 제안하고, 아니면 경고만 보낸다. 선택된 호출은 그대로 실행된다.

    예를 들어 라이브러리를 찾지 못했다는 메시지와 RTL syntax 오류를 받았다고 하자. 둘 다 합성 실패지만 바로 같은 RTL 수정을 시도할 이유는 없다. 먼저 어떤 호출이 어떤 오류를 냈는지 구분해야 한다. 이 예는 논문의 특정 실행을 재현한 것이 아니라, 오류별 이력이 필요한 이유를 보여준다. 오류 이름만으로 근본 원인까지 확정해서도 안 된다.

    따라서 도구 재시도의 성공 추정값과 설계의 정확성 판정은 서로 다른 자리에 놓여야 한다. 도구가 끝까지 실행됐다는 사실은 측정할 결과를 얻었다는 뜻일 수 있다. 그 결과가 원래 기능을 지키는지, 목표를 개선했는지는 별도 평가가 답해야 한다. 두 경로를 합쳐 하나의 ‘자신감 점수’로 만들면 이 구분이 사라진다.

    39개 통과와 39개 개선은 다르다

    RTLRewriter-Bench · 동등성 통과 출력 수

    35/54 → 39/54. 동등성 통과 출력에는 변경하지 않은 RTL도 포함한다. 59개에서 zero-cell 5개를 제외한 집계다.

    short 49개의 평균 면적 개선율은 5.66%→8.69%였다. 합성 매핑 면적 평가이며, 같은 조건의 downstream 전력·타이밍은 측정하지 않았다.

    고정된 절차형 라이브러리의 CVDP 평가는 20개 held-out 태스크에서 한 차례씩 진행해 18/20→20/20이었다. checker는 8/10→10/10, stimulus는 양쪽 모두 10/10이었다. held-out PPA 36개는 평가 중에도 라이브러리가 늘어났다.

    계속 늘어나는 라이브러리에는 평가 도중의 학습 효과도 섞인다. 따라서 두 결과를 같은 전이 능력으로 읽을 수 없다. 개별 skill의 기여는 별도 시험이 필요하다.

    공개된 것은 메모리 계층이다

    GPT-5.5 실험은 비공개 Cadence ChipStack 2.0 agent를 사용했다. 공개 저장소에는 그 agent·prompt·상용 설정, 원자료와 학습된 메모리가 없다. 바로 전체 실험을 재현할 수 있는 배포본은 아니다.

    HELIX에서 시험한다면 먼저 기존 spec·SystemC·RTL 비교가 내리는 판정을 그대로 두고, 그 옆에 이 메모리 계층을 붙이는 방식이 적절하다. 모델·도구 예산과 태스크 순서를 고정한 memory on/off 비교를 만들고, 새 태스크를 평가할 때는 절차형 라이브러리를 잠가 두는 것이다. 실제 연동과 효과가 확인된 제안은 아니며, 별도 구현·평가가 필요하다.

    기억을 붙이는 실험의 성공 기준은 ‘조언을 잘 불러왔는가’에서 끝나지 않는다. 그 조언을 받은 새 설계가 기능을 지키며 나아졌는지까지 물어야 한다. 다음 에이전트가 이전 경험을 물려받아도, 이번 설계의 검증 책임은 그대로 남는다.

    논문 v1은 한국시간 2026년 9월 23일 06:03에 제출됐다(9월 22일 21:03 UTC). 이 글은 한국시간 10월 3일 10:17까지의 근거를 기준으로 작성했다.

    근거: AlRabah 외, ChipMEM v1 · 공개 코드 확인본

    논문과 공개 구현을 읽어 분석했다. 벤치마크 재실행 결과가 아니며, 도식과 적용 제안은 ONCHUK의 설명·분석이다.

  • EDA 에이전트가 설계 반복을 맡는 방식

    AGENTIC EDA / WEEKLY

    검증 결과를 읽고, 원인을 좁히고, 다음 작업을 고른다. 이번 주 발표는 이 과정을 에이전트에게 맡기려 한다. 실행 권한과 검증 근거는 어떻게 나뉘는지 살펴본다.

    자료 기준 · 2026년 10월 2일 22:02 KST
    개별 발표일은 원문 날짜 기준

    RTL을 고쳐 면적은 줄었는데 regression이 깨졌다. 다음 할 일은 면적을 더 줄이는 것일까, 실패 원인을 좁히는 것일까. 도구는 결과를 내놓지만, 그 결과를 읽고 다음 작업을 고르는 일은 남는다.

    툴 호출을 이어 붙이는 것보다 한 단계 더

    Synopsys의 AgentEngineer·Autopilot 발표는 여러 단계를 이어가는 에이전트와 개별 작업 에이전트를 함께 제시한다. 기반 플랫폼에는 재사용 스킬, 지속 메모리, 실행 관측 정보와 접근 통제가 들어간다. 이전 작업의 맥락을 다음 판단에 쓰겠다는 구성이다. 내부 메모리 방식은 공개문만으로 알 수 없으며, 제품 제공은 2026년 말로 예정돼 있다.

    Cadence의 설명은 실행과 측정 뒤에 진단을 둔다. 실패 로그는 원인을 좁힐 단서이고, 에이전트는 그 근거로 다음 작업을 고른다. EDA 도구는 설계 결과를 검사하며, 실행 환경은 행동의 허용 여부를 통제한다. 후보를 고르는 내부 알고리즘까지 공개한 것은 아니다.

    설계 결과가 다음 수정으로 돌아오는 경로
    엔지니어가 정한 목표·제약·판정 기준기능 요구, PPA 목표, 검증 속성과 가정
    실행 권한 경계 · 허용된 파일·네트워크·작업 범위
    결과·원인 검토로그·반례·측정값으로
    원인 가설 점검
    다음 작업 선택진단에 따라
    계획 조정
    선택한 작업 실행필요한 수정
    EDA 검사
    ↶ 새 결과를 다시 진단
    발표를 재구성한 개념도이며 직접 실행한 결과가 아니다. 근거: Cadence의 설계 반복 구조, OpenShell의 실행 경계.

    접근 정책의 증명과 RTL의 검증은 대상이 다르다

    OpenShell 기술 문서에서 중요한 부분은 제어가 에이전트 프로세스 바깥에 있다는 점이다. 파일·네트워크 제한은 생성 코드와 하위 프로세스에도 적용된다. Policy Prover는 모델링된 접근 권한이 운영자가 정한 범위를 넘는지 확인한다. 검사 대상은 허용된 행동의 범위이며, RTL이 스펙대로 동작하는지는 아니다.

    NVIDIA의 같은 날 발표도 OpenShell 소프트웨어와 BlueField-4 기반 Sentry 참조 시스템을 구분한다. 전자는 공개 제공 상태이고, 후자는 에이전트 실행 환경 밖에서 감시·통제하는 별도 구성을 제시한다. 소프트웨어를 받을 수 있다는 사실만으로 특정 EDA·하드웨어 조합의 실전 검증까지 끝났다고 볼 수는 없다.

    직접 구성한 설명 예시 · 특정 제품에서 관찰한 결함이 아님

    대기 상황을 없애면, 대기 중 오류도 보이지 않는다

    출력 측 인터페이스가 valid=1, ready=0인 동안 데이터를 유지해야 한다고 하자. 그런데 검증 가정이 매 클록 샘플링 시점에 ready=1만 허용하면, 대기 상황 자체가 나타나지 않는다. “대기 중 데이터 유지” 속성이 통과해도 그 동작을 확인한 것은 아니다.

    이때는 대기 조건에 도달할 수 있는지 cover로 확인하고 가정을 살펴야 한다. 이는 Cadence가 설명한 과도한 제약과 도달 가능성 검사를 단순화한 예다. 링크는 2011년 검증 방법론 자료이며 최신 제품의 성능 근거로 쓰지 않았다.

    에이전트가 RTL과 검증 환경을 모두 고칠 수 있다면 “수정 후 통과”의 의미부터 분리해야 한다. 회로가 나아졌는지, 검사 조건이 달라졌는지 기록이 필요하다. 승인된 속성과 가정은 별도로 버전 관리하고, 에이전트가 새 속성을 제안하면 그 변경도 검토하는 구성이 합리적이다. 실행 권한을 제한하는 것과 판정 기준의 의미를 지키는 것은 함께 필요한 작업이다.

    30%와 24%를 같은 성능표에 놓을 수 없는 이유

    발표에 실린 수치는 자동화가 노리는 작업을 보여준다. 다만 코드 생성 작업의 생산성과 회로 면적은 서로 다른 측정값이다. 무엇을 분모로 삼았는지부터 맞춰야 한다.

    9월 28일 · Synopsys 발표 속 Fujitsu 보고
    10–30%
    RTL 코드 생성 작업의 생산성 향상

    SystemVerilog assertion, 래퍼·파라미터화 모듈 생성과 리팩터링에서 보고한 결과다. 공개문에는 세부 측정 방법과 표본이 없다.

    Fujitsu 발언 원문
    9월 22일 · Cadence 초기 평가
    24% · 18%
    평균 면적 · 전력 감소

    비교 기준은 기반 모델만으로 생성한 RTL이다. 숙련 엔지니어가 최적화한 RTL이나 다른 EDA 제품과의 비교가 아니다.

    RTL Generation Agent 발표

    Cadence는 스펙에서 RTL을 만들거나 기존 RTL을 바꾸는 과정에 구현·검증 엔진을 결합한다고 설명한다. 따라서 이 PPA 수치는 EDA를 결합한 생성·수정 흐름과 모델 단독 생성의 차이다. 함께 제시한 “100% 기능 정확도”는 평가 회로와 오류 판정 범위가 공개되지 않은 초기 평가 주장이다. 해당 확장 기능의 조기 접근은 2026년 4분기 일부 고객 대상으로 예정돼 있다.

    자기 팀에서는 같은 블록과 기능·타이밍 조건으로 비교해야 한다. 사람의 개입이 줄어도 EDA 실행량은 늘 수 있다. 작업 시간, 도구 사용량, 최종 PPA를 따로 기록해야 얻은 효과가 보인다. 현재 수치만으로 전체 일정 단축률이나 제품 순위를 계산할 수는 없다.

    에이전트의 성과는 마지막 코드만으로 판단할 수 없다. 어떤 근거로 수정했고, 무엇을 그대로 지켰으며, 같은 기준을 만족하는 결과까지 얼마나 적은 개입으로 도달했는가. 이 기록이 남아야 설계 반복의 자율성을 실제 생산성으로 평가할 수 있다.

    공개 원문 기반 기술 해설 · 제품 성과와 제공 일정은 발표 주체의 설명
  • RTL을 못 만든 걸까, 스펙을 잘못 읽은 걸까

    논문 읽기 · 스펙 해석과 RTL 검증

    SpecRead가 스펙 해석을 따로 평가하는 방법, 그리고 정상 RTL 대조군이 드러낸 맹점.

    2026.10.03SpecRead · arXiv 사전공개 논문기술 해설

    생성 RTL이 실패했다. 스펙 해석이 틀렸는지, 구현이 틀렸는지 알 수 있을까. SpecRead는 이 구분에서 출발한다.

    모델은 RTL을 생성하지 않고, 발췌문에서 답과 근거를 낸다. 스펙 해석을 RTL 구현 능력과 별도로 묻는다.

    공개 문항은 네 갈래다.

    • TYPE 1발췌문에서 값 찾기
    • TYPE 2여러 조항을 연결해 답하기
    • TYPE 3변형한 스펙에서 모순 찾기
    • TYPE 4스펙과 RTL의 일치 여부 판단하기

    ‘가득 찼을 때’가 빠지면
    정상 수신도 오버플로가 된다

    OpenTitan UART의 수신 동작은 유효한 바이트를 RX FIFO에 넣는다. 여유 공간이 있을 때의 정상 경로다. 반면 rx_overflow 규칙에는 ‘FIFO가 가득 찬 상태에서 추가 쓰기 요청을 받으면’이라는 조건이 붙는다. 그때는 인터럽트를 발생시키고 해당 문자를 버린다.

    문항에는 오버플로 규칙과 바이트를 FIFO에 넣는 수신 설명이 함께 주어진다. 두 문장을 연결하면, 조건이 빠진 규칙이 정상 수신까지 오류로 취급한다는 모순이 드러난다. ‘rx_overflow’라는 이름을 찾아내는 것과, 그 신호가 언제 발생해야 하는지 이해하는 것은 다르다.

    OpenTitan RTL의 버그가 아니다. Type 3은 변형된 문서의 모순을, Type 4는 스펙과 코드의 관계를 묻는다.

    모델이 시뮬레이션하는 실험은 아니다

    Type 4는 저자가 만든 변이 문항을 모델이 읽고 판정하는 실험이다.

    TYPE 4 · 문항 제작과 모델 평가

    문항은 저자가 만들고,
    모델은 판정한다

    저자의 문항 제작

    RTL 변경원본과 변이 비교
    동작 차이 확인시뮬레이션으로 선별
    정답 근거 작성스펙 조항과 연결

    모델 평가 변이 + 정상 대조군

    주어진 입력스펙·RTL 발췌문
    모델의 답일치 여부와 근거
    채점준비된 정답과 비교

    채점기는 판정·근거 위치·오류 범주를 구분한다.

    제작 방법·채점 코드를 재구성. 모델은 시뮬레이션을 실행하지 않는다.

    스펙이 정하지 않은 동작도 달라질 수 있다. 파형 차이 외에, 변경이 어긴 조항이 필요하다.

    또 하나, 공개 RTL 입력에는 변경 줄에 MUTATED 주석과 위치를 붙인 문항이 다수 있다. 위치를 알려 주지 않은 설계에서 버그를 찾아내는 시험으로 읽어서는 안 된다. 표시된 변경이 스펙과 어떤 관계인지 설명하는 과제에 가깝다.

    65.6%

    논문이 보고한 Ministral-3B의 Type-4 판정·위치 정답률
    변이 96건 중 63건 · 보수적 채점

    이때 ‘위치가 맞다’는 점수도 의미를 알아야 한다. 채점 코드는 정답 위치의 특징적인 토큰이 응답 전체에 얼마나 들어 있는지 본다. 애매한 중첩이나 지나치게 넓은 인용은 보수적으로 오답 처리한다. 응답의 근거를 사람이 읽고 설계 의도까지 검증한 비율은 아니다.

    정상 RTL을 통과시킬 수 있는가

    변이 문제만으로는 이 질문에 답할 수 없다. 41개 RTL 대조군은 제시된 스펙 발췌문과 일치하는 코드다. 여기서 ‘정상’은 그 요구사항과 일치한다는 뜻이지, 설계 전체에 결함이 없다는 보증은 아니다.

    공개 응답에서 위반으로 분류된 답을 집계해, 두 집단을 나란히 놓아 보자.

    MINISTRAL-3B · 공개 응답의 이진 판정 재계산

    위반이 있어도, 없어도 울린 경고

    위반을 넣은 RTL

    95 / 96건
    위반 탐지99.0%에 경고

    스펙과 일치하는 RTL

    41 / 41건
    오탐100%에 경고

    균형 정확도

    49.5%

    위반 탐지율과 정상 통과율의 평균

    (95/96 + 0/41) ÷ 2

    위반 클래스의 F1

    81.9%

    탐지·오탐·누락으로 계산

    2 × 95 ÷ (2 × 95 + 41 + 1)

    근거: 변이 문항 응답, 대조군 응답, 이진 판정 코드. 위치 정답 여부와 별개로 계산했다. 모델을 다시 실행한 결과가 아니다.

    F1이 높은 것은 정상 판정까지 잘했기 때문이 아니다. 위반 사례가 더 많은 이 구성에서 거의 전부 경고하면 재현율이 높아진다. F1도 오탐에 벌점을 주지만, 정상 통과 건수는 식에 직접 들어가지 않는다. 균형 정확도는 위반 탐지율 약 99%와 정상 통과율 0%를 같은 비중으로 반영한다. 두 수치는 서로 다른 질문에 답한다.

    변이의 나머지 1건은 응답이 잘려 위반으로 분류되지 않았다. 명시적인 정상 판정은 아니다.

    사람은 버그 후보를 검토하고 버릴 수 있다. 자동 리뷰어가 경고만으로 수정을 시작한다면 정상 코드도 수정 대상이 된다. 위치 점수만으로 맡길 수 없는 역할이다.

    생성 성적표 옆에 필요한 질문

    실험은 한 3B 모델과 OpenTitan에 한정된다. SpecRead 점수가 RTL 생성 성공률을 예측하는지도 아직 측정하지 않았다.

    그래도 실패를 진단할 질문은 선명해졌다. 요구사항을 해석했는가, 그 요구를 구현했는가. 서로 다른 시험으로 물어야 한다.

    의심스러운 줄을 찾았다는 답만으로는 부족하다. 그 줄이 어떤 조건에서 어떤 요구를 어기는지 설명하고, 어긴 것이 없다면 그대로 둘 수 있어야 한다.

  • BEHAVE가 바꾸는 RTL의 정답 기준

    RTL · 참조 모델 · 검증

    허용된 latency 차이와 기능 오류는 어디서 갈리는가. 입력이 받아들여진 순간부터 출력이 대응되는 순간까지, 비교기가 보존해야 할 의미를 따라가 본다.

    ONCHUK 기술 해설 · 2026.10.03arXiv:2609.34785v1

    참조 RTL과 매 사이클 출력을 대조하면, 스펙이 허용한 다른 latency도 실패로 처리할 수 있다. BEHAVE는 이 문제를 기능 참조 모델로 푼다.

    트랜잭션으로 기대값을 계산하는 방식 자체는 익숙하다. UVM의 scoreboard도 입력 트랜잭션을 참조 모델에 넣고, 예측한 출력과 실제 출력을 비교한다. 모니터는 인터페이스 신호를 트랜잭션으로 복원한다.

    BEHAVE-Sim은 실제 수락된 입력과 순서, 리셋 같은 이벤트를 과제별 규칙으로 해석해 골든 Behavior 모델에 전달한다. 설정 적용 시점도 과제가 정한다. 모델이 만든 기대 출력과 RTL 출력을 대응시키되, 프로토콜·시간 제약은 별도 모니터로 검사한다. Behavior IR은 이 기능을 실행 가능한 형태로 표현한다. 원문 3.1절·부록 B.5

    에이전트가 만든 RTL과 Behavior 모델은 숨겨진 골든 모델로 각각 평가한다. 이 점수를 학습 보상에도 쓰므로, 참조 RTL 없이 스펙과 골든 Behavior 쌍으로 학습할 수 있다. 3.4절

    10이 늦게 나오는 것과
    15가 나오는 것은 다르다

    다음은 이 글을 위해 만든 덧셈 블록이다. 입력 x와 설정값 k는 부호 없는 8비트 값이고, 출력은 y=x+k다. 예제의 스펙은 입력 handshake 때의 k를 사용하도록 정했다. 입력 하나에 결과 하나를 순서대로 내고, 결과는 입력 수락 후 다섯 사이클 이내에 전달해야 한다.

    드라이버가 x=7을 제시해도 ready=0이면 아직 입력을 받은 것이 아니다. 이 예제에서는 상승 에지에서 valid=1과 ready=1이 함께 관측될 때 입력이 수락된다. 그때의 k=3이 이번 연산에 속한다. 이후 외부 설정이 8로 바뀌어도, 이 연산의 기대값은 10이다.

    새로 구성한 예제 · 논문의 실험 파형이 아님

    같은 입력을 받은 세 가지 실행

    단일 클록 · 입력은 한 번만 수락 · 연산 중 리셋 없음
    입력 handshake 때 설정 적용 · 출력 ready는 항상 1

    C0
    입력 제시
    x=7, k=3valid=1, ready=0
    아직 연산을 시작하지 않음
    C1
    입력 수락
    x=7과 k=3을 연결valid=1, ready=1
    이번 연산의 설정을 저장
    C2
    설정 변경
    외부 k가 8로 바뀜이미 수락한 연산에는
    k=3이 계속 적용됨
    비교기가 기억할 기대 출력수락된 입력과 그 입력에 적용되는 설정으로 계산
    7 + 3 = 10
    응답 한계를 2사이클로 바꾼다면?
    B도 시간 조건에서 실패한다. 기대값이 10이라는 사실과 정해진 시간 안에 도착했다는 사실은 별도로 확인해야 한다.
    각 행은 같은 조건으로 시작한 독립 실행이다. C1→C3은 경과 2사이클, C1→C6은 경과 5사이클이다. 숫자·스케줄·응답 한계는 설명을 위해 정했으며, 모든 계산값은 8비트 범위에 들어간다.

    A의 C3 출력만을 정답으로 고정하면 B는 틀린 설계처럼 보인다. 하지만 예제의 스펙은 B에게도 완료할 시간을 줬다. 반면 C의 15는 늦어서 틀린 것이 아니다. 다른 설정값을 가져와 다른 계산을 했기 때문에 틀렸다. 계산이 같다는 것과 계산 스케줄이 같다는 것을 이 지점에서 구분할 수 있다.

    기대 출력 10은 C3이나 C6이라는 한 시점에 묶어 둘 필요가 없다. 실제 결과가 나왔을 때 그 값과 대응시키면 된다. 다만 결과가 빠졌거나 두 번 나왔다면 ‘10이 한 번 보였다’는 이유로 통과시켜서는 안 된다. 이 예제는 입력 하나에 출력 하나라는 조건까지 갖고 있기 때문이다.

    값 비교와 시간 검사를 나누는 것도 검증 실무의 기본 구조다. UVM 가이드 4.8절은 데이터 검사와 시간 동작을 확인하는 assertion을 구분한다. 위 예제의 응답 한계 역시 값 비교를 느슨하게 했다고 사라지지 않는다.

    설정을 읽는 순간도 기능이다

    논문의 CVDP 위상 회전 사례에서는 기본 입력 8,200개를 통과한 RTL도 추가 탐색에서 실패했다. 연산 시작 때 저장해야 할 i_wait를 계산 뒤 읽었고, 재실행에서 o_subsampling이 기대값 0 대신 1이었다. 부록 D.3

    덧셈 예제에서도 k를 3으로 계속 유지하면 A·B·C가 모두 10을 낼 수 있다. 입력 데이터만 바꾸는 테스트로는 설정을 언제 읽었는지 구별하기 어렵다. C1에서 일을 받은 뒤 C2에서 설정을 바꿨기 때문에, 저장한 설정을 쓰는 구현과 나중의 설정을 읽는 구현이 10과 15로 갈라진다.

    더 까다로운 경우는 참조 모델도 현재 보이는 k=8을 가져올 때다. RTL과 모델이 함께 15를 내면 서로는 일치한다. 그 비교에는 ‘둘 다 이번 연산에 속하지 않는 설정을 썼다’는 사실을 알려 줄 기준이 없다. 독립적으로 정한 기대값 10과 비교해야 두 구현의 공통 오류가 드러난다.

    이 구분은 디버깅에도 남겨야 한다. 스펙이 시작 시 샘플링을 요구한다는 것을 잘못 이해했다면 스펙 해석 오류이고, 그 요구를 이해하고도 RTL을 다르게 구현했다면 RTL 구현 오류다. 출력 불일치 하나만으로 둘 중 원인을 단정할 수는 없다.

    BEHAVE에서 주목할 변화는 정답의 스케줄을 하나로 정하는 대신, 허용된 구현들이 지켜야 할 동작의 의미를 판정 기준으로 삼았다는 점이다.

    덧셈 블록의 파이프라인이 두 사이클에서 다섯 사이클로 바뀌어도 7과 3이 이번 연산의 피연산자라는 사실은 바뀌지 않는다. 구현에 줄 수 있는 자유와 참조 모델이 지켜야 할 의미가 정확히 그 경계에서 갈린다.

    논문의 테스트 판정은 검사한 입력에 대한 결과다. 별도의 bounded 분석도 고정된 범위의 목표를 다루며, Behavior–RTL 형식적 동등성이나 전체 SoC 검증을 입증하지 않는다. 부록 C.11

    자료 범위: 한국시간 2026년 10월 2일 오후 10:02까지 공개된 자료(13:02 UTC). 원문은 의미 확인을 위해 이후 다시 검토했다.

    덧셈 블록은 논문의 회로나 반례를 재현한 것이 아니다. 기능 참조 모델의 판정 기준을 설명하기 위한 독립 예제이며, 특정 설계 환경과의 호환성이나 성능을 측정하지 않았다.

  • [2026-10-03 주간 증시] 금요일의 반등이 지우지 못한 것

    9월 28일–10월 2일 · 다음 주 한국시장

    미국의 고용 둔화는 추가 인상에 대한 경계를 낮췄다. 그러나 장기금리는 올랐고, 한국의 메모리 호황과 주식을 사는 사람들의 판단도 아직 같은 방향은 아니었다.

    분석 기준: 10월 3일 오전 8:39 KST다음 주: 10월 5–9일 · 한국 증시 3거래일

    나스닥이 금요일 1.19% 올랐고, 코스피는 7,000선을 되찾았다. 이 두 장면만 보면 한숨 돌린 시장이다. 주간 성적표는 다르다. S&P 500과 코스피는 한 주를 하락으로 마쳤고, 미 국채 10년물 지표금리는 오히려 11bp 높아졌다.

    이번 주에는 추가 인상 우려가 줄었고, 메모리 매출 호조를 뒷받침하는 근거가 늘었다. 주식 전반에 더 높은 값을 줄 만큼 금융여건까지 풀렸다는 증거는 부족하다. 이 차이를 알아야 다음 주 화요일 한국장의 상승을 보더라도 무엇이 새로 확인됐는지 구별할 수 있다.

    금요일의 방향과 주간 성적은 달랐다

    연한 막대는 금요일, 진한 막대는 주간 등락률. 오른쪽은 상승, 왼쪽은 하락이다.

    S&P 5007,722.72
    금요일+0.73%
    주간-0.27%
    나스닥 종합27,190.86
    금요일+1.19%
    주간+0.45%
    코스피7,003.74
    금요일+0.46%
    주간-1.09%
    코스닥893.29
    금요일-0.11%
    주간+5.78%
    미 국채 10년물 · 10월 2일5.28%
    금요일 변화+4bp
    주간 변화+11bp

    주식: 로이터 미국 마감, 뉴시스 한국 마감, 한국 비교 기준일 종가. 미국 주간은 9월 25일→10월 2일, 한국은 추석 연휴 전 마지막 거래일인 9월 23일→10월 2일로 계산했다. 지수 아래 숫자는 10월 2일 종가다. 금리는 미 재무부 공식 일일 국채금리의 동일 계열 비교이며, 1bp는 0.01%포인트다. 금리 변화와 주식 수익률은 서로 다른 단위다.

    한국의 회복은 시장별로 달랐다. 추석 연휴 뒤 첫날인 9월 28일 코스피가 2.70% 하락한 뒤 주 후반 반등했지만, 주간 손실을 다 만회하지는 못했다. 코스닥은 주간 5.78% 올랐고 그중 목요일 하루 상승률이 4.48%였다. 금요일 코스닥의 소폭 하락만 보고 성장주가 한 주 내내 부진했다고 읽는 것 역시 틀린다. 9월 28일 마감 · 10월 1일 마감

    고용은 예상보다 약했다.
    장기금리 부담은 남았다

    한국시간 10월 2일 오후 9:30에 발표된 미국 9월 비농업 고용은 2만9천 명 증가였다. 로이터 조사 예상 9만 명에 못 미쳤다. 더 눈여겨볼 것은 과거 숫자다. 7월 고용은 1만 명 감소로 바뀌었고, 7·8월 합계는 이전 발표보다 6만 명 낮아졌다. 시간당 임금 상승률도 전월 대비 0.1%, 전년 대비 3.0%였다. 고용 과열을 이유로 서둘러 추가 인상해야 한다는 논리가 약해진 셈이다. BLS 9월 고용 원문 · 로이터 예상치와 시장 반응발표 시각: 미 동부 10월 2일 오전 8:30 EDT

    그렇다고 경기침체가 확정된 것도 아니다. 실업률 4.2%는 3월 이후의 4.1~4.3% 범위 안이다. 그보다 한 달 앞선 8월 실질소비는 전월보다 0.6% 늘었다. 고용의 둔화는 분명한 정보지만, 소비와 기업 이익까지 이미 무너졌다는 결론은 이 자료들을 넘어선다. BLS 고용·실업률 · BEA 8월 소득·소비

    금요일 주식의 안도도 실제였다. 나스닥뿐 아니라 러셀2000이 약 0.9%, 부동산 업종도 약 0.4% 올랐다. 로이터는 이를 약해진 고용과 10월 추가 인상 기대의 후퇴로 설명했다. 하지만 미 재무부의 같은 날 10년물 지표금리는 5.28%로, 전날보다 4bp 높았다. 다음 회의의 인상 가능성이 낮아지는 것과 장기자금의 요구수익률이 낮아지는 것은 별개의 변화다. 로이터 마감 보도 · 미 재무부 금리

    장기금리에는 앞으로의 정책금리 경로뿐 아니라 오래 채권을 보유하는 위험에 대한 보상인 기간 프리미엄도 들어간다. 고용 발표 전 로건 댈러스 연은 총재가 짚은 구분이 유용하다. 시장이 향후 연준의 인상을 예상해 금리를 올리는 것이라면 연준의 일을 대신한 것이 아니다. 반대로 기간 프리미엄 상승 자체가 경제를 제약한다면 필요한 추가 긴축이 줄 수 있다. 이번 금요일의 상승분이 각각 몇 bp인지는 확인되지 않았다. 로건 연설 원문

    윌리엄스 뉴욕 연은 총재도 앞선 연설에서 서두를 필요는 없다고 하면서, 자신의 전망대로라면 연말 추가 인상이 적절할 수 있다고 했다. 주식시장이 얻은 것은 가까운 회의까지의 여유에 가깝다. 달러 장기금리가 높게 남아 있는 한, 한국 성장주도 글로벌 주식의 평가와 요구수익률 압력에서 자유롭다고 볼 수 없다. 미국 금리의 11bp 상승을 한국 기업의 조달비용이 똑같이 올랐다는 뜻으로 환산할 수는 없다. 윌리엄스 연설 원문

    미국 주식 정규장은 한국시간 10월 3일 오전 5:00에 끝났다(미 동부 10월 2일 오후 4:00 EDT). 재무부 일일금리는 그보다 약 30분 앞선 호가를 토대로 한다. 한국의 금요일 장은 미국 고용 발표 전에 끝났으므로, 아래 한국 수급을 고용보고서에 대한 반응으로 읽어서는 안 된다.

    메모리 호황은 더 선명해졌다.
    매수세의 성격은 달랐다

    목요일 반도체 반등에는 실적의 근거가 있었다. 한국장에 앞서 나온 마이크론 실적과 이날 공개된 한국 수출이 같은 방향을 가리켰다. 마이크론의 회계연도 4분기 매출은 542억3천만 달러로 직전 분기의 414억6천만 달러보다 늘었다. 경영진은 매출·이익률·주당이익이 회사가 제시했던 전망 상단을 넘었다고 설명했다. 이는 회사의 기존 전망과의 비교이며, 시장 예상치와 같은 말은 아니다. 마이크론 실적 발표 · 실적 설명자료한국시간 10월 1일 새벽 공개 · 미 동부 9월 30일 장 마감 후(EDT)

    숫자를 만든 요인은 더 구체적이다. 마이크론의 DRAM 매출은 전분기보다 27% 늘었는데, 출하 비트 수는 한 자릿수 중반, 가격은 10%대 후반 상승했다. 한국의 9월 반도체 수출도 603억 달러로 전년 동월보다 262.8% 증가했고, 산업통상부는 물량과 고정가격이 함께 늘었다고 밝혔다. 시장의 기대만 높아진 것이 아니라 판매 현장에서 가격과 물량이 뒷받침됐다. 다만 국가 수출액을 삼성전자나 SK하이닉스의 매출·이익 증가율로 곧장 바꿔 쓸 수는 없다. 마이크론 가격·출하 설명 · 산업통상부 9월 수출입 동향

    장비주에는 투자 시점도 중요했다. 마이크론은 늘리는 설비투자 계획의 대부분이 건설이며, 주로 2028년 말 이후 클린룸 확보를 앞당기기 위한 것이라고 설명했다. 일부 장비 지출도 앞당긴다. 이 계획은 장비 수요 기대를 키우면서도 당장 메모리 공급이 쏟아진다는 뜻은 아닐 수 있다. 그렇다고 특정 한국 장비업체의 수주가 확인된 것은 아니다. 마이크론 투자계획 원문

    그 뒤 금요일에는 온도가 달라졌다. 삼성전자는 보합, SK하이닉스는 0.44% 상승에 그쳤다. 두 종목에서 외국인은 합계 3,315억 원을 순매도했고, 기타법인은 1조4,456억 원을 순매수했다. 호황의 근거가 강해졌다는 판단과 외국인 매수로 주가가 다시 평가받기 시작했다는 판단은 아직 구분해야 한다. 뉴시스 종목별 마감·수급

    외국인 · 두 종목 합산
    −3,315억 원
    10월 2일 순매도
    기타법인 · 두 종목 합산
    +1조4,456억 원
    10월 2일 순매수

    장 마감 후 보도된 수급 집계 중 두 범주만 표시했다. 기타법인은 기관계와 별도 분류다. 기사에서 자사주 매입으로 추정했지만, 이 집계만으로 매수자의 정확한 신원이나 가격을 결정한 주문을 확인할 수는 없다.

    장비주도 목요일의 급등을 일부 되돌렸다. HPSP는 8.32% 오른 다음 날 5.07% 내렸고, 원익IPS는 9.13% 상승 뒤 3.69% 하락했다. 실적 정보가 사라진 것이 아니라, 좋아진 전망을 주가에 얼마나 반영할지를 두고 거래가 이어진 모습이다. 다만 이 하루의 움직임만으로 차익실현 규모나 하락 원인을 확정할 수는 없다. 목요일 마감 · 금요일 업종·종목 마감

    원화 강세도 외국인 주식 매수와 동일하지 않았다. 금요일 원·달러 환율은 오후 3:30 주간거래 종가 기준 1,350.6원으로 전날보다 7.8원 내렸지만, 외국인은 한국 주식을 순매도했다. 수출기업의 달러 매도와 수입기업의 결제 수요가 만나는 외환시장에서는 주식 자금과 다른 흐름이 함께 작동한다. 환율 하락만으로 외국인의 주식시장 복귀를 판정하기 어려운 이유다. 서울 외환시장 마감 · 한국 증시 수급

    수출액이 늘어도
    같은 호황은 아니다

    금요일 S-Oil은 11.69%, SK이노베이션은 10.32% 뛰었다. 당일 시황 보도는 유가와 공급 우려 속 정유주 강세를 전했다. 이것을 한국 기업 전반의 원가 환경이 좋아졌다는 신호로 읽으면 방향을 거꾸로 잡는다. 머니투데이 업종별 마감

    같은 ‘수출 증가’ 안에 다른 내용이 들어 있다

    2026년 9월, 전년 동월 대비. 반도체는 물량과 가격이 함께 증가했고, 석유제품은 물량 감소를 가격 상승이 덮었다.

    반도체

    수출 물량증가 ↑
    메모리 고정가격상승 ↑
    수출액 증가율+262.8%

    더 많이 팔고 더 높은 가격을 받은 판매 호조의 근거

    석유제품

    수출 물량−6.9%
    톤당 수출단가+84.7%
    수출액 증가율+72.0%

    출하량이 줄어도 달러 매출은 커질 수 있는 가격 충격

    석유제품의 관계: 전년 물량을 100으로 놓으면 93.1, 단가를 100으로 놓으면 184.7이다. 이를 증가배율로 계산하면 0.931 × 1.847 ≈ 1.72이므로 수출액은 약 72% 늘어난다. 반도체에는 확인되지 않은 물량 증가율을 대입하지 않았다.

    출처: 산업통상부 9월 수출입 동향, 1–2쪽·석유제품 분석. 수출단가는 품목 구성의 영향도 받으며 기업의 순이익률과 같지 않다.

    이 차이는 이익 전망으로 이어진다. 정유사가 제품의 희소성 덕분에 더 높은 가격을 받아도 원유 매입비, 처리 물량, 운송비를 함께 봐야 한다. 제조업과 운송업, 가계에는 그 높은 제품 가격이 비용이다. 정유주 급등과 한국 경제 전체의 부담 증가가 동시에 나타날 수 있다.

    G7은 바로 이 정유제품의 병목을 겨냥했다. 공동성명은 3월의 기존 약속을 이행하는 차원에서 이미 이행한 물량을 고려해 총 1억 배럴을 방출하기로 했다. 즉시 시작하되 네 달에 걸쳐 공급하고, 상당한 경유 물량은 첫 20일 안에 앞당겨 내놓는다. 정유시설의 정비 일정을 조정해 동시 가동중단을 피하고, 가능한 곳의 가동률도 높일 계획이다. G7 공동성명 · 캐나다 정부 게재 원문

    즉시 시작 → 첫 20일상당한 경유 물량을 앞당겨 공급
    제품 부족의 단기 완화 겨냥
    전체 공급 기간 → 4개월총 1억 배럴의 단계적 방출
    기존 3월 약속의 이행

    따라서 이번 조치를 ‘네 달 뒤에나 효과가 있는 대책’으로 볼 이유는 없다. 반대로 기존 약속과 별개로 1억 배럴이 전부 새로 추가됐다고 계산해서도 안 된다. 단기 경유 공급이 늘어날 여지는 생겼지만, 실제 물량과 정유 가동, 수송 경로의 회복까지 확인해야 원가 부담의 완화를 말할 수 있다.

    가격의 마지막 모습도 완전한 안도와는 거리가 있었다. 금요일 WTI 11월물은 배럴당 91.11달러로 1.90% 하락했지만, 브렌트 12월물은 102.25달러로 0.06% 내리는 데 그쳤다. 브렌트는 장중 95.12달러까지 떨어졌다가 대부분 회복했다. 비축유 계획이 이미 성공했거나 실패했다는 판정이 아니라, 장 초반 유가 하락을 하루의 결론으로 삼을 수 없다는 뜻이다. Newsquawk 선물 결제가격 보도

    한국 물가에도 같은 흔적이 남았다. 9월 소비자물가의 전년 대비 상승률은 8월 3.1%에서 2.9%로 낮아졌지만, 물가 수준은 전월보다 0.3% 높았다. 석유류는 전년보다 14.8% 올라 전체 상승률에 0.56%포인트를 보탰다. 낮아진 연간 물가 상승률이 에너지 비용의 소멸이나 곧바로 통화완화를 뜻하지는 않는다. 9월 소비자물가 공식 발표

    첫 거래는 화요일,
    마지막 거래는 목요일이다

    한국 증시는 5일 개천절 대체공휴일과 9일 한글날에 쉰다. 남은 거래일은 화·수·목 사흘이다. 6일 화요일 시초가는 미국의 금요일과 월요일, 두 세션을 한꺼번에 반영한다. 지금 확인한 나스닥 반등만으로 화요일 방향을 미리 고정하기 어려운 이유다. 한국은행 2026년 공휴일 안내

    월요일5휴장
    화요일6첫 거래
    수요일7거래
    목요일8마지막 거래
    금요일9휴장

    핵심 일정 · 한국시간(KST) 기준
    아래 일정은 모두 발표 예정

    미국 9월 ISM 서비스업 PMI

    화요일 한국장 전에 나온다. 고용 둔화가 수요 약화로 번졌는지, 가격 압력은 남았는지 함께 읽을 자료다.

    9월 FOMC 의사록

    10월 2일 고용 발표 전 회의의 논의다. 새로운 금리 결정이나 고용보고서에 대한 연준의 답변으로 읽지 않는다.

    한국 8월 국제수지

    대외 자금흐름의 구성을 확인한다. 이미 발표된 9월 통관 수출·무역수지와 대상 월·집계 범위가 다르다.

    미국 주간 신규 실업수당 청구

    그 주 한국장이 모두 끝난 뒤 발표된다. 금요일 한국 휴장을 사이에 두고 들어오는 고용 정보다.

    일정은 모두 발표 예정 기준. 삼성전자 3분기 잠정실적은 언론 보도상 8일 예정이며 공식 발표 시각은 확인되지 않았다. 미국 9월 CPI는 다음 주가 아닌 10월 14일 오후 9:30 KST 예정(미 동부 오전 8:30 EDT)이다.

    어떤 변화가 해석을 바꿀까

    1. 실적 호조에 금리 안정과 외국인 매수가 붙는다면미 10년물 금리가 금요일의 5.28% 수준에서 추가 상승을 멈추고, 한국 양대 메모리주에 외국인 순매수가 이어지며 종가도 버틴다면 기업 호황이 주가 평가로 번지는 근거가 더해진다. 출발점의 상승 폭보다 이후의 금리와 매수 참여가 새 정보다.
    2. 좋은 수출 뉴스만 반복되고 매수 주체가 그대로라면높은 장기금리 속에 외국인 매도가 계속되고 기타법인 매수가 크게 잡힌다면, 메모리 사업 전망을 부정할 필요는 없지만 지수 전반의 상승을 더 낙관할 근거도 늘지 않는다. 회사 실적과 수급이 확인될 때까지 판단을 유지하는 것이 가능한 결론이다.
    3. 서비스업 가격 압력과 유가가 다시 강해진다면추가 인상 경계가 되살아날 수 있다. 정유주가 오르더라도 에너지를 쓰는 한국 기업들의 비용 환경은 오히려 나빠질 수 있다. 반대로 수요 둔화가 확산되고 기업의 출하·가이던스까지 약해진다면 그때는 할인율뿐 아니라 이익 전망 자체를 다시 봐야 한다.

    이번 주는 메모리 호황을 의심할 근거보다 확인할 근거가 더해진 한 주였다. 다만 그 호황이 주식시장 전체의 부담을 덜어주지는 못했다. 다음 주에 필요한 것은 또 하나의 수출 기록이 아니라, 좋은 실적을 받아줄 금리와 매수세가 함께 달라졌다는 증거다.

  • [2026-10-02 장 초반] 미국 반도체가 올랐는데, 오늘 한국장에서도 사야 할까?

    2026.10.02 금요일 · 장 초반 점검

    메모리 기업의 가격 결정력은 강해졌다. 다만 한국이 이미 접한 실적과 오늘의 진입 가격, 연휴에 떠안을 위험은 따로 계산해야 한다.

    간밤 미국 필라델피아 반도체지수는 1.59%, 마이크론은 3.03% 올랐다. 그러나 한국장 오전 9시 20분 시세는 삼성전자 −0.82%, SK하이닉스 +0.05%였다. 미국의 강세가 두 종목의 동반 상승으로 곧장 이어지지는 않았다. 뉴시스의 해당 시각 보도에서 확인되는 모습이다.

    메모리 실적을 좋게 보는 이유와 오늘 새로 살 이유는 다르다. 이번 미국장은 그 차이를 따져볼 재료를 줬다. 국채금리는 내렸지만 원유는 올랐고, 메모리 매출의 힘은 물량보다 가격에서 더 크게 나왔다. 여기에 오늘 밤 미국 고용 발표와 월요일 한국 휴장이 겹친다.

    금리 부담은 덜었지만, 물가 걱정까지 사라진 것은 아니다

    미국 10월 1일 정규장은 S&P500 +0.19%, 나스닥과 다우가 각각 +0.04%로 마쳤다. 반도체의 상승폭이 훨씬 컸다. 한국시간으로 10월 2일 오전 5시, 미 동부시간으로 10월 1일 오후 4시 EDT의 마감이다.

    거의 제자리인 주요 지수, 더 강했던 반도체

    미국 10월 1일 정규장 · 전일 종가 대비 등락률

    S&P500+0.19%
    나스닥 종합+0.04%
    다우+0.04%
    반도체지수
    SOX
    +1.59%
    마이크론
    개별 종목
    +3.03%
    지수 변화와 개별 종목을 구분해 비교했다. SOX에는 설계·장비·제조 기업도 포함되므로 메모리만의 지수가 아니다.
    근거: FRED의 S&P500·다우, Nasdaq의 나스닥 종합·SOX, 마이크론 종가. 나스닥·SOX 등락률은 각각 FRED의 전일 나스닥·전일 SOX와 계산했다.

    미 재무부의 일일 수익률 지표에서 2년물은 전날 4.88%에서 4.78%로, 10년물은 5.29%에서 5.24%로 낮아졌다. 각각 10bp와 5bp 하락이다. 로이터의 당일 마감 정리도 국채금리가 내려가면서 주가가 장중 하락을 되돌렸다고 전한다. 금리 하락은 미래 이익의 현재 가치를 계산할 때 적용하는 할인 부담을 덜어준다.

    재무부 수치는 한국시간 10월 2일 오전 4시 30분 무렵(미 동부 10월 1일 오후 3시 30분 EDT)의 참고 호가로 산출한 파 수익률이다. 실제 체결 수익률이나 오후 4시 주식시장 마감 시점의 값은 아니다. 1bp는 0.01%포인트다.

    그런데 9월 ISM 제조업 조사를 보면 물가 부담은 오히려 눈에 띈다. 종합지수는 54.6에서 54.5로 거의 그대로였지만, 가격지수는 71.1에서 77.9로 뛰었다. 이 숫자는 가격이 77.9% 올랐다는 뜻이 아니다. 가격 상승을 보고한 업체가 더 많아졌다는 방향을 보여주는 확산지수다.

    제퍼슨 연준 부의장의 연설도 9월 금리 인상을 지지하고 물가의 상방 위험을 인정한 가운데, 다음 판단에는 시간이 더 필요할 수 있다는 내용이었다. 이를 함께 읽으면 이번 반등은 추가 긴축이 급하게 이어질 수 있다는 부담을 잠시 덜어낸 움직임으로 해석하는 편이 타당하다. 연설 하나가 금리 하락 전부를 일으켰다고 단정하거나 금리 인하 전환으로 확대할 근거는 없다.

    ISM 발표는 한국시간 10월 1일 오후 11시(미 동부 오전 10시 EDT)였다. 연준이 공지한 연설 시각은 한국시간 10월 2일 오전 2시 30분(미 동부 10월 1일 오후 1시 30분 EDT)이다.

    메모리 매출을 밀어 올린 가격은, 고객에게는 비용이다

    마이크론 실적에서 한국 투자자가 가져올 핵심은 매출 증가율 자체보다 그 내용이다. 회사의 회계연도 2026년 4분기 설명자료는 DRAM과 NAND 모두 출하량보다 가격 상승폭이 컸음을 보여준다. 비트 출하량은 메모리를 몇 개 팔았는지가 아니라, 판매한 저장 용량의 합을 뜻한다.

    더 많이 판 효과보다 더 비싸게 판 효과가 컸다

    마이크론 회계연도 2026년 4분기 · 전분기 대비

    DRAM

    매출+27%
    비트 출하량한 자릿수 중반 증가
    판매가격10%대 후반 상승

    NAND

    매출+42%
    비트 출하량약 10% 증가
    판매가격약 30% 상승
    메모리 공급사에는 매출·이익을 지지하는 가격이다.
    스마트폰·PC 제조사에는 제품에 넣을 부품의 원가다.
    회사 설명자료의 대략적인 증가폭이다. 출하량과 가격 증가율을 단순히 더해 매출 증가율과 일치시키는 계산은 할 수 없다. 한국 기업의 제품 구성이나 실현 가격도 이와 같다고 가정하지 않았다.

    이 때문에 메모리 매출 호조를 전자제품 수요 전반의 호황으로 읽으면 곤란하다. 마이크론은 같은 자료에서 2026년 연간 PC·모바일 업계 판매대수가 두 자릿수 감소할 수 있다고 봤다. 공급자의 가격 결정력과 최종 고객의 구매 여력이 서로 다른 방향으로 움직일 수 있다는 얘기다.

    한국에서도 비슷한 사업별 차이가 이미 드러났다. 삼성전자가 7월 30일 발표한 2분기 실적에서는 메모리 호조와 함께 모바일경험(MX)·네트워크 합산 부문의 영업손실 7천억원이 보고됐고, 회사는 부품비 부담을 설명했다. 이 과거 분기 사례는 같은 부품 가격 상승이 공급 사업과 완제품 사업에 다르게 작용할 수 있음을 보여준다. 오늘 두 메모리 종목의 주가 차이를 설명하는 증거로 삼을 수는 없다.

    산업통상부의 9월 수출 발표도 한국 반도체 수출액이 603억달러로 전년 동월보다 262.8% 늘었다고 집계했다. 다만 국가 전체 통관 금액이므로 삼성전자나 SK하이닉스의 이익률, 특정 HBM 제품의 판매량으로 바꿔 읽을 수는 없다.

    여기서 한 가지 시간을 되짚어야 한다. 마이크론 실적은 미 동부 9월 30일 장 마감 뒤 공개됐다. 설명회는 한국시간 10월 1일 오전 5시 30분(미 동부 9월 30일 오후 4시 30분 EDT)이었다. 한국의 수출 발표 최종본도 10월 1일 오전 11시 자료다. 둘 다 어제 한국장에서 판단할 수 있었던 정보다.

    오늘 새로 확인한 것은 그 실적을 소화한 미국 시장의 반응이다. 실적이 다시 발표된 것처럼 호재를 두 번 더해서는 안 된다. 물론 어제 알려졌다는 사실만으로 모든 가치가 이미 주가에 반영됐다고 결론 내릴 수도 없다.

    유가와 수출액이 올라가도, 이익은 따로 계산해야 한다

    금리가 내린 같은 날 국제유가는 상승했다. 로이터의 10월 1일 유가 정산 보도에 따르면 브렌트 12월물은 배럴당 102.31달러로 4.37%, WTI는 92.87달러로 2.71% 올랐다. 로이터는 중국의 석유제품 수출 중단과 중동 긴장 고조 보도가 연료 공급 불안을 키웠다고 전했다. 중국 조치는 익명 취재원에 근거한 보도다.

    브렌트 상승률은 같은 12월물의 전일 정산가 98.03달러와 비교했다. 전날 만기된 11월물 가격과 섞지 않았다. 위 정산 수치는 거래소 원시 자료가 아닌 로이터 보도 기준이다.

    한국의 9월 수출에서도 가격과 물량은 다른 말을 한다. 전년 9월과 비교한 석유제품 수출액은 72.0% 늘었지만 물량은 6.9% 줄었다. 석유화학도 금액은 5.1% 증가한 반면 물량은 19.1% 감소했다. 더 비싸게 판 것이 더 많이 팔았다는 뜻은 아니다.

    수출액에서 이익으로 넘어가기 전에

    정유사가 이익을 더 남기려면 석유제품 판매가격과 원유 매입 비용 사이의 차이를 봐야 한다. 정제에 드는 다른 비용도 빼야 한다. 원유 가격과 수출액만 알아서는 마진이 넓어졌는지 알 수 없다.

    미 에너지정보청(EIA)의 정제마진 설명에 따른 비용 구조다. 현재 마진의 크기나 특정 정유사의 이익을 추정한 값은 아니다.

    따라서 유가 상승만으로 정유사의 이익 전망을 올리거나, 석유화학 수출액 증가만으로 최종 수요가 회복됐다고 판단하기는 이르다. 이쪽 업종에서는 제품과 원료 사이의 가격 차이, 물량 또는 회사 전망이 실제로 개선되는지를 먼저 봐야 한다.

    오늘 오전 8시 나온 한국의 9월 소비자물가도 비용 부담을 모두 덜어주는 숫자는 아니다. 전년 동월 대비 상승률은 8월 3.1%에서 2.9%로 낮아졌지만, 물가 수준은 전월보다 0.3% 올랐고 석유류는 전년보다 14.8% 높았다.

    통계 당국의 설명을 전한 보도를 보면 지난해 8월 통신요금 할인에 따른 비교 기준 효과가 끝난 영향도 있었다. 전년의 낮아진 요금과 비교하느라 8월 상승률이 높아졌던 효과가 9월에는 사라진 것이다. 전체 물가 상승률 둔화를 수입 원가 전반의 안정이나 한국은행의 정책 전환으로 곧바로 연결할 수는 없다.

    오늘의 대응: 미국 상승률만으로 하려던 매수는 보류

    한국 시장은 전날 코스피가 1.95% 오른 뒤 오늘을 맞았다. 오늘은 오전 9시 6,938.27, 전일 대비 0.47% 하락으로 출발했다. 밤사이 미국 반도체가 오른 만큼 한국에 아직 오를 몫이 남았다고 계산할 수 없는 이유다.

    초기 자금 흐름도 한 방향은 아니었다. 오전 9시 8분 집계에서 코스피 외국인은 1,426억원, 기관은 405억원을 순매도했다. 같은 시각 코스닥에서는 두 주체가 모두 순매수였다. 이 짧은 관측만으로 하루 전체의 흐름을 예측할 수는 없지만, 코스닥의 강세를 대형 메모리주 매수의 확인 신호로 쓰기에는 시장이 갈렸다.

    새 진입의 유일한 근거가 “미국 반도체가 올랐다”라면, 현재 자료로는 매수를 보류하는 편이 낫다. 장중 한국 메모리주가 전일 종가를 회복하고 강세가 업종 안으로 넓어지며, 해당 시장의 현물 수급도 함께 나아진다면 보류의 근거는 약해진다. 반대로 지수만 반등하고 메모리주의 참여와 수급이 따르지 않으면 판단을 바꿀 이유가 부족하다.

    이 조건은 수익을 검증한 매매 공식이 아니다. 국내 시장이 실제로 같은 실적 신호를 받아들이기 시작했는지 판단하기 위한 기준이다. 조건이 맞아도 이미 오른 가격과 보유기간은 별도로 따져야 한다.

    금요일에 사서 연휴를 넘기는 결정은 한 번 더 생각해야 한다

    오늘 매수한 뒤 다음 한국 정규장까지 보유하려면, 단순히 주말을 넘기는 것보다 많은 정보를 감수해야 한다. 미국 9월 고용보고서는 오늘 한국장 마감 뒤 나오고, 한국이 쉬는 월요일에도 미국 시장은 열린다.

    한국의 다음 정규장 전, 미국은 두 세션을 더 거친다

    자료 마감 이후의 예정 일정 · 한국시간(KST) 중심

    1. 10월 2일 금요일 · 오후 3:30
      오늘 한국 정규장 마감 예정
    2. 10월 2일 금요일 · 오후 9:30
      미국 9월 고용보고서 발표 예정
      미 동부 10월 2일 오전 8:30 EDT
    3. 10월 2일 오후 10:30 → 3일 오전 5:00
      첫 번째 미국 정규장
      미 동부 10월 2일 오전 9:30~오후 4:00 EDT
    4. 10월 5일 오후 10:30 → 6일 오전 5:00
      두 번째 미국 정규장
      미 동부 10월 5일 오전 9:30~오후 4:00 EDT
      10월 5일 월요일 한국 증시 휴장
    5. 10월 6일 화요일 · 오전 9:00
      한국의 다음 정규장 개장 예정
    근거: 미 노동통계국 발표 일정, NYSE 거래 시간·휴장일, KRX 모의거래 서비스의 10월 휴장 안내, 한국은행 휴일 달력. 정규장 기준이며, 이후 발표 결과나 가격 방향을 예고하는 그림은 아니다.

    고용 발표 뒤 금리가 다시 오르면, 간밤 반등을 도운 할인율 여건부터 달라질 수 있다. 한국 정규장이 닫혀 있는 동안 미국에서 두 차례 가격이 재평가된 뒤 화요일을 맞는 셈이다. 이것이 오늘 신규 보유를 연휴까지 가져갈 때 떠안는 구체적인 갭 위험이다.

    그 위험을 감당할 계획이 없는 단기 투자자라면, 오늘 미국 상승률만 보고 신규 보유를 늘리기보다 고용지표와 두 미국 세션을 확인한 뒤 다시 판단하는 편이 낫다. 반대로 며칠의 가격 변동을 넘어 실적을 보고 접근한다면, 확인해야 할 것은 회사별 판매가격·물량·제품 구성이다. 하루의 지수나 초기 수급만으로 그 사업 판단까지 뒤집을 필요는 없다.

    메모리 공급자의 이익 여건은 이미 공개된 마이크론 실적에서 확인했다. 10월 1일 미국장에서 새로 확인된 것은 반도체주의 상대 강세다. 오늘 한국장에서 어떤 가격에, 얼마나 오래 보유할지는 여전히 별도의 판단이다.

    자료를 읽는 기준

    미국 지수·마이크론은 10월 1일 정규장, 한국 시세·수급은 본문에 표시한 10월 2일 관측 시점 기준이다. 오전 9:41:37은 자료 마감 시각이며 모든 시세가 그 순간의 값이라는 뜻은 아니다. 이후 시장 변화는 반영하지 않았다.

    공개 자료에 따른 일반적인 시장 해석이다. 특정 투자자의 보유 종목·자금 사정은 전제하지 않았다. 링크는 각 사실을 확인할 수 있는 원문 또는 본문에 밝힌 보도 자료로 연결된다.