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