Логический элемент

Логический элемент — это электронное устройство, реализующее одну из базовых логических операций (функций) алгебры логики (булевой алгебры). Логические элементы являются основой для построения цифровых интегральных схем, включая процессоры, микроконтроллеры, устройства памяти и другие компоненты вычислительной техники. Они оперируют двоичными сигналами, которые в цифровой электронике обычно представляются двумя уровнями напряжения: высокий уровень (логическая «1») и низкий уровень (логический «0»). Каждый логический элемент имеет один или несколько входов и один выход, состояние которого определяется комбинацией входных сигналов в соответствии с заданной логической функцией.

История

Предпосылки возникновения

Формальная логика как наука была заложена Аристотелем в IV веке до н. э., однако её математизация началась лишь в XIX веке. В 1847 году английский математик Джордж Буль опубликовал работу «Математический анализ логики», в которой ввёл алгебру логики (булеву алгебру), оперирующую высказываниями, принимающими значения «истина» или «ложь». В 1854 году вышла его книга «Законы мысли», где были систематизированы основные логические операции: конъюнкция (И), дизъюнкция (ИЛИ) и отрицание (НЕ).

Развитие в XX веке

В 1937 году американский математик и инженер Клод Шеннон в своей магистерской диссертации «Символический анализ релейных и переключательных схем» показал, что булеву алгебру можно применять для анализа и синтеза электрических переключательных схем. Это стало теоретической основой для создания логических элементов на электромеханических реле.

Первые электронные логические элементы были реализованы на вакуумных лампах в 1940-х годах, например, в компьютере ENIAC (1945 год). Ламповые элементы были громоздкими, энергоёмкими и ненадёжными. С изобретением транзистора (1947 год, Джон Бардин, Уолтер Браттейн, Уильям Шокли) появилась возможность создавать компактные и экономичные полупроводниковые логические элементы. В 1958 году Джек Килби (Texas Instruments) и Роберт Нойс (Fairchild Semiconductor) независимо друг от друга разработали интегральные схемы, что позволило размещать несколько логических элементов на одном кристалле полупроводника. С этого началась эра микроминиатюризации цифровой электроники.

Классификация логических элементов

Логические элементы классифицируются по нескольким признакам:

По выполняемой функции

Основные логические элементы реализуют следующие функции:

• Элемент И (конъюнктор, AND) — выход равен 1 только тогда, когда все входы равны 1.
• Элемент ИЛИ (дизъюнктор, OR) — выход равен 1, если хотя бы один вход равен 1.
• Элемент НЕ (инвертор, NOT) — выход равен 1, если вход равен 0, и наоборот.
• Элемент И-НЕ (NAND) — выход равен 0 только тогда, когда все входы равны 1; в остальных случаях — 1. Является универсальным элементом (из него можно построить любую логическую функцию).
• Элемент ИЛИ-НЕ (NOR) — выход равен 1 только тогда, когда все входы равны 0; в остальных случаях — 0. Также является универсальным.
• Элемент исключающее ИЛИ (XOR) — выход равен 1, если число единичных входов нечётно.
• Элемент исключающее ИЛИ-НЕ (XNOR) — выход равен 1, если число единичных входов чётно.

По технологии изготовления

• ТТЛ (транзисторно-транзисторная логика) — классическая биполярная технология, обеспечивающая высокое быстродействие, но относительно высокое энергопотребление. Широко применялась в 1960–1980-х годах.
• КМОП (комплементарная логика на МОП-транзисторах) — основная современная технология, использующая пары полевых транзисторов с разным типом проводимости. Отличается низким энергопотреблением в статическом режиме и высокой помехоустойчивостью.
• ЭСЛ (эмиттерно-связанная логика) — быстродействующая биполярная технология, применяемая в сверхскоростных схемах (например, в суперкомпьютерах 1980-х годов).
• ИИЛ (инжекционно-интегральная логика) — технология, позволяющая размещать большое количество элементов на кристалле, но с низким быстродействием.

По числу входов

• Двухвходовые (наиболее распространённые).
• Многовходовые (от 3 до 8 и более входов, реализуемые в виде одной микросхемы или путём каскадирования).

Устройство и принцип работы

Базовые схемы

В основе любого логического элемента лежит ключевой режим работы транзистора: транзистор может находиться либо в состоянии насыщения (открыт, пропускает ток), либо в состоянии отсечки (закрыт, ток не пропускает). Комбинации таких ключей образуют логические вентили.

