Page 27 - 4128

Надалі можна порівняти одержану БФ з тією, за якою
будувалася схема і перевірити правильність її побудови. При
аналізі схеми може виявитися, що деяка змінна, що одержала
на одному з попередніх кроків деякі значення на даному кроці
повинна прийняти протилежне значення. Така суперечність
говорить про те, що даний шлях є тупиковим і його необхідно
виключити з подальшого розгляду. Якщо ні при одній
комбінації вхідних змінних не забезпечується значення 1(0) на
виході, то це означає, що схема реалізує константу 0(1)
відповідно.

1. 8 Аналіз кс методом синхронного моделювання

При даному методі вважається, що всі ЛЕ
перемикаються одночасно, без затримки. У результаті
застосування методу визначається стале значення сигналу на
виході схеми.
Розглянемо метод синхронного моделювання на
прикладі схеми (рис. 1.9).
На першому етапі схему розбиваємо на рівні і
записуємо у порядку зростання рівня рівняння, що описують
функціонування ЛЕ:

№ рівня № елемента Рівняння
1 1 e 1 = X 1  X 2
2
e 2 = X  X
3 4
2 3 e 3 = e  e
1 2
3 4 Y = e 4 = e 3 + X 5

Проаналізуємо схему при подачі на вхід набору X1 = 0,
Х2 = 0, Х3 = 0, Х4 = 1, Х5 = 1. Для цього розв’язуємо записані
рівняння у порядку зростання рівняння. Маємо:
e  X  X  0  0  0;
1 1 2
e  X  X  0  1 0;
2 3 4
e  e  e  0  0  1;
3 1 2
Y  e  e  X  1 1 1.
4 3 5
26