a. формализация описания конечного автомата
b. предварительный выбор элементной базы
c. выбор методов контролепригодности
d. минимизация памяти конечного автомата
e. выбор метода устранения гонок в автомате
f. кодирование состояний автомата, формирование структурных таблиц выходов и переходов
g. моделирование и верификация структурного автомата (необходимо проверить корректность противогоночного кодирования и соответствие таблиц выходов и переходов)
h. выбор элементов памяти
i. формирование функций выходов и функций возбуждения
j. синтез
k. моделирование и верификация автомата
l. разработка принципиальной схемы
m. разработка теста
n. моделирование и верификация разработанной схемы
c) техническое
Разрабатывается документация. Схема преобразуется в электрическую принципиальную, разбивается на блоки…
d) технологическое
Компилятивный метод моделирования
1) описание логических элементов (оператор) и элементов памяти (таблица истинности)
2) задание теста (должен обеспечивать при нахождении автомата в любом состоянии подачу всех состояний, чтобы проверить все переходы0
3)
задание 
4) начало цикла генерации теста
5)
6)
7)
расчет нового
состояния 
8)
формирование
выходного сигнала 
9) проверка изменения состояния, переход к пункту 5), если изменилось состояние, если не изменилось, то переход к пункту 10)
10) переход к следующему входному сигналу
11) выводы и результаты
Если противогоночное кодирование, то не более двух циклов.
Методы контроля и диагностирования цифровых устройств. Основные понятия и определения
Факторы, влияющие на выбор метода:
ü назначение устройства и требования к его эксплуатационным характеристикам
ü условия эксплуатации и технического обслуживания
ü использованная элементная база
Группы методов контроля:
£ программного контроля (устройство работает в тестовом режиме, подача тестовых воздействий и контроль реакций)
£ аппаратно – программного контроля (устройство работает в тестовом режиме, подача тестовых воздействий, введение в состав блока, упрощающего процесс контроля)
£ аппаратного контроля (в устройство вводятся специальные аппаратные средства, которые в процессе основного режима работы диагностируют его)
£ использование специальных систем счисления и кодов (вся система функционирует в специальной системе счисления, которая выявляет все неисправности)
Объект технического диагностирования (ОТД, контроль технического состояния (КТС)) – изделие и/или его составляющая часть, подлежащая диагностированию или контролю
Техническое состояние объекта (ТСО)– состояние, которое
характеризуется в определенный момент времени 
при определенных условиях внешней среды, значений параметров,
установленных технической документацией (ТД) на объект
Техническое диагностирование – область знаний, охватывающая теорию, методы и средства определения ТСО
Техническая диагностика – определение ТСО
Задачи технического диагностирования:
Ø КТС
Ø Поиск места и определение отказа
Ø Прогнозирование ТСО
КТС – проверка соответствия значений параметров объекта требованиям ТД и определение на этой основе одного из заданных видов ТСО в данный момент
Контроль функционирования – контроль выполнения объектом части или всех его функций
Диагностирование бывает рабочее (подаются рабочие воздействия) и тестовое (подаются тестовые воздействия).
Системы технического диагностирования (КТС) – совокупность средств, объектов и исполнителей, необходимая для проведения диагностирования по правилам, установленным ТД
Встроенные средства диагностирования (КТС) – средства диагностирования (контроля), являющиеся составной частью объекта
Внешнее средство диагностирования – средство диагностирования, конструктивно выполненное отдельно от объекта
Надежность – свойство объекта сохранять во времени в установленных пределах значения всех параметров, характеризующих способность выполнять требуемые функции в заданных режимах и условиях применения, технического обслуживания, хранения и транспортировки
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.