| |
Метод логического дополнения на основе равновесного кода «1 из 4» для построения полностью самопроверяемых структур систем функционального контроля [Текст] / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов, Д. В. Пивоваров
// Электронное моделирование. – 2017. – Т. 39, № 2. – С. 15-33.
Предложен способ, позволяющий формализовать правила вычисления значений функций логического дополнения (ФЛД) в системе функционального контроля (СФК) по равновесному коду «1 из 4». При этом исключается процедура подбора значений ФЛД и обеспечивается свойство полной самоперевиряемости структуры, т.е. гарантированно тестируются все элементы сложения по модулю два в блоке логического дополнения и тестер. |
