Секвенциальная логика: различия между версиями

м
откат правок 188.187.129.23 (обс.) к версии 1234qwer1234qwer4
Метка: отменено
м (откат правок 188.187.129.23 (обс.) к версии 1234qwer1234qwer4)
Метка: откат
 
В зависимости от регламента функционирования цифровые устройства подразделяются на синхронные и асинхронные. Соответственно их поведение подчиняется либо синхронной, либо асинхронной логике.
 
== Синхронная (тактированная) секвенциальная логика ==
При логическом моделировании устройств с памятью особая роль отводится фактору времени, который в синхронных схемах естественным образом учитывается тактами конечного автомата. Такты определяют моменты смены состояний автомата, то есть, синхронизируют соответствующую функцию.
 
[[Математический аппарат]] синхронной логики задают [[автомат Мили|автоматные модели Мили]] и [[автомат Мура|Мура]].<ref>[[Классификация абстрактных автоматов]]</ref>
 
== Асинхронная (нетактированная) секвенциальная логика ==
Асинхронная секвенциальная логика для выражения эффекта запоминания использует моменты смены состояний, которые задаются не в явном виде, а исходя из сопоставления логических величин по принципу «раньше-позже». Для асинхронной логики достаточно установить очерёдность смены состояний безотносительно каких-либо привязок к реальному или виртуальному времени.
Теоретический аппарат секвенциальной логики составляют математические инструменты секвенции и венъюнкции, а также логико-алгебраические уравнения на их основе.