Міністерство освіти і науки України Національний університет “Львівська політехніка” Кафедра автоматики і телемеханіки ЗВІТ про виконання лабораторної роботи №4 з курсу “Обчислювальна техніка” “Вивчення основних принципів роботи в середовищі схемного редактора САПР ПЛІС Xilinx Foundation Series” Варіант №14 Львів 2007 Мета роботи: вивчення методів аналізу і синтезу скінченних автоматів. Завдання: 1. Ознайомитися з основними відомостями.2.Визначити свій варіант таблиць переходів і виводів автомата.3. На основі отриманих таблиць переходів і виводів та заданих типів елементарних автоматів, синтезувати схему скінченного автомата. Знаходимо рівняння логічних функцій виходів автомата і рівнянь логічних функцій збудження елементів пам’яті автомата. Після заповнення таблиці істинності переходимо до мінімізації отриманих логічних функцій. Таких функцій в нашому прикладі п’ять:  EMBED Equation.2 
 - функція збудження першого елемента пам’яті;  EMBED Equation.2 
,  EMBED Equation.2 
 - функції збудження другого елемента пам’яті;  EMBED Equation.2 
 - функція першої структурної вихідної змінної,  EMBED Equation.2 
 - функція другої структурної вихідної змінної. Всі ці логічні функції залежать від чотирьох логічних змінних:  EMBED Equation.2 
,  EMBED Equation.2 
,  EMBED Equation.2 
,  EMBED Equation.2 
. Для мінімізації скористаємося методом карт Карно - складаємо п’ять карт Карно для функцій чотирьох змінних.  EMBED Visio.Drawing.11 
  EMBED Visio.Drawing.11 
  EMBED Visio.Drawing.11 
  EMBED Visio.Drawing.11 
  EMBED Visio.Drawing.11 
  EMBED Visio.Drawing.11 
 Після мінімізації отримаємо:  EMBED Equation.3 
 Схема
Результат
Висновок: вивчив методи аналізу і синтезу скінченних автоматів. Проконтролював правильність функціонування автомату за допомогою моделювальника САПР, визначивши значення вихідних сигналів і наступних станів для всіх наборів значень вхідних змінних і станів автомату.