Можно сконфигурировать опцию, чтобы создать или повторно использовать представление модели с панели Design Verifier, опции Перестроить представление модели или при помощи sldvoptions
. По умолчанию для опции задано значение If change is detected
и программное обеспечение повторно использует представление модели для анализа, если нет изменений в модели.
При выполнении анализа в окне Сводка результатов (Results Summary) отображается информация, относящаяся к представлению модели. Если вы выбираете Always
для опции Rebuild model representation программа перестраивает представление модели во время анализа.
Если вы выбираете If change is detected
опция проверяет существующее представление кэшированной модели. Если кэшированная модель успешно проверена, она повторно используется для анализа.
Если изменение обнаружено в модели, представление модели перестраивается. Для получения дополнительной информации смотрите Изменения, которые влияют на перестройку представления модели.