Круг задач, решаемых методом логического моделирования, определяется в первую очередь числом различимых состояний, которые может принимать цифровой сигнал.
Каждому состоянию сопоставляется свой индивидуальный символ, а их совокупность составляет алфавит моделирования.
Простейший алфавит - двоичный, используемый в старых АСМ, содержал битовый набор {0, 1}.
Так как в этом случае любой сигнал может принимать только два значения (0 и 1), то смену логического уровня вынужденно приходилось считать мгновенной.
Реальный сигнал
Порог
Двоичная аппроксимация
Событие – мгновенное переключение
Достоинство – экономичность. Позволяет решать только одну главную задачу моделирования – проверить работу схемы
Модели цифровых сигналов
При троичном моделировании {0, 1, Х} переключающийся сигнал можно изобразить более реалистично, например 0Х1 или 1Х0. Такая запись означает, что при смене состояния элемента его выходной сигнал в течение некоторого времени (пока формировался фронт или спад) имел неопределенное значение.
0
1
X
Переключение 0X1
Переключение 1X0
0
1
X
0
X
1
Active-HDL 8.1
X – неизвестное значение
Трёхзначный алфавит {0,1,X} используется в языке PML (САПР PCAD 4.5)
X присваивается сигналу на выходе ЛЭ во время переходного процесса.
X присваивается выходам триггера после подачи на его входы запрещённых комбинаций сигналов
X присваивается выходам триггера в начале моделирования, когда его состояние неизвестно
