QVtrace is a powerful analysis tool that enables systems engineers to easily and rigorously probe Simulink and Stateflow models to verify the behaviour of their designs.
The following guide provides an overview of the installation and use of QVtrace, including supported mathematical expressions, input formats, general workflow, and the QCT querying language syntax.
The scope of analysis capabilities and component support in QVtrace are growing rapidly and we work closely with our customers and partners to ensure the tool grows to accommodate their needs.
The current state of coverage in QVtrace is as follows:
Linear and non-linear components and query conditions including:
- Matrix arithmetic
Standard data types:
- Simulink MDL and SLX files
- Simulink and Stateflow blocks
- Matlab files (for parameter values)