AI, CPU 설계마저 자동화하다: 검증의 중요성 강조

본 연구는 자동 연구 루프(Agent Loop)를 활용하여 CPU 마이크로아키텍처를 개선하는 과정을 제시한다. 구체적으로, 에이전트(Agent)는 YAML 형식의 마이크로아키텍처 가설(Microarchitectural Hypothesis)을 제안하고, 구현 에이전트가 SystemVerilog 코드를 수정한다. 이후, riscv-formal, Verilator, nextpnr을 이용한 검증 게이트(Eval Gate)를 통해 성능을 측정하고, 개선 사항을 적용하는 과정을 반복한다. 이러한 반복적인 과정을 통해, 인간 설계자가 수년간 달성할 성능 향상을 단 10시간 만에 이뤄냈다.

게시물은 자동화된 시스템에서 검증(Verifier)의 중요성을 강조한다. 73개의 가설 중 63개가 실패했는데, 이는 검증 없이는 시스템의 안정성을 보장할 수 없음을 의미한다. 특히, ISA(Instruction Set Architecture) 검증 및 경로 샌드박스(Path Sandbox)를 통해 에이전트가 시스템을 손상시키는 것을 방지한다. 또한, CRC 검증(CRC Validation)을 통해 정확한 성능 측정을 보장하며, 이는 자동화된 설계 과정에서 신뢰성을 확보하는 핵심 요소이다.

연구 결과, 자동화된 설계 과정을 통해 2.91 CoreMark/MHz의 성능을 달성했으며, 이는 기존 VexRiscv의 2.57 CoreMark/MHz보다 13% 향상된 수치이다. 또한, Fmax(최대 동작 주파수)를 199MHz까지 끌어올려, 전체적인 성능을 크게 개선했다. 특히, DIV/REM 유닛(Division/Remainder Unit)을 싱글 사이클 경로에서 제거하는 혁신적인 설계를 통해, LUT(Look-Up Table) 사용량을 절반으로 줄이는 데 성공했다.

게시물은 향후 기업 경쟁력이 검증 기술(Verification Technology)에 달려 있다고 강조한다. 자동화된 설계 루프는 이미 보편화되었지만, 시스템의 정확성을 보장하는 검증 기술은 여전히 부족하다. 따라서, 기업들은 자신만의 검증 시스템(Verification System)을 구축하여, AI 기반 설계의 신뢰성을 확보해야 한다. 이는 의료, 금융 등 규제가 엄격한 산업에서 특히 중요하며, 규제 준수(Compliance)를 위한 핵심 기술이 될 것이다.