3.5.3. Контроль роботи комбінаційних схем

Булевою різницею логічного виразу f (x_n ,x_n-1 ,..,x_i ,..,x₁) по змінній x_i називається вираз:  f /  x = f (x_n,..,x_i,..,x₁)f ^' (x_n,..,x_i,..,x₁)

Помилкою на вході x_i КС називається несправність, яка приводить на цьому вході до появи інверсного значення. Така помилка може бути:

1. Завжди виявлена на виході КС, якщо  f /  x_i = 1.

2. Ніколи не виявлена, якщо  f /  x_i =0.

3. Якщо булева різниця  f /  x_i = ( x_n ,x_n-1 ,..,x_i ,..,x₁), то помилка на виході КС буде лише на тих комбінаціях вхідних сигналів, на яких  ( x_n ,x_n-1 ,..,x_i ,..,x₁) = 1.

Найзручніше булеву різницю обчислювати за допомогою діаграм Вейча (рис. 3.21.)

Приклад.

Рис. 3.21 - Діаграма Вейча.

Якщо в процесі роботи КС виникла помилка, то вона виявиться на виході, лише якщо х₃ = 0 і х₂ = 0.

Зворотним багатополюсником (рис. 3.22) називається такий логічний блок, за допомогою якого можна відновити всі вхідні змінні:

Рис. 3.22 - Зворотний багатополюсник

Неповним зворотним багатополюсником (рис. 3.23) називається такий блок, який відновлює одну або декілька (не всі) змінні.

Рис. 3.23 - Неповний зворотний багатополюсник

Сутність контролю правильності роботи блоку F за допомогою зворотного багатополюсника полягає в наступному - якщо відновлені і вихідні значення не збігаються, то - помилка.

Приклад перетворювача одного 3-розрядного коду в іншій зображено на рис. 3.24.

Рис. 3.24 - Перетворювач одного 3-розрядного коду в іншій

101 → 010 - помилки немає.

101 → 000 - помилка по у₂ - виявити не можна.

101 → 011 - помилка по у₁ можна виявити, оскільки у₂ = 1.

101 → 110 - помилка по у₃ - виявляється завжди.