ALDEC has launched Spec-TRACER, a requirements lifecycle management solution for FPGA and ASIC devices developed for safety-critical industries with rigorous certification standards.
Spec-TRACER provides the traceability objectives demanded by DO-254 for avionics, ISO 26262 for automotive, IEC 61508/61511 for industrial and IEC 61513 for nuclear.
According to Aldec, managing and recording how an FPGA or ASIC is developed against its requirements is an increasingly complex task, yet essential for certification and critical to produce high-quality, reliable, safe and compliant products.
Spec-TRACER aids in ensuring that traceability exists throughout the entire development lifecycle, in order to prove that the product has been designed and tested through a requirements-based process, from top-level design requirements to HDL source code, and from verification test cases to the testbench and through to the simulation results.
The solution streamlines and automates the requirements engineering process such as capture, traceability, requirements versions tracking, results management and reporting.
Features within the launch version of Spec-TRACER include:
- specification import (from MS Word, MS Excel and DOORS)
- change impact analysis
- requirements coverage analysis
- pre- and user-defined traceability reports
- multi-user access
In addition, traceability links between requirements, test plans and HDL source code are established easily and multi-directional traceability reports are generated automatically.