Bluespec - Bluespec
Веб-сайт | bluespec |
---|
Bluespec, Inc. - компания по разработке полупроводниковых приборов, соучредителем которой является профессор Арвинд из Массачусетского технологического института в июне 2003 года. Арвинд ранее основал Sandburst в 2000 году, которая специализировалась на производстве микросхем для 10-битных маршрутизаторов Ethernet ; для этой задачи Арвинд разработал язык Bluespec, язык программирования с описанием функционального оборудования высокого уровня, который, по сути, был расширен на Haskell для управления проектированием микросхем и автоматизацией электронного проектирования в целом. Основным разработчиком и разработчиком Bluespec был Леннарт Аугустссон . Bluespec частично оценивается (для преобразования частей Haskell) и компилируется в систему переписывания терминов (TRS). Он поставляется с интерфейсом SystemVerilog .
Bluespec имеет две линейки продуктов. Bluespec обеспечивает высокоуровневый синтез ( логический синтез ESL ) с помощью RTL, в первую очередь для разработчиков и архитекторов оборудования ASIC и FPGA .
Первый семинар Bluespec прошел 13 августа 2007 года в Массачусетском технологическом институте .
Рекомендации
- «История Haskell: лень с классом» , Пол Худак ( Йельский университет ), Джон Хьюз ( Университет Чалмерса ), Саймон Пейтон Джонс ( Microsoft Research ), Филип Уодлер ( Эдинбургский университет ), Третий ACM SIGPLAN История языков программирования Конференция (HOPL-III) Сан-Диего , Калифорния , 9–10 июня 2007 г.
Внешние ссылки
- Домашняя страница Bluespec
- Компилятор Bluespec с открытым исходным кодом от Кембриджского университета.