Например, элемент И на КМОП-транзисторах состоит из двух n-канальных транзисторов, включённых последовательно, и двух p-канальных, включённых параллельно. Когда оба входа имеют высокий уровень (1), n-канальные транзисторы открываются, а p-канальные закрываются, и на выходе появляется низкий уровень (0) — для инвертированного выхода, или высокий — для прямого. В реальных схемах элемент И обычно реализуется как И-НЕ с последующим инвертором.

Таблицы истинности

Работа логического элемента описывается таблицей истинности, которая для каждого набора входных сигналов задаёт выходной сигнал. Пример для двухвходового элемента И:

Временные характеристики

Реальные логические элементы обладают задержкой распространения сигнала — временем между изменением входного сигнала и установлением соответствующего выходного. Эта задержка обусловлена паразитными ёмкостями и инерционностью транзисторов. В современных КМОП-элементах задержка составляет единицы или десятки пикосекунд.

Применение

Цифровая схемотехника

Логические элементы являются строительными блоками для любых цифровых устройств:

• Комбинационные схемы: мультиплексоры, демультиплексоры, шифраторы, дешифраторы, сумматоры, компараторы, арифметико-логические устройства (АЛУ).
• Последовательностные схемы: триггеры, регистры, счётчики, делители частоты, запоминающие устройства (ОЗУ, ПЗУ). Последовательностные схемы содержат элементы памяти, которые также строятся на логических элементах (например, D-триггер на элементах И-НЕ).

Микропроцессоры и микроконтроллеры

Современные процессоры содержат миллиарды логических элементов, объединённых в функциональные блоки: ядра, кэш-память, контроллеры ввода-вывода. Например, в процессоре Intel Core i9-13900K (2022 год) используется около 20 миллиардов транзисторов, образующих логические элементы.

ПЛИС (программируемые логические интегральные схемы)

ПЛИС, такие как FPGA (Field-Programmable Gate Array) от компаний Xilinx (ныне часть AMD) и Intel (подразделение Altera), состоят из массива программируемых логических блоков (на основе LUT — таблиц поиска, реализующих логические функции) и программируемых соединений. Пользователь может «прошить» ПЛИС для выполнения конкретной цифровой схемы, что позволяет быстро прототипировать устройства и создавать специализированные вычислители.

Интересные факты

• Универсальность элементов И-НЕ и ИЛИ-НЕ: любой логический элемент можно построить, используя только элементы И-НЕ или только элементы ИЛИ-НЕ. Это свойство используется при проектировании микросхем для упрощения топологии.
• В 1965 году Гордон Мур (сооснователь Intel) сформулировал закон Мура, согласно которому количество транзисторов на кристалле интегральной схемы удваивается каждые два года. Этот закон, действовавший несколько десятилетий, привёл к экспоненциальному росту сложности логических элементов и производительности вычислительной техники.
• Первый в мире микропроцессор Intel 4004 (1971 год) содержал около 2300 транзисторов, образующих около 700 логических элементов. Для сравнения, современный графический процессор NVIDIA RTX 4090 (2022 год) содержит более 76 миллиардов транзисторов.
• В СССР разработка логических элементов велась в рамках создания серий микросхем: серия 155 (ТТЛ), серия 176 (КМОП), серия 500 (ЭСЛ). Эти микросхемы широко применялись в вычислительной технике, например, в ЭВМ «Эльбрус» и «СМ ЭВМ».

Критика и ограничения

• Энергопотребление: несмотря на низкое статическое энергопотребление КМОП-элементов, динамическое энергопотребление (при переключении) растёт с увеличением тактовой частоты. Это приводит к проблемам отвода тепла в современных процессорах.
• Задержки распространения: при каскадировании большого числа логических элементов (например, в многоразрядных сумматорах) задержки суммируются, что ограничивает максимальную тактовую частоту.
• Помехоустойчивость: при снижении напряжения питания (для уменьшения энергопотребления) уменьшается запас помехоустойчивости, что может приводить к ошибкам.
• Физические ограничения: по мере уменьшения технологических норм (до 3–5 нм в 2020-х годах) начинают проявляться квантовые эффекты (туннелирование, утечки), что усложняет проектирование надёжных логических элементов.