Теоретический базис цифровой схемотехники: логические вентили, законы булевой алгебры, правила синтеза и анализа комбинационных схем.
Современные цифровые электронно-вычислительные машины обрабатывают информацию в дискретной двоичной форме. Физически уровни логического нуля (0) и логической единицы (1) представляют собой диапазоны электрического напряжения (например, в стандартной КМОП-логике напряжение, близкое к 0 В, соответствует логическому нулю, а напряжение порядка +3,3 В или +5 В — логической единице).
Минимальной функциональной единицей цифровой аппаратуры является логический элемент (вентиль) — электронная схема, выполняющая элементарную логическую операцию над входными двоичными сигналами и формирующая на выходе сигнал заданного уровня.
В основе работы арифметико-логических устройств (АЛУ), регистров, счетчиков и схем управления лежат три базовые булевы функции: конъюнкция, дизъюнкция и инверсия, образующие функционально полный базис {И, ИЛИ, НЕ}.
Выполняет операцию логического отрицания: меняет значение двоичного сигнала на противоположное.
Y = ¬A = A̅
| A | Y |
|---|---|
| 0 | 1 |
| 1 | 0 |
Логическое умножение: формирует единицу на выходе тогда и только тогда, когда на всех входах присутствуют единицы.
Y = A ∧ B = A · B
| A | B | Y |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Логическое сложение: формирует единицу на выходе, если хотя бы на одном входе присутствует логическая единица.
Y = A ∨ B = A + B
| A | B | Y |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Универсальный функционально полный базис. Ноль появляется только при всех единичных входах.
Универсальный базис. Единица формируется исключительно тогда, когда все входные сигналы равны нулю.
Сложение по модулю 2. Единица формируется при несовпадении уровней входных сигналов.
Комбинационная логическая схема — это схема, у которой значения выходных сигналов в текущий момент времени однозначно определяются исключительно текущими значениями входных сигналов и не зависят от предыстории работы (в отличие от последовательностных схем, таких как триггеры и регистры, комбинационные схемы не обладают внутренней памятью).
Рассмотрим комбинационную схему управления, имеющую 3 входа ($A, B, C$) и один выход $F$. Логическое выражение схемы имеет вид:
F(A, B, C) = (A ∧ B̅) ∨ (B ∧ C)
| Строка | A | B | C | X1 = B̅ | X2 = A ∧ X1 | X3 = B ∧ C | F = X2 ∨ X3 |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 |
| 2 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
| 3 | 0 | 1 | 1 | 0 | 0 | 1 | 1 |
| 4 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 5 | 1 | 0 | 1 | 1 | 1 | 0 | 1 |
| 6 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
| 7 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
Для обнаружения дефекта инженер подаёт на вход схемы контрольные тестовые векторы и сравнивает физический выход с эталонной таблицей истинности. Те комбинации, на которых эталонный и реальный выход различаются, локализуют неисправную цепь.