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

Наименование

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

Код

C/03.7

Уровень (подуровень) квалификации

7

Происхождение трудовой функции

Оригинал X

Заимствовано из оригинала

Код оригинала

Регистрационный номер профессионального стандарта

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

Сравнение исходного RTL-описания с описанием на уровне списка цепей с помощью программных методов

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

Пользоваться САПР функционально-логического уровня и программами формальной верификации (LEC)

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

Технический английский язык

Методология функционально-логического синтеза цифровых устройств

Основы и принципы формальной верификации цифровой аппаратуры

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

-