VeriThreader, 검증 증거를 하나의 스레드로 추적성 확보

Semiconductor Engineering에 따르면 제품이 소프트웨어 중심·커넥티드·자율주행·안전critical화되면서 검증 범위가 빠르게 확대되고 있다. 기존 방식은 도구·조직·인수인계 지점별로 검증 활동이 단절돼 있어 가시성이 떨어지고 영향 분석이 복잡해지며 추적성이 약화된다는 문제가 지적된다. Questa One VeriThreader는 'Verification Capture Points(VCP)'라는 구조화된 커버리지 아티팩트를 통해 파라미터화된 요구사항과 검증 결과, 모델, 컨텍스트, 구성을 연결하는 디지털 검증 스레드를 구현한다. 이를 통해 여러 도메인과 추상화 수준에 걸친 검증 활동을 공통 형식으로 포착해 측정 가능한 검증 커버리지 확보, 교차 도메인 추적성 개선, 공식 감사 요건 지원, 변경 영향 파악을 지원한다고 설명했다.
이 글에 나온 것
이 글은 원문을 요약한 큐레이션입니다. 제목은 요약에 맞춰 새로 붙였습니다. 수치와 단위는 원문 표기를 유지했습니다. 전체 내용은 원 매체에서 읽어 주세요.원문: Semiconductor Engineering 「Rethinking Verification Traceability for Modern Systems」
Semiconductor Engineering 원문 보기 ↗
