Describir: Grafická vizualizácia funkčného generovania testov logických obvodov