Каждый раз, когда вы анализируете модель, Simulink® Design Verifier™ создает файл журнала. Чтобы просмотреть файл журнала, нажмите кнопку View Log в окне журнала Simulink Design Verifier.
Файл журнала содержит список результатов анализа для каждого объекта в модели. Содержимое файла журнала соответствует результатам анализа, отображаемым в окне журнала во время анализа.