TY - GEN AU - Golubeva,Olga TI - Detection of hard-to-detect stuck-at faults and generation of their tests based on testability functions KW - системы обнаружения неисправностей KW - вероятность обнаружения неисправности KW - статьи в сборниках N1 - Библиогр.: 10 назв N2 - An efficient method is proposed for detecting hard- to-detect stuck-at faults of combinational circuits and generating all tests or one test vector for them. The method is based on the previously proposed efficient methods of constructing the ODNF and ROBDD representations of the observability and stuck-at fault detection Boolean functions, corresponding to a line of the combinational circuit UR - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000650181 ER -