Bluespec, Inc. es una empresa de diseño de herramientas de semiconductores cofundada por el profesor Arvind del MIT en junio de 2003. Arvind había fundado previamente Sandburst en 2000, que se especializaba en la producción de chips para enrutadores Ethernet de 10G bits ; para esta tarea, Arvind había desarrollado el lenguaje Bluespec, un lenguaje de programación de descripción de hardware funcional de alto nivel que fue esencialmente Haskell extendido para manejar el diseño de chips y la automatización del diseño electrónico en general. [1] El principal diseñador e implementador de Bluespec fue Lennart Augustsson . Bluespec es evaluado parcialmente (para convertir las partes de Haskell) y compilado al sistema de reescritura de términos (TRS). Viene con una interfaz SystemVerilog . [2]
Sitio web | bluespec |
---|
Bluespec tiene dos líneas de productos. Principalmente para arquitectos y diseñadores de hardware ASIC y FPGA , Bluespec proporciona síntesis de alto nivel ( síntesis lógica ESL ) con RTL .
El primer taller de Bluespec se llevó a cabo el 13 de agosto de 2007 en el MIT . [3]
Referencias
- ^ "[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 col. 2007
- ^ "El primer taller de Bluespec" . csg.csail.mit.edu . Consultado el 4 de mayo de 2019 .
- "Una historia de Haskell: ser vago con la clase" , Paul Hudak ( Universidad de Yale ), John Hughes ( Universidad de Chalmers ), Simon Peyton Jones ( Microsoft Research ), Philip Wadler ( Universidad de Edimburgo ), The Third ACM SIGPLAN Historia de lenguajes de programación Conferencia (HOPL-III) San Diego , California , 9 al 10 de junio de 2007.
enlaces externos
- Página de inicio de bluespec
- Un compilador de Bluespec de código abierto de la Universidad de Cambridge