1 Функционально-логическое моделирование Сильнов Дмитрий Сергеевич к. т. н. , доцент каф. № 12
2 Динамическая модель элемента • Текущие: • Вычисление: ▫ Входные состояния ▫ Выходные состояния ▫ Внутренние состояния • Номер возбужденного входа • Характер переключения на возбужденном входе • Нагрузка на каждом входе ▫ Выходные состояния ▫ Внутренние состояния ДМЭ • Выбранные: ▫ Задержки для выходов ▫ Задержки для внутренних состояний
3 Алгоритм определения выходных состояний ДМЭ •
4 Алгоритм определения выходных состояний ДМЭ Б Т В Т Т Т Устойчивое состояние элемента Неустойчивое состояние элемента
5 ДМЭ с фиксированными задержками
6 Модель элемента, построенная по уравнениям •
7 Модель элемента, построенная по уравнениям •
8 Модель элемента, построенная по уравнениям •
9 Модель элемента, построенная по уравнениям
10 Модель элемента, построенная по уравнениям
11 Модель элемента, построенная по уравнениям • Представить структуру в виде ориентированного графа (вершины – логические элементы, дуги – связи между элементами). • Найти независимые контуры (DE и LH). • Определить минимальное число вершин (Обратных Связей), раскрытие которых (т. е. обрыв дуг) выходящих из вершины, приводит к размыканию всех независимых контуров. • Схема имеет две обратные связи, необходимо раскрыть две вершины – E и H. • Вводятся внутренние переменные: y 1, Y 1; y 2, Y 2.
12 Модель элемента, построенная по уравнениям
13 Модель элемента, построенная по уравнениям
14 Модель элемента, построенная по уравнениям
15 Модель элемента, построенная по уравнениям
16 Модель элемента, построенная по уравнениям •
17 Табличная модель элемента • Таблица истинности • Таблица переходов.
18 Табличная модель элемента Таблица переходов для JK-триггера 000 001 010 111 100 00 (00) 01 01 (00) 01 11 11 (01) 11 11 11 (11) (11) 10 10 (11) 10 00 00 00 (10) 00 CJK y 1 y 2 Y 1 Y 2 (устойчивое состояние)