Логические и функциональные состязания в ИМС

· Логические и функциональные состязания в ИМС. Состязания статического и динамического типа. Модели исключения функциональных состязаний.

· Метастабильные состояния.

Состязания в ЦИС

При подаче Xi – го входного алфавита на схему автомата а затем Xj – го I - ое значение выходного алфавита Zj не всегда определяется таблицей истинности: в схеме могут возникнуть фальшивые, ложные логические состояния, вызванные состязаниями сигналов в схемах.

Мы оперируем логическими выражениями в пропозициональной форме. Пропозициональная форма – набор символов и отношений их между собой. Любая пропозициональная форма может быть определена тремя связками: инверсия, умножение, сложение, или в символьной записи ù, &(Ç), È(+,³1).

Существует теорема: любая булева функция с более чем 2 переменными имеет состязания статического и динамического типа.

Например, функция А&ùА = 0, но при ее аппаратной реализации при переходе А из 0 в 1 или из 1 в 0 на выходе схемы может возникнуть кратковременная 1.

Правила анализа логических схем.

1. Пусть есть схема С1, являющаяся подсхемой С2 (С1 Î С2). Если мы ее сформируем так, что в ней не будет дополнительных состязаний, то и в схеме С2 не возникнут дополнительные состязания.

2. Включение инвертора в схему не приводит к дополнительным состязаниям.

You can leave a response, or trackback from your own site.

Leave a Reply