Stav dette: Диагностирование логических схем. Алгоритмы моделирования и автоматического синтеза теста