Трудовая функция "Разработка сред верификации для модели ИС и СФ-блоков"

Код
D/03.7
Уровень квалификации
7
Трудовые действия
  • Подготовка тестовых окружений для смешанного моделирования и модели аналоговых блоков на специализированных языках описания аналоговых блоков, в случае верификации блоков, имеющих аналоговую часть
  • Сборка тестовых окружений из верификационных компонентов и эталонных моделей, если необходимо, создание дополнительного верификационного компонента и кода
  • Выполнение работ по обеспечению взаимодействия тестового окружения со сторонним ПО
  • Разработка средств управления тестовыми окружениями и базового набора примитивов для разработки тестов
  • Разработка средств запуска тестов и анализа их результатов
  • Отладка тестовых окружений
  • Уточнение описания сред верификации и тестовых окружений
Требования к образованию и обучению
  • Особенности ИС, содержащих несколько доменов тактового сигнала и несколько доменов питания
  • Типовые архитектуры и состав СнК
  • Основные принципы организации внутрикристальной коммутации и магистралей в СнК
  • Стандарты и интерфейсы
  • Шины и интерфейсы периферийных устройств
  • Контроллеры периферийных устройств (аппаратные и программные средства управления работой периферийных устройств)
  • Особенности взаимодействия блоков в составе СнК
  • Целевые САПР (моделирование и формальная верификация моделей схем, написанных на языках описания аппаратуры)
  • САПР для смешанного цифро-аналогового моделирования
  • Интерфейсные средства целевых САПР
  • Архитектура, входные языки и средства диалогового взаимодействия целевых САПР
  • Методики верификации СФ-блоков и ИС
  • Методики верификации сложных систем
  • Синтаксический и семантический анализ
  • Структура и основные характеристики верификационных компонентов
  • Структуры сред верификации СФ-блоков и ИС
  • Метрики оценки качества тестов
  • Автоматизация верификации и отладки
  • Английский язык на уровне чтения и перевода технической документации
  • Теория вероятности, теория автоматов, необходимые для грамотного создания случайных тестов и анализа их полноценности
  • Управляемость и наблюдаемость, способы их повышения
  • Методы и алгоритмы ЦОС
  • Языки верификации аппаратуры
  • Объектно-ориентированный подход в создании тестов и тестовых окружений СФ-блоков и ИС
  • Способы создания верификационных компонентов с использованием языков верификации аппаратуры
  • Скриптовые языки
  • Высокоуровневые языки программирования
  • Правила создания программного кода для повторного использования и программных библиотек
  • САПР и языки для описания и отладки алгоритмов
  • Визуальное программирование
  • Конструкторская документация
  • Проектная документация
Требования к опыту практической работы
  • Разрабатывать среды верификации
  • Определять особенности и обеспечивать взаимодействие стороннего ПО, тестового окружения и САПР для функциональной верификации
  • Автоматизировать этапы разработки, запуска и анализа результатов тестов
  • Использовать целевые САПР
  • Искать решения технических проблем в разнородных источниках информации
  • Читать техническую документацию
  • Разрабатывать документацию в соответствии со стандартом предприятия
< К профстандарту