Text this: Systém automatickej syntézy algoritmov samočinného generátora determistických testov pre číslicové systémy