| Бытовой ретро-компьютер своими руками http://forum.pk-fpga.ru/ |
|
| Про верификацию http://forum.pk-fpga.ru/viewtopic.php?f=2&t=5366 |
Страница 1 из 1 |
| Автор: | СергейВ [ 12 мар 2013, 03:20 ] |
| Заголовок сообщения: | Про верификацию |
(Продолжение обсуждения из скайпа) Для тестирования и отладки процессора нужен verification testbench. Наверное, по-русски это должно называться "проверочный испытательный стенд". Технология следующая. Исходный HDL-код процессора компилируется с помощью Verilator (если Verilog) или GHDL (если VHDL). К нему дописываются (на Си) недостающие модели памяти и периферийных блоков. В том числе клавиатура, экран, магнитофон, диск, звук и т.п. Получается полноценная виртуальная БК-шка. На ней гоняем тесты, ANDOS, игры, bkunix. Заменяя модели периферийных блоков и переключая режимы эмуляции процессора, запускаем 2.11BSD и Демос-ДВК. С таким виртуальным стендом можно отладить массу вещей, невозможных на реальном хардвере. Я готов поучаствовать - примерно этим же занимаюсь и по основной деятельности. ___ С уважением, Сергей Вакуленко |
|
| Автор: | Voland [ 12 мар 2013, 04:14 ] |
| Заголовок сообщения: | Re: Про верификацию |
Спасибо, Сергей, на днях переговорю с разработчиком и смогу более конкретно обсуждать вопрос. |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|