Документ не вступил в силу. Подробнее см. Справку
Приказ Минтруда России от 16.02.2026 N 71н "Об утверждении профессионального стандарта "Специалист в области проектирования и сопровождения цифровых интегральных схем и систем на кристалле" (Зарегистрировано в Минюсте России 26.03.2026 N 85743)

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

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

Проведение формальной проверки логической эквивалентности на соответствие исходного описания цифровой интегральной схемы ее логической модели в базисе библиотеки технологического процесса

Код

C/04.7

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

7

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

Разработка окружения формальной проверки логической эквивалентности цифровой интегральной схемы

Сравнение исходного описания цифровой интегральной схемы с логической моделью схемы в базисе библиотеки технологического процесса с помощью формальной проверки логической эквивалентности

Формирование отчета с результатами формальной проверки логической эквивалентности цифровой интегральной схемы

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

Подготавливать скрипты окружения формальной проверки логической эквивалентности цифровой интегральной схемы с использованием скриптового языка программирования

Проводить формальную проверку логической эквивалентности цифровой интегральной схемы средствами САПР

Интерпретировать результаты формальной проверки логической эквивалентности цифровой интегральной схемы

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

Технический иностранный язык в области микроэлектроники

Скриптовый язык программирования

Основы и принципы формальной проверки логической эквивалентности цифровых интегральных схем

Основные законы булевой алгебры

Языки описания цифровой аппаратуры

Методология логического синтеза средствами САПР

Возможности САПР для проектирования цифровых интегральных схем

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

-

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