한선씨 Phase 3 — codegen·합성·VM심화 (실측 검증 정정판)
2026-06-17. 울트라 병렬 딥리서치 → 3 Wave 구현 → 독립 재검증. 자동 초안의 등급 오기(toau2c를 🟡/🔴로)를 실측으로 정정.
개요
한선씨 기본기 Phase 3(연구 트랙 분리 항목)을 macOS arm64·GPU/FPGA보드 없음·nvcc/yosys 부재·GHDL 6.0.0 보유 환경에서 구현.
하드웨어 없이 SW로 완성 가능한 MVP를 만들고 GPU 실행/FPGA 비트스트림은 정직하게 실기 트랙으로 분리.
실측 결과 (독립 재검증 완료)
| 도메인 | 검증 | 등급 |
|---|
| TOAU→C 네이티브 (Rust 대체 MVP) | tests/.한선 29/29 인터프리터=네이티브 md5 완전일치(독립확인) | 🟢 완성 |
| VM 심화 (맵 grow·문자열캡) | 문자열 20000자(옛 16384 돌파)·맵 2000키 grow 왕복·핸들불변, 회귀 29 PASS/2 FAIL | 🟢 완성 |
| VHDL 합성 | GHDL synth exit=0·넷리스트 8종·trit_layernorm 합성가능화·tb PASS | 🟢 완성(GHDL) / 🟡 Yosys 셀수는 설치후 |
| CUDA-PTX | C 레퍼런스 37 PASS·VM 골든벡터 일치(TMAC/SMAT/TCONV/TPOOL) | 🟡 부분(nvcc 부재→PTX컴파일·GPU 게이트) |
구현 상세
toau2c.c (TOAU→C 네이티브)
- 실행모델 crownyc execute()와 1:1(pc=큐브인덱스, 제어흐름 switch(pc)→goto). 인라인 emit ~14-18% +
rt_exec(op) fallback(정확성 100%). runtime_stub.c가 crownyc.c #include로 VM 재사용 — crownyc.c 무수정.
- 파이프라인
.한선→hanseonc_high→.toau→toau2c→prog.c→cc→네이티브. 원클릭 toau2c-build.sh.
VM 심화 (crownyc.c, Wave2 직렬·회귀게이트·원자스왑)
- W2-1
STR_MAX_LEN 16384→65536(:1706, STR_ADD_BUF 정합). W2-2 맵 729→체인 오버플로 블록 자동 grow(map_block_new/chain_next ~2784), 핸들=베이스주소 불변(기존코드 100% 호환), silent-drop 제거.
VHDL 합성 (synth.sh)
ghdl synth --out=verilog 넷리스트+게이트추정. trit_layernorm 뉴턴랩슨 √루프(synth불가)→정적 case LUT(round-to-nearest).
CUDA-PTX (ptx_emit.c)
- AI텐서 opcode(463/467/468/469)→
.ptx(sm_70)/.cu/.c. 패킹 27트릿→int8×4(2비트/트릿) BitNet W2A8. C레퍼런스=VM골든 일치. nvcc 부재로 PTX컴파일·GPU 게이트.
관련 파일
crownyc/{toau2c.c, runtime_stub.{c,h}, toau2c-build.sh, ptx_emit.c, matmul_kernel.{ptx,cu,c}}, rtl/vhdl/{synth.sh, netlists/.v, trit_layernorm.vhd}, tests/{네이티브골든, 맵리사이즈, 맵핸들불변, 문자열캡20000}.한선, 회귀실행.sh(29 PASS/2 FAIL=기존 셀버그).
확장 기준선 (Phase3 완료 → 이후)
- toau2c → 산술 인라인↑ → QBE/LLVM → JIT → arm64/riscv 크로스(Jetson/RPi 네이티브)
- VM심화 → 장수 서버 wedge 제거·대용량 JSON/HTML
- VHDL → yosys synth_ice40 → nextpnr → 실보드 비트스트림
- PTX → Jetson Thor dispatch → ISA729→NVPTX 백엔드
정직한 분리 — 실기 트랙
PTX 실행/nvcc/GPU측정(NVIDIA+CUDA Linux·Jetson), FPGA 비트스트림/타이밍(iCE40/ECP5/Kria 보드). 무하드웨어 완성지점 = codegen 산출물 + CPU/시뮬/골든벡터 검증(=이번 달성).