Автоматизация проектирования схем функционального контроля комбинационных устройств на основе методов избыточного кодирования

Цель: разработка комплекса методов, алгоритмов и средств автоматизированного проектирования схем функционального контроля для комбинационных устройств. Разработаны: метод синтеза схем функционального контроля на основе кодирования в трехбитном пространстве Хэмминга с возможностью исправления однократных ошибок; метод синтеза схем функционального контроля на основе спектрального R-кода с возможностью исправления однократных и обнаружения двукратных ошибок; метод синтеза схем функционального контроля на основе низкоплотностного кода с возможностью исправления однократных ошибок; алгоритм кластеризации выходов логического устройства по группам для снижения частоты многократных ошибок, возникающих в схеме функционального контроля; алгоритм расчета комплексного критерия на основе полученных спецификаций оценочных функций характеристики надежности и структурной избыточности для определения наилучшего метода синтеза СФК без проведения предварительного моделирования. Результаты внедрены в АО НПЦ «ЭЛВИС» и АО «ПКК Миландр».