Трудовая функция "Проведение формальной логической верификации (LEC) на соответствие RTL-описания списку цепей"

Код
C/03.7
Уровень квалификации
7
Трудовые действия
  • Сравнение исходного RTL-описания с описанием на уровне списка цепей с помощью программных методов
Требования к образованию и обучению
  • Технический английский язык
  • Методология функционально-логического синтеза цифровых устройств
  • Основы и принципы формальной верификации цифровой аппаратуры
Требования к опыту практической работы
  • Пользоваться САПР функционально-логического уровня и программами формальной верификации (LEC)
< К профстандарту