Аннотация:
Рассматривается задача построения дискретных устройств, предназначенных для синтеза
заданной выходной последовательности. Такая задача возникает при решении проблемы повышения надежности сложных дискретных систем. Облегчить решение этой проблемы возможно,
например, путем применения схем встроенного контроля. В их роли могут быть использованы
схемы, генерирующие на своих выходах последовательности, которые являются тестами для
контроля или диагностирования особо критичных модулей сложных систем. Генерацию теста
можно реализовать как комбинационными схемами, так и схемами с памятью. Предложены методы разработки таких генераторов тестов. Эти методы базируются на использовании их математических моделей в виде систем булевых функций и конечных автоматов. Показано, что задача
синтеза заданного теста всегда может быть решена с использованием комбинационной схемы.
Для ее упрощения предложен способ поиска несущественных переменных в ее математической
модели с последующим их удалением. Для случая генератора теста в виде устройства с памятью
используется модель конечного автомата, представляемого в виде таблицы соответствия между
входными и выходными его словами. Такая таблица называется автоматным оператором, и он
обладает специальными свойствами. Описан метод синтеза реализующего оператор автомата,
который называется автоматом многократного действия. Метод проиллюстрирован на примере.
Рассмотрены этапы абстрактного и структурного синтеза генераторов тестов, обсуждаются вопросы их схемной реализации.
Ключевые слова:
Техническая диагностика, схемы встроенного контроля, генераторы тестов, математические
модели генераторов, системы булевых функций, конечные автоматы, абстрактный и структурный
синтез генераторов