Устройство синхронизации информационных импульсов, поступающих в произвольные моменты времени, с ближайшим спадом тактового импульса

З А Д А Н И Е

на курсовое проектирование

ТЕМА: Устройство синхронизации сигналов

Требования:

- напряжение питания 5в +- 5%

- потребляемая мощность: не более 80 мВт

- время наработки на отказ не менее 500000 час

- частота тактовых импульсов 1 мГГц.

Условия эксплуатации:

- диапазон рабочих температур от -300 С до +400 С;

- перегрузки до 5g;

- одиночные удары с ускорением не более 10g длительностью 0.1-1 мкс;

- вибрация с частотой 10 - 500 Гц и ускорением не более 10g.

Срок эксплуатации 15 лет, наработка за время эксплуатации до 85 тыс. часов.

Дополнительные требования.

Предусмотреть меры обеспечения контроля при изготовлении и эксплуатации

Содержание пояснительной записки.

1. Анализ технического задания

2. Формализация описания конечного автомата (граф автомата, таблицы переходов и выходов)

3. Минимизация памяти абстрактного автомата

4. Выбор способа противогоночного кодирования

5. Противогоночное кодирование состояний автомата

6. Формирование функций выходов и функций возбуждения памяти автомата

7. Минимизация графическим методом функций выходов и функций возбуждения памяти автомата

8. Составление логической схемы устройства

9. Выбор метода обеспечения контролепригодности и преобразование схемы устройства

10. Разработка принципиальной схемы устройства

11. Расчет основных параметров устройства (время переключения, потребляемая мощность, время наработки на отказ)

12. Моделирование работы устройства или составление временной диаграммы его работы, анализ правильности функционирования

13. Оценка степени выполнения задания

Примечание: При проектировании полагать, что очередной информационный импульс на вход устройства не поступает до окончания цикла его работы и возвращения в исходное состояние.

Плакаты и чертежи

1. Принципиальная схема устройства


Конечный автомат должен осуществлять синхронизацию информационных импульсов, поступающих в произвольные моменты времени, с ближайшим спадом тактового импульса, начинающимся после поступления фронта информационного импульса. Длительность формируемого синхронизированного импульса равна периоду следования тактовых импульсов. Максимальная длительность информационного импульса не ограничена

X = {00, 01, 10, 11}

Y = {0, 1}

ТИИИ
X000
X110
X201
X311

Таблица переходов δ(q,x)

q0q1q2q3q4q5
X0q0q1q3q3q0q0
X1q0q2q2q4q4q0
X2q1q1q3q3q5q5
X3q2q2q2q4q4q5

Таблица выходов λ(q,x)

q0q1q2q3q4q5
X0001110
X1000100
X2001100
X3000110

Минимизация памяти абстрактного автомата

Таблица выходов λ(q,x)

q0q1q2q3q4q5
X0001110
X1000100
X2001100
X3000110
A0A0A1A2A3A0

A0 = {q0, q1, q5}

A1 = {q2}

A2 = {q3}

A3 = {q4}

q0q1q5q2q3q4
X0A0A0A0A2A2A0
X1A0A1A0A1A3A3
X2A0A0A0A2A2A0
X3A1A1A0A1A3A3
B0B1B2B3B4B5

Таким образом, невозможно минимизировать память абстрактного автомата.

Выбор способа противогоночного кодирования

Существует ряд способов противогоночного кодирования, которые можно разбить на две группы:

1. Методы, позволяющие устранить все состязания. Используется “соседнее кодирование”, когда всем соседним внутренним состояниям приписывают соседние кодовые комбинации, отличающиеся значением только 1 разряда.

В случае использования таких методов уменьшается быстродействие, но зато устраняются все состязания.

2. Методы, устраняющие только критические состязания (состязания при которых в дальнейшей работе автомат не переходит из ошибочных состояний в состояние, предусмотренное алгоритмом функционирования)

Для упрощения схемы и увеличения быстродействия устраняем только критические состязания.

Противогоночное кодирование осуществляется путем развязывания пар переходов.

Две пары двоичных наборов длины “l” – (α,β) и (γ,δ) называются развязанными, если i-ый разряд кода принимает одно значение на паре (α,β) и другое на паре (γ,δ)

Противогоночное кодирование состояний автомата

M0M1M2M3

q0, q0

q1, q1

q2, q3

q3, q3

q4, q0

q5, q0

q0, q0

q1, q2

q2, q2

q3, q4

q4, q4

q5, q0

q0, q1

q1, q1

q2, q3

q3, q3

q4, q5

q5, q5

q0, q2

q1, q2

q2, q2

q3, q4

q4, q4

q5, q5

τ1

τ2

τ3

q0000
q1100
q2110
q3111
q4011
q5001

Развязывание пар переходов в массиве М0

