3.2.6. Трудовая функция

Трудовые действия

Интеграция готовых верификационных компонентов для интерфейсов и протоколов в верификационное окружение СнК

Разработка верификационных компонентов для интерфейсов и протоколов СнК

Разработка всех уровней структуры верификационного окружения СнК

Разработка скриптов для запуска моделирования СнК в тестовом окружении

Разработка скриптов для запуска формальной верификации СнК

Необходимые умения

Читать и анализировать техническую документацию на СнК и на составные блоки СнК

Разрабатывать код верификационных компонентов

Разрабатывать код языковых конструкций для верификации

Разрабатывать код на скриптовом языке для запуска моделирования СнК в тестовом окружении

Разрабатывать код на скриптовом языке для запуска формальной верификации

Использовать САПР для верификации

Использовать готовые компоненты для верификации

Необходимые знания

Технический иностранный язык в области микроэлектроники

Типовые архитектуры СнК, маршрут проектирования СнК и роль СФ-блоков в маршруте проектирования СнК

Методы верификации СФ-блоков на этапе их разработки и при интеграции в СнК

Типовые интерфейсы СнК

Цифровая схемотехника

Универсальные методологии верификации цифровых интегральных схем

Языковые конструкции, используемые для верификации

Другие характеристики

-