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