анализировать техническую документацию;
работать со спецификацией СнК;
разрабатывать верификационные компоненты для конкретного аппаратного стандарта;
использовать методики верификации СФ-блоков и интегральных схем при создании верификационных компонентов;
использовать целевые САПР;
отлаживать программы для систем на кристалле с использованием САПР для моделирования аппаратуры;
ранжировать особенности интегральных схем или СФ-блока с точки зрения критичности для работоспособности конечного устройства;
проводить анализ сценариев тестирования СнК и детализировать требования к среде верификации;
составлять верификационный план интегральных схем или СФ-блока;
использовать САПР для определения потребляемой мощности интегральных схем на созданных тестах;
систематизировать и ранжировать ошибки в тестах и аппаратуре;
разрабатывать среды верификации;
определять круг задач, для решения которых необходим программный прототип;
создавать инфраструктуру для запуска функциональных тестов и прикладного ПО на программном прототипе;
запускать программное обеспечение на аппаратном прототипе интегральных схем;
автоматизировать этапы разработки, запуска и анализа результатов тестов;
выявлять ключевые особенности в архитектуре проекта и определять способы их проверки;
ранжировать особенности и проблемы проекта;
выбирать методики верификации интегральных схем и СФ-блоков, позволяющие наиболее полно и с меньшими трудозатратами проверить проект;
проводить анализ и определять причины сбоев при прохождении тестов;
разрабатывать тесты с использованием современных языков и методик верификации;
использовать методы и средства разработки тестовых сценариев и тестового кода, в том числе, предоставляемые существующей средой верификации;
эффективно применять типовые программные пакеты и системы, ориентированные на верификацию моделей интегральных схем;
использовать актуальные САПР;
определять источник ошибки, используя описание тестируемой системы на языке описания аппаратуры;
определять сценарии, позволяющие проверить конкретные особенности интегральных схем или блока;
определять критерии окончания верификации интегральных схем или блока;
определять степень загрузки ресурсов интегральных схем тестами;
проводить анализ качества тестов;
проводить анализ сценариев верификации СнК и детализировать требования к среде верификации;
разрабатывать и отлаживать программные модели устройств;
автоматизировать этапы разработки, запуска и анализа результатов тестов;
запускать программное обеспечение на программном прототипе интегральных схем;
определять круг задач, для решения которых необходим аппаратный прототип;
работать с проектами, базирующимися на ПЛИС;
создавать инфраструктуру для запуска функциональных тестов и прикладного ПО на аппаратном прототипе;
выбирать оптимальный метод верификации для заданных свойств СФ-блока или СнК.
