eng
Выпуск #6/2026
С. Смолов, А. Коцыняк, А. Камкин
ОТЕЧЕСТВЕННЫЕ ПРОГРАММНЫЕ ИНСТРУМЕНТЫ СТАТИЧЕСКОГО АНАЛИЗА КОДА, ЛОГИЧЕСКОГО СИНТЕЗА И ПРОВЕРКИ ЛОГИЧЕСКОЙ ЭКВИВАЛЕНТНОСТИ ДЛЯ САПР ЦИФРОВЫХ СБИС
ОТЕЧЕСТВЕННЫЕ ПРОГРАММНЫЕ ИНСТРУМЕНТЫ СТАТИЧЕСКОГО АНАЛИЗА КОДА, ЛОГИЧЕСКОГО СИНТЕЗА И ПРОВЕРКИ ЛОГИЧЕСКОЙ ЭКВИВАЛЕНТНОСТИ ДЛЯ САПР ЦИФРОВЫХ СБИС
Просмотры: 75
DOI: 10.22184/1992-4178.2026.258.6.56.59
Институт системного программирования РАН принимает участие в программе по созданию отечественных САПР для цифровых СБИС. В статье обсуждаются основные функциональные возможности инструментов статического анализа кода, логического синтеза и проверки логической эквивалентности для САПР цифровых СБИС, разработанных в ИСП РАН.
Теги: : 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 инструмент статического анализа кода логический синтез проверка логической эквивалентности и правил проектирования цифровые сбис
Подпишитесь на журнал, чтобы прочитать полную версию статьи.
Отзывы читателей
