Increase Allocated Memory for Analysis Report Generation
When you analyze a model with a large root-level input signal count, you may encounter an insufficient memory error when Simulink® Design Verifier™ is generating the report.
When this occurs, you need to increase the amount of memory the Sun® Java® Virtual Machine (JVM®) software can allocate. For steps on how to increase this memory, see Increase the MATLAB JVM Memory Allocation Limit (MATLAB Report Generator).