Stuck-at fault detection, controllability and observability functions of the combinational circuit gate pole
Olga I. Golubeva · Vestnik Tomskogo gosudarstvennogo universiteta Upravlenie vychislitel naya tekhnika i informatika · 2015
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА 2015 Управление, вычислительная техника и информатика № 1 (30) УДК 519.718О.И.Голубева ФУНКЦИИ ОБНАРУЖЕНИЯ КОНСТАНТНОЙ НЕИСПРАВНОСТИ, УПРАВЛЯЕМОСТИ И НАБЛЮДАЕМОСТИ ПОЛЮСА ЭЛЕМЕНТА КОМБИНАЦИОННОЙ СХЕМЫ Исследуются функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемы.В работе предложены эффективные методы получения функции наблюдаемости в виде BDD и ортогональной ДНФ.BDD и ОДНФ представления для функции обнаружения константной неисправности предлагается получать как произведение BDD и ОДНФ соответственно функции наблюдаемости и функции -управляемости.Выполненные исследования позволяют совместно решать ряд задач, связанных с константной неисправностью на полюсе элемента схемы.