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