newModel = sldvextract(subsystem) извлекает содержимое атомарной подсистемы subsystem и создает модель для программного обеспечения Simulink^® Design Verifier™, чтобы анализировать. sldvextract возвращает имя новой модели в newModel. Если имя модели существует, sldvextract использует имя подсистемы для имени модели, добавляя номер к имени модели.

newModel = sldvextract(subchart) извлекает содержимое атомарной субдиаграммы subchart и создает модель для программного обеспечения Simulink Design Verifier, чтобы анализировать. Задайте полный путь атомарной субдиаграммы в subchart. Если имя модели существует, sldvextract использует имя субдиаграммы для имени модели, добавляя номер к имени модели.

newModel = sldvextract(exportfcnmodel) создает модель планировщика, которая вызывает модель exportfcnmodel экспорта функций для анализа Simulink Design Verifier. sldvextract возвращает имя новой модели в newModel. newModel состоит из exportfcnmodel имя модели с суффиксным SldvScheduler. Если имя модели уже существует, sldvextract использует exportfcnmodel назовите для имени модели, добавив номер к имени модели.

newModel = sldvextract(subsystem, showModel) и newModel = sldvextract(subchart, showModel) открывает извлеченную модель, когда вы устанавливаете showModel к true. Если showModel установлен в false, извлеченная модель только загружается в рабочую область.