Тип публикации: монография
Год издания: 2024
Ключевые слова: интегральные схемы сверхбольшие, сверхбольшие интегральные схемы, языки параллельного программирования, высокоуровневый синтез, технологии, управление вычислениями, эквивалентные преобразования, доказательства корректности преобразований, преобразование HDL-графа в HDL-программу, интеллектуальная оценка ресурсов СБИС, алгоритмы высокоуровневого синтеза
Аннотация: Изложены результаты анализа существующих методов, маршрутов и инструментальных средств, применяющихся при синтезе проектных решений. Поэтапно рассмотрен процесс создания новой технологии высокоуровневого синтеза. Сформулированы требования к модели и языку параллельного программирования, применяемым для создания этой технологии. РазПоказать полностьюработан механизм оценки ресурсов, маршрут высокоуровневого синтеза, применены методы формальной верификации для доказательства корректности эквивалентных преобразований исходных текстов программ в тексты на языках описания аппаратуры. Представлены разработанные средства синтеза и результаты практической реализации проектов СБИС и сложно-функциональных блоков. Предназначена для научных работников, аспирантов и студентов всех форм обучения по направлению подготовки 09.03.01 «Информатика и вычислительная техника».
Место издания: Красноярск