Verification and Validation
DO-254 Lifecycle
RTL Simulation and Analysis
The RTL simulation phase of a DO-254 project usually entails running a set of requirements-based tests, traceable to the requirements, and running code coverage to ensure that the tests fully exercise the RTL code.
More complex devices might require more sophisticated methods, such as assertion-based design and clock-domain crossing analysis.
Streamline RTL simulation and analysis
ModelSim for RTL
ModelSim supports a traditional directed-test simulation approach and also includes code coverage features in support of "Elemental Analysis."
Questa for Advanced RTL Verification
Questa support more advanced verification methods for complex devices, including assertion-based design, verification management, and other advanced features.
Questa CDC for Metastability Analysis
Questa CDC performs analysis on a multi-clock design to identify potential problems with metastability.
Questa Formal Verification for Exhaustive Analysis
Questa Formal Verification is a model checking tool that can be used to exhaustively verify a design's safety-critical properties.
RTL Simulation/Analysis Resources
Datasheets
White papers & presentations