Подскажите методы верификации процессоров. Про специальные языки я слышал. Но может есть какие-то более простые методики.
Есть какие-нибудь книжки в электронном виде, но только написаные доступным языком (рус./англ. не важно)?
А то поиском находятся только современные статьи, а они все для весьма продвинутых. Мне-же нужно получить обзор вариантов.
|