DO-254 / Safety Critical
/SAFETYWhen the successful implementation of your design can make the difference between life and death, you need to be absolutely confident that your design is fit for purpose, and that you have taken all possible steps to assure that it won’t fail. Design assurance guidance, in the form of standards such as DO-254, are a means of compliance in the design of complex electronic hardware devices.
Aldec ALINT-PRO
Advanced Design Rule Checking / FPGA / FV / SAFETY / ASIC
ALINT-PRO is a design rule checking (DRC) tool. It uses rule files (‘policies’) to check that a design’s RTL adheres to a defined RTL coding style. It decreases development time dramatically by identifying design issues early in the development schedule.
Aldec ALINT-PRO-CDC
Advanced Design Rule Checking / FPGA / FV / SAFETY / ASIC
ALINT-PRO-CDC is a design verification solution focused on asynchronous clock domain crossing analysis and used to manage metastability in designs with multiple clock domains.
Aldec Spec-TRACER
Requirements Lifecycle Management / REQ-M / SAFETY
Spec-TRACER is a unified requirements lifecycle management solution designed specifically for FPGA and ASIC designs. It facilitates requirements capture, management, impact analysis, traceability and reporting. Spec-TRACER seamlessly integrates with your Windows-based HDL design and simulation tools and also integrates directly with IBM Rational DOORS.
Aldec DO-254 CTS
FPGA Level In-target Testing / SAFETY
DO-254/CTS is a fully customised hardware and software platform that augments target board testing to increase verification coverage by test and to satisfy the verification objectives of DO-254/ED-80.
Sigasi Studio
VHDL code editing, browsing & checking / FPGA / SAFETY / ASIC
The Sigasi Studio platform was developed specifically to make HDL design easier and more efficient. It is based on the Eclipse platform and brings the same kind of real-time code checking assistance that software engineers have enjoyed for years firmly into the hardware arena.