Simulink Design Verifier0 pages

Simulink Design Verifier
Identify design errors, generate test cases, and verify designs against requirements
Simulink Design Verifier™ uses formal methods to identify hard–to-find design errors in models without
requiring extensive tests or simulation runs. Design errors detected include dead logic, integer overflow, division
by zero, and violations of design properties and assertions.
Simulink Design Verifier highlights blocks in the model containing these errors and blocks proven to be without
them. For each block with an error, it calculates signal-range boundaries and generates a test vector that
reproduces the error in simulation.
The generated test vectors provide simulation inputs that exercise functionality captured in the model structure
and specified by the test objectives. The test vectors, together with the design properties and test objectives, can
be used to verify code running in software-in-the-loop (SIL) and processor-in-the-loop (PIL) test configurations.
Learn more about verification, validation, and test in Model-Based Design and support for certification standards
in automotive, aerospace, and industrial automation applications.
Key Features
▪ Polyspace® and Prover Plug-In® formal analysis engines
▪ Detection of dead logic, integer and fixed-point overflows, division by zero, and violations of design
properties
▪ Blocks and functions for modeling functional and safety requirements
▪ Test vector generation from functional requirements and model coverage objectives, including condition,
decision, and modified condition/decision (MCDC)
▪ Property proving, with generation of violation examples for analysis and debugging
▪ Fixed-point and floating-point model support
Simulink Design Verifier enables you to perform model analysis within the Simulink® environment. It lets you
verify your designs and validate requirements early without having to generate code. As a result, you can perform
verification and validation throughout the design process. Model analysis with Simulink Design Verifier
complements simulation by letting you use simulation results as inputs to analysis with formal methods.
Simulink Design Verifier supports the discrete-time subset of Simulink and Stateflow® typically used in
embedded control designs.

1