Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2022. № 61. С. 128-138

Type: статьи в журналах

Date: 2022

Description: Рассматривается задача получения множества всех достижимых реакций комбинационной логической схемы. Предлагается алгоритм построения ROBDD-графа, представляющего все достижимые реакции схемы. Получаем ... More

Authors: Голубева, Ольга Ивановна

Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 114-118

Type: статьи в журналах

Date: 2017

Description: Рассматривается метод определения труднообнаружимых константных неисправностей комбинационных схем. Неисправность является труднообнаружимой, если вероятность ее обнаружения меньше заданного пороговог ... More