eng
Выпуск #6/2026
С. Смолов, А. Коцыняк, А. Камкин
ОТЕЧЕСТВЕННЫЕ ПРОГРАММНЫЕ ИНСТРУМЕНТЫ СТАТИЧЕСКОГО АНАЛИЗА КОДА, ЛОГИЧЕСКОГО СИНТЕЗА И ПРОВЕРКИ ЛОГИЧЕСКОЙ ЭКВИВАЛЕНТНОСТИ ДЛЯ САПР ЦИФРОВЫХ СБИС
ОТЕЧЕСТВЕННЫЕ ПРОГРАММНЫЕ ИНСТРУМЕНТЫ СТАТИЧЕСКОГО АНАЛИЗА КОДА, ЛОГИЧЕСКОГО СИНТЕЗА И ПРОВЕРКИ ЛОГИЧЕСКОЙ ЭКВИВАЛЕНТНОСТИ ДЛЯ САПР ЦИФРОВЫХ СБИС
Просмотры: 2
Институт системного программирования РАН принимает
участие в программе по созданию отечественных САПР
для цифровых СБИС. В статье обсуждаются основные функциональные возможности инструментов статического анализа кода, логического синтеза и проверки логической эквивалентности для САПР цифровых СБИС, разработанных в ИСП РАН.
Теги: : digital vlsi logical equivalence and design rule checking logic synthesis static code analysis tool инструмент статического анализа кода логический синтез проверка логической эквивалентности и правил проектирования цифровые сбис
Подпишитесь на журнал, чтобы прочитать полную версию статьи.
участие в программе по созданию отечественных САПР
для цифровых СБИС. В статье обсуждаются основные функциональные возможности инструментов статического анализа кода, логического синтеза и проверки логической эквивалентности для САПР цифровых СБИС, разработанных в ИСП РАН.
Теги: : digital vlsi logical equivalence and design rule checking logic synthesis static code analysis tool инструмент статического анализа кода логический синтез проверка логической эквивалентности и правил проектирования цифровые сбис
Подпишитесь на журнал, чтобы прочитать полную версию статьи.
Отзывы читателей
