Диссертация посвящена вопросам функциональной верификации сложных проектируемых цифровых систем на кристаллах. В работе разработана структурная модель и метод совместной верификации аппаратных и программных составляющих системы на кристалле. Усовершенствована архитектура системы моделирования цифровой системы (ЦС) для обеспечения возможности совместной верификации программных блоков, неоднократно используемых низкоуровневых представлений аппаратных блоков, моделей разрабатываемых аппаратных блоков. Основные результаты теоретико-экспериментальных исследований реализованы в виде программно-аппаратного комплекса CoVer функциональной верификации сложных цифровых систем на кристалле, который нашел промышленное применение при проектировании сложных процессорных систем на ПЛИС.