3.5. Функциональное моделирование проекта

Осуществляется с помощью Simulator (симулятора). Симулятор сформирует временные диаграммы выходных сигналов логической схемы в соответствии с заданными временными диаграммами входных сигналов. Для открытия окна симулятора используйте команду MAX+plusII / Simulator. 

В окне в качестве входной информации для симулятора по умолчанию указывается файл <имя-проектa>.scf. 

Выполнение функционального моделирования запускается нажатием в окне кнопки Start. 

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

Если ошибки отсутствуют, значит, симуляция прошла успешно, и ее результаты зафиксированы в виде временных диаграмм выходных цепей в файле временных диаграмм < имя-проектa >.scf. 

4. Контроль функционирования модели цифрового автомата.

Будем считать, что цифровой автомат (ЦА) работает правильно, если в процессе функционирования последовательность переходов его из состояния в состояние соответствует таблице переходов и значения выходных сигналов соответствуют таблице выходов. Как следует из канонической структурной схемы ЦА ([1], рис. 9), входящий в ее состав логический блок (ЛБ) вырабатывает функции возбуждения, обеспечивающие переход ЦА из состояния в состояние, и выходные сигналы. Поэтому контроль функционирования цифрового автомата сводится к проверке схем ЛБ. Возможная неправильная работа схем ЛБ устанавливается путем анализа временных диаграмм сигналов при моделировании работы ЦА в системе MAX+Plus II.

4. 1. Проверка переходов

Неправильный переход ЦА в следующее состояние происходит вследствие неверного срабатывания одного или нескольких триггеров. Например, автомат из состояния (Q₃Q₂Q₁)^t=101 переходит в состояние 011 вместо состояния 001 по таблице переходов. Нетрудно видеть, что неверно сработал триггер Т₂ : он переключился из 0 в 1, хотя должен был остаться в состоянии 0. Неверное срабатывание триггера вызывается неправильно определенными значениями функций возбуждения на триггер для указанного перехода. Сначала необходимо проверить эти значения по диаграмме Вейча на наборе аргументов, включающем исходное состояние автомата и входной сигнал. При этом правильное значение функции возбуждения берется из таблицы функционирования для триггера заданного типа

т абл. 7

Q t	Q t+1	J- K триггер		D -триггер	Т –триггер
		J t	K t	Dt	Т t =( J t , K t)
0	0	0	-	0	0
0	1	1	-	1	1
1	0	-	1	0	1
1	1	-	0	1	0

Примечания к таблице:

1. Знак « - » означает любое значение сигнала;

2. Обозначение Т ^t =( J ^t , K ^t) отражает то обстоятельство, что Т – триггер, как специальная схема, не изготавливается. Его можно реализовать, если объединить входы J и K у J- K триггера. Полученный таким образом вход выполняет функцию входа « Т» Т – триггера.

Пусть в рассматриваемом выше примере использован триггер типа J- K. Неверное срабатывание триггера вызывается неправильно определенным значением функции J₂ =1 (должно быть J₂ =0).

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