DO-254 / Safety Critical

/SAFETY


From DO-254 and EN-80 for the aerospace industry, to ISO-26262 in the automotive; requirements driven design and traceability are key when it comes to safety critical design. Defined methodologies and tools are essential in managing such designs successfully; Because of this we offer a number of tools and solutions that are specifically intended to aid in design and verification for safety critical and mission critical applications.

When 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 Visual HDL
VHDL code editing, browsing & checking / FPGA / SAFETY / ASIC

Sigasi Visual HDL is an intelligent hardware design tool that features advanced programming assistance for engineers using HDLs for FPGA and ASIC design. This tool is valuable to anyone doing HDL design, and specifically engineering teams who create microchips for strictly regulated and safety critical environments.