Регулярный метод синтеза тестовых последовательностей. Установочная последовательность

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