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