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