Bluespec - Bluespec

Bluespec
Интернет сайтbluespec.com

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]

использованная литература

  1. ^ "[это] в основном Haskell с некоторыми дополнительными синтаксическими конструкциями для система переписывания терминов (TRS), который описывает, что делает оборудование. Система типов была расширена типами числового типа ". Стр. 43 Худак, Джонса и др. 2007
  2. ^ Худак, Джонс и др. 2007 г.
  3. ^ «Первая мастерская Bluespec». csg.csail.mit.edu. Получено 2019-05-04.

внешние ссылки