Модели аппаратуры

Верификация моделей аппаратуры
Верификация и тестирование занимает до 70% времени разработки:
проверяются алгоритмы;
проверяется кодирование алгоритмов;
проверяется соединение блоков и т.д.

Пример ошибки
div r1, r2
mthi r3
mfhi r4
Lo, Hi
Hi

Уровни верификации микропроцессоров
lui s1, 0xdead
ori s1, s1, 0x0
lui s3, 0xbeef
ori s3, s3, 0xf
add v0, a0, a2
sub t1, t3, t5
add t7, s1, s3
Системный уровень
Модульный уровень
Модель микропроцессора тестируется целиком
с помощью тестовых программ
Тестируется модель отдельного модуля
через входные и выходные сигналы