고속 직렬 프로토콜 검증 시 어떤 테스트 계획과 커버리지 모델을 개발할 수 있나요?

고속 직렬 프로토콜 검증의 테스트 계획에서 제가 의식하는 건, 기능 커버리지와 코드 커버리지를 분리해 함께 보는 일입니다. 기능 커버리지는 스펙이 정의한 상태 전이와 트랜잭션 종류를 얼마나 실행했는지를, 코드 커버리지는 RTL의 어느 경로가 돌았는지를 보는데, 둘 중 하나만 높으면 검증에 구멍이 남기 때문입니다. 그래서 저는 커버 결로 기능·구조·예외를 갈라, 프로토콜 상태 전이와 패킷 종류별 엣지 케이스, 흐름 제어·에러 복구 시나리오를 커버리지 모델에 넣고 제약 랜덤 자극으로 예상 못 한 경우를 탐지합니다. 계획 결로는 시나리오·코너·반복을 짚습니다. 검증 결로는 두 커버리지가 모두 높아야 완성도가 보장된다고 봅니다. 다만 본인 사례와 한계를 짚습니다. 저는 수업에서 UVM 기반 테스트 계획을 짠 수준이라, 실제로 검증 IP와 어서션을 결합해 프로토콜 타이밍 제약을 자동 검증하거나 회귀 커버리지 수렴 추세로 완료 판정을 세워 본 경험은 없습니다. 그래서 두 커버리지를 분리하는 시각을 토대로, 그 검증 역량을 더 키우려 합니다.