Верификация самодельных процессоров Опции

[ataradov]

Подскажите методы верификации процессоров.
Про специальные языки я слышал. Но может есть какие-то более простые методики.

Есть какие-нибудь книжки в электронном виде, но только написаные доступным языком (рус./англ. не важно)?

А то поиском находятся только современные статьи, а они все для весьма продвинутых. Мне-же нужно получить обзор вариантов.

[SM]

У меня регистров как таковых нет, за базу взят 51-й процессор, который безумно расширен. Регистры в моем случае это всего лишь метод адресации ОЗУ (и регистровый файл может быть расположен почти в любом месте ОЗУ), посему таких проблем нет. Тест ОЗУ все такое выявляет, а он прогоняется первым делом, после того, как проверена работоспособность необходимых для него инструкций. А если был бы регистровый файл отдельно - то естественно бы проверял его отдельно.

ЗЫ к указанному Вами процессору я никакого отношения не имею.