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