Функциональное описание цифровых устройств - часть 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

1 или 1

0) отсчитывается время установки/удержания.

DATA определяет перечень узлов, для которых выполняется измерение времен установки/удержания.

SETUPTIME определяет минимальное время, в течение которого все узлы, перечисленные в разделе DATA, должны находиться в неизменном состоянии до момента начала отсчета времен установки/удержания. <

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

SETUPTIME_LO=<значение интервала времени>]

Содержание Назад Вперед