especificación azul

Bluespec, Inc. es una empresa estadounidense de automatización del diseño electrónico de dispositivos semiconductores con sede en Framingham, Massachusetts , y cofundada en junio de 2003 por los científicos informáticos Arvind Mithal, profesor del Instituto Tecnológico de Massachusetts (MIT), y Joe Stoy de la Universidad de Oxford . Arvind había fundado anteriormente Sandburst en 2000, que se especializaba en producir chips para enrutadores Ethernet de 10 Gigabit (10GE) , para esta tarea. ^[1]^[2]

Bluespec tiene dos líneas de productos que están destinadas principalmente a diseñadores y arquitectos de hardware de circuitos integrados de aplicación específica (ASIC) y matrices de puertas programables en campo (FPGA). Bluespec ofrece síntesis de alto nivel ( síntesis lógica a nivel de sistema electrónico (ESL) ) con nivel de transferencia de registros (RTL). El primer taller de Bluespec se celebró el 13 de agosto de 2007 en el MIT. ^[3]

Sistema Verilog de Bluespec

Arvind había desarrollado el lenguaje Bluespec llamado Bluespec SystemVerilog (BSV), un lenguaje de programación de descripción de hardware de programación funcional de alto nivel que era esencialmente Haskell extendido para manejar el diseño de chips y la automatización del diseño electrónico en general. ^[5] El diseñador e implementador principal de Bluespec fue Lennart Augustsson . Bluespec se evalúa parcialmente (para convertir las partes de Haskell) y se compila en el sistema de reescritura de términos (TRS). Viene con una interfaz SystemVerilog . ^[6] BSV se compila en los archivos de diseño RTL de Verilog .

Las versiones de BSV se envían con el siguiente kit de desarrollo de hardware: ^[7]^{: 7}

Compilador BSV: El compilador toma el código fuente de BSV como entrada y genera una descripción del hardware para Verilog o Bluesim como salida. Fue liberado por Bluespec Inc. en 2020 bajo los términos de la licencia New BSD .
Bibliotecas: BSV se entrega con un conjunto de lenguajes de programación y estructuras de hardware.
Módulos Verilog: Varios elementos primitivos de BSV, como el primero en entrar, primero en salir (FIFO) y los registros de procesador , se expresan como primitivos de Verilog.
Simulación blues: Un simulador de ciclo para diseños BSV.
Bluetooth: Una colección de extensiones, scripts y paquetes Tcl para vincular a un diseño Bluespec.

^ "Arvind elegido miembro extranjero de la Academia Nacional de Ciencias de la India". MIT News . 23 de diciembre de 2014.
^ Maffei, Lucia (9 de febrero de 2023). "Formulario D el viernes: la startup de tecnología sanguínea de Lexington recauda 13,2 millones de dólares". American City Business Journals .
^ "El primer taller de Bluespec". csg.csail.mit.edu . Consultado el 4 de mayo de 2019 .
^ Compilador Bluespec: README.md, B-Lang, 4 de noviembre de 2022 , consultado el 15 de noviembre de 2022
^ "[Es] básicamente Haskell con algunas construcciones sintácticas adicionales para el sistema de reescritura de términos (TRS) que describe lo que hace el hardware. El sistema de tipos se ha ampliado con tipos de tipo numérico". pág. 43 de Hudak, Jones, et al. 2007
^ Hudak, Jones y otros, 2007
^ Guía del usuario de Bluespec SystemVerilog , Bluespec Inc., 24 de noviembre de 2008

Hudak, Paul (Universidad de Yale) ; Hughes, John (Universidad de Chalmers) ; Peyton Jones, Simon (Microsoft Research) ; Wadler, Philip Wadler (Universidad de Edimburgo) (9 y 10 de junio de 2007). "Una historia de Haskell: ser perezoso con la clase". HOPL III: Actas de la tercera conferencia ACM SIGPLAN sobre Historia de los lenguajes de programación . San Diego, California: Association for Computing Machinery. págs. 12-1–12-55. doi :10.1145/1238844.1238856. [es] básicamente Haskell con algunas construcciones sintácticas adicionales para el sistema de reescritura de términos (TRS) que describe lo que hace el hardware. El sistema de tipos se ha ampliado con tipos de tipo numérico.
Peyton Jones, Simon (junio de 2007). Una historia de Haskell: la pereza con la clase. Microsoft Research (informe).