Diese Seite ist für die vorige Version. Die entsprechende englische Seite wurde in der aktuellen Version entfernt.
Bewährte Praktiken für die Simulink Design Verifier-Analyse
Bewährte Praktiken, Überlegungen und Support-Einschränkungen für die Simulink® Design Verifier™-Analyse
Simulink Design Verifier bietet verschiedene Supportstufen für die Simulink-Funktionen. Wenn Ihr Modell teilweise unterstützte Blöcke enthält, können Sie das automatische Stubbing aktivieren oder die Verwendung nicht unterstützter Funktionen in den von Ihnen analysierten Modellen vermeiden.
Themen
Bewährte Praktiken und Überlegungen
- Simulink Design Verifier Block Library
- Handle Model Complexities with Automatic Stubbing
How Simulink Design Verifier uses automatic stubbing to handle model complexities. - Modified Condition and Decision Coverage in Simulink Design Verifier
Describes the difference between MCDC coverage in Simulink Design Verifier and in Simulink Coverage™. - Enhanced MCDC Coverage in Simulink Design Verifier
Describes the Enhanced MCDC coverage concept and workflows. - Analyze Model for Enhanced MCDC Analysis
Analyze a model for enhanced MCDC objectives. - Logical Operations Short-circuiting
Explains how Simulink Design Verifier short-circuits logic blocks. - Understanding Result Approximations
Simulink Design Verifier identifies and reports approximation during analysis.
Details zu Support-Einschränkungen
- Limitations of Simulink Design Verifier for Simulink Software Features
Review Simulink software features that Simulink Design Verifier does not support. - Unsupported Simulink Blocks in Analysis
Review Simulink blocks that Simulink Design Verifier does and does not support. - Analysis Limitations and Considerations for Model Blocks
Review Simulink Design Verifier limitations for the Model block. - Limitations of Simulink Design Verifier with Stateflow Features
Lists the Stateflow® software features that the Simulink Design Verifier and Fixed-Point Designer™ software does not support. - Simulink Design Verifier Limitations for MATLAB for Code Generation
Review limitations associated with Simulink Design Verifier software support for MATLAB® for code generation. - Simulink Design Verifier Limitations and Considerations for S-Functions and C/C++ Code
Lists limitations and considerations of S-functions and Generated Code in Simulink Design Verifier. - Analyze Models with Counters and Timers
Best practices for handling counters and timers in your model to avoid over complicating Simulink Design Verifier analysis. - Logical Operations Short-circuiting
Explains how Simulink Design Verifier short-circuits logic blocks.
