• скачать файл

Курсовой проект по дисциплине «Теория автоматов» «Проектирование

с. 1
Петербургский государственный университет путей сообщения

Кафедра «Информационные и вычислительные системы»

Курсовой проект по дисциплине «Теория автоматов»

«Проектирование Операционного Устройства для заданного набора операций»

Пояснительная записка

Выполнил студент гр. КИБ – 108

Веригина М. А.
Руководитель:

Бубнов В. П.

Санкт-Петербург

2013


Аннотация

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

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

Содержание
Введение………………………………………………………………………………….4

  1. Определение функции операционного автомата……….………………………..5


1.Анализ алгоритма заданной операции……………………………………….5

2.Функциональная микропрограмма работы операционного автомата..……………………………………………………………………….5



    1. Определение функций операционного автомата……………………………9

    2. Определение функций управляющего автомата…………………………...10

  1. Синтез функциональной схемы операционного автомата ...........……………....12

3.Разработка структурной схемы операционного автомата .......…………....12

4.Синтез функциональной схемы операционного автомата ..………………15



      1. Синтез регистра A…………………………………………………….15

      2. Синтез регистра B……………………………………………………..

      3. Синтез регистра С………………………………………………………

      4. Синтез регистра П

  1. Синтез функциональной схемы управляющего автомата…………………………


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

 =




f1, если g = 1




f2, если g = 2 …

fG если g = G

Функцией ОУ является выполнение фиксированного множества операций F={f1, f2., fG} над множеством входных слов D={d1, d2,…. dH} для вычисления слов R = {r1, r2,…, rQ}, которые являются результатами операций из множества F. В течение определенного отрезка времени устройство может реализовать только одну операцию R = fg(D), которая определяется кодом операции (номером) g=1, 2., G. Функцию ОУ можно представить в виде R=(D), где

ОУ объединяются в структуру с помощью цепей, по которым передаются электрические сигналы. Одна цепь передает в один момент времени бит информации (01). Совокупность цепей, связывающих два ОУ и алгоритм, определяющий порядок передачи информации между ОУ, называется интерфейсом. Обычно ОУ представляют в виде двух автоматов: операционного автомата (ОА) и управляющего автомата (УА). ОА выполняет действия над словами информации – хранение, реализацию МКО и вычисление ЛУ – и, таким образом, является исполнительной частью ОУ. УА генерирует последовательность управляющих сигналов, которая определена микропрограммой и соответствует значениям ЛУ и, следовательно, задает порядок выполнения МКО в ОА.

На рисунке 1 представлена упрощенная структура ОУ. D – множество входных слов, R – множество выходных слов, Y – множество микроопераций, X – множество логических условий, g – код операции fg.



Рисунок 1 – Упрощенная структура ОУ




  1. Определение функции операционного устройства

    1. Анализ алгоритма заданной операции

Алгоритм операции:

    1. Начало.

    2. Слову П(1) присвоить значение «0».

    3. Изменить знак вычитаемого на противоположный.

    4. Образовать дополнительные коды слов А и В.

    5. Слову С присвоить значение суммы слов А и В.

    6. Знаковые разряды слов А и В равны?

ДА: перейти к п. 7,

НЕТ: перейти к п. 9.



    1. Знаковые разряды слов С и А равны?

ДА: перейти к п. 8,

НЕТ: перейти к п. 10.



    1. Имеется особый случай переполнения?

ДА: перейти к п. 10,

НЕТ: перейти к п. 9.



    1. Образовать прямой код результата и перейти к п. 11.

    2. Слову П(1) присвоить значение «1» и перейти к п. 11.

    3. Конец.




    1. Функциональная микропрограмма работы ОУ

Для составления формального описания работы операционного устройства (ОУ) необходимо проанализировать словесное описание алгоритма выполнения заданной операции и с учетом исходных данных дать описание с помощью Ф-языка:



  • слов (наименование, тип, формат);

  • микроопераций;

  • логических условий;

Описание слов показано в табл. 1.

Таблица 1


Слово

Назначение слова

Тип слова

Комментарий

А(1:4)

Первый операнд

IL

Значение присваивается вне микропрограммы и используется внутри микропрограммы

В(1:4)

