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

[ataradov]

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

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

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

[dvladim]

Далее смотрим на синтезированном нетлисте покрытие, и если не 100, следующая итерация

А чем смотрите покрытие? Каким софтом?

[SM]

А чем смотрите покрытие? Каким софтом?

Это показывает любой моделятор после прогона тест-вектора. В моем случае был Verilog-XL. Сейчас буду работать с IUS. Так как на фабе именно они признаны годными для sign-off.