Agent 기반 메모리 스펙 자동 형식화: DRAMPyML 및 DRAMBench 소개

요약

본 기술 기사는 디자인 검증(DV) 과정에서 발생하는 스펙 문서 해석의 어려움을 해결하기 위한 방법을 제시합니다. 특히, 산업 표준인 DRAM과 같은 자연어 메모리 칩 스펙을 형식적이고 검증 가능한 표현인 DRAMPyML로 자동 변환하는 시스템을 소개합니다. 또한, 하드웨어 자동 형식화 분야의 모델 성능 평가를 위해 새로운 벤치마킹 데이터셋인 DRAMBench도 공개하여 연구 커뮤니티에 기여합니다.

핵심 포인트

• 디자인 검증(DV)에서 스펙 문서를 형식적이고 검증 가능한 형태로 변환하는 과정은 수동 해석이 필요하며 복잡성이 높습니다.
• 제안된 방법은 자연어 메모리 칩 스펙을 형식 표현인 DRAMPyML로 자동 변환하여 DV의 효율성을 높입니다.
• DRAMPyML을 통해 시스템 Verilog 명세 생성, 자극(stimulus) 생성, 기능 커버리지 등 후속 DV 작업 수행이 가능해집니다.
• 하드웨어 자동 형식화 모델 평가를 위한 벤치마킹 데이터셋인 DRAMBench를 공개했습니다.