Tools for DO-254 hardware programs

Can you show that your simulation evidence should be trusted?

Watch what each tool does. To use one, sign in or ask for a demonstration.

REC Open-Flow Kit

Open-Flow Kit Patent pending

Takes a design, its own testbench and its requirements, and returns one report of verification evidence.

Two independent simulators, with messages and waveforms compared.
Faults planted through the design to show whether the testbench catches them.
Requirements read from your spreadsheet and traced to results.
Free for small designs here; a licensed copy runs on your own network.

Upload a design · sign in User guide · sign in Ask for a demonstration

UVM Verification Environments Additional service

No testbench yet? From your requirements and your module's interface, REC builds the UVM environment, and the kit shows whether it is strong enough.

Describe the interface in a form: no design code has to leave your site.
Your address map, through the hierarchy; every register is tested.
A reference model written from the requirements, not from the design.
Delivered as source, to run on your own simulator licence. Quoted for each module.

Describe a module · sign in Ask for a quote

Training

DO-254 Certification Trainer

Puts an engineer in the lead seat of a hardware program, from the first plan to the certification review, and shows what each decision costs in schedule.

Three programs: DAL A, B and C, each about an hour.
An examiner answers every decision, as a DER would.
Early shortcuts come back later, as they do on a real program.
Runs in a browser; needs no design data.

Open the trainer · sign in User guide · sign in Start a 14-day evaluation

DO-254

Reading

The DO-254 Handbook

The trainer's lessons, collected: planning, requirements, traceability, configuration management, design, verification, evidence and certification, at DAL A, B or C.