Анализ и моделирование цифровых и аналоговых схем

При анализе трехзначных моделей значения всех переменных – входных и выходных вычисляются трижды:

1. Исходное значение вектора входных переменных X=(a,b,c) задано заданием; исходное значение вектора выходных переменных Y=(e,g) вычисляется по правилам двоичной логики;

2. Окончательное значение вектора входных переменных X=(a,b,c) задано заданием; окончательное значение вектора выходных переменных Y=(e,g) вычисляется по правилам двоичной логики;

3. Промежуточные значения входных переменных X=(a,b,c) определяются по следующему правилу: если исходное значение входной переменной совпадает с окончательным, то промежуточное равно исходному и окончательному. Если исходное значение входной переменной не совпадает с окончательным, т.е. имеет место переключение входного сигнала в течение такта модельного времени, то промежуточное равно 2 (неопределенное состояние переключения). Промежуточные значения выходных переменных Y=(e,g) рассчитываются по правилам трехзначной логики. Статический риск сбоя по выходной переменной имеет место в случае, если сочетание значений этой переменной в исходном, промежуточном и окончательном состоянии имеют вид 0-2-0 или 1-2-1.