Когда вы анализируете модель, Simulink® Design Verifier™ генерирует файл данных, когда завершает его анализ. Файл данных является MAT-файлом, который содержит sldvData структура. The sldvData структура хранит все данные, которые собирает и производит программное обеспечение во время анализа. Можно использовать файл данных для настройки собственного анализа или для генерации пользовательского отчета.
Если ваша модель содержит указанные минимальное и максимальное значения на входных портах, sldvData структура содержит информацию об этих значениях. Для примера, после анализа ex_minmax_on_inports модель в разделе «Задайте входные области значений для блоков Inport», файл данных содержит следующие значения:
Для блока Input1:
sldvData.Constraints.DesignMinMax(1).value{1}.low
ans =
1
sldvData.Constraints.DesignMinMax(1).value{1}.high
ans =
5Для блока Input2:
sldvData.Constraints.DesignMinMax(2).value{1}.low
ans =
-1
sldvData.Constraints.DesignMinMax(2).value{1}.high
ans =
1