Федеральне державне бюджетне освітня установа 
  вищої професійної освіти 
  ІВАНІВСЬКИЙ ДЕРЖАВНИЙ ЕНЕРГЕТИЧНИЙ УНІВЕРСИТЕТ 
  ІМЕНІ В. І. ЛЕНІНА 
  Кафедра програмного забезпечення комп'ютерних систем 
          Курсова робота 
  з дисципліни: 
  Теорія обчислювальних процесів . 
  Тема: В«Моделювання АЛУ для вирахування УДЦВ» 
     Виконав: 
  студент гр. 3-42 
  Михальков Г.М. 
      Іваново 
   Зміст 
   Введення 
  Аналіз 
  Алгоритм 
  Семантика 
				
				
				
				
			  Лінійна схема 
  Верифікація 
  Мережі петрі 
  Висновок 
   Введення 
   1) Моделювання АЛУ для вирахування УДЦ для 18 розрядів (програма повинна показувати перетворення і обчислення, і правильно виконувати задані операції); 
 ) Написати аксіоматичну семантику команди асемблера. 
   Аналіз 
   Операція складання виконується в арифметико-логічному пристрої - АЛУ (див. рис.1). 
 В  
 рис.1 Структурна схема АЛП для вирахування 
   На рис.1 представлена ​​структурна схема АЛП для вирахування 18-розрядних цілих чисел. До складу АЛУ входять: вхідний регістр першого доданка RA, вхідний регістр доданка RB; стек суматора ST; суматор - (у даній реалізації - арифметичний співпроцесор 8087, звідси випливає нестандартна архітектура суматора) для знаходження різниці; вихідний регістр суматора поєднаний зі вхідним регістром RA. 
  За вхідний шині в регістр А (RA) і в регістр В (RB) заносяться операнди, представлені УДЦ форматі. Далі, відбувається знаходження різниці операндів. Результат операції записується у вхідний регістр RA, стираючи попередній вміст. p align="justify"> Алгоритм знаходження різниці УДЦ можна розбити на наступні етапи: 
  В· занесення чисел RA і RB 
  В· перетворення їх у внутрішнє представлення суматора 
  В· обчислення різниці 
  В· перетворення результату до УДЦ 
  В· перезапис RA 
   Алгоритм 
   Блок - схема підпрогра...