Sign In
Forgot Password?
Sign In | | Create Account

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.

ModelSim for RTL

ModelSim supports a traditional directed-test simulation approach and also includes code coverage features in support of "Elemental Analysis."

Learn More about ModelSim

Questa for Advanced RTL Verification

Questa support more advanced verification methods for complex devices, including assertion-based design, verification management, and other advanced features.

Learn More about Questa

Questa CDC for Metastability Analysis

Questa CDC performs analysis on a multi-clock design to identify potential problems with metastability.

Learn more about Questa CDC

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.

Learn more about Questa Formal Verification