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