Моделирование арифметико-логического устройства для вычитания УДЦ

Размещено на http://www.allbest.ru/

Федеральное государственное бюджетное образовательное учреждение

высшего профессионального образования

ИВАНОВСКИЙ ГОСУДАРСТВЕННЫЙ ЭНЕРГЕТИЧЕСКИЙ УНИВЕРСИТЕТ

ИМЕНИ В. И. ЛЕНИНА

Кафедра программного обеспечения компьютерных систем

Курсовая работа

по дисциплине:

“Теория вычислительных процессов”.

Тема: «Моделирование АЛУ для вычитания УДЦ»

Выполнил:

студент гр. 3-42

Михальков Г.М.

Иваново

2012

Оглавление

• Введение
• Анализ
• Алгоритм
• Семантика
• Линейная схема
• Верификация
• Сети петри
• Вывод

Введение

1) Моделирование АЛУ для вычитания УДЦ для 18 разрядов (программа должна показывать преобразования и вычисления, и правильно выполнять заданные операции);

2) Написать аксиоматическую семантику команды ассемблера.

Анализ

Операция сложения выполняется в арифметико-логическом устройстве - АЛУ (см. рис.1).

Размещено на http://www.allbest.ru/

рис.1 Структурная схема АЛУ для вычитания

На рис.1 представлена структурная схема АЛУ для вычитания 18-разрядных целых чисел. В состав АЛУ входят: входной регистр первого слагаемого RA, входной регистр слагаемого RB; стек сумматора ST; сумматор “--” (в данной реализации - арифметический сопроцессор 8087, отсюда вытекает нестандартная архитектура сумматора) для нахождения разности; выходной регистр сумматора совмещен со входным регистром RA.

По входной шине в регистр А (RA) и в регистр В (RB) заносятся операнды, представленные УДЦ формате. Далее, происходит нахождение разности операндов. Результат операции записывается во входной регистр RA, стирая предыдущее содержимое.

Алгоритм нахождения разности УДЦ можно разбить на следующие этапы:

· занесение чисел RA и RB

· преобразование их во внутреннее представление сумматора

· вычисление разности

· преобразование результата к УДЦ

· перезапись RA

Алгоритм

Блок - схема подпрограммы сложения чисел

Размещено на http://www.allbest.ru/

Семантика

Операционная семантика команды rol al, 1

L1(al)

1	0	1	1	1	1	0	1	#

L2

								#

L1(al)

1	0	1	1	1	1	0	1	#

L2

0	1	1	1	1	0	1	1	#

1. q₀¹S¹ Top¹ q₀²

2. q₀²S²Top²q₁¹

3. q₁¹S¹ L¹ q₂¹

4. q₂¹X¹ B¹ q₃¹ ()St¹

5. q₃¹X¹ L¹ q₁²

6. q₁²X²B²q₂²()St¹

7. q₂²X² L² q₂¹

8. q₂¹#¹ B¹ q₄¹

9. q₄¹X¹ Top¹ q₅¹

10. q₅¹X¹ B¹ q₃² ()St¹

11. q₃²X²B²q₄²()St¹

12. q₄²X²Top²q₅²

13. q₅²X² B² q₆² ()St¹

14. q₆²X² L² q₆¹

15. q₆¹X¹B¹q₇¹()St¹

16. q₇¹X¹ L¹ q₄²

Операционная семантика команды shl al, 1

L1 (al):

1. q₀¹S¹Top¹q₁¹

2. q₁¹X¹L²q₂¹

3. q₂¹X¹B¹q₃¹( )St¹

4. q₃¹X¹R¹q₄¹

5. q₄¹X¹( )St¹ q₅¹

6. q₅¹X¹L¹q₁¹

7. q₂¹#¹R¹q₆¹

8. q₆¹S¹0¹q₇¹

9. q₇¹S¹Top¹q₈¹

Линейная схема

1. НАЧАЛО на 3

2. ПРИСВОИТЬ si, строка

3. ПРИСВОИТЬ cx, 0

4. ЕСЛИ ([si] < 30h) ТО на 9

5. ЕСЛИ ([si] > 39h) ТО на 9

6. УВЕЛИЧИТЬ si

7. УВЕЛИЧИТЬ cx

8. на 4

9. ВЕРНУТЬ cx

10. КОНЕЦ

Символы:

· cx - переменная, количество символов в строке

· si - указатель на символ строки, [si] - символ строки

· НАЧАЛО, КОНЕЦ - специальные символы

Операторы:

· условные операторы (ЕСЛИ … ТО … ИНАЧЕ …)

· операторы перехода (на)

· операторы присвоения (ПРИСВОИТЬ операнд 1, операнд 2)

· операторы возврата (ВЕРНУТЬ операнд)

Функции:

· Вывод() - вывести строку;

Верификация

Без ветвления:

ra = r1

rb = r2

sm = ra - rb

(r1 >= r2) { ra = r1; rb = r2; sm = ra - rb } sm <= ra

(r1 >= r2) { ra = r1; rb = r2; } ra - rb <= ra

(r1 >= r2) { ra = r1 } ra - r2 <= ra

(r1 >= r2) r1 - r2 <= r1

true & true true

true true

true

C ветвлением:

if(last==1)

{ra=r1;}

else

{ra=0;}

1) ((last=1)?(last=0))&(last=1){ra=r1}(ra=r1)?(ra=0);

((last=1)?(last=0))&(last=1) > (r1=r1)?(r1=0);

true & true > true

true > true

true.

2) ((last=1)?(last=0))&¬(last=1){ra=0}(ra=r1)?(ra=0);

((last=1)?(last=0))&¬(last=1) > (0=r1)?(0=0);

true & true > true

true > true

true.

Верификация цикла:

i=count;

do

{

add(…);

…

i--;

} while (i>0);

P = ((countN)?(count=0));

B = (i>0);

S = (i=i-1);

Q = (i ? 0).

((countN)?(count=0))&(i?count){while i>0 do i=i-1 end}i ? 0;

1. Инвариант цикла удовлетворяется при входе в цикл:

((countN)?(count=0)) > (i?count)

true ? false > true

true > true

true

2. Инвариант цикла удовлетворяется при проверке условия выполнения цикла:

(i?count){ (i>0)} (i?count)

true > true

true

3. Инвариант цикла удовлетворяется в теле цикла:

(i?count) & (i>0) {i=i-1} (i?count)

(i?count) & (i>0) > (i-1?count)

(i?count) & (i>0) > (i?count+1)

true & true > true

true > true

true

4. Инвариант цикла и отрицание условия выполнения имплицируют постусловие:

(i?count) &¬ (i>0) > (i ? 0)

(i?count) & (i ? 0)> (i ? 0)

true & true > true

true > true

true

Сети Петри

устройство вычитание семантика верификация программа

Вывод

В данной работе была написана программа моделирования АЛУ для вычитания УДЦ. Также была проведена верификация линейного участка программы, участка, содержащего ветвления, цикла, была описана операционная семантика и построены сети Петри для подпрограммы.

Размещено на Allbest.ru