Модели логических элементов

Ключевые термины:

Двоичный алфавит – минимально возможный алфавит моделирования логического моделирования, содержащий два символа , обычно соответствующие низкому и высокому уровню сигнала.

Многозначный алфавит – содержит большее число символов, отражающих различные физические сигналы, например, символы пятизначного алфавита соответствуют низкому и высокому уровням, переднему и заднему фронтам, неопределенности.

Транспортная задержка – двух каскадная модель модель элемета, где первый каскад реализует логическую функцию, а второй моделирует задержку распространения сигнала.

Инерционная задержка – не пропускает короткие импулься с длиной менее заданного порога.

Краткие итоги

Лекция посвящена моделям логических элементов, которые позволяют по заданным значениям входных сигналов вычислить значения выходных сигналов. Логическое моделирование в конце концов сводится к вызову этих моделей.

В разделе 4.1 описаны модели логических элементов в традиционном двоичном алфавите , которые включают: 1) таблицы истинности; 2) zoom-таблицы; 3) программные функциональные модели; 4) алгоритмические функциональные модели.

Раздел 4.2 посвящен методам моделирования элементов в многозначных алфавитах , которые включают:

1. табличные модели;
2. компонентные модели;
3. метод счетчиков;
4. метод сканирования входов.

В разделе 4.3 изложены типовые модели задержек логических элементов, к которым относятся:

1. единичная задержка;
2. номинальная задержка;
3. различные задержки дл переднего и заднего фронтов;
4. модель мини-максных задержек;
5. инерционная задержка.

Вопросы и упражнения

1. Как может быть использована таблица истинности при моделировании логического элемента.
2. Чем отличается zoom-таблица от таблицы истинности?
3. Постройте zoom-таблицу для вентилей .
4. Как строится программная функциональная модель элемента?
5. Постройте алгоритмическую функциональную модель для элемента .
6. Чем отличаются многозначные модели логических элементов от двоичных?
7. Постройте табличную модель в 5-значном алфавите для элемента .
8. Как многозначная модель двухвходового вентиля может быть использована для многозначной модели такого вентиля на 4 входа?
9. Опишите компонентную троичную модель для элемента.
10. Опишите метод сканирования входов.
11. Что такое метод счетчиков?
12. Напишите программные модели вентиля на основе методов: а) сканирования входов, б) счетчика.
13. Приведите модель транспортной задержки.
14. Что такое модель единичной задержки?
15. Выполните вручную логическое моделирование для представленной ниже схемы
    

    
    

    на приведенных входных воздействиях.

    

    
    

    со следующими задержками обоих элементов:

    • Транспортная с ;
    • Инерциальная с ;
    • Инерциальная с ;
16. С разными значениями для переднего и заднего фронтов с ;
17. С разными значениями для переднего и заднего фронтов с ;
18. Минимаксная .
19. Опишите модель с неопределенной задержкой.
20. Что такое инерционная задержка.