Наименование | Проведение формальной логической верификации (LEC) на соответствие RTL-описания списку цепей |
|
|
|
|
Происхождение трудовой функции | Оригинал |
|
Заимствовано из оригинала |
|
|
|
Код оригинала | Регистрационный номер профессионального стандарта |
Трудовые действия | Сравнение исходного RTL-описания с описанием на уровне списка цепей с помощью программных методов |
Необходимые умения | Пользоваться САПР функционально-логического уровня и программами формальной верификации (LEC) |
Необходимые знания | Технический английский язык Методология функционально-логического синтеза цифровых устройств Основы и принципы формальной верификации цифровой аппаратуры |
Другие характеристики |