Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 20.12.2025; планируемая отправка: 21.12.2025
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 23.12.2025; планируемая отправка: 24.12.2025
Технические характеристики
В монографии рассмотрены фундаментальные и научно-прикладные вопросы проектирования сверхбольших интегральных схем. Изложены результаты анализа существующих методов, маршрутов и инструментальных средств, применяющихся при синтезе проектных решений. Поэтапно рассмотрен процесс создания новой технологии высокоуровневого синтеза. Сформулированы требования к модели и языку параллельного программирования, применяемым для создания этой технологии. Разработан механизм оценки ресурсов, маршрут высокоуровневого синтеза, применены методы формальной верификации для доказательства корректности эквивалентных преобразований исходных текстов программ в тексты на языках описания аппаратуры. Представлены разработанные средства синтеза и результаты практической реализации проектов СБИС и сложно-функциональных блоков. Предназначена для научных работников, аспирантов и студентов всех форм обучения по направлению подготовки 09.03.01 "Информатика и вычислительная техника".