核心概念
하드웨어 퍼징은 복잡한 하드웨어 설계에서 버그를 식별하는 데 효과적이지만, 기존 검증 방법의 한계를 극복하기 위해서는 여러 과제가 해결되어야 한다.
摘要
이 논문은 하드웨어 퍼징 기술의 기본 원리, 방법론, 다양한 하드웨어 설계에의 적용 가능성을 종합적으로 검토한다.
주요 내용은 다음과 같다:
- 설계 검증(DV) 기술의 한계로 인해 하드웨어 퍼징이 부상하게 되었다.
- 기존 하드웨어 퍼징 기술은 하드웨어 모듈을 소프트웨어 모델로 변환하는 데 비효율적이라는 문제가 있다.
- 전통적인 검증 지표를 사용하고 퍼저의 잠재력을 충분히 활용하지 못하는 것이 문제로 지적된다.
- 하드웨어 퍼징이 하드웨어 영역에서 가진 한계가 설명된다.
이를 통해 향후 설계 검증 기술 발전을 위한 연구 과제를 제시한다.
统计
최근 5년간 CVE(Common Vulnerability Enumeration)가 184% 증가했다.
IC 개발 주기의 최대 70%가 검증 활동에 소요된다.
引用
"최근 몇 년 간 프로세서, SoC, 타사 IP의 복잡성과 통합이 증가하면서 하드웨어 보안에 대한 관심이 크게 늘어났다."
"기존 동적 및 형식 검증 기법은 복잡한 설계에 대한 확장성 문제와 상당한 인적 개입이 필요하여 검증 기간이 길어지는 문제가 있다."