modelsim, testbench scripts., Нужны автоматические тесты для процессора Опции

[FROL_256]

Добрый день, уважаемые гуру. Постараюсь описать свою проблему в кратце:
1) Есть процессор, который находится в разработке и куча программ для него. Программы и начальные значения регистров я забиваю прямо в VHDL коде. Затем запускаю на моделсиме фактически вручную смотрю что происходит.
2) Проблемам в том, что если в дизайн процессора были внесены изменения, мне приходится вручную же прогонять все тесты. Сначала запускаю самописный компилятор, который генерит программу в hex виде (вернее он создает прямо VHDL код), затем вставляю полученный VHDL я вставляю в основной исходник процессора (опять же вручную), запускаю моделсим и кликаю по тактам до тех пор пока программа не завершится. Затем проверяю регистр R0, в нем у меня обычно хранится результат.

Подскажите пожалуйста, как лучше организовать систему тестов. Может, поделитесь скриптами (все-равно на чем, но лучше конечно на питоне).
Я не очень большой опыт имею работы с моделсимом. Если можно, опишите пожалуйста в деталях, как лучше организовать такую систему (или где посмотреть).
То есть я конечно в принципе догадываюсь как такое сделать, но мне не хочется писать все с нуля, если уже что-то подобное существует.
Спасибо!

Сообщение отредактировал FROL_256 - Sep 24 2011, 11:45

[yes]

по поводу языков и платформ:
спору нет верилог (а особенно систем верилог с его OVM или VMM) более удобный язык, чем VHDL

но и на VHDL можно много всякого разного написать - советую посмотреть на LEON от Гейслера www.gaisler.com (там искать GRLIB или LEON), из мелочей - он там даже S-recordы напрямую VHDL-ем читает, а по крупному это пример с тестбенчами как проц написать

по поводу OVM - я так и не сумел асершин-бэйсед-рандом-констрейнед методологию к верификации процев применить.
все-таки на случайном коде тяжело осмысленный, верифицируемый результат получить, а констрейнить код, чтобы что-то осмысленное получалось из рандомизатора - запаришься
какие-то фрагменты процессорной системы (ну типа там шины, контроллеры памяти и т.п.), где очевидно применение транзакции можно, а собственно IU как-то не получилось, но может не умею готовить....

то есть я бы не хватался за OVM (тем более еще и язык другой), а посмотрел бы как оно делается старым добрым способом
кроме Гейслера ходила книжка VHDL Cookbook, где на примерчеке попроще рассматривалось "процессор своими руками"

ну и симуляторы позволяют дизайн на VHDL, а тестбенч на SV написать, но это, имхо, тоже извращение, особенно когда один человек и кодер и верификатор

------------------------

в сообщении бросается в глаза слово "вручную" - освойте питон (он и под виндовзом неплохо работает) и будете преобразовывать текстовые файлы автомацицески
это не какая-то экзотика, а стандартная практика - тока на нормальных платформах (например линукс) есть куча других утилит/интерпретаторов awk,sed,tcl и т.п. - тьма их

[vugluskr]

а тестбенч на SV написать, но это, имхо, тоже извращение, особенно когда один человек и кодер и верификатор

почему извращение?

[yes]

почему извращение?

код IP на VHDL, а тестбенч на SV
тем более объем кода не большой (один человек), и плюсы SV в покрытии и методологии не будут иметь большого веса

а когда приходится одновременно и на VHDL и на SV писать, возникает некое неудобство и производительность падает, по крайней мере у меня

---------

мой месадж про то, что не обязательно тестбенч на SV писать, а то у меня по ответам сложилось мнение, что тестбенчи только на SV можно писать

а сам я предпочитаю SV, на нем и код пишу и тесты, а VHDL, по-моему, не удобный язык, но если уже есть какой-то VHDL код, то пусть будет - не переписывать же

Еще вот всегда было интересно, существует какая-нибудь тулза для визуализации процесса прохождения данных по конвейеру?
Скажем, она на вход берет VHDL, а затем по тактам рисует анимацию, что вот тут сигналы, вот комб. логика, и по тактам вот так данные перемещаются. ИМХО было бы реально полезно.

в том же dataflow в квестасиме можно смотреть, но это конечно не специально для конвеера, а для RTL "станций". но они в какой-то мере совпадают с конвеером

а для специально процессора - самому нужно визуализалку писать - симуляторы поддерживают возможность такой "плагин" сделать