테스트벤치 구성·골든 모델 비교·커버리지 분석으로 이미지 처리 IP 검증결
이미지 처리 IP 검증에서 제가 활용한 방법론은 테스트벤치 기반 시뮬레이션입니다. 검증 대상 IP에 이미지 데이터를 입력하고, 출력 결과를 기대값과 비교하는 방식입니다. SystemVerilog로 테스트벤치를 작성하고, 결과를 자동 비교하는 검증 환경을 구성했습니다.
골든 모델 비교가 핵심 방법이었습니다. 동일한 연산을 Python으로 구현한 레퍼런스와 RTL 시뮬레이션 결과를 픽셀 단위로 비교해서 불일치를 찾았습니다. 부동 소수점 연산이 포함된 경우 정확한 일치가 어렵기 때문에, 허용 오차 범위 내 일치 여부를 기준으로 판단하는 방식을 썼습니다.
커버리지 분석도 진행했습니다. 특정 분기나 경계 조건이 테스트로 커버됐는지 확인하면서, 커버되지 않은 케이스를 추가 테스트로 채웠습니다. 검증은 오류를 찾는 것뿐 아니라 테스트가 얼마나 충분한지를 함께 측정하는 과정이라는 것을 배웠습니다.