요구사항·설계·검증을 하나의 추적 체계로 묶어 인증 리스크를 줄입니다.
초기 사양서(Word, Excel, DOORS 등)에서 정의된 항목을 하드웨어 명세, HDL 코딩, 구현, 검증 단계까지 빈틈없이 연결하고 자동 추적합니다.
프로젝트 진행 중 사양이 변경될 경우, 어떤 RTL 모듈을 수정해야 하고 어떤 테스트벤치를 재실행해야 하는지 즉각 분석하여 전달합니다.
요구사항 자체가 올바르고 완전하게 정의되었는지 점검하는 확인(Validation)과, 설계가 사양대로 동작하는지 입증하는 검증(Verification)을 포괄적으로 지원합니다.
심사관이 요구하는 상세 추적 매트릭스(Traceability Matrix)와 검증 결과 증빙 문서를 버튼 하나로 자동 생성하여 심사 기간을 대폭 단축합니다.
수집 → 매핑 → 검증 연동 → 인증 리포트까지 4단계로 연결합니다.
Word, Excel, DOORS
사양 및 요구사항 임포트: 고객 명세서, 시스템 요구조건 문서를 ReqTracer로 직접 파싱 및 가져오기
HDL Designer / RTL
RTL 소스 바인딩: 각 요구사항 조항을 실제 Verilog/VHDL 소스 코드 블록 및 모듈에 매핑
Questa Sim / 커버리지
시뮬레이션 결과 자동 집계: Questa Sim 테스트벤치 로그, Assertion, 커버리지 데이터와 실시간 연동
추적 매트릭스 출력
모든 요구사항의 Covered/Uncovered 상태를 시각화하고 공인 감사 보고서로 출력
항공전자와 차량용 기능안전을 하나의 추적성 플랫폼에서 지원합니다.
항공기 전자 하드웨어 설계의 필수 인증 규격 준수.
요구사항 기반 테스트(Requirements-based testing), 견고성 테스트(Robustness testing), 독립적 검증 데이터 구축을 완벽 지원.
자율주행 및 커넥티드 카 반도체 신뢰성 확보를 위한 ASIL 인증 가속.
영구/과도 결함(Permanent & Transient Faults) 주입 시뮬레이션 결과와 결합하여 고장 감지율(SPFM, LFM) 달성 입증.
ReqTracer Fact Sheet와 핵심 검증 가이드를 PDF로 제공합니다.
DO-254 라이프사이클에서 요구하는 V&V 프로세스의 범위와 세부 요구조건 분석
대규모 SoC 결함 주입 시뮬레이션을 통한 안전성 평가 및 인증 통과 방법론
스마트 모빌리티 반도체의 하드웨어 RoT 구축 및 복합 검증 전략
ReqTracer 제품 개요·주요 기능·인증 지원 범위를 한눈에 확인할 수 있는 공식 Fact Sheet입니다.
프로젝트 요구사항에 맞는 제품 구성과 도입 검토를 도와드립니다.
제품 상담과 기술 문의를 통해 자세한 내용을 확인하세요.
사이트 검색