Text this: Синтез проверяющих тестов для неисправностей задержек путей схем, построенных по системе ROBDD-графов