TY  - SER
AU  - Андреева,Валентина Валерьевна
AU  - Чернышов,Семен Владимирович
AU  - Рожкова,Светлана Владимировна
AU  - Кудин,Дмитрий Владимирович
AU  - Матросова,Анжела Юрьевна
TI  - Обнаружение ложных путей в последовательностных схемах
KW  - последовательностные схемы
KW  - ROBDD-графы
KW  - ложные пути
KW  - эквивалентная нормальная форма
KW  - статьи в журналах
N1  - Библиогр.: 7 назв; Доступ в сети ТГУ
N2  - Предлагается метод поиска ложных путей в схемах с памятью. В отличие от эвристических подходов, развиваемых зарубежными исследователями, разработан точный метод, основанный на использовании операций над ROBDD-графами, построенными по фрагментам комбинационной составляющей схемы с памятью. Метод позволяет выявить ложные пути в рамках ограничений на длину установочной последовательности и не требует построения комбинационных эквивалентов заданной длины. Обсуждаются возможности распространения предлагаемого подхода на схемы большей размерности
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000628328
ER  -