Точные оценки управляемости, наблюдаемости и вероятности обнаружения неисправности для комбинационных схем, основанные на ОДНФ и ROBDD представлениях функций О. И. Голубева
Material type:
ArticleOther title: Exact estimations of the controllability, observability and fault detection probability for combinational circuits, based on the ODNF and ROBDD representations of functions [Parallel title]Subject(s): управляемость | наблюдаемость | вероятность обнаружения неисправности | комбинационные схемыGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Таврический научный обозреватель № 2. С. 145-150Abstract: Рассматривается метод точного вычисления мер тестопригодности для класса константных неисправностей комбинационных схем. Вычисление вероятности обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента схемы сводится к вычислению вероятностей единичных значений соответствующих булевых функций обнаружения константной неисправности, управляемости и наблюдаемости, представленных в виде ОДНФ или ROBDD. Методы построения этих функций в виде ОДНФ и ROBDD были предложены нами ранее. Предложенные методы позволяют использовать функции управляемости и наблюдаемости для построения функций обнаружения неисправности и, следовательно, сократить вычислительные затраты для оценки мер тестопригодности.
Библиогр.: 5 назв.
Рассматривается метод точного вычисления мер тестопригодности для класса константных неисправностей комбинационных схем. Вычисление вероятности обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента схемы сводится к вычислению вероятностей единичных значений соответствующих булевых функций обнаружения константной неисправности, управляемости и наблюдаемости, представленных в виде ОДНФ или ROBDD. Методы построения этих функций в виде ОДНФ и ROBDD были предложены нами ранее. Предложенные методы позволяют использовать функции управляемости и наблюдаемости для построения функций обнаружения неисправности и, следовательно, сократить вычислительные затраты для оценки мер тестопригодности.
There are no comments on this title.