Второй операнд

IL

Значение присваивается вне микропрограммы и используется внутри микропрограммы

С(1:4)

Результат

LO

Значение присваивается внутри микропрограммы и используется вне микропрограммы

П(1)

Признак переполнения

LO

Значение присваивается внутри микропрограммы и используется вне микропрограммы

Описание микроопераций дано в табл. 2.


Таблица 2

Пункт алгоритма

Словесное описание

Условное

обозначение



Формальное описание

1

Начало

y0




2

Присвоить слову П(1) значение нуля

y1

П(1):=0

3

Изменить знак вычитаемого слова В(1:4) на противоположный

y2

B (1) : =  B (1)

4










4.1

Образовать дополнительный код слова А(1:4)

y3

A(1:4) : = A (1) .  A(2:4) + 1

5










5.1

Образовать дополнительный кода слова В(1:4)

y4

B(1:4) : = B (1) .  B(2:4) + 1

6

Слову С(1:4) присвоить значение суммы слов А(1:4) и В(1:4)

y5

С (1:4) : = A (1:4) + B (1:4)

7










8










9










9.1

Присвоить слову П(1) значение единицы

y6

П(1):=1


9.2










9.2.1

Образовать прямой код результата С(1:4)

y7

С(1:4): = С(1) .  C(1:4)+ 1

10

Конец

y0




Логические условия, под действием которых вырабатываются управляющие сигналы, описаны в табл. 3.

Таблица 3



Пункт алгоритма

Словесное описание логических условий

Условное

обозначение



Формальное описание

4

Проверка знакового разряда слова А(1:4)

x1



5

Проверка знакового разряда слова B(1:4)

x2



7

Проверка на равенство знаковых разрядов слов А(1:4) и В(1:4)

x3



8

Проверка на равенство знаковых разрядов слов А(1:4) и С(1:4)

x4



9

Проверка особого случая переполнения

x5



9.2

Проверка знакового разряда слова C(1:4)

x6



Для того, чтобы удостовериться в правильности алгоритма, была осуществлена проверка (смотри приложение 1).

Чтобы связи между ступенями алгоритма представлялись яснее, весь алгоритм можно изобразить в виде содержательного графа, который дает визуальное представление об алгоритме данной операции. Содержательный граф-схема микрооперации представлен на рис. 2.


Начало


Обнуление признака переполнения: П (1) : = 0




Изменение знака вычитаемого на противоположный: B (1) : =  B (1)



1

0

0

1

B(1)

Образование дополнительного кода: A(1:4) : = если A (1) то A (1) .  A(2:4) + 1

П (1) : = 1

C (1) = A (1)

A (1) = B (1)

C (1)

Образование прямого кода результата: С(1:4) : = С(1) .  C(2:4) + 1

1

1

1

0

Образование дополнительного кода: B(1:4) : = если B (1) то B (1) .  B(2:4) + 1

0

A (1)

0

C (1) .C (2:4) = 0

0

1

Сложение кодов: С (1:4) : = A (1:4) + B (1:4)



Конец

Рисунок 2 - Содержательный граф микропрограммы



1.3 Определение функций операционного автомата
Каждая функциональная микропрограмма Mg, где g = 1, 2, …, G, определяющая алгоритм выполнения операции fgF, вводит множество слов Sg, микроопераций Yg и логических условий Xg. Множество Sg, Yg, Xg характеризуют функцию ОА частично, позволяя определить средства, достаточные для реализации только одной операции fg.

На основе функциональной микропрограммы работы ОУ составляются таблицы микроопераций и логических условий (таблицы 4 и 5 соответственно).


Таблица 4

Обозначение

Микрооперация

y1

П (1) : = 0

y2

B (1) : =  B (1)

y3

A(1:4) : = A (1) .  A(2:4) + 1

y4

B(1:4) : = B (1) .  B(2:4) + 1

y5

С (1:4) : = A (1:4) + B (1:4)

y6

С(1:4) : = С(1) .  C(2:4) + 1

y7

П (1) : = 1

Таблица 5



Обозначение

Логическое условие

x1

A (1)

x2

B (1)

x3

A (1) = B (1)

x4

C (1) = A (1)

