Библиографическое описание:Непомнящий, Олег Владимирович. Технология высокоуровневого синтеза сверхбольших интегральных схем : монография / О. В. Непомнящий ; рец.: В. В. Шайдуров, А. И. Легалов ; Сибирский федеральный университет, Институт космических и информационных технологий. - Электрон. текстовые дан. (3,4 Мб). - Красноярск : СФУ, 2024 (2024-07-03). - 196 с., 12.3 усл. печ. л. - Загл. с титул. экрана. - Электрон. версия печ. публикации . - Библиогр.: с. 174-183. - 500 экз. - ISBN 978-5-7638-4797-0 : Б. ц. - Изд. № 2023-18175. - Текст : электронный.
Аннотация:Рассмотрены фундаментальные и научно-прикладные вопросы проектирования сверхбольших интегральных схем. Изложены результаты анализа существующих методов, маршрутов и инструментальных средств, применяющихся при синтезе проектных решений. Поэтапно рассмотрен процесс создания новой технологии высокоуровневого синтеза. Сформулированы требования к модели и языку параллельного программирования, применяемым для создания этой технологии. Разработан механизм оценки ресурсов, маршрут высокоуровневого синтеза, применены методы формальной верификации для доказательства корректности эквивалентных преобразований исходных текстов программ в тексты на языках описания аппаратуры. Представлены разработанные средства синтеза и результаты практической реализации проектов СБИС и сложно-функциональных блоков. Предназначена для научных работников, аспирантов и студентов всех форм обучения по направлению подготовки 09.03.01 «Информатика и вычислительная техника».
