Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Сентября 2024
Ключевое слово: сбис
- Формальные методы верификации RTL-моделей сверхбольших интегральных схем Авторы статьи: Новожилов Е.Е.
- Система визуализации и аналитической поддержки проектирования топологии СБИС для технологии двойного шаблона Авторы статьи: Зинченко Л.А., Шахнов В.А., Верстов В.А., Макарчук В.В.
- Экспериментальное сравнение эффективности алгоритмов оптимизации BDD-представлений систем булевых функций Авторы статьи: Бибило П.Н., Ланкевич Ю.Ю.
- Выделение из многоуровневого представления системы булевых функций подсистем для совместной логической минимизации Авторы статьи: Бибило П.Н., Романов В.И., Кириенко Н.А.
