Рассмотрены основные способы построения тестовых систем и эталонных программных моделей для автономной верификации модулей микропроцессоров. Предложены подходы к организации взаимодействия тестовых систем и эталонных событийных моделей, а также методы адаптации компонентов программных моделей микропроцессоров. Описан опыт разработки и применения высокоуровневой событийной модели для автономной верификации не конвейерного модуля микропроцессора.