Лекция 7. Этап функционально- логического проектирования

• (продолж.)

Математические модели компонентов:

–ММЭ:

•таблица истинности и состояний (удобны, но только для простых элементов)

•конечный автомат (наиболее распространен).

Автомат Мура:

Y = φ (X, A);

A‘ = ψ (X, A),

где Y - вектор выходных для элемента переменных; Х - вектор входных переменных; А – вектор,

характеризующий внутренние состояния. Элементы Х и A относятся к моменту времени t, а элементы векторов

A‘ и Y – к моменту времени t+tз, где tз – задержка.

Лекция 7. Этап функционально- логического проектирования (продолж.)

•Математические модели компонентов:

Или Y(t) = X1(t) ^ X2(t) или Y(t+tз) = X1(t) ^ X2(t)

•Т-триггер

А(t + tз) = Х (t) ^ A (t) v X (t) ^ A (t).

Лекция 7. Этап функционально- логического проектирования (продолж.)

•Математическая модель схемы:

–ММС – это совокупность ММЭ, в которых производится

отождествление переменных, относящихся к

соединенным выводам элементов.

f = e ^ c

c

Обозначим: U – вектор входных для схемы шин, U = (a, b, c) V – вектор промежуточных и выходных шин, V =

(e, f)

V = F (V, U); V ' = F (V, U).

Лекция 7. Этап функционально- логического проектирования (продолж.)

•Синхронная и асинхронная модель:

–V = F (V, U) – уравнение синхронной модели

–V ' = F (V, U) – уравнение асинхронной модели.

Синхронная модель:

-наиболее экономична, не учитывает задержек (отсутствует время), система логических уравнений

-применяют:

-Проверка корректности соединений

-Выявление рисков сбоя (возможность появления ложных сигналов)

-Синтез тестов

Используют булевы (двузначные) и многозначные переменные.

Лекция 7. Этап функционально- логического проектирования (продолж.)

Лекция 7. Этап функционально- логического проектирования (продолж.)

•Статический риск сбоя (продолж.):

–Необходимо дополнительное состояние – 2

(неопределенное состояние при переходе 1 в 0, или 0 в

Лекция 7. Этап функционально- логического проектирования (продолж.)

•Статический риск сбоя (продолж.):

–При моделировании необходимы 2 расчета (анализа), сначала – промежуточные значения, а затем окончательные.

–Промежуточное значение для входной переменной задается равным 2 тогда,aкогда исходное& и окончательное значения неодинаковыe.

g = e v c.

Лекция 7. Этап функционально- логического проектирования (продолж.)

•Статический риск сбоя (продолж.):

–Расчет в таблице:

- Значение сигнала 2 по шине g (должно быть 0), говорит о

риске сбоя (появление ложного сигнала).

Лекция 7. Этап функционально- логического проектирования (продолж.)

•Динамический риск сбоя:

–Это опасность многократныхa

Лекция 7. Этап функционально- логического проектирования (продолж.)

•Динамический риск сбоя (продолж.):

–Для ранее приведенного примера

–Динамический риск сбоя по шине g (значение 2, д.б. 4)

–Статический риск сбоя по шине e.