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