Обобщается опыт применения методологии VMM в проекте верификации блока СНК 1890ВМ6Я — контроллера ведущего универсальной последовательной шины USB 2.0 с регистровой моделью стандарта EHCI. Ключевые слова: цифровая схемотехника, верификация СБИС, СНК, тестирование методом "черного ящика