Design Error Detection
Statically detect run-time errors and dead logic,
derive design ranges
Design errors detection include dead logic, integer overflow, division by zero, and violations of design properties and assertions. Simulink® Design Verifier™ uses formal methods to identify hard-to-find design errors in models without requiring extensive tests or simulation runs. You use Simulink Design Verifier to highlight blocks in a model containing design errors and blocks proven to be without them. For each block with an error, you calculate signal-range boundaries and generate a test vector that reproduces the error in simulation.
Categories
- Static Run-Time Error Detection
Prove absence of and diagnose the run-time errors before simulation.
- Dead Logic Detection
Find nonfunctional logic, inactive execution paths
- Design Range Checks
Check for specified minimum and maximum signal values
- Input Range Constraints
Specify minimum and maximum input values to mimic environmental constraints