Рекуррентно-ретроспективные покрытия синхронных триггеров для построения корректных последовательностей

Предлагается структурно-логическая модель дискретного устройства, которую можно использовать для решения задач синтеза контролирующего теста, для моделирования заданных тестовых последовательностей, для решения задач контроля и диагностики. Модель устройства строится автоматически с учетом состязаний в логической схеме. Рассматривается способ синтеза корректных установочных последовательностей.