x5

 C (1) .C (2:4) = 0

x6

C (1)



    1. Определение функций управляющего автомата

По отношению к управляющему автомату МКО и ЛУ представляются как элементарные символы, которые автомат интерпретирует в виде управляющих сигналов Y={y1, y2, …, yM} и воспринимает как осведомительные сигналы X={x1, x2, …, xL}.

Таким образом, функция управляющего автомата (УА) – это операторная схема микропрограммы, функциональными операторами которой являются символы y1, y2, …, yM отождествляемые с МКО, а в качестве ЛУ используются булевы переменные x1, x2, …, xL.

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

Функция УА определяется совокупностью закодированного графа микропрограммы, который соответствует содержательной граф - схеме.

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




y0




y0

Рисунок 3 - Закодированная граф-схема УА





  1. Синтез функциональной схемы операционного автомата

2.1. Разработка структурной схемы ОА
Исходной информацией для разработки структурной схемы ОА являются:

  • описание типов слов, используемых в микропрограмме (таблица 1).

  • список МКО (таблица 4).

  • список ЛУ (таблица 5).

Все слова (переменные), кроме вспомогательных, должны сохранять свое значение неограниченно долго, вплоть до присвоения им нового значения. Такие переменные являются переменными с памятью в отличие от вспомогательных переменных – переменных без памяти. Переменные с памятью соответствуют всем внутренним (L) словам.

Каждой переменной с памятью ставится в соответствие регистр операционного автомата той же разрядности, что и переменная, причем i-й разряд регистра соответствует i-му разряду переменной. Регистру присваивается идентификатор соответствующего ему слова.

Для рассматриваемого варианта задания структурная схема ОА будет содержать четыре регистра – A (1:4), B (1:4), C (1:4) и П(1).

Каждой переменной без памяти ставится в соответствие шина, имеющая разрядность переменной и предназначенная для параллельной передачи слов.

Для каждого регистра определяется множество микроопераций YS и логических условий XS. На основании анализа микроопераций YS и логических условий производится выделение всех полей регистра S. В одно поле включаются те разряды регистра S, которые преобразуются микрооперациями YS одинаково.

В таблице 6 содержатся все данные, необходимые для построения структурной схемы ОА, реализующей операцию.

Таблица 6


Регистр

МКО

ЛУ

Поля

A (1:4)

YA={yA,y3}

XA={x1, x3, x4}

A(1), A (2:3),A(4)

B (1:4)

YB={yB,y2, y4}

XB={x2, x3}

B(1), B (2:3),B(4)

C (1:4)

YC={y5, y7}

XC={x4, x5, x6}

C(1), C (2:3), C(4)

П(1)

YП={y1, y6}

XП={}

П(1)

Опираясь на таблицу 6, в которой представлены множества микроопераций, логических условий, а также выделены поля слов – операндов, построена структурная схема ОА (Рис. 4).

Выходные цепи регистров A, B, C и П объединены в шину S (на рисунке не представлена), с которой поступают сигналы на входные сигналы комбинационных схем, реализующих микрооперации и вычисляющих логические условия. Если I – тривиальная булева функция, то логическое условие интерпретируется цепью, выходящей из соответствующего разряда регистра S (например, ЛУ x1). Предполагается, что по шине S передаются как прямые, так и инверсные значения слов, хранимых в регистрах.

Словами, описанными в таблице 1, как входные (I), ставятся в соответствие входы d1 и d2 структурной схемы. Каждый вход соединяется с регистром шиной, исходящей из входа.

Словам, описанным как выходные (O), ставятся в соответствие выходы r1 и r2 структурной схемы.

Управляемые шины отмечаются сигналом ym, инициирующим микрооперацию ym.

Сигналы yA и yB вырабатываются вне ОУ, но микрооперации занесения слов A и B в соответствующие регистры входят в множества YA и YB.


x1

A(1)




yA

d1 (1:4)




к УА

y3

1 A 4




1
Зн.А


n
2 Модуль А 4


x2

B(1)




yB

d2 (1:4)




y2




y4



1 В 4

Зн.В

2 Модуль В 4


D




n

1




y1

Сумматор дополнительного кода




y2

n

n

1

1




y3




y5

4

4

