TY - SER AU - Кудин,Дмитрий Владимирович AU - Николаева,Екатерина Александровна AU - Румянцева,Елена Викторовна AU - Матросова,Анжела Юрьевна ED - Томский государственный университет ED - Томский государственный университет TI - Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов KW - неисправность задержки пути KW - задержки путей схемы KW - тестопригодное проектирование KW - BDD-графы KW - статьи в журналах N1 - Библиогр.: 5 назв UR - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457131 ER -