Тестирующая система
-
Создать набор скриптов для тестирования верилог-файлов на Квартусе,
-
написать тестирование в симуляторе,
-
создать скрипты перевода SMT-решения в верилог-файлы.
Создать набор скриптов для тестирования верилог-файлов на Квартусе,
написать тестирование в симуляторе,
создать скрипты перевода SMT-решения в верилог-файлы.