머신러닝으로 SoC 검증의 혁신을 이끌다: PyUVM 기반의 새로운 접근 방식
본 기사는 머신러닝과 PyUVM을 활용하여 SoC 검증의 효율성을 극대화하는 새로운 방법론에 대한 연구 결과를 소개합니다. 이 방법론은 시뮬레이션 시간 단축 및 검증 비용 절감에 큰 효과를 보이며, SoC 검증 분야의 혁신을 이끌 것으로 기대됩니다.

System-on-Chip (SoC) 디자인의 복잡성이 증가함에 따라 기존의 검증 방식으로는 완벽한 검증 커버리지를 달성하기 어려워지고 있습니다. 기존의 제약 조건 기반 임의 검증(CRV) 및 커버리지 기반 방법론은 시간이 많이 걸리고 중복되는 시뮬레이션 회귀 분석에 의존하며, 제약 조건을 조정하고 자극을 제공하여 커버리지 목표를 달성하기 위한 수작업으로 인해 검증 비용이 증가하고 출시 시간이 길어지는 문제점을 안고 있습니다.
인도의 수르치 쿠마리, 디팍 나라얀 가데, 아만 쿠마르 연구원은 이러한 문제를 해결하기 위해 머신러닝(ML) 을 활용한 혁신적인 방법론을 제시했습니다. 이들의 연구는 지도학습 ML 알고리즘을 이용하여 시뮬레이션 회귀 분석을 최적화함으로써 시뮬레이션 실행 시간을 단축하고 목표 커버리지를 달성하는 데 필요한 테스트 시뮬레이션 수를 줄이는 데 초점을 맞추고 있습니다. scikit-learn의 다양한 지도학습 알고리즘의 효과를 비교 분석하여, 최소 99%의 커버리지 회복률을 훨씬 적은 시뮬레이션 사이클로 달성할 수 있음을 보여주었습니다.
특히, 이 연구는 Python Universal Verification Methodology (PyUVM) 을 사용하여 테스트 벤치를 구축했습니다. SystemVerilog-UVM 대신 PyUVM을 사용함으로써 Python의 간단한 구조를 활용하고 기존 ML 라이브러리를 재사용하여 효율성을 높였습니다. 세 가지 다양한 디자인에 적용한 결과, 이 방법론은 검증 비용과 수작업을 크게 줄이고 출시 시간을 단축하는 동시에 테스트 벤치 업데이트 프로세스를 자동화하고 목표 커버리지 목표를 달성함으로써 검증 생산성과 완성도를 향상시키는 것으로 나타났습니다.
이 연구는 단순한 기술적 개선을 넘어, SoC 검증 분야에 머신러닝을 효과적으로 통합하는 새로운 패러다임을 제시합니다. 이는 향후 더욱 복잡해질 SoC 디자인 검증에 있어 중요한 전환점이 될 것으로 기대됩니다. PyUVM의 활용은 검증 엔지니어의 부담을 줄이고, 더욱 신뢰성 높은 시스템 개발을 가능하게 할 것입니다. 앞으로 이러한 머신러닝 기반 검증 방법론이 더욱 발전하고 다양한 분야에 적용되어, 더욱 빠르고 효율적인 시스템 개발을 촉진할 것으로 예상됩니다.
Reference
[arxiv] Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
Published: (Updated: )
Author: Suruchi Kumari, Deepak Narayan Gadde, Aman Kumar
http://arxiv.org/abs/2503.11666v1