1

1




y4




y5




y6




СУ

4




y7

1

4









Микрокоманды от УА

Связь отсутствует




4

1



1 С 4

Зн.С

2 Модуль С 4


y5

y1

П (1) : = 1




y7

y6



r2

С(2:4)

2

4

С(1)




R




x6




к УА

r1

Рисунок 4 - Структурная схема ОА



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

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


2.2.1 Синтез регистра A

МКО: yA, y3

yA: A (1:4):= d1(1:4)

y3: A (1:4):= A(1).A (2:4) + 1

Поля: А(1), А (2:3) , А(4).



Синтез поля A(1)

yA: A(1) := d1(1)

Заполняется каноническая таблица 7 для нахождения функции возбуждения триггера.

VD = d1(1)



t

t+1

t

d1(1)

A(1)

A(1)

VTT

0

0

0

0

0

1

0

0

1

0

1

1

1

1

1

1

y3: A(1):= A(1)

VD=A(1)

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



2.3. Синтез функциональной схемы для вычисления логических условий
Вычисление логических условий происходит в операционном автомате.

Обратимся к таблице 3, представленной ранее в п.1.2 (стр.5)

Таблица 3


Пункт алгоритма

Словесное описание логических условий

Условное

обозначение



Формальное описание

4

Проверка знакового разряда слова А(1:4)

x1



5

Проверка знакового разряда слова B(1:4)

x2



7

Проверка на равенство знаковых разрядов слов А(1:4) и В(1:4)

x3



8

Проверка на равенство знаковых разрядов слов А(1:4) и С(1:4)

x4



9

Проверка особого случая переполнения

x5



9.2

Проверка знакового разряда слова C(1:4)

x6


Функциональная схема логических условий представлена на рисунке 17а, а на рисунке 17б ее условное обозначение.

С

A

B



X

A

A



B

B

C



C

x1

x1

x2

x2

x6

x6

4

C(3)



x3
x3
x4
x4





x5


x5
C(2)
C(3)
C(4)

Рисунок 17 - Схема вычисления значений логических условий (а); условное изображение схемы (б)




  1. Синтез функциональной схемы управляющего автомата

5.Структурная схема управляющего автомата
Для построения структурной схемы УА необходимо произвести кодирование внутренних состояний памяти.

В данном курсовом проекте принято описать УА как автомат Мура. Число внутренних состояний автомата Мура равно 8, откуда количество двоичных разрядов для кодирования внутренних состояний соответственно равно



log2 8 = 3

Следовательно, количество Т – синхронных триггеров, необходимых для построения памяти УА, равно трем. Кодирование внутренних состояний выполнено в соответствии с таблицей

Таблица





Ai

Tj

A0

A1

A2

A3

A4

A5

A6

A7

T1

0

0

0

0

1

1

1

1

T2

0

0

1

1

0

0

1

1

T3

0

1

0

1

0

1

0

1

Выход DC

0

1

2

3

4

5

6

7

Кодирование производится путем замены индекса Ai на двоичный код, соответствующий номеру индекса.

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



A0

000

y0



x1


001

y1



x1




x3&x4

A1



010

y2



x1




A2




x1&x2

x1

A4

A3

011


y3
x1
100

y4


x1


x1&x2




x1

A5




101

y5



x1




x3&x4 &x5&x6




x3&x6




x3&x4&x5




x3&x4 &x5&x6

110

y6



x1

111

y7



x1




x3&x6

A7

A6



000

y0



x1




A0

Рисунок - Объединенный граф работы УА

6.Функциональная схема управляющего автомата


По графу автомата составляются канонические таблицы для определения функций возбуждения триггеров Тi памяти УА. Соответственно для Т1 , Т2 , Т3 это будут таблицы № , № , №

Таблица


A

x1

x2

x3

x4

x5

x6

T1(t)

T1(t+1)

VTT1

A0

-

-

-

-

-

-

0

0

0

A1

-

-

-

-

-

-

0

0

0

A2

1

-

-

-

-

-

0

0

0

0

1

-

-

-

-

0

1

1

0

0

-

-

-

-

0

1

1

A3

-

0

-

-

-

-

0

1

1

A4

-

-

-

-

-

-

