Аннотация:
В статье исследуются способы синтеза систем функционального контроля логических комбинационных схем с полным обнаружением любых одиночных неисправностей с помощью свойств обнаружения ошибок полиномиальных кодов. Предложена классификация специальных образующих полиномов, формирующих коды с небольшим значением длины контрольного вектора и полной идентификацией ошибок определенного вида или кратностей. Предложен метод построения системы функционального контроля с полной идентификацией одиночных неисправностей на основе свойства полного обнаружения трехкратных ошибок полиномиальными кодами. Разработаны алгоритмы поиска и формирования контролепригодных Н1-, Н2-и Н3-групп выходов схем с учетом свойств полиномиальных кодов. Перечислены виды функциональной зависимости рабочих выходов комбинационных схем, при которых могут возникать ошибки разного вида. На основе свойства обнаружения любых симметричных и асимметричных ошибок полиномиальными кодами предложен метод построения систем функционального контроля с полной идентификацией этого вида ошибок. Для примерной схемы приводится разработка системы функционального контроля на основе предлагаемых методов.