Блюспек

Блюспек
Парадигма	Функциональный
Семья	Верилог , Хаскелл
Разработчик	Блюспек Инк.
Стабильная версия	Версия 2022.01 / январь 2022 г.
Объем	ЛПВП
Расширения имен файлов	.bsv
Веб-сайт	Bluespec .с
Основные реализации
	Компилятор Bluespec (BSC); Игрушечный компилятор Bluespec
Диалекты
	SystemVerilog (BSV), Haskell (BH: Bluespec Classic )

Bluespec, Inc. — американская компания по разработке полупроводниковых инструментов, соучредителем которой является профессор Массачусетского технологического института (MIT) Арвинд в июне 2003 года и расположенная во Фрамингеме, штат Массачусетс . Для этой задачи Арвинд ранее в 2000 году основал компанию Sandburst, которая специализировалась на производстве чипов для 10 Gigabit Ethernet (10GE) маршрутизаторов . ^[1]^[2] Bluespec имеет две линейки продуктов, которые в первую очередь предназначены для разработчиков и архитекторов аппаратного обеспечения специализированных интегральных схем (ASIC) и программируемых вентильных матриц (FPGA). Bluespec обеспечивает высокоуровневый синтез ( на уровне электронной системы (ESL) логический синтез ) с уровнем передачи регистров (RTL). Первый семинар Bluespec состоялся 13 августа 2007 года в Массачусетском технологическом институте. ^[3]

Система BluespecVerilog

Блюспек

Арвинд разработал язык Bluespec под названием Bluespec SystemVerilog высокого уровня функционального программирования описания аппаратного обеспечения (BSV), язык программирования , который, по сути, был Haskell расширен для управления проектированием микросхем и автоматизацией электронного проектирования в целом. ^[5] Главным разработчиком и разработчиком Bluespec был Леннарт Аугустссон . Bluespec частично оценивается (для преобразования частей Haskell) и компилируется в систему переписывания терминов (TRS). Он поставляется с интерфейсом SystemVerilog . ^[6] BSV компилируется в файлы проекта Verilog RTL .

Инструменты

Релизы BSV поставляются со следующим комплектом средств разработки: ^[7]^: 7

BSV-компилятор: Компилятор принимает исходный код BSV в качестве входных данных и генерирует описание оборудования для Verilog или Bluesim в качестве выходных данных. Его исходный код был открыт компанией Bluespec Inc. в 2020 году на условиях новой лицензии BSD .
Библиотеки: BSV поставляется с набором идиом программирования и аппаратных структур.
Верилоговые модули: Некоторые примитивные элементы BSV, такие как «первым пришел — первым вышел » (FIFO) и регистры процессора , выражаются как примитивы Verilog.
блюзовый: Симулятор цикла для конструкций BSV.
Bluetcl: Коллекция расширений, скриптов и пакетов Tcl , которые можно связать с дизайном Bluespec.

Ссылки

^ «Арвинд избран иностранным научным сотрудником Национальной академии наук Индии» . Новости МТИ . 2014-12-23.
^ Маффеи, Люсия (9 февраля 2023 г.). «Форма D в пятницу: стартап в Лексингтоне, занимающийся технологиями крови, привлекает 13,2 миллиона долларов» . Американские городские деловые журналы .
^ «Первый семинар Bluespec» . csg.csail.mit.edu . Проверено 4 мая 2019 г.
^ Компилятор Bluespec: README.md , B-Lang, 4 ноября 2022 г. , получено 15 ноября 2022 г.
^ «[это] по сути Haskell с некоторыми дополнительными синтаксическими конструкциями для системы переписывания терминов (TRS), которая описывает, что делает оборудование. Система типов была расширена за счет типов числового типа». стр. 43 Худака, Джонса и др. 2007 год
^ Худак, Джонс и др. 2007 год
^ Руководство пользователя Bluespec SystemVerilog , Bluespec Inc., 24 ноября 2008 г.

Худак, Пол (Йельский университет) ; Хьюз, Джон (Университет Чалмерса) ; Пейтон Джонс, Саймон (Microsoft Research) ; Уодлер, Филип Уодлер (Эдинбургский университет) (9–10 июня 2007 г.). «История Haskell: лень с классами». HOPL III: Материалы третьей конференции ACM SIGPLAN по истории языков программирования . Сан-Диего, Калифорния: Ассоциация вычислительной техники. стр. 12-1–12-55. дои : 10.1145/1238844.1238856 . [это] по сути Haskell с некоторыми дополнительными синтаксическими конструкциями для термина «система перезаписи» (TRS), который описывает, что делает оборудование. Система типов была расширена за счет типов числового вида.
Пейтон Джонс, Саймон (июнь 2007 г.). История Haskell: лень с классами . Исследование Microsoft (отчет).

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

Эта статья о корпорации или компании в США незавершена . Вы можете помочь Википедии, расширив ее .

Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее .

[1] «Арвинд избран иностранным научным сотрудником Национальной академии наук Индии» . Новости МТИ . 2014-12-23.

[2] Маффеи, Люсия (9 февраля 2023 г.). «Форма D в пятницу: стартап в Лексингтоне, занимающийся технологиями крови, привлекает 13,2 миллиона долларов» . Американские городские деловые журналы .

[3] «Первый семинар Bluespec» . csg.csail.mit.edu . Проверено 4 мая 2019 г.

[:0-4] Компилятор Bluespec: README.md , B-Lang, 4 ноября 2022 г. , получено 15 ноября 2022 г.

[5] «[это] по сути Haskell с некоторыми дополнительными синтаксическими конструкциями для системы переписывания терминов (TRS), которая описывает, что делает оборудование. Система типов была расширена за счет типов числового типа». стр. 43 Худака, Джонса и др. 2007 год

[6] Худак, Джонс и др. 2007 год

[7] Руководство пользователя Bluespec SystemVerilog , Bluespec Inc., 24 ноября 2008 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]