1

1

0

A5

-

-

0

1

-

-

1

1

0

-

-

0

0

1

-

1

1

0

-

-

1

-

-

0

1

0

1

-

-

1

-

-

1

1

1

0

-

-

0

0

0

0

1

0

1

-

-

0

0

0

1

1

1

0

A6

-

-

-

-

-

-

1

0

1

A7

-

-

-

-

-

-

1

0

1

Таблица


A

x1

x2

x3

x4

x5

x6

T1(t)

T1(t+1)

VTT1

A0

-

-

-

-

-

-

0

0

0

A1

-

-

-

-

-

-

0

1

1

A2

1

-

-

-

-

-

1

1

0

0

1

-

-

-

-

1

0

1

0

0

-

-

-

-

1

0

1

A3

-

0

-

-

-

-

1

0

1

A4

-

-

-

-

-

-

0

0

0

A5

-

-

0

1

-

-

0

1

1

-

-

0

0

1

-

0

1

1

-

-

1

-

-

0

0

0

0

-

-

1

-

-

1

0

1

1

-

-

0

0

0

0

0

0

0

-

-

0

0

0

1

0

1

1

A6

-

-

-

-

-

-

1

0

1

A7

-

-

-

-

-

-

1

0

1

Таблица



A

x1

x2

x3

x4

x5

x6

T1(t)

T1(t+1)

VTT1

A0

-

-

-

-

-

-

0

1

1

A1

-

-

-

-

-

-

1

0

1

A2

1

-

-

-

-

-

0

1

1

0

1

-

-

-

-

0

0

0

0

0

-

-

-

-

0

1

1

A3

-

0

-

-

-

-

1

1

0

A4

-

-

-

-

-

-

0

1

1

A5

-

-

0

1

-

-

1

0

1

-

-

0

0

1

-

1

0

1

-

-

1

-

-

0

1

0

1

-

-

1

-

-

1

1

1

0

-

-

0

0

0

0

1

0

1

-

-

0

0

0

1

1

1

0

A6

-

-

-

-

-

-

0

0

0

A7

-

-

-

-

-

-

1

1

1


Приложение

Прокрутка алгоритма операции приведена в приложении 1

Приложение 1


Пункт алгоритма

Выполнение микрооперации или вычисление лог. условия

Условие перехода

П.П.

Комментарии

Сложение без переполнения

1

А:=1.101(-5)

В:=1.110(-6)






2

Операнды с одинаковыми знаками (отрицательные)

2

П (1):=0




3

Обнулить

3

В (1) =  В (1)




4,5

Изменить знак вычитаемого на противоположный

4,5

A (1:4) = 1.011 B (1:4) = 0.110




6

Образовать дополнительные коды слов А и В

6

А:=1.011

+

В:=0.110

С:=0.001





7

Слову С присвоить значение суммы слов А и В

7

А (1) = 1; В (1) = 0

x1=0

9.1

Проверка на совпадение знаковых разрядов слов А и В

9.1

С (1:4) = 0.001(1)




10

Образовать прямой код результата

10

Конец










Сложение без переполнения

1

А:=0.001(1)

В:=0.111(7)






2

Операнды с одинаковыми знаками (положительные)

2

П(1):=0




3

Обнулить

3

В (1) =  В (1)




4,5

Изменить знак вычитаемого на противоположный

4,5

A (1:4) = 0.001 B (1:4) = 1.001




6

Образовать дополнительные коды слов А и В

6

А:=0.001

+

В:=1.001

С:=1.010





7

Слову С присвоить значение суммы слов А и В

7

А (1) = 0; В (1) = 1

x1=0

9.1

Проверка на совпадение знаковых разрядов слов А и В

9.1

С (1:4) = 1.110(-6)




10

Образовать прямой код результата

10

Конец










Сложение без переполнения

1


А:=0.011(3)

В:=1.010(-2)






2

Знак операнда А положительный, а В отрицательный

2

П(1):=0




3

Обнулить

3

В (1) =  В (1)




4,5

Изменить знак вычитаемого на противоположный

4,5

A (1:4) = 0.011 B (1:4) = 0.010




6

Образовать дополнительные коды слов А и В

6

А:=0.011

