백서
Functional Verification에서 머신 러닝 애플리케이션 연구
기능 검증(FV)은 본질적으로 계산 및 데이터 집약적이므로 자연스럽게 머신 러닝(ML) 적용 대상이 됩니다. 이 문서는 ML로 해결할 수 있는 FV 문제에 대한 포괄적인 최신 분석을 제공합니다.
다양한 ML 기술 및 알고리즘 중에서 몇 가지 새로운 기술이 FV에서 뛰어난 잠재력을 보여주었습니다. 유망한 연구 결과에도 불구하고 이 문서에서는 산업 EDA 환경에서 ML을 적용하는 데 있어 중요한 문제가 있음을 전달합니다. 마지막으로 저자는 고품질의 검증 데이터를 사용할 수 없는 문제가 FV에서 ML 연구를 방해하고 공개 검증 데이터 세트에 대한 기여를 요구하고 있음을 말하고 있습니다.