Verifying that the device performs its intended function (and does not do anything unintended) is a
crucial part of DO-254 flows. Mentor’s industry-leading advanced verification solution supports even the most complex
designs, with requirements-based verification management and unified coverage database to meet both your DO-254 compliance and business goals.
Solutions
- ModelSim
As the industry proven simulator used in military and aerospace companies, ModelSim® is a simulation-based test environment that also supports various code coverage metrics as required for Level A/B designs.
- Questa
For more complex devices, Questa® wraps advanced verification methodologies around ModelSim's core simulation engine, offering broad language support (VHDL, Verilog, C, SystemVerilog), assertion-based design and debugging (including assertion libraries), test bench automation, transaction level modeling, a unified coverage database (UCDB), verification management coupled with requirements traceability, and supporting the industry’s only Open Verification Methodology (OVM) for test benches.
- 0-In Formal Verification
Complimenting simulation, 0-In FV™ can exhaustively prove safety-critical requirements to ensure your design contains no unintended behaviors.
- 0-In CDC
For designs with multiple, asynchronous clocks, 0-In CDC™ performs a comprehensive analysis of the design to ensure it is free of metastability errors.
- FormalPro
For assurance any time your design transforms through synthesis or routing, the logical equivalency checking of FormalPro™ (which works in conjunction with Precision) compares two design versions to ensure they are functionally equivalent
- SystemVision
For additional and early system-level verification of FPGA components, SystemVision™ provides a virtual lab for design and analysis of distributed mechatronic systems.
- Verification Consulting Services
Mentor Consulting has extensive experience helping companies achieve DO-254 compliance with hands-on services to accelerate success and reduce risk, especially in the areas of new verification methods and testbench creation.
|
