Лабораторные / ОТЧЕТ
.doc
ОТЧЕТ
О лабораторной работе №1
По дисциплине “Теория автоматов”
Вариант №3.
Тема: Исследование комбинационных ДУ
Выполнил: студент группы ЭВТ-04
.
Проверил: преподаватель
Коган Т. И.
Пермь 2005г.
1. Расчетное задание
Спроектировать цифровой автомат (дискретное устройство), имеющий 4 входных сигнала (a,b,c,d) и один выход (у).
Сигнал на выходе должен появляться при подаче хотя бы любых трех из входных сигналов и не должен появляться при подаче только 2-ух любых сигналовили при отсутствии всех входных сигналов одновременно. База – а,b,c,d. Функциональную схему реализовать на ИЛИ-НЕ элементах.
2. Абстрактный синтез цифрового автомата
Неполная таблица переходов-выходов:
a |
b |
c |
d |
y |
ВС |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
2 |
0 |
0 |
1 |
1 |
0 |
3 |
0 |
1 |
0 |
0 |
0 |
4 |
0 |
1 |
0 |
1 |
0 |
5 |
0 |
1 |
1 |
0 |
0 |
6 |
0 |
1 |
1 |
1 |
1 |
7 |
1 |
0 |
0 |
0 |
0 |
8 |
1 |
0 |
0 |
1 |
0 |
9 |
1 |
0 |
1 |
0 |
0 |
10 |
1 |
0 |
1 |
1 |
1 |
11 |
1 |
1 |
0 |
0 |
0 |
12 |
1 |
1 |
0 |
1 |
1 |
13 |
1 |
1 |
1 |
0 |
1 |
14 |
1 |
1 |
1 |
1 |
1 |
15 |
Символическая форма:
y(a,b,c,d)=7,11,13,14,15[0,1,2,3, 4,5,6,8,9,10,12]
минимизация по РСЧ:
0 1 3 2
4 5 7 6
12 13 15 14
8 9 11 10
y(a,b,c,d)=(-111)v(11-1)v(111-)v(1-11)
y(a,b,c,d)=(bcd)v(abd)v(abc)v(acd)
Структурный синтез
Приведение к виду удобному для реализации на заданном наборе элементов:
Расчетная схема:
1 1 1 1 1 1 Y a
b
c
a
b
d b
c
d
d
a
c
d
Использование STRARUM COMPUTER для синтеза и анализа работы ДУ
A
B
y
C
D
4. Экспериментальная ТС
a |
b |
c |
d |
y |
ВС |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
2 |
0 |
0 |
1 |
1 |
0 |
3 |
0 |
1 |
0 |
0 |
0 |
4 |
0 |
1 |
0 |
1 |
0 |
5 |
0 |
1 |
1 |
0 |
0 |
6 |
0 |
1 |
1 |
1 |
1 |
7 |
1 |
0 |
0 |
0 |
0 |
8 |
1 |
0 |
0 |
1 |
0 |
9 |
1 |
0 |
1 |
0 |
0 |
10 |
1 |
0 |
1 |
1 |
1 |
11 |
1 |
1 |
0 |
0 |
0 |
12 |
1 |
1 |
0 |
1 |
1 |
13 |
1 |
1 |
1 |
0 |
1 |
14 |
1 |
1 |
1 |
1 |
1 |
15 |
5. Выводы
Значения при запрещенных и рабочих наборах в расчетной таблице совпали с наборами в экспериментальной таблице, т. е. автомат работает верно, расчеты верны, синтез проведен без ошибок.
6.Библиотека
Название библиотеки “Roma”, содержит имиджи:
y=a|b|c
y=a|b|c|d