Text this: Automatický systém pre kompresiu testov digitálnych obvodov