Распознавание неконсистентного проектирования

В результате взаимозависимости между отдельными объектами данных изменение одного объекта может привести к ошибкам в других, зависимых от него объектах. Чтобы задавать по возможности гибкие настройки и тестировать их, существует принципиальная установка на допуск таких несогласованностей. С целью поддержки консистентного планирования в программе реализованы следующие механизмы и проверки:

• Изменение промежуточных тактов может привести к тому, что в соответствующих сигнальных программах и/или фазовых переходах возникнет нарушение минимальной продолжительности промежуточного такта. Они отображаются графически, если открыть объект.
• Если добавлены дополнительные конфликты, это может привести к недействительным фазам. В области Назначение фазы конфликтный зеленый сигнал отмечается при помощи красных ячеек.

• Изменение фаз может привести к тому, что фазовые переходы станут недействительны, так как изменилось исходное состояние или проектируемое состояние группы сигналов. Различают следующие случаи:
• Если состояние группы сигналов изменяется с Разрешено или Заблокировано на Нерелевантно, то относящиеся к ней фазовые переходы останутся консистентными. Так как фазовый переход консистентен, он не будет рассчитываться заново, если еще раз выбрать измененную фазу. Чтобы заново рассчитать фазовый переход, необходимо сначала выбрать любую фазу, а затем уже измененную фазу. На рисунке в фазе 2 для N RG и S RG состояние с Закрыто изменилось на Нерелевантно.

• Если состояние группы сигналов изменяется на Разрешено или Закрыто, относящиеся к ней фазовые переходы, как правило, останутся неконсистентными. В таком случае в дереве навигатора неконсистентные фазовые переходы выделяются красным цветом. На рисунке в фазе 2 для S RG состояние с Закрыто изменилось на Разрешено.

• В виде обработки неконсистентного фазового перехода схематичное изображение конфликтной фазы представлено в красном цвете, то же самое касается отклоняющихся состояний фазы в строках. При эксплицитном выборе фазы, выделенной красным цветом, запускается перерасчет фазового перехода, для того чтобы он снова стал консистентным с измененной фазой.
• Изменение фазовых переходов может привести к неконсистентности относящихся к ним сигнальных программ на основе фаз. В таком случае в дереве навигатора названия неконсистентных сигнальных программ выделяются красным цветом.

• Строки, имеющие в результате изменения фазовых переходов неконсистентную последовательность сигналов, в виде обработки выделяются как ошибочные, и неконсистентная область помечается красным. Фазовый переход 2 рассчитывается заново после вышеописанного изменения фазы 2 путем эксплицитного выбора фазы 2:

Можно проверять сигнальную программу на наличие нестыковок:

1.  Выберите в меню Файл > Проверить.

Если в графической сигнальной программе найдены ошибочные элементы, откроется древовидная структура и покажет эти элементы красным цветом.

2.  Откорректируйте элементы.