Система схемотехнического моделирования и проектирования Design Center




Функциональное описание цифровых устройств - часть 13


+              [ MIN_HI=< значение интервала времени

> ]

+              [ MIN_LO=< значение интервала времени

> ]

+              [ WHEN { <булевское выражение> } ]

+              [ MESSAGE=“<текст дополнительного сообщения>“]

+              [ ERRORLIMIT=<значение> ]

+              [ AFFECTS_ALL | AFFECTS_NONE |

+                          AFFECTS (#OUTPUTS)=<список выходных узлов>]

Переменная NODE указывает входной узел, для которого проводится контроль длительности импульса. MIN_HI задает минимальное время, в течение которого входной узел должен находиться в состоянии “1”, а MIN_LO –  в состоянии “0”. Если значение MIN_HI не указано, то оно считается равным нулю, что означает отсутствие ограничений на минимальную длительность импульсов.

FREQ содержит спецификацию допустимой частоты переключений:

+  FREQ

+              NODE=<входной узел>

+              [ MINFREQ=< значение частоты

> ]

+              [ MAXFREQ=< значение частоты

> ]

+              [ WHEN { <булевское выражение> } ]

+              [ MESSAGE=“<текст дополнительного сообщения>“]

+              [ ERRORLIMIT=<значение> ]

+              [ AFFECTS_ALL | AFFECTS_NONE |

+                          AFFECTS (#OUTPUTS)=<список выходных узлов>]

Переменная NODE указывает входной узел, для которого проводится контроль частоты переключений. MINFREQ задает минимальное частоту переключений, а MAXFREQ – максимальную.

При моделировании выводятся предупреждающие сообщения, когда период  переключений больше/меньше значений 1/<значение частоты>.

GENERAL содержит спецификацию проверок, формулируемых пользователем

+  GENERAL

+              WHEN { <булевское выражение> }

+              MESSAGE=“<текст дополнительного сообщения>“

+              [ ERRORLIMIT=<значение> ]

+              [ AFFECTS_ALL | AFFECTS_NONE |

+                          AFFECTS (#OUTPUTS)=<список выходных узлов>]




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