Московский государственный университет путей сообщения
Опубликован: 06.09.2012 | Доступ: свободный | Студентов: 953 / 56 | Оценка: 5.00 / 5.00 | Длительность: 35:22:00
Специальности: Разработчик аппаратуры
Лекция 4:

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

< Лекция 3 || Лекция 4: 1234 || Лекция 5 >

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

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

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

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

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

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

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

В разделе 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. Постройте алгоритмическую функциональную модель для элемента ИЛИ y=x_1\lor x_2 \lor x_3.
  6. Чем отличаются многозначные модели логических элементов от двоичных?
  7. Постройте табличную модель в 5-значном алфавите для элемента y=\overline x_1 & x_2.
  8. Как многозначная модель двухвходового вентиля И может быть использована для многозначной модели такого вентиля на 4 входа?
  9. Опишите компонентную троичную модель для элементаy=\overline x_1\lor x_2.
  10. Опишите метод сканирования входов.
  11. Что такое метод счетчиков?
  12. Напишите программные модели вентиля Исключающее\ ИЛИ на основе методов: а) сканирования входов, б) счетчика.
  13. Приведите модель транспортной задержки.
  14. Что такое модель единичной задержки?
  15. Выполните вручную логическое моделирование для представленной ниже схемы

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


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

    • Транспортная с d=2;
    • Инерциальная с d_I=2;
    • Инерциальная с d_I=1;
  16. С разными значениями для переднего и заднего фронтов с d_r=3; d_f=1;
  17. С разными значениями для переднего и заднего фронтов с d_r=1; d_f=3;
  18. Минимаксная d_m=1; d_M=2.
  19. Опишите модель с неопределенной задержкой.
  20. Что такое инерционная задержка.
< Лекция 3 || Лекция 4: 1234 || Лекция 5 >
Дмитрий Медведевских
Дмитрий Медведевских

Добрый день  можно поинтересоваться где брать литературу предложенную в курсе ?Большинство книг я не могу найти  в известных источниках

Дмитрий Кифель
Дмитрий Кифель
Казахстан, Темиртау
Ирина Лысенко
Ирина Лысенко
Россия, Ленинград, ЛПИ, 1985