В настоящее время я занимаюсь разработкой простого процессора на VHDL с использованием Xilinx ISE и ISIM. Часть дизайна проходит замечательно хорошо, но я не могу найти способ последовательной проверки.
Прямо сейчас у меня есть тестовый стенд VHDL, который я обновляю, чтобы проверить функцию, над которой я работаю в любой конкретный момент. Это очень произвольно, и это не помогает мне отследить регрессии и не может быть использовано для проверки соответствия с набором спецификаций / инструкций.
Я думал о разработке обширного набора тестов, но проблема в том, что потенциальное состояние компонента общего назначения как ЦП огромно по сравнению с менее общими компонентами.
Я ищу метод, который позволил бы мне выполнять проектирование и тестирование более контролируемым образом. Какой-то "аппаратный TDD", если хотите. Существует ли такая вещь? Может ли это быть относительно легко применимо к деталям общего назначения, таким как процессор?