This paper is dedicated to a problem of the hidden faults associated with the low checkability of the digital components in safety-related instrumentation and control systems designed for operation in two modes: normal and emergency. Checkability of the iterative array multiplier and parallel comparator on program models of their circuits for different ranges of input data in normal and emergency modes is examined.
Ця стаття присвячена проблемі прихованих розбіжностей, пов'язаних з низькою перевіркою цифрових компонентів в системах безпеки та контрольних системах, призначених для роботи в двох режимах: нормальному та аварійному. Перевірено ітеративний мультиплікаційний масив і паралельний компаратор на програмних моделях їх схем для різних діапазонів вхідних даних в нормальних та аварійних режимах.
