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]
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
[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.