(Продолжение обсуждения из скайпа)
Для тестирования и отладки процессора нужен verification testbench. Наверное, по-русски это должно называться "проверочный испытательный стенд". Технология следующая. Исходный HDL-код процессора компилируется с помощью
Verilator (если Verilog) или
GHDL (если VHDL). К нему дописываются (на Си) недостающие модели памяти и периферийных блоков. В том числе клавиатура, экран, магнитофон, диск, звук и т.п. Получается полноценная виртуальная БК-шка. На ней гоняем тесты, ANDOS, игры, bkunix. Заменяя модели периферийных блоков и переключая режимы эмуляции процессора, запускаем 2.11BSD и Демос-ДВК.
С таким виртуальным стендом можно отладить массу вещей, невозможных на реальном хардвере. Я готов поучаствовать - примерно этим же занимаюсь и по основной деятельности.
___
С уважением,
Сергей Вакуленко
