Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.