Сокращение блоков обеспечивает более быстрое выполнение во время моделирования модели и в сгенерированном коде. При включении сокращения блоков некоторые группы блоков могут быть свернуты в один блок или даже полностью удалены.
В Simulink ® Design Verifier™ сокращение блоков происходит автоматически, и блоки в неиспользуемых путях кода исключаются из модели. Результаты Simulink Design Verifier не включают цели испытаний для блоков, которые были уменьшены.
Рассмотрим блок Switch в следующей модели.
Для этого блока переключения управляющий вход всегда 0. Если параметр Criteria for passing first input block имеет значение u2 ~= 0, блок коммутатора всегда передает третий вход в выходной порт. При анализе этой модели Simulink Design Verifier удаляет блок Switch из модели и не сообщает о каких-либо целях тестирования для блока Switch.
Дополнительные сведения о сокращении блока см. в описании параметра сокращения блока.