SoC Verification Planning Platform

Spec-TRACER is a powerful requirements lifecycle management system designed specifically for FPGA and ASIC designs that need compliance for DO-254. It facilitates and unifies requirements capture, management, analysis and traceability needed to address the requirements-driven design assurance process imposed for Mil/Aero safety critical applications. Traceability links between requirements and various elements of the HDL design, testbench and simulation results are seamlessly established and traceability reports automatically generated. Requirements capture and validation are simplified to assist both the applicant and certification authority during reviews. For more…