
- •Логические основы цифровой электроники
- •Кодирование цифровой информации
- •Некоторые двоично-десятичные коды
- •Код Грея
- •1.2. Классификация цифровых устройств
- •1.3. Основы алгебры и логики
- •1.4. Способы задания и преобразования логических функций
- •1.5. Минимизация логических функций
- •1.6. Вопросы и упражнения
- •Комбинационные цифровые устройства
- •Особенности синтеза и функционирования комбинационных цифровых устройств
- •2.2. Элементная база для практической реализации цифровых устройств
- •2.3 Цифровые логические элементы
- •Статические параметры логических элементов. В качестве важнейших статических параметров приводятся четыре значения напряжений и четыре значения токов.
- •2.4 Типы выходных каскадов цифровых элементов
- •X1 x0 1 “эмиттерный дот”
- •Соединяя прямой выход с инверсным, можно получить функцию вида
- •2.5. Вопросы и упражнения
- •3. Типовые комбинационные цифровые устройства
- •3.1. Преобразователи кодов, шифраторы и дешифраторы
- •3.2. Шифраторы
- •3.3. Дешифраторы
- •3.4. Мультиплексоры и демультиплексоры
- •3.5. Компараторы
- •3.6. Арифметические устройства
- •3.7. Вопросы и упражнения
1.6. Вопросы и упражнения
2.1.1. Дайте определения цифровых автоматов комбинационного и последовательностного типов.
2.1.2. Докажите справедливость логического тождества
(x2V x1) (x1V x0) = x1V x2 x0 V x1 x0.
2.1.3. Считая теорему Моргана для двух аргументов доказанной, обобщите ее для произвольного числа аргументов.
2.1.4. Определите общее число логических функций одного аргумента, перечислите их и назовите соответствующие логические элементы.
2.1.5. Определите число логических функций восьми аргументов.
2
.1.6.
Дайте определение минтерма и макстерма.
Запишите аналитические выражения для
Mn239
и Mn534.
2 .1.7. Функцию y = x2 x1 x0 V x2 x1 V x0 V x2 x1 представьте таблично в СДНФ и СКНФ.
2 .1.8. Дайте определение функциональной полноты набора логических элементов. Исследуйте функциональную полноту набора логических элементов, реализующих функцию y = x1 V x0.
2.1.9. Исследуйте функциональную полноту набора логических элементов, реализующих функцию неравнозначности.
2.1.10. Определите взаимосвязь функций
y0 = (0, 1, 3, 7) и y1 = (2, 4, 5, 6).
2.1.11. С какой целью проводится минимизация логических функций? Дайте определение канонической задачи минимизации.
2.1.12. Минимизируйте функцию y = (1, 3, 4, 5, 9, 11, 12, 13).
2.1.13. Минимизируйте логическую функцию
y = x3 x2 x1 x0 V x3 x2 x1 V x2 x1
п ри условии, что импликанты x1 x0, x2 x1 x0, x3 x2 x1 x0 соответствуют запрещенным комбинациям.
2.1.14. Проведите совместную минимизацию функций
y0 = (0, 2, 6, 7) = (0, 2, 5, 6, 7) и y1 = (0, 1, 2, 6, 7).
Комбинационные цифровые устройства
Особенности синтеза и функционирования комбинационных цифровых устройств
У комбинационных цифровых устройств состояние выхода зависит только от состояний их входов в данный тактовый момент времени. Синтез (логическое проектирование) комбинационных устройств осуществляется на основе математического аппарата, изложенного в предыдущей главе. Для построения рассматриваемых устройств используется какой-либо функционально полный набор логических элементов при простейших КЦА, например, серия цифровых интегральных схем (ЦИС).
При проектировании схем комбинационных цифровых устройств целесообразно придерживаться следующей последовательности этапов:
а) кодирование входных и выходных переменных и переход от словесного задания функции к табличному;
б) переход от табличной формы задания к СДНФ;
в) минимизация функции или получение ее минимальной ДНФ;
г) переход от минимальной ДНФ к минимальной форме в используемом базисе (функционально полном наборе) или перевод функции из ДНФ в структурный вид в используемом базисе;
д) составление схемы устройства.
В качестве примера рассмотрим синтез решающего устройства, задаваемого следующим описанием. Имеется три датчика, которые одновременно формируют на своих выходах сообщение “да” или “нет”. Необходимо синтезировать на элементах Шеффера цифровой автомат, обеспечивающий принятие решения по следующему алгоритму. Принимается решение “да”, если сообщение “да” имеется или только на выходе первого и третьего, или на выходах всех трех датчиков.
Число входов решающего устройства комбинационного цифрового автомата, очевидно, равно трем (x2, x1, x0); выход один (y). Условимся, что сообщению “да” соответствует сигнал логическая единица (xi, y = 0). Исходя из описания функционирования устройства и принятого кодирования входных и выходных переменных заполняем таблицу истинности (табл. 2.1).
Т а б л и ц а 2.1
Табличное задание функции
S |
x2 |
x1 |
x0 |
y |
0 1 2 3 4 5 6 7 |
0 0 0 0 1 1 1 1 |
0 0 1 1 0 0 1 1 |
0 1 0 1 0 1 0 1 |
0 1 0 0 0 1 1 1 |
а)
б)
в)
Рис. 2.1. Синтез комбинационного цифрового автомата. Диаграмма Вейча (а), схема (б) и временные диаграммы (в)
Переходим к СДНФ функции, реализованной устройством, по изложенному во второй главе правилу:
y = (1, 5, 6, 7) = x2 x1 x0 V x2 x1 x0 V x2 x1 x0 V x2 x1 x0; (2.1)
Минимизируем данную функцию по методу Вейча – Карно (рис. 3.1, а). Из диаграммы Вейча находим минимальную ДНФ функции
y = x1 x0 V x2 x1.
Д ля перевода полученного выражения в структурный вид в базисе элементов Шеффера необходимо произвести двухкратное инвертирование функции и преобразование по теореме Моргана
y
= x1
x0
x2
x1. (2.3)
По выражению (2.3) на рис. 3.1, б изображена схема синтезированного решающего устройства (КЦА).
Влияние задержек в логических элементах
на функционирование цифровых устройств.
При синтезе цифровых устройств на
интегральных схемах одной из основных
проблем является обеспечение их
функциональной надежности. Под
функциональной надежностью комбинационной
схемы понимается ее свойство точно
выполнять алгоритм функционирования,
иными словами, сигнал на выходе каждого
логического элемента схемы должен
соответствовать значению логической
функции, реализуемой данным элементом.
В булевой алгебре, используемой для
построения математических моделей
физических элементов схем, не отражаются
процессы перехода из одного состояния
в другое, так как булева алгебра не имеет
в качестве аргумента параметра времени,
т.е. ее аппарат не является временным.
Однако наличие задержек в реальных
логических элементах приводит к нарушению
соответствия сигналов логической
функции в моменты переходных процессов.
Задержки порождают так называемые
состязания сигналов или гонки сигналов
и, как следствие этого, вызывают
неустойчивую работу цифровых устройств.
В зависимости от условий перехода
устройства от одного состояния к другому
состязания подразделяются на статические
и динамические [11]. Если для двух
последовательных соседних состояний
входов состояние выхода должно остаться
неизменным, то состязания называются
статистическими. В к
~
Двойную, тройную задержку будем обозначать соответственно в виде ~2, ~3 и т.д. Допустим, в исходном состоянии на всех входах устройства были напряжения, соответствующие логической единице, что обозначено на схеме и на временных диаграммах. В этом случае на выходах всех логических элементов будут сигналы, отображенные на схеме и временных диаграммах. Пусть в момент Т1 изменяется состояние на входе x1. Как видно из логической функции (табл. 2.1), состояние на выходе измениться не должно, однако в реальной схеме за счет задержек логических элементов происходит неодновременное изменение состояний на выходах элементов DD2 и DD3. В результате этого на выходе устройства формируется импульс длительностью Тз.ср, который может, воздействуя на последующие устройства, например, элементы памяти (триггеры), изменить их состояние, т.е. нарушить нормальное функционирование устройства. Заметим, что причиной появления таких незапланированных импульсов явилось разветвление сигнала со входа x1 по двум цепям (DD1, DD2) и (DD3), имеющим разные задержки, а затем объединение этих сигналов на элементе DD4.
Кроме статистических состязаний, возможно возникновение динамических состязаний. В этом случае сигнал на выходе устройства может иметь вид, представленный на рис. 2.2.
Рис. 2.2. Пример выходного сигнала цифрового устройства при наличии динамических состязаний сигналов
Из рассмотренного ясно, что сигнал на выходе комбинационного устройства, в котором возникает эффект состязаний, через некоторое время принимает правильное значение, т.е. функционирование не нарушается. Однако если это устройство подключено к элементу памяти, то появление незапланированных импульсов может привести к сбоям в работе всего комплекса. Поэтому в ряде случаев с эффектом состязаний необходимо бороться.
Можно назвать следующие способы устранения эффекта состязаний:
введение логической избыточности;
подбор задержек логических элементов;
введение дополнительной синхронизации.
Рассмотрим способы устранения эффекта состязаний на примере устройства, синтезированного выше.
Введение логической избыточности. Для получения КЦА, свободного от состязаний, необходимо и достаточно для каждой пары смежных состояний входов, для которых функция имеет одноименное (нулевое или единичное) состояние, найти по крайней мере одну импликанту, покрывающую оба входных состояния [1]. Для функции представленной на диаграмме Вейча (рис. 2.1, а и рис. 2.3), необходимо иметь контур, объединяющий две единицы столбца x2 x0, что приведет к следующей функции:
y = x1 x0 V x2 x1 V x2 x0. (2.4)
x2
y
= x1
x0
x2
x1
x2
x0
Рис. 2.3. Синтез КЦА, свободного от состязаний, введением логической избыточности
Функция (2.4) содержит избыточную импликанту x2 x0, но при этом устранен эффект состязаний. Схема устройства, реализованного по выражению (2.4) в базисе элементов Шеффера, представлена на рис. 2.3.
При переключении сигнала на входе x1 в данной схеме состязания не возникают, поскольку дополнительно введенный элемент DD5 не изменяет своего состояния (0), что блокирует элемент DD4. Таким образом, удалось построить схему, свободную от состязаний, путем введения избыточности (дополнительно введен элемент DD5).
Подбор задержек элементов. Для устранения эффекта состязаний в схеме (рис. 2.1, б) по данному методу необходимо уравнять задержки в ветвях распространения сигнала со входа x1. Для этого в одну ветвь вводим повторитель, имеющий такую же задержку, как и остальные элементы (рис. 2.4). При переключении сигнала на входе x1 за счет введения повторителя DD5 сигналы на выходах элементов DD2 и DD3 изменяются одновременно, и, следовательно, на выходе устройства незапланированный импульс не появится.
Рис. 2.4. Синтез КЦА, свободного от состязаний, подбором задержек элементов
Введение дополнительной синхронизации. Этот метод базируется на том, что сигнал на выходе устройства, в котором возникает эффект состязаний, через определенное время принимает правильное значение. Следовательно, если передавать информацию потребителю после завершения переходных процессов, то можно избежать неприятных последствий эффекта состязаний. Для этого в устройство вводят дополнительный логический элемент, который передает сигнал с выхода устройства, если сигнал синхронизации С = 1 равен единице, и имеет состояние “нуль”, если С = 0.
Из приведенного анализа схемы 2.1, б следует, что через 3Тз.ср на ее выходе сигнал принимает правильное значение (переходные процессы завершились). Таким образом, необходимо, чтобы сигнал синхронизации (С = 1) появлялся не ранее, чем через 3Тз.ср после изменения значений сигналов на входах.
Схема устройства с дополнительной синхронизацией приведена на рис. 2.5.
Рис. 2.5. Синтез КЦА, свободного от состязаний, введением синхронизации
Дополнительно введенный элемент DD5 обеспечивает связь между цифровым устройством, в котором возникает эффект состязаний, и потребителем информации.
Выходом устройства в этом случае является выход y' , сигнал с которого снимается при С = 1.
Устранение состязаний сигналов в цифровых устройствах требует внесения избыточности в схему, т.е. введение дополнительных элементов, и поэтому оно может быть рекомендовано только в том случае, когда состязания приводят к нежелательным последствиям.