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 supports a traditional directed-test simulation approach and also includes code coverage features in support of "Elemental Analysis."
Questa support more advanced verification methods for complex devices, including assertion-based design, verification management, and other advanced features.
Questa CDC performs analysis on a multi-clock design to identify potential problems with metastability.
Questa Formal Verification is a model checking tool that can be used to exhaustively verify a design's safety-critical properties.