Моделирование арифметико-логического устройства для вычитания УДЦ
Краткое сожержание материала:
Размещено на
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
ИВАНОВСКИЙ ГОСУДАРСТВЕННЫЙ ЭНЕРГЕТИЧЕСКИЙ УНИВЕРСИТЕТ
ИМЕНИ В. И. ЛЕНИНА
Кафедра программного обеспечения компьютерных систем
Курсовая работа
по дисциплине:
“Теория вычислительных процессов”.
Тема: «Моделирование АЛУ для вычитания УДЦ»
Выполнил:
студент гр. 3-42
Михальков Г.М.
Иваново
2012
Оглавление
- Введение
- Анализ
- Алгоритм
- Семантика
- Линейная схема
- Верификация
- Сети петри
- Вывод
Введение
1) Моделирование АЛУ для вычитания УДЦ для 18 разрядов (программа должна показывать преобразования и вычисления, и правильно выполнять заданные операции);
2) Написать аксиоматическую семантику команды ассемблера.
Анализ
Операция сложения выполняется в арифметико-логическом устройстве - АЛУ (см. рис.1).
Размещено на
рис.1 Структурная схема АЛУ для вычитания
На рис.1 представлена структурная схема АЛУ для вычитания 18-разрядных целых чисел. В состав АЛУ входят: входной регистр первого слагаемого RA, входной регистр слагаемого RB; стек сумматора ST; сумматор “--” (в данной реализации - арифметический сопроцессор 8087, отсюда вытекает нестандартная архитектура сумматора) для нахождения разности; выходной регистр сумматора совмещен со входным регистром RA.
По входной шине в регистр А (RA) и в регистр В (RB) заносятся операнды, представленные УДЦ формате. Далее, происходит нахождение разности операндов. Результат операции записывается во входной регистр RA, стирая предыдущее содержимое.
Алгоритм нахождения разности УДЦ можно разбить на следующие этапы:
· занесение чисел RA и RB
· преобразование их во внутреннее представление сумматора
· вычисление разности
· преобразование результата к УДЦ
· перезапись RA
Алгоритм
Блок - схема подпрограммы сложения чисел
Размещено на
Семантика
Операционная семантика команды 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. q01S1 Top1 q02
2. q02S2Top2q11
3. q11S1 L1 q21
4. q21X1 B1 q31 ()St1
5. q31X1 L1 q12
6. q12X2B2q22()St1
7. q22X2 L2 q21
8. q21#1 B1 q41
9. q41X1 Top1 q51
10. q51X1 B1 q32 ()St1
11. q32X2B2q42()St1
12. q42X2Top2q52
13. q52X2 B2 q62 ()St1
14. q62X2 L2 q61
15. q61X1B1q71()St1
16. q71X1 L1 q42
Операционная семантика команды shl al, 1
L1 (al):
1. q01S1Top1q11
2. q11X1L2q21
3. q21X1B1q31( )St1
4. q31X1R1q41
5. q41X1( )St1 q51
6. q51X1L1q11
7. q21#1R1q61
8. q61S101q71
9. q71S1Top1q81
Линейная схема
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?coun...
Построение арифметико-логического устройства для выполнения операции умножения целых чисел
Операционный блок микропроцессора, арифметические операции с целыми операндами. Пути увеличения производительности арифметико-логического устройства з...
Архитектура ЭВМ
Обобщенная структура центрального процессора. Основные характеристики и классификация устройств управления. Структура арифметико-логического устройств...
Исследование арифметико–логического устройства для выполнения логических операций
Исследование и принцип работы арифметико-логического устройства для выполнения логических операций. Условно–графическое обозначение микросхемы регистр...
Разработка арифметико-логического устройства для выполнения операций по заданным логическим функциям
Методика составления и минимизации логических функций. Синтез комбинационного устройства на логических элементах и мультиплексоре. Логическая функция...
Особенности арифметико-логических устройств (АЛУ) с двоично-десятичными кодами (ДДК) при вычислении операций умножения и деления и поиск путей их ускорения
Понятие двоично-десятичного кода (ДДК), его получение и использование. Изучение арифметико-логических устройств, использующихся для обработки ДДК. Алг...