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

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