Обнаружение кратных неисправностей в древовидной логической сети с памятью

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