Последовательная логика
В теории автоматов последовательная логика — это тип логической схемы , выход которой зависит от текущего значения ее входных сигналов и от последовательности прошлых входов, истории ввода. [1] [2] [3] [4] В этом отличие от комбинационной логики , выходной сигнал которой является функцией только текущего входного сигнала. То есть последовательная логика имеет состояние ( память ), а комбинационная — нет.
Последовательная логика используется для создания конечных автоматов , основного строительного блока во всех цифровых схемах. Практически все схемы практических цифровых устройств представляют собой смесь комбинационной и последовательной логики.
Знакомый пример устройства с последовательной логикой — телевизор с кнопками «вверх» и «вниз». [1] Нажатие кнопки «вверх» дает телевизору команду переключиться на следующий канал после того, который он принимает в данный момент. Если телевизор работает на канале 5, нажатие «вверх» переключает его на прием канала 6. Однако, если телевизор работает на канале 8, нажатие «вверх» переключает его на канал «9». Чтобы выбор канала работал правильно, телевизор должен знать, какой канал он принимает в данный момент, что было определено предыдущим выбором каналов. [1] Телевизор сохраняет текущий канал как часть своего состояния . Когда на него подается входной сигнал «канал вверх» или «канал вниз», последовательная логика схемы выбора канала вычисляет новый канал на основе входного сигнала и текущего канала.
Цифровые последовательные логические схемы делятся на синхронные и асинхронные . В синхронных последовательных схемах состояние устройства меняется только в дискретные моменты времени в ответ на тактовый сигнал . В асинхронных схемах состояние устройства может измениться в любой момент в ответ на изменение входных сигналов.
Синхронная последовательная логика [ править ]
Почти вся последовательная логика сегодня представляет собой тактовую или синхронную логику. В синхронной схеме электронный генератор, называемый часами (или тактовым генератором ), генерирует последовательность повторяющихся импульсов, называемых тактовым сигналом , который распределяется по всем элементам памяти в схеме. Основным элементом памяти в синхронной логике является триггер . Выходной сигнал каждого триггера изменяется только при срабатывании тактового импульса, поэтому изменения логических сигналов во всей схеме начинаются одновременно, через равные промежутки времени и синхронизируются тактовым сигналом.
Выходные данные всех элементов хранения (триггеров) в схеме в любой момент времени, двоичные данные, которые они содержат, называются состоянием схемы . Состояние синхронной схемы меняется только по тактовым импульсам. В каждом цикле следующее состояние определяется текущим состоянием и значением входных сигналов при возникновении тактового импульса.
Основным преимуществом синхронной логики является ее простота. Логическим элементам, которые выполняют операции с данными, требуется конечное количество времени, чтобы отреагировать на изменения на их входах. Это называется задержкой распространения . Интервал между тактовыми импульсами должен быть достаточно длинным, чтобы все логические элементы успели отреагировать на изменения, а их выходы «установились» на стабильные логические значения до появления следующего тактового импульса. Пока это условие соблюдается (игнорируя некоторые другие детали), схема гарантированно будет стабильной и надежной. Это определяет максимальную рабочую скорость синхронной цепи.
Синхронная логика имеет два основных недостатка:
- Максимально возможная тактовая частота определяется самым медленным логическим путем в схеме, также известным как критический путь. Каждое логическое вычисление, от самого простого до самого сложного, должно выполняться за один такт. Таким образом, логические пути, которые быстро завершают свои вычисления, большую часть времени простаивают, ожидая следующего тактового импульса. Следовательно, синхронная логика может быть медленнее, чем асинхронная. Один из способов ускорить синхронные схемы — разделить сложные операции на несколько простых операций, которые могут выполняться в последовательных тактовых циклах, — метод, известный как конвейерная обработка . Этот метод широко используется при проектировании микропроцессоров и помогает повысить производительность современных процессоров.
- Тактовый сигнал должен быть распределен на каждый триггер в схеме. Поскольку тактовый сигнал обычно представляет собой высокочастотный сигнал, такое распределение потребляет относительно большое количество энергии и рассеивает много тепла. Даже триггеры, которые ничего не делают, потребляют небольшое количество энергии, тем самым выделяя ненужное тепло в чипе. В устройствах с батарейным питанием требуется дополнительное аппаратное и программное обеспечение для снижения тактовой частоты или временного отключения часов, когда устройство не используется активно, чтобы сохранить срок службы батареи.
Асинхронная последовательная логика [ править ]
Асинхронная ( без тактовая или самосинхронная ) последовательная логика не синхронизируется тактовым сигналом; выходы схемы изменяются непосредственно в ответ на изменения входов. Преимущество асинхронной логики заключается в том, что она может работать быстрее, чем синхронная, поскольку схеме не нужно ждать тактового сигнала для обработки входных данных. Скорость устройства потенциально ограничена только задержками распространения используемых логических элементов .
Однако асинхронную логику сложнее проектировать, и она подвержена проблемам, не встречающимся в синхронных проектах. Основная проблема заключается в том, что элементы цифровой памяти чувствительны к порядку поступления их входных сигналов; Если два сигнала поступают на триггер или защелку почти одновременно, то в какое состояние переходит схема, может зависеть от того, какой сигнал первым доберется до вентиля. Следовательно, схема может перейти в неправильное состояние в зависимости от небольших различий в задержках распространения логических элементов. Это называется состоянием гонки . Эта проблема не столь серьезна в синхронных схемах, поскольку выходные сигналы элементов памяти изменяются только при каждом тактовом импульсе. Интервал между тактовыми сигналами спроектирован так, чтобы быть достаточно длинным, чтобы позволить выходным сигналам элементов памяти «стабилизироваться», чтобы они не менялись при приходе следующего тактового сигнала. Следовательно, единственные проблемы с синхронизацией связаны с «асинхронными входами»; входы в схему от других систем, которые не синхронизированы с тактовым сигналом.
Асинхронные последовательные схемы обычно используются только в нескольких важных частях синхронных систем, где скорость имеет большое значение, например, в частях микропроцессоров и цифровой обработки сигналов схемах .
Разработка асинхронной логики использует различные математические модели и методы синхронной логики и является активной областью исследований.
См. также [ править ]
- Комбинационная логика
- Синхронная схема
- Асинхронная схема
- Логический дизайн
- Интегральная схема для конкретного применения
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б с Вай, М. Майкл (2000). Проектирование СБИС . ЦРК Пресс . п. 147. ИСБН 0-84931876-9 .
- ^ Кавана, Джозеф (2006). Последовательная логика: анализ и синтез . ЦРК Пресс . п. ix. ISBN 0-84937564-9 .
- ^ Липянский, Эд (2012). Основы электротехники, электроники и цифрового оборудования для ученых и инженеров . Уайли . п. 8.39. ISBN 978-1-11841454-5 .
- ^ Далли, Уильям Джеймс ; Хартинг, Р. Кертис (2012). Цифровой дизайн: системный подход . Издательство Кембриджского университета . п. 291. ИСБН 978-0-52119950-6 .
Дальнейшее чтение [ править ]
- Кац, Рэнди ; Борриелло, Гаэтано (2005). Современный логический дизайн (2-е изд.). Прентис Холл . ISBN 0-201-30857-6 .
- Кохави, Цви; Джа, Нирадж К. (2009). Теория коммутации и конечных автоматов (3-е изд.). Издательство Кембриджского университета . ISBN 978-0-521-85748-2 .
- Васюкевич, Вадим О. (2009). «Асинхронные логические элементы. Венъюнкция и секвенция» (PDF) . Архивировано (PDF) из оригинала 22 июля 2011 г. (118 страниц)
- Васюкевич, Вадим О. (2011). Написано в Риге, Латвия. Асинхронные операторы последовательной логики: венъюнкция и секвенция — анализ и проектирование цифровых схем . Конспекты лекций по электротехнике (LNEE). Том. 101 (1-е изд.). Берлин / Гейдельберг, Германия: Springer-Verlag . дои : 10.1007/978-3-642-21611-4 . ISBN 978-3-642-21610-7 . ISSN 1876-1100 . LCCN 2011929655 . (xiii+1+123+7 страниц) (Примечание. На задней обложке этой книги ошибочно указан том 4, хотя на самом деле это том 101.)