Из Википедии, бесплатной энциклопедии
  (Перенаправлено из Digital logic )
Перейти к навигации Перейти к поиску

Логический элемент является идеализированной моделью расчета или физического электронного устройства , реализующего булеву функцию , А логическая операция выполняется на одном или нескольких двоичных входов , которые производит один двоичный выходной сигнал. В зависимости от контекста, термин может относиться к идеальному логическому элементу , который, например, имеет нулевое время нарастания и неограниченное разветвление , или он может относиться к неидеальному физическому устройству [1] (см. Идеальные и реальные операции). усилители для сравнения).

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

Логические схемы включают в себя такие устройства, как мультиплексоры , регистры , арифметико-логические блоки (ALU) и компьютерную память , вплоть до законченных микропроцессоров , которые могут содержать более 100 миллионов вентилей. В современной практике большинство ворота выполнены из МОП - транзисторов (металл-оксид-полупроводник полевых транзисторов ).

Составные логические вентили И-ИЛИ-Инвертировать (AOI) и ИЛИ-И-Инвертировать (OAI) часто используются при проектировании схем, потому что их конструкция с использованием полевых МОП-транзисторов проще и эффективнее, чем сумма отдельных вентилей. [2]

В обратимой логике используются вентили Тоффоли .

Электронные ворота [ править ]

Функционально полная логическая система может состоять из реле , клапанов (вакуумные трубки) или транзисторов . В простейшем семействе логических вентилей используются биполярные транзисторы , которые называются резисторно-транзисторной логикой (RTL). В отличие от простых логических вентилей на диодах (которые не имеют элемента усиления), вентили RTL можно каскадировать бесконечно для создания более сложных логических функций. Затворы RTL использовались в ранних интегральных схемах . Для более высокой скорости и лучшей плотности резисторы, используемые в RTL, были заменены диодами, что привело к диодно-транзисторной логике (DTL). Транзисторно-транзисторная логика(TTL) затем вытеснил DTL. По мере усложнения интегральных схем биполярные транзисторы были заменены полевыми транзисторами меньшего размера ( MOSFET ); см. PMOS и NMOS . Для дальнейшего снижения энергопотребления в большинстве современных микросхем цифровых систем используется логика CMOS . CMOS использует дополнительные (как n-канальные, так и p-канальные) устройства MOSFET для достижения высокой скорости при низком рассеянии мощности.

Для маломасштабной логики разработчики теперь используют готовые логические вентили из семейств устройств, таких как серия TTL 7400 от Texas Instruments , серия CMOS 4000 от RCA и их более поздние потомки. Все чаще эти логические вентили с фиксированной функцией заменяются программируемыми логическими устройствами , которые позволяют разработчикам упаковать множество логических вентилей смешанного типа в единую интегральную схему. Программируемая природа программируемых логических устройств, таких как ПЛИС.уменьшил «жесткость» оборудования; теперь возможно изменить логическую схему аппаратной системы, перепрограммировав некоторые из ее компонентов, что позволяет изменять характеристики или функции аппаратной реализации логической системы. Другие типы логических вентилей включают, но не ограничиваются: [3]

Электронные логические вентили существенно отличаются от своих релейно-переключающих эквивалентов. Они намного быстрее, потребляют гораздо меньше энергии и намного меньше (в большинстве случаев в миллион раз или больше). Также есть принципиальное конструктивное отличие. Схема переключателя создает непрерывный металлический путь для протекания тока (в любом направлении) между его входом и выходом. С другой стороны, полупроводниковый логический вентиль действует как усилитель напряжения с высоким коэффициентом усиления , который пропускает крошечный ток на своем входе и создает напряжение с низким импедансом на выходе. Ток не может течь между выходом и входом полупроводникового логического элемента.

Еще одно важное преимущество стандартизированных семейств логики интегральных схем, таких как семейства 7400 и 4000, состоит в том, что они могут быть включены в каскад. Это означает, что выход одного затвора может быть подключен к входам одного или нескольких других затворов и так далее. Системы с различной степенью сложности могут быть построены без особого беспокойства разработчика о внутренней работе затворов при условии учета ограничений каждой интегральной схемы.

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

История и развитие [ править ]

Двоичная система счисления была уточнена Лейбниц (опубликована в 1705), под влиянием древнего цзин " бинарной системы s. [4] [5] Лейбниц установил, что использование двоичной системы исчисления сочетает в себе принципы арифметики и логики .

В письме 1886 года Чарльз Сандерс Пирс описал, как логические операции могут выполняться электрическими коммутационными схемами. [6] В конце концов, электронные лампы заменили реле для логических операций. Модификация Ли Де Фореста в 1907 году клапана Флеминга может использоваться как логический вентиль. Людвиг Витгенштейн представил версию 16- строчной таблицы истинности как предложение 5.101 из Tractatus Logico-Philosophicus (1921). Вальтер Боте , изобретатель схемы совпадений , получил часть Нобелевской премии 1954 года.по физике, для первого современного электронного логического элемента И в 1924 году. Конрад Цузе спроектировал и построил электромеханические логические вентили для своего компьютера Z1 (с 1935 по 1938 годы).

С 1934 по 1936 год инженер NEC Акира Накашима представил теорию коммутационных схем в серии статей, показывающих, что двузначная булева алгебра , которую он открыл независимо, может описывать работу коммутационных схем. [7] [8] [9] [10] Позднее его работа была процитирована Клодом Э. Шенноном , который подробно остановился на использовании булевой алгебры в анализе и разработке схем переключения в 1937 году. [9] Использование этого свойства электричества переключатели для реализации логики - это фундаментальная концепция, лежащая в основе всех электронных цифровых компьютеров . Теория коммутационных цепей легла в основуразработка цифровых схем , которая стала широко известна в сообществе электротехников во время и после Второй мировой войны , с теоретической строгостью, вытесняющей специальные методы, которые преобладали ранее. [10]

Логика металл-оксид-полупроводник (MOS) происходит от MOSFET ( полевого транзистора металл-оксид-полупроводник), изобретенного Мохамедом М. Аталлой и Давоном Кангом в Bell Labs в 1959 году. [11] [12] Они впервые продемонстрировали и то, и другое. PMOS логика и NMOS логика в 1960 г. [13] Оба типа позже были объединены и адаптированы в комплементарных МОП (CMOS) логики Чи Тан Са и Франк Уонласс на Fairchild Semiconductor в 1963 г. [14]

В области молекулярной логики ведутся активные исследования .

Символы [ править ]

Синхронный 4-битный символ десятичного счетчика (74LS192) в соответствии со стандартом ANSI / IEEE Std. 91-1984 и публикация IEC 60617-12.

Обычно используются два набора символов для элементарных логических вентилей, оба они определены в ANSI / IEEE Std 91-1984 и дополнении к нему ANSI / IEEE Std 91a-1991. Набор «отличительной формы», основанный на традиционных схемах, используется для простых чертежей и является производным от военного стандарта США MIL-STD-806 1950-х и 1960-х годов. Иногда его неофициально называют «военным», что отражает его происхождение. Набор «прямоугольной формы», основанный на ANSI Y32.14 и других ранних отраслевых стандартах, позже уточненных IEEE и IEC, имеет прямоугольные очертания для всех типов ворот и позволяет отображать гораздо более широкий диапазон устройств, чем это возможно с традиционными символы. [15] Стандарт IEC, IEC60617-12 был принят другими стандартами, такими как EN 60617-12: 1999 в Европе, BS EN 60617-12: 1999 в Великобритании и DIN EN 60617-12: 1998 в Германии.

Общая цель IEEE Std 91-1984 и IEC 60617-12 заключалась в предоставлении единого метода описания сложных логических функций цифровых схем с помощью схематических символов. Эти функции были более сложными, чем простые логические элементы И и ИЛИ. Это могут быть схемы среднего размера, такие как 4-битный счетчик, и схемы большого размера, такие как микропроцессор.

IEC 617-12 и его преемник IEC 60617-12 не показывают явно символы «отличительной формы», но не запрещают их. [15]Однако они показаны в ANSI / IEEE 91 (и 91a) со следующим примечанием: «В соответствии с Частью 12 Публикации 617 МЭК символ отличительной формы не является предпочтительным, но не считается противоречащим этому стандарту. . " В IEC 60617-12, соответственно, содержится примечание (раздел 2.1): «Хотя это и не является предпочтительным, использование других символов, признанных официальными национальными стандартами, то есть отличительных форм вместо символов [список основных ворот], не должно рассматриваться как в противоречие с этим стандартом. Использование этих других символов в комбинации для образования сложных символов (например, использование в качестве встроенных символов) не рекомендуется ". Этот компромисс был достигнут между соответствующими рабочими группами IEEE и IEC, чтобы стандарты IEEE и IEC находились во взаимном соответствии друг с другом.

Третий стиль символов, DIN 40700 (1976), использовался в Европе и до сих пор широко используется в европейских академических кругах, см. Логическую таблицу в немецкой Википедии .

В 1980-х годах схемы были преобладающим методом проектирования как печатных плат, так и нестандартных ИС, известных как вентильные матрицы . Сегодня специализированные ИС и программируемая вентильная матрица обычно разрабатываются с использованием языков описания оборудования (HDL), таких как Verilog или VHDL .

Таблицы истинности [ править ]

Сравнение выходов логических вентилей с 1 входом.

Сравнение выходов логических вентилей с 2 ​​входами.

Универсальные логические ворота [ править ]

Чип 7400, содержащий четыре NAND. Два дополнительных контакта подают питание (+5 В) и подключают землю.

Чарльз Сандерс Пирс (в 1880-81) показал , что NOR одних ворота (или в качестве альтернативы NAND одних ворота ) могут быть использованы для воспроизведения функции всех других логических элементов, но его работа над ним не была неопубликованной до 1933 года [16] Первого опубликованное доказательство было сделано Генри М. Шеффером в 1913 году, поэтому логическая операция И-НЕ иногда называется штрихом Шеффера ; логический NOR иногда называют стрелка Пирса . [17] Следовательно, эти вентили иногда называют универсальными логическими вентилями . [18]

Эквивалентные символы Де Моргана [ править ]

Используя законы Де Моргана , функция И идентична функции ИЛИ с инвертированными входами и выходами. Точно так же функция ИЛИ идентична функции И с инвертированными входами и выходами. Логический элемент И-НЕ эквивалентен логическому элементу ИЛИ с инвертированными входами, а вентиль ИЛИ-НЕ эквивалентен логическому элементу И с инвертированными входами.

Это приводит к альтернативному набору символов для основных ворот, которые используют противоположный основной символ ( И или ИЛИ), но с инвертированными входами и выходами. Использование этих альтернативных символов может сделать схемы логических цепей более понятными и помочь показать случайное подключение активного высокого выхода к активному низкому входу или наоборот. Любое соединение, которое имеет логические отрицания на обоих концах, может быть заменено соединением без отрицания и подходящей сменой логического элемента или наоборот. Любую связь, имеющую отрицание на одном конце и отсутствие отрицания на другом, можно упростить для интерпретации, вместо этого используя эквивалентный символ Де Моргана на любом из двух концов. Когда индикаторы отрицания или полярности на обоих концах соединения совпадают, на этом пути нет логического отрицания (фактически, пузыри «отменяют»), что упрощает отслеживание логических состояний от одного символа к другому.Это обычно наблюдается в реальных логических схемах - таким образом, читатель не должен иметь привычку связывать фигуры исключительно как фигуры ИЛИ или И, но также принимать во внимание пузыри на входах и выходах, чтобы определить «истинную» логику. указанная функция.

Символ Де Моргана может более четко показать основное логическое назначение ворот и полярность его узлов, которые рассматриваются в "сигнализированном" (активном, включенном) состоянии. Рассмотрим упрощенный случай, когда логический элемент И-НЕ с двумя входами используется для управления двигателем, когда на любой из его входов с помощью переключателя устанавливается низкий уровень. Состояние «сигнализировано» (двигатель включен) возникает, когда один ИЛИ другой переключатель включен. В отличие от обычного символа И-НЕ, который предлагает логику И, версия Де Моргана, логический элемент ИЛИ с двумя отрицательными входами, правильно показывает, что ИЛИ представляет интерес. Обычный символ И-НЕ имеет пузырек на выходе и не имеет на входах (противоположность состояний, которые включают двигатель), но символ Де Моргана показывает как входы, так и выход с той полярностью, которая будет приводить в действие двигатель.

Теорема Де Моргана чаще всего используется для реализации логических вентилей как комбинаций только вентилей И-НЕ или как комбинаций только вентилей ИЛИ-НЕ по экономическим причинам.

Хранение данных [ править ]

Логические вентили также могут использоваться для хранения данных. Накопительный элемент может быть сконструирован путем соединения нескольких вентилей в схему « защелка ». Более сложные конструкции, использующие тактовые сигналы и изменяющиеся только при нарастании или спаде тактового сигнала, называются « триггерами », запускаемыми по фронту . Формально триггер называется бистабильной схемой, потому что он имеет два стабильных состояния, которые он может поддерживать бесконечно. Комбинация нескольких параллельных триггеров для хранения многобитового значения называется регистром. При использовании любой из этих настроек затвора вся система имеет память; в таком случае она называется последовательной логической системой, поскольку на ее выход может влиять ее предыдущее состояние (я), то есть последовательностьсостояний ввода. Напротив, выход из комбинационной логики - это просто комбинация ее текущих входов, на которую не влияют предыдущие состояния входа и выхода.

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

Логические вентили с тремя состояниями [ править ]

Буфер с тремя состояниями можно рассматривать как переключатель. Если B включен, переключатель замкнут. Если B выключен, переключатель разомкнут.

Логический вентиль с тремя состояниями - это тип логического элемента, который может иметь три разных выхода: высокий (H), низкий (L) и высокий импеданс (Z). Состояние с высоким импедансом не играет никакой роли в логике, которая является строго двоичной. Эти устройства используются на автобусах в CPU , чтобы несколько чипов для передачи данных. Группа из трех состояний, управляющая линией с подходящей схемой управления, в основном эквивалентна мультиплексору , который может быть физически распределен по отдельным устройствам или сменным картам.

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

Реализации [ править ]

С 1990-х годов большинство логических вентилей изготавливаются по технологии CMOS (дополнительный металлооксидный полупроводник), в которой используются как NMOS-, так и PMOS-транзисторы. Часто миллионы логических вентилей упакованы в одной интегральной схеме .

Существует несколько семейств логики с разными характеристиками (потребляемая мощность, скорость, стоимость, размер), таких как: RDL (резистор-диодная логика), RTL (резисторно-транзисторная логика), DTL (диодно-транзисторная логика), TTL (транзистор-транзистор). логика) и CMOS. Существуют также подварианты, например, стандартная логика CMOS по сравнению с расширенными типами, использующими по-прежнему технологию CMOS, но с некоторыми оптимизациями, чтобы избежать потери скорости из-за более медленных транзисторов PMOS.

Неэлектронные реализации разнообразны, хотя немногие из них используются в практических приложениях. Многие ранние электромеханические цифровые компьютеры, такие как Harvard Mark I , были построены из релейных логических вентилей с использованием электромеханических реле . Логические вентили могут быть изготовлены с использованием пневматических устройств, таких как реле Сортеберга, или механических логических вентилей, в том числе в молекулярном масштабе. [19] Логические ворота были сделаны из ДНК (см. ДНК-нанотехнологии ) [20] и использованы для создания компьютера под названием MAYA (см. MAYA-II ). Логические вентили могут быть сделаны из квантово-механическихэффекты (хотя квантовые вычисления обычно расходятся с логическим дизайном; см. квантовые логические ворота ). Фотонные логические вентили используют нелинейные оптические эффекты.

В принципе, любой метод, который приводит к функционально завершенному вентилю (например, вентиль ИЛИ-НЕ или И-НЕ), может быть использован для создания любой цифровой логической схемы. Обратите внимание, что использование логики с 3 состояниями для шинных систем не требуется и может быть заменено цифровыми мультиплексорами, которые могут быть построены с использованием только простых логических вентилей (таких как вентили И-НЕ, вентили ИЛИ или вентили И и ИЛИ).

См. Также [ править ]

  • И-инверторный график
  • Темы булевой алгебры
  • Логическая функция
  • Цифровая схема
  • Минимизатор эвристической логики эспрессо
  • Разветвление
  • Программируемая вентильная матрица (FPGA)
  • Триггер (электроника)
  • Функциональная полнота
  • Карта Карно
  • Комбинационная логика
  • Список интегральных схем серии 4000
  • Список интегральных схем серии 7400
  • Семья логики
  • Логический график
  • Логика NMOS
  • Программируемый логический контроллер (ПЛК)
  • Программируемое логическое устройство (PLD)
  • Исчисление высказываний
  • Квантовый логический вентиль
  • Опасность гонки
  • Обратимые вычисления
  • Таблица истинности

Ссылки [ править ]

  1. Jaeger, Microelectronic Circuit Design, McGraw-Hill 1997, ISBN  0-07-032482-4 , стр. 226–233.
  2. ^ Трут, Ричард Ф. (2000). Инженерный цифровой дизайн: переработанное второе издание . С. 317–319. ISBN 0-12-691295-5. Проверено 4 июля 2008 .
  3. ^ Роу, Джим. «Схема логики - почему и как» (декабрь 1966 г.). Электроника Австралия.
  4. ^ Нилан, Майкл (2001). Пять «конфуцианских» классиков . Издательство Йельского университета. С. 204–206. ISBN 978-0-300-08185-5. Проверено 8 июня 2010 года .
  5. ^ Перкинс, Франклин. Лейбниц и Китай: Торговля светом . Кембридж: Издательство Кембриджского университета, 2004. стр. 117. Print.
  6. Пирс, CS, «Письмо Пирса к А. Маркуанду », датированное 1886 годом, сочинения Чарльза С. Пирса , т. 5, 1993, стр. 421–23. См. Беркс, Артур В. , «Обзор: Чарльз С. Пирс, Новые элементы математики », Бюллетень Американского математического общества v. 84, n. 5 (1978), pp. 913–18, см. 917. PDF Eprint .
  7. ^ История исследований теории коммутации в Японии , Сделки IEEJ по основам и материалам , Vol. 124 (2004) № 8, стр. 720–726, Институт инженеров-электриков Японии
  8. ^ Теория коммутации / Теория релейных цепей / Теория логической математики , Компьютерный музей IPSJ, Общество обработки информации Японии
  9. ^ a b Радомир С. Станкович ( Университет Ниша ), Яакко Т. Астола ( Технологический университет Тампере ), Марк Г. Карповский ( Бостонский университет ), Некоторые исторические замечания по теории переключения , 2007, DOI 10.1.1.66.1248
  10. ^ a b Радомир С. Станкович, Яакко Астола (2008), Отпечатки с первых дней информационных наук: Серия TICSP о вкладе Акиры Накашимы в теорию коммутации , Серия TICSP # 40, Международный центр Тампере по обработке сигналов, Университет Тампере Технология
  11. ^ "Кто изобрел транзистор?" . Музей истории компьютеров . 4 декабря 2013 . Проверено 20 июля 2019 .
  12. ^ "1960: Металлооксидный полупроводниковый (МОП) транзистор продемонстрирован" . Кремниевый двигатель: хронология полупроводников в компьютерах . Музей истории компьютеров . Проверено 31 августа 2019 года .
  13. ^ Lojek, Бо (2007). История полупроводниковой техники . Springer Science & Business Media . С.  321 –3. ISBN 9783540342588.
  14. ^ «1963: Изобретена дополнительная конфигурация схемы MOS» . Музей истории компьютеров . Дата обращения 6 июля 2019 .
  15. ^ a b Обзор объяснения логических символов стандарта IEEE 91-1984 , Док. № SDYZ001A, Texas Instruments Semiconductor Group, 1996 г.
  16. Peirce, CS (рукопись зима 1880–81), «Булевская алгебра с одной константой», опубликованная в 1933 году в Сборнике статей, т. 4, параграфы 12–20. Перепечатано в 1989 г. в Writings of Charles S. Peirce v. 4, pp. 218–21, Google [1] . См. Робертс, Дон Д. (2009), Экзистенциальные графы Чарльза С. Пирса , стр. 131.
  17. ^ Ханс Кляйне Бюнинг; Теодор Леттманн (1999). Логика высказываний: дедукция и алгоритмы . Издательство Кембриджского университета. п. 2. ISBN 978-0-521-63017-7.
  18. ^ Джон Берд (2007). Инженерная математика . Newnes. п. 532. ISBN 978-0-7506-8555-9.
  19. ^ Механические логические ворота (ориентированные на молекулярный масштаб)
  20. ^ Логические ворота ДНК. Архивировано 18 июня 2010 г. в Wayback Machine.

Дальнейшее чтение [ править ]

  • Awschalom, DD; Убыток, D .; Самарт, Н. (5 августа 2002 г.). Полупроводниковая спинтроника и квантовые вычисления . Берлин, Германия: Springer-Verlag. ISBN 978-3-540-42176-4. Проверено 28 ноября 2012 года .
  • Босток, Джефф (1988). Программируемые логические устройства: технологии и приложения . Нью-Йорк: Макгроу-Хилл. ISBN 978-0-07-006611-3. Проверено 28 ноября 2012 года .
  • Браун, Стивен Д .; Фрэнсис, Роберт Дж .; Роза, Джонатан; Вранешич, Звонко Г. (1992). Программируемые пользователем вентильные матрицы . Бостон, Массачусетс: Kluwer Academic Publishers. ISBN 978-0-7923-9248-4. Проверено 28 ноября 2012 года .

Внешние ссылки [ править ]

  • СМИ, связанные с логическими воротами, на Викискладе?