تأسست شركة Bluespec، التي تعمل في مجال تصميم أدوات الشرائح النصفية، من قبل البروفيسور أرفيند من معهد ماساتشوستس للتكنولوجيا (MIT) في يونيو 2003. وقد سبق لأرفيند تأسيس شركة Sandburst في عام 2000، والتي كانت متخصصة في إنتاج شرائح لموجهات إيثرنت سعة 10 جيجابت؛ ولهذه المهمة، قام أرفيند بتطوير لغة Bluespec، وهي لغة برمجة عالية المستوى لوصف الأجهزة الهاردويرية الوظيفية، والتي كانت في جوهرها مشتقة من لغة Haskell مع إضافات تسهِّل تصميم الشرائح الإلكترونية بشكل عام. وكان المصمم والمنفذ الرئيسي لـ Bluespec هو لينارت أوغوستسون. تتميز Bluespec بأنها مقيمة جزئياً (لتحويل الأجزاء التي تعتمد على Haskell) ومترجمة إلى نظام إعادة كتابة المصطلحات (TRS). تأتي مع واجهة SystemVerilog.
تقدم Bluespec خطوط منتجتين. بشكل رئيسي لمصممي ومهندسي الأجهزة الهاردويرية الخاصة بالدوائر المتكاملة المخصصة (ASIC) وأجهزة الدوائر المنطقية المقابلة (FPGA)، توفر Bluespec تصميمًا للتوليد العالي المستوى (ESL logic synthesis) مع RTL. وتم عقد ورشة عمل أولى لـ Bluespec [1] في 13 أغسطس 2007 في MIT.
يتميز Bluespec بالعديد من الميزات، بما في ذلك وجود تعليقات معرفية وإمكانية التنسيق الدلالي وعدم وجود تعليقات السطر وفقًا للمعلومات المقدمة. وتعتبر لغة البرمجة هذه مصدرًا متميزًا لمحتوى واسع النطاق في مجال تصميم الشرائح الإلكترونية. يمكنك العثور على مزيد من المعلومات حول Bluespec عبر الرابط التالي: ويكيبيديا.