Функциональное описание цифровых устройств - часть 11
Секции BOOLEAN могут включаться в любом порядке при описании примитива CONSTRAINT. Синтаксис <булевских выражений> такой же, что и в примитиве PINDLY, за исключением того, что не могут быть использованы функции изменений.
Секция SETUP_HOLD выполняет проверку времен установки/сброса, она имеет формат
+ SETUP_HOLD:
+ CLOCK <определение типа перехода>=<входной узел>
+ DATA (<кол-во входов данных>)=<входной узел j>...< входной узел k>
+ [ SETUPTIME=<значение интервала времени>]
+ [ HOLDTIME=< значение интервала времени
> ]
+ [ RELEASETIME = < значение интервала времени > ]
+ [ WHEN { <булевское выражение> } ]
+ [ MESSAGE=“<текст дополнительного сообщения>“]
+ [ ERRORLIMIT=<значение> ]
+ [ AFFECTS_ALL | AFFECTS_NONE |
+ AFFECTS (#OUTPUTS)=<список выходных узлов>]
CLOCK задает узел, относительно которого выполняется измерение длительности времен установки/удержания/отпускания. Параметр <определения типа перехода> принимает значения LH или HL, он указывает, от какого фронта импульса (0


DATA определяет перечень узлов, для которых выполняется измерение времен установки/удержания.
SETUPTIME определяет минимальное время, в течение которого все узлы, перечисленные в разделе DATA, должны находиться в неизменном состоянии до момента начала отсчета времен установки/удержания. <
значение интервала времени > должно быть неотрицательной константой или выражением (в секундах). Некоторые устройства имеют различные требования к времени установки в зависимости от состояния входных данных (“0” или “1”) в момент начала отсчета. В таком случае вместо SETUPTIME применяется одна из форм
SETUPTIME_LO=<значение интервала времени>]