+

В:=0.010

С:=0.101





7

Слову С присвоить значение суммы слов А и В

7

А (1) = 0; В (1) = 0

x1=1

8

Проверка на совпадение знаковых разрядов слов А и В

8

А (1) = 0; С (1) = 0

x2=1

9

Проверка на совпадение знаковых разрядов слов А и В

9

С(1).C (2:4) = 1.101

x3=0

9.1

Проверка особого случая переполнения

9.1

С (1:4) = 0.101(5)




10

Образовать прямой код результата

10

Конец










Сложение без переполнения

1

А:=1.100(-4)

В:=0.011(3)






2

Знак операнда А отрицательный, а В положительный

2

П(1):=0




3

Обнулить

3

В (1) =  В (1)




4,5

Изменить знак вычитаемого на противоположный

4,5

A (1:4) = 1.100 B (1:4) = 1.101




6

Образовать дополнительные коды слов А и В

6

А:=1.100

+

В:=1.101

С:=1.001





7

Слову С присвоить значение суммы слов А и В

7

А (1) = 1; В (1) = 1

x1=1

8

Проверка на совпадение знаковых разрядов слов А и В

8

А (1) = 1; С (1) = 1

x2=1

9

Проверка на совпадение знаковых разрядов слов А и В

9

С(1).C (2:4) = 0.001

x3=0

9.1

Проверка особого случая переполнения

9.1

С (1:4) = 1.111(-7)




10

Образовать прямой код результата

10

Конец










Сложение с отрицательным переполнением

1

А:=1.111(-7)

В:=0.010(2)






2

Знак операнда А отрицательный, а В положительный

2

П(1):=0




3

Обнулить

3

В (1) =  В (1)




4,5

Изменить знак вычитаемого на противоположный

4,5

A (1:4) = 1.001 B (1:4) = 1.110




6

Образовать дополнительные коды слов А и В

6

А:=1.001

+

В:=1.110

С:=0.111





7

Слову С присвоить значение суммы слов А и В

7

А (1) = 1; В (1) = 1

x1=1

8

Проверка на совпадение знаковых разрядов слов А и В

8

А (1) = 1; С (1) = 0

x2=0

9.2

Проверка на совпадение знаковых разрядов слов А и В

9.2

П(1) = 1




10

Слову П(1) присвоить значение«1»

10

Конец










Сложение с положительным переполнением

1

А:=0.110(6)

В:=1.010(-2)






2

Знак операнда А положительный, а В отрицательный

2

П(1):=0




3

Обнулить

3

В (1) =  В (1)




4,5

Изменить знак вычитаемого на противоположный

4,5

A (1:4) = 0.110 B (1:4) = 0.010




6

Образовать дополнительные коды слов А и В

6

А:=0.110

+

В:=0.010

С:=1.000





7

Слову С присвоить значение суммы слов А и В

7

А (1) = 0; В (1) = 0

x1=1

8

Проверка на совпадение знаковых разрядов слов А и В

8

А (1) = 0; С (1) = 1

x2=0

9.2

Проверка на совпадение знаковых разрядов слов А и В

9.2

П (1) = 1




10

Слову П(1) присвоить значение«1»

10

Конец










Особый случай переполнения

1

А:=1.001(-1)

В:=0.111(7)






2

Знак операнда А отрицательный, а В положительный

2

П(1):=0




3

Обнулить

3

В (1) =  В (1)




4,5

Изменить знак вычитаемого на противоположный

4,5

A (1:4) = 1.111 B (1:4) = 1.001




6

Образовать дополнительные коды слов А и В

6

А:=1.111

+

В:=1.001



С:=1.000




7

Слову С присвоить значение суммы слов А и В

7

А (1) = 1; В (1) = 1

x1=1

8

Проверка на совпадение знаковых разрядов слов А и В

8

А (1) = 1; С (1) = 1

x2=1

9

Проверка на совпадение знаковых разрядов слов А и В

9

С(1).C (2:4) = 0.000

x3=1

9.2

Проверка особого случая переполнения

9.2

П (1) = 1




10

Слову П(1) присвоить значение«1»

10

Конец












Результаты сверены для всех случаев, алгоритм работает верно.
с. 1