ReqTracer®는 FPGA 및 ASIC 설계 흐름의 요구 사항을 관리합니다. ReqTracer®는 HDL 코딩, 구현 및 검증을 통해 하드웨어 사양의 사양에서 요구 사항 추적을 단순화, 자동화가 가능하게 합니다.
명시된 요구 사항 검증을 위한 하드웨어 구현의 명확한 추적은 의료, 운송, 항공 우주 및 군사 분야의 안전에 중요한 프로젝트에 매우 적합하지만 복잡한 ASIC 또는 FPGA 설계에 대해서도 마찬가지로 선호 는 개발 관행이 되었습니다.
Safety-critical Design
Safety-critical Design 는 설계 요구 사항이 검증된 구현과 정확히 일치하는 것을 의미합니다. ReqTracer®는 이러한 요구 사항을 충족하는 최종 제품을 제공하고 DO-254, ISO 26262, IEC 61508 및 IEC 60601과 같은 기업 및 외부 표준을 지원하기 위해 요구 사항 추적성을 자동화하는 데 필요한 증거를 제공할 수 있습니다.
SOFTWARE PRODUCT SOLUTIONS
REQTRACER® I FOR FPGA AND ASIC DESIGN
ReqTracer®는 FPGA 및 ASIC 설계 흐름의 요구 사항을 관리합니다. ReqTracer®는 HDL 코딩, 구현 및 검증을 통해 하드웨어 사양의 사양에서 요구 사항 추적을 단순화, 자동화가 가능하게 합니다.
명시된 요구 사항 검증을 위한 하드웨어 구현의 명확한 추적은 의료, 운송, 항공 우주 및 군사 분야의 안전에 중요한 프로젝트에 매우 적합하지만 복잡한 ASIC 또는 FPGA 설계에 대해서도 마찬가지로 선호 는 개발 관행이 되었습니다.
Safety-critical Design
Safety-critical Design 는 설계 요구 사항이 검증된 구현과 정확히 일치하는 것을 의미합니다. ReqTracer®는 이러한 요구 사항을 충족하는 최종 제품을 제공하고 DO-254, ISO 26262, IEC 61508 및 IEC 60601과 같은 기업 및 외부 표준을 지원하기 위해 요구 사항 추적성을 자동화하는 데 필요한 증거를 제공할 수 있습니다.
KEY FEATURES
ReqTracer
설계 요구사항이 충족되는지 여부를 판단한다는 것은 RTL 설명을 통해 사양을 추적하고 검증 결과를 추적할 수 있다는 것을 의미합니다. ReqTracer를 사용하면 요구사항 중심의 프로젝트 개발 프로세스를 쉽게 구현하고 추적할 수 있습니다.
Project management
모범 사례
ReqTracer는 요구사항 중심의 프로젝트 개발 프로세스 구현 및 추적을 지원하고 지속적인 프로세스 개선을 촉진하는 대화형 도구를 제공합니다.
Requirement traceability
자동 추적
ReqTracer는 하드웨어 및 소프트웨어 프로젝트 라이프사이클 전반에 걸쳐 요구사항 추적 및 영향 분석을 관리하는 효율적인 솔루션입니다. ReqTracer는
HDL 코딩, 구현 및 검증을 통해 하드웨어 사양의 사양에서 요구사항 추적을 단순화, 자동화하고 가능하게 합니다.
Safety-critical design
ReqTracer는 규정 준수를 위한 검증된 구현을 입증하기 위해 설계 소스 및 검증 결과에 대한 요구 사항을 자세히 추적합니다.
ASIC/FPGA verification
사양 및 요구 사항 연결
ReqTracer는 설계 사양과 요구 사항 사이의 격차를 해소하여 기존(직접 테스트) 및 고급 검증 생산성과 효율성을 모두 향상시킵니다.