Синтез комбинационных схем с одновременным построением проверяющего теста

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