FPGA는 시장자료 처리와 주문판단을 빠르게 만들지만 많은 동작이 병렬로 일어나 timing 오류가 숨어들 수 있다. HRT는 장치가 의도한 기능을 내는지와 함께 회사의 risk check, 시장규칙과 규제를 따르는지까지 검증목표에 넣는다. 속도측정 전에 주문의 허용·거부 행동이 기준과 같아야 한다.
검증코드를 HDL로 다시 만들면 software와 test가 서로 다른 해석을 가질 수 있다. HRT는 이미 거래시장과 상호작용하는 C++·Python 코드를 재사용하고 HDL simulator와 co-simulation한다. cocotb는 Python에서 내부 signal을 보고 coroutine으로 병렬 hardware 사건을 다루며 simulator가 바뀌어도 test를 옮길 수 있게 한다.
이 구조는 production software를 golden reference로 삼을 수 있지만 reference 자체의 결함까지 잡아주지는 않는다. 정상사건뿐 아니라 burst, 순서변경, packet loss와 clock 경계에서 property와 risk invariant를 따로 검사해야 한다. 공개 글은 검증 방법을 보여줄 뿐 HRT의 실제 한도나 사고율, 수익효과는 말하지 않는다.
SCOPE2021년 HRT 공식 기술 글로 최신성보다 hardware 검증의 기술적 가치 때문에 선정했다. 구체 주문전략·위험한도·실거래 장애율과 P&L은 공개되지 않았다.
Evidence & verification ↓Sources & evidence
Original passages appear only when checked against the publication. Earlier briefing records are identified separately.
How We Verify Custom Hardware4 primary · 0 archived +
HRT FPGA 검증은 회사의 위험검사와 시장규칙 준수를 포함한다.
ORIGINAL PASSAGEabides by HRT’s risk checksHow We Verify Custom Hardware, Environment Goals, accessed 2026-11-02기존 C++·Python 거래코드를 검증에 재사용하는 것을 목표로 한다.
ORIGINAL PASSAGEreuse code whenever possibleHow We Verify Custom Hardware, Environment Goals, accessed 2026-11-02HDL simulator와 외부 언어를 연결하는 co-simulation을 사용한다.
ORIGINAL PASSAGEwe use co-simulationHow We Verify Custom Hardware, Different Approaches, accessed 2026-11-02cocotb 기반 test는 simulator가 달라져도 이식할 수 있다.
ORIGINAL PASSAGEtests are portableHow We Verify Custom Hardware, Tools We Use, accessed 2026-11-02Show the original briefing text
구분: Hudson River Trading 공식 기술 글·FPGA 거래경로 검증
발표일: 2021년 10월 27일
선정 이유: 최신성보다 저지연 거래장치의 위험통제와 production 승격 기준을 보여주는 기술적 가치 때문에 선정
핵심 요약
HRT 원문은 FPGA가 여러 거래시스템과 시장에 연결되므로 기능정확성뿐 아니라 회사의 risk check와 규칙 준수를 함께 검증한다고 설명한다. HRT는 C++·Python 거래코드를 다시 구현하지 않고 HDL simulator와 co-simulation해 기대행동을 비교하며, cocotb로 내부 signal을 관찰한다. 공개된 내용은 검증환경이며 주문전략·한도수치·P&L은 포함하지 않는다.
실무 시사점
모델 추론이나 risk gate를 FPGA로 옮기면 속도와 함께 병렬 timing 오류의 위험도 커진다. software reference와 hardware output을 같은 시장사건으로 비교하고 가격밴드·수량·포지션 한도·message ordering이 일치해야 production 경로로 승격할 수 있다.
한국 시장 복제 아이디어
국채선물·현물 feed와 주문응답을 기록해 software golden model과 FPGA candidate에 동일하게 재생한다. 정상장·burst·packet loss·clock skew·장애복구에서 출력일치율, risk reject 누락, 순서오류, 꼬리지연과 false halt를 비교하고 승인되지 않은 차이는 자동 중단한다.