1q0q0q1q1
0011
3q0q0q3q3
0011
2Q0q0q2q3
0011
4q1q1q2q3
1111
0011

τ2

6q1q1q4q0
1100
5q0q0q2q3
1111
0011

τ2

7q1q1q5q0
1100
8q2q3q4Q0
1100
9q2q3q5q0
1100
10q3q3q4q0
1100
11q3q3q5q0
1100

Развязывание пар переходов в массиве М1

1q0q0q1q2
0011
2q0q0q2q2
0011
3q0q0q3q4
0010
0011

τ2

4q0q0q4q4
0000
0011

τ2

5q1q2q3q4
1110
0111

τ2

0011

τ3

6q1q2q4q4
1100
7q1q2q5q0
0011
8q2q2q3q4
1110
1111

τ2

0011

τ3

9q2q2q4q4
1100
10q2Q2q5q0
1100
11q3q4q5q0
1000
1100

τ2

12q4q4q5q0
0000
1100

τ2

Развязывание пар переходов в массиве М2

1q0q1q2Q3
0111
0011

τ2

2q0q1q3q3
0111
0011

τ2

3q0q1q4q5
0100
0010

τ2

0011

τ3

4q0q1q5q5
0100
0000

τ2

0011

τ3

5q1q1q2q3
1111
0011

τ2

6q1q1q3q3
1111
0011

τ2

9q2q3q4q5
1100
7q1q1q4q5
1100
8q1q1q5q5
1100
10q2q3q5q5
1100
11q3q3q4q5
1100
12q3q3q5q5
1100

Развязывание пар переходов в массиве М3

1q0q2q3q4
0110
0111

τ2

0011

τ3

2q0q2q4q4
0100
0111

τ2

0011

τ3

3q0q2q5q5
0100
0100

τ2

0011

τ3

4q1q2q3q4
1110
0111

τ2

0011

τ3

5q1q2q4q4
1100
6q1q2q5q5
1100
7q2q2q3q4
1110
1111

τ2

0011

τ3

8q2q2q4q4
1100
9q2q2q5q5
1100
10q3q4q5q5
1000
1100

τ2

11q4q4q5q5
0000
1100

τ2

Таблицы состояний при кодировании пошагово

Iй шаг

τ1

τ2

q00-
q110
q211
q311
q40-
q50-

IIй шаг

τ1

τ2

τ3

q000-
q1100
q2110
q3111
q4011
q500-

IIIй шаг

τ1

τ2

τ3

q0000
q1100
q2110
q3111
q4011
q5001

IVй шаг

τ1

τ2

τ3

q0000
q1100
q2110
q3111
q4011
q5001

Развязывание без τ1

Развязывание пар переходов в массиве М0

1q0q0q1q1
0000
0000

τ3

0011

τ4

3q0q0q3q3
0011
2q0q0q2q3
0011
6q1q1q4q0
0010
0010

τ3

1100

τ4

4q1q1q2q3
0011
5q1q1q3q3
0011
7q1q1q5q0
0000
0010

τ3

1100

τ4

8q2q3q4q0
1110
0110

τ3

1100

τ4

9q2q3q5q0
1100
10q3q3q4q0
1110
1110

τ3

1100

τ4

11q3q3q5q0
1100

Развязывание пар переходов в массиве М1

1q0q0q1q2
0001
0000

τ3

0011

τ4

2q0q0q2q2
0011
3q0q0q3q4
0011
4q0q0q4q4
0011
5q1q2q3q4
0111
0011

τ3

6q1q2q4q4
0111
0011

τ3

7q1q2q5q0
0100
0010

τ3

1100

τ4

8q2q2q3q4
1110
1111

τ3

0011

τ4

9q2q2q4q4
1111
0011

τ3

10q2q2q5q0
1100
11q3q4q5q0
1100
12q4q4q5q0
1100

Развязывание пар переходов в массиве М2

1q0q1q2q3
0011
2q0q1q3q3
0011
3q0q1q4q5
0010
0011

τ3

4q0q1q5q5
0000
0011

τ3

5q1q1q2q3
0011
6q1q1q3q3
0011
7q1q1q4q5
0010
0011

τ3

8q1q1q5q5
0000
0011

τ3

9q2q3q4q5
1110
0111

τ3

1100

τ4

11q3q3q4q5
1110
1111

τ3

1100

τ4

10q2q3q5q5
1100
12q3q3q5q5
1100

Развязывание пар переходов в массиве М3

1q0q2q3q4
0111
0011

τ3

2q0q2q4q4
0111
0011

τ3

3q0q2q5q5
0100
0011

τ3

4q1q2q3q4
0111
0011

τ3

5q1q2q4q4
0111
0011

τ3

6q1q2q5q5
0100
0011

τ3

7q2q2q3q4
1111
0011

τ3

8q2q2q4q4
1111
0011

τ3

9q2q2q5q5
1100
Актуально: