Questa pagina si riferisce alla release precedente. La corrispondente pagina in inglese è stata rimossa nella release attuale.

Analisi del modello o del sottosistema

Preparare il modello o il sottosistema per l'analisi, eseguire l'analisi

Utilizzare Simulink® Design Verifier™ per guidare il processo di progettazione durante la creazione del modello. Verificare la compatibilità di un modello esistente. Superare le limitazioni di compatibilità nel modello o personalizzare gli elementi del modello per l'analisi. Eseguire il rilevamento degli errori di progettazione e generare casi di test o dimostrare le proprietà nel modello.

Funzioni

sldvcompatCheck model for compatibility with analysis
sldvextractExtract subsystem or subchart contents into new model for analysis
sldvisactiveVerify updating of a block diagram
sldvoptionsCreate Simulink Design Verifier options object
sldvtimerIdentify, change, and display timer optimizations
sldvrunAnalyze model
sldvexporttoversionExports a data file for use in a previous version of Simulink Design Verifier (Da R2024a)

Argomenti

Analisi di un modello o di un sottosistema