Lyra: RISC-V 프로세서를 검증하기 위한 생성적 프레임워크
RISC-V 프로세서의 복잡한 설계를 검증하는 것은 중요한 도전 과제입니다. 느린 소프트웨어 시뮬레이션에 의존하고 무작위 테스트 자극을 사용하는 전통적인 방법은 상당한 병목 현상을 초래합니다. Lyra는 이 문제를 근본적으로 해결하는 혁신적인 솔루션으로 등장하며, 인공 지능을 작업 흐름에 직접 통합합니다. 🚀
테스트 생성을 위한 지능형 접근 방식
맹목적인 변이 또는 무작위 벡터에 의존하는 대신, Lyra는 전문화된 생성 모델인 LyraGen을 통합합니다. 이 모델은 프로세서의 명령어 세트 아키텍처(ISA)를 깊이 이해합니다. 주요 기능은 무작위 방법이 간과하는 하드웨어 설계의 복잡한 동작과 모서리 영역을 탐색하기 위해 특별히 설계된 의미적으로 풍부하고 고품질의 명령어 시퀀스를 생성하는 것입니다.
LyraGen의 주요 장점:- RISC-V 명령어의 의미론을 이해하는 테스트 자극을 생성합니다.
- 하드웨어의 복잡한 내부 상태를 지향적으로 탐색합니다.
- 단순한 무작위성을 의미 있는 명령어 시퀀스로 대체합니다.
칩 설계에 필요한 것은 AI가 어떤 명령어가 실행하기 흥미로운지 설명해주는 것이지, 무작위로 키보드를 두드려서 무언가 실패할 때까지 기다리는 것이 아닙니다.
하드웨어 실행을 통한 대규모 가속
Lyra의 아키텍처는 테스트 생성에서뿐만 아니라 실행 속도에서도 매우 지능적입니다. 시스템은 FPGA를 가진 SoC 내에서 테스트 대상 유닛과 골드 참조 모델을 병렬로 구현합니다. 이 접근 방식은 하드웨어 속도로 둘 사이의 차이를 비교할 수 있게 하여 기념비적인 가속을 달성합니다. 또한, 소프트웨어 시뮬레이터로는 불가능한 대규모 실시간 커버리지 메트릭 수집을 용이하게 합니다.
가속된 검증 결과:- FPGA의 네이티브 속도로 비교 및 검증을 실행합니다.
- 포괄적이고 효율적으로 커버리지 데이터를 수집합니다.
- LyraGen의 지능적인 생성과 하드웨어 속도를 결합합니다.
우수성을 입증하는 실증적 결과
Lyra를 사용한 실험 테스트는 가장 진보된 전통적인 소프트웨어 검증기보다 정량적이고 상당한 개선을 보여줍니다. 시스템은 최대 1.27배 더 높은 설계 커버리지를 달성하며, 더 많은 경계 사례와 중요한 상태를 발견합니다. 속도 면에서는 전체 엔드투엔드 검증 프로세스를 107에서 3343배 가속합니다. 또 다른 주요 이점은 일관되게 낮은 수렴 난이도로, 복잡한 설계를 검증하는 데 필요한 총 비용과 시간을 직접적으로 줄입니다. ✅