Технология высокоуровневого синтеза сверхбольших интегральных схем

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