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