Simulink Design Verifier Log Files
Every time you analyze a model, Simulink® Design Verifier™ creates a log file. To view the log file, click View Log in the Simulink Design Verifier log window.
The log file contains a list of the analysis results for each object in the model. The content of the log file corresponds to the analysis results displayed in the log window during the analysis.