Синхронизация автоматов. Нарушением функционирования автомата может быть вызвано явлениями, получившими название гонки и риск сбоя

Нарушением функционирования автомата может быть вызвано явлениями, получившими название гонки и риск сбоя.

Гонки возникают из-за неодновременного срабатывания элементов памяти автомата. Например, пусть под действием некоторого входного сигнала X(a_ma_s) с кодом 00 автомат должен перейти из состояния a_m с кодом 101 состояние a_s с кодом 110 (см. рис. 47). Если второй триггер изменит свое значение (переключится) с 0 в 1 ранее чем третий переключится с 1 в 0, то автомат перейдет в промежуточное состояние 111. Иначе, если третий триггер сработает ранее второго, то в промежуточное состояние 100.

Таким образом, если на некотором переходе в автомате одновременно изменяют свое состояние несколько элементов памяти, то между ними возникает ”состязание”. Если из промежуточного состояния автомат, в конечном счете, переходит в требуемое состояние a_s, то называются ”состязание” некритическими, если в ложное, например 011, то критическими или гонками.

Существует два основных подхода к устранению гонок: программный и аппаратный. Программный (алгоритмический) подход основан на соседнем кодировании состояний. При соседнем кодировании состояний автомата из множества A={a1,…,am} кодируются таким образом, что на любом переходе изменяют свое состояние не более чем один элемент памяти. Однако соседнее кодирование воз

можно выполнить не для всех автоматов.

Аппаратный подход основан на использовании двух ступеней памяти рис. 48. Первая ступень памяти построена на триггерах T₁,…,T_r, вторая на триггерах T₁,…,T_r. Информация в триггеры первого уровня T₁,…,T_r записывается по тактовому сигналу Ти, а в триггеры второго уровня T₁,…,T_r по сигналу Ти следующему непосредственно за Ти.

Если в течении первого полупериода (Ти) между триггерами первой ступени и возникают ”состязания”, то они все равно не изменяют состояния триггеров второй ступени, поскольку отсутствует синхросигнал Ти. Затем, с приходом синхроимпульса Ти изменяют свое состояние триггеры второй ступени. Промежуточные коды формируемые на их выходах приводят к изменению (и искажению) t₁,…,t_r, а следовательно и D₁,…,D_r. Однако триггеры первой ступени не изменят своего состояния, поскольку отсутствует сигнал Ти. Таким образом, в итоге верный код состояния a_s с выходов памяти первой ступени переписывается в триггера второго уровня, что соответствует переходу автомата в состояние a_s.

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

Риск сбоя. Наличие некритических ”состязаний”, не нарушает правил перехода в автомате, но создает возможность возникновения раска сбоя. Риск сбоя заключается в том, что при переходе в некоторое промежуточное состояние (реально существующее в алгоритме) может быть выработан кратковременный ложный выходной сигнал. Например, в автомате Мура при переходе при переходе из состояния 101 в состояние 110 появляется кратковременный сигнал yk в промежуточном состоянии 00 (см. рис. 50).

Хотя длительность ложного сигнала y_k достаточно мала, однако его возникновение может привести к непредсказуемым последствиям в устройстве, которым управляет автомат. Некоторые методы устранения риска сбоя состоят в следующем.

- Выходы автомата, на которых может возникнуть риск сбоя? соединяются через конденсатор небольшой емкости с нулевым выходом источника питания.

- Буферизация выходных сигналов.

Литература

1. Савельев А.Я. Прикладная теория цифровых автоматов. Учеб. Для вузов по спец ЭВМ. –М.: Высш. шк., 1987.

2. Поснов Н.Н. Арифметика вычислительных машин в упражнениях и задачах: системы счисления, коды. –Мн.: Изд-во ”Университетское”, 1984.

3. Морозевич А.Н. Дмитриев А.Н. и др. Микро-ЭВМ микропроцессоры и основы программирования. –Мн.: Выш. шк., 1990

4. Акушинский И.Я., Юдицкий Д.И. Машинная арифметика в остаточных классах –М.:”Советское радио”, 1968.

5. Питерсон У., Уэлдон Э. Коды исправляющие ошибки./Пер. с англ.. –М.: Мир, 1976.

Введение. 3

Арифметические основы вычислительной техники. 4

Системы счисления. 4

Двоичная система счисления. 5

Восьмеричная система счисления. 5

Шестнадцатеричная система счисления. 6

Критерии выбора системы счисления. 7

Перевод чисел из одной системы счисления в другую.. 10

Перевод целых чисел. 10

Перевод правильных дробей. 11

Перевод чисел из системы счисления в систему счисления основания которых кратны степени 2. 12

Кодирование чисел. 12

Переполнение разрядной сетки. 15

Модифицированные коды.. 16

Машинные формы представления чисел. 16

Погрешность выполнения арифметических операций. 18

Округление. 19

Нормализация чисел. 19

Последовательное и параллельное сложение чисел. 20

Сложение чисел с плавающей запятой. 21

Машинные методы умножения чисел в прямых кодах. 22

Ускорение операции умножения. 26

Умножение с хранением переносов. 26

Умножение на два разряда множителя одновременно. 27

Умножение на четыре разряда одновременно. 29

Умножение в дополнительных кодах. 30

Умножение на 2 разряда Мт в дополнительных кодах. 34

Матричные методы умножения. 36

Машинные методы деления. 38

Деление чисел в прямых кодах. 38

Деление чисел в дополнительных кодах. 40

Методы ускорения деления. 41

Двоично-десятичные коды.. 41

Суммирование чисел с одинаковыми знаками в коде 8421. 43

Сложение чисел с разными знаками. 45

Двоично-десятичные коды с избытком 3. 46

Код с избытком 6 для одного из слагаемых. 47

Система счисления в остаточных классах (СОК) 48

Представление отрицательных чисел в СОК.. 51

Контроль работы цифрового автомата. 52

Некоторые понятия теории кодирования. 53

Обнаружение и исправление одиночных ошибок путем. 54

использования дополнительных разрядов. 54

Коды Хемминга. 55

Логические основы вычислительной техники. 57

Двоичные переменные и булевы функции. 57

Способы задания булевых функций. 58

Основные понятия алгебры логики. 59

Основные законы алгебры логики. 62

Формы представления функций алгебры логики. 63

Системы функций алгебры логики. 65

Минимизация ФАЛ.. 70

Метод Квайна. 71

Метод Блейка - Порецкого. 73

Метод минимизирующих карт Карно (Вейча) 74

Минимизация коньюнктивных нормальных форм. 77

Минимизация не полностью определенных ФАЛ.. 78

Кубическое задание функций алгебры логики. 79

Метод Квайна-Мак Класки. 82

Алгоритм извлечения (Рота) 84

Минимизация ФАЛ методом преобразования логических выражений. 93

Применение правил и законов алгебры логики к синтезу некоторых цифровых устройств. 93

Синтез одноразрядного полного комбинационного сумматора. 93

Синтез одноразрядного комбинационного полусумматора. 94

Синтез одноразрядного полного комбинационного сумматора на двух полусумматорах. 95

Синтез одноразрядного комбинационного вычитателя. 95

Объединенная схема одноразрядного комбинационного сумматора-вычитателя 96

Триггер со счетным входом как полный одноразрядный сумматор. 97

Введение в теорию конечных автоматов. 97

Основные понятия теории автоматов. 97

Способы задания автоматов. 99

Структурный автомат. 101

Память автомата. 102

Канонический метод синтеза. 105

Пример синтеза МПА Мили по ГСА.. 110

Синхронизация автоматов. 114

Литература. 117

Учебное издание

Луцик Юрий Александрович,

Лукьянова Ирина Викторовна

АРИФМЕТИЧЕСКИЕ И ЛОГИЧЕСКИЕ ОСНОВЫ

ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ

Учебное пособие

по курсу «Арифметические и логические основы

вычислительной техники»

Редактор Т.А. Лейко

Корректор Е.Н. Батурчик

Компьютерная верстка

Подписано в печать..2003. Формат 60х84 1/16. Бумага офсетная.

Гарнитура Times New Roman. Печать ризографическая. Усл. печ. л..

Уч.- изд. л.. Тираж экз. Заказ.

Издатель и полиграфическое исполнение:

Учреждение образования

«Белорусский государственный университет информатики и радиоэлектроники»

Лицензия ЛП № 156 от 05.02. 2001.

Лицензия ЛВ № 509 от 03.08. 2001.

220013, Минск, П.Бровки, 6.