Другие предметы \ Теория дискретных устройств

Разработка дискретного устройства. Схема электрическая принципиальная дискретного устройства. Схема абстрактного автомата, электрическая принципиальная, страница 6

Таблица 2.1.1

	A B C
S0	1 0 1
S1	1 1 0
S2	0 1 0
S3	0 1 1
S4	1 1 1

Тогда таблица переходов (таблица 2.1.2) и таблица выходов (таблица 2.1.3) закодируются следующим образом.

Таблица переходов. Таблица 2.1.2

S	a	a₁	a₂
1 0 1		(1 1 1)	(1 0 1)
1 1 0		(1 1 0)	(0 1 0)
0 1 0		(0 1 0)	(0 1 1)
0 1 1		(0 1 1)	(1 1 1)
1 1 1		(1 0 1)	(1 1 1)

Таблица выходов. Таблица 2.1.3

S	a	a₁	a₂
1 0 1		0	1
1 1 0		0	1
0 1 0		1	0
0 1 1		0	1
1 1 1		0	0

2.2 Исключение критических состязаний.

Как видно из таблицы 2.1.2 состязаний нет.

2.3 Синтез абстрактного автомата табличным методом.

На основании таблицы переходов и таблицы выходов составим таблицу 2.3.1, в которой обозначены:

x - значение на входе: a1 - “0”, a2 - “1”.

A, B, C - текущие состояния триггеров.

Y - Значение на выходе асинхронного автомата.

A⁺, B⁺, C⁺ - состояния в которые должны переключиться триггеры.

Ja, Ka, Jb, Kb, Jc, Kc - состояния входов триггеров для заданного переключения.

Для её построения нам понадобится таблица перехода JKтриггера (таблица 2.3.2).

Таблица 2.3.1

	x	A	B	C	A⁺	B⁺	C⁺	Y	Ja	Ka	Jb	Kb	Jc	Kc
S0	0	1	0	1	1	1	1	0	~	0	1	~	~	0
S1	0	1	1	0	1	1	0	0	~	0	~	0	0	~
S2	0	0	1	0	0	1	0	1	0	~	~	0	0	~
S3	0	0	1	1	0	1	1	0	0	~	~	0	~	0
S4	0	1	1	1	1	0	1	0	~	0	~	1	~	0
S5	0	0	0	0	0	0	0	*	*	*	*	*	*	*
S6	0	1	0	0	1	0	0	*	*	*	*	*	*	*
S7	0	0	0	1	0	0	1	*	*	*	*	*	*	*
S0	1	1	0	1	1	0	1	1	~	0	0	~	~	0
S1	1	1	1	0	0	1	0	1	~	1	~	0	0	~
S2	1	0	1	0	0	1	1	0	0	~	~	0	1	~
S3	1	0	1	1	1	1	1	1	1	~	~	0	~	0
S4	1	1	1	1	1	1	1	0	~	0	~	0	~	0
S5	1	0	0	0	0	0	0	*	*	*	*	*	*	*
S6	1	1	0	0	1	0	0	*	*	*	*	*	*	*
S7	1	0	0	1	0	0	1	*	*	*	*	*	*	*

1 2 3 4 5 6 7

Скачать файл

S0

S

S

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

~

1

~

~

~

~

~

1

~

~

~

~

~

~