DO-254 Tool Assessment and Qualification Compliance
DER-Reviewed Package for Minimal Certification Effort
OneSpin 360 EC-FPGA is an automatic sequential equivalence checker that prevents field programmable gate array (FPGA) design flows from introducing synthesis, place-and-route and other implementation errors. Safety standards require rigorous verification before production to minimize the risk of failures in the field. With the most advanced formal technology, EC-FPGA detects corner-case design-flow bugs with a process that is orders of magnitude more efficient and rigorous than gate-level simulation. With this TUV SUD certified Tool Qualification Kit (TQK), users can deploy EC-FPGA seamlessly in their safety-critical flow to achieve a new level of productivity and standard compliance, without additional qualification effort.
DO-254 requires that any tool that reduces or replaces manual development steps must be rigorously assessed.
Hardware development flows follow a layered approach, which provides an independent output assessment of most design and verification tools. The DO-254 applicant can alternatively review the output of a tool, or use an additional tool intended to accomplish the same objective. Tools integrated into flows that do not support independent output assessment may require tool qualification.