Verification and Validation
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.
Assertion-Based Verification for a DO-254 Program
: Assertion-based verification (ABV) is a more modern approach to verification that can also validate the requirements phase of a DO-254 program. In this video, DO-254 program manager Michelle Lange shows...
Understanding CDC Analysis for a DO-254 Program
: The drive to smaller, more efficient devices increases the risk of metastability in multi-clock designs, causing subtle problems that are difficult to debug with traditional verification techniques. They...
Simulating the RTL and Running Code Coverage
: Simulation is part of design verification, a DO-254 supporting process that ensures that the device successfully meets requirements. Simulation tests are typically run throughout the DO-254 design flow...
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.
RTL Simulation/Analysis Resources
White papers & presentations