بلوسبيك

📅 آخر تحديث: ٣ أغسطس ٢٠٢٦
✍️ نُشر في: ٣ أغسطس ٢٠٢٦
الموسوعة الحرة

شركة Bluespec، هي شركة أمريكية متخصصة في أتمتة تصميم الإلكترونيات لأجهزة أشباه الموصلات، مقرها في فرامينغهام، ماساتشوستس . تأسست الشركة في يونيو 2003 على يد عالمي الحاسوب أرفيند ميثال، أستاذ معهد ماساتشوستس للتكنولوجيا (MIT)، وجو ستوي من جامعة أكسفورد . وكان أرفيند قد أسس سابقًا شركة Sandburst عام 2000، المتخصصة في إنتاج رقائق لأجهزة توجيه إيثرنت بسرعة 10 جيجابت (10GE) . [ 1 ] [ 2 ]

لدى شركة بلوسبيك خطان إنتاجيان مخصصان بشكل أساسي لمصممي ومعماري الدوائر المتكاملة الخاصة بالتطبيقات (ASIC) ومصفوفات البوابات القابلة للبرمجة الميدانية (FPGA). توفر بلوسبيك توليفًا عالي المستوى ( توليف منطقي على مستوى النظام الإلكتروني (ESL) ) مع مستوى نقل السجلات (RTL). عُقدت ورشة عمل بلوسبيك الأولى في 13 أغسطس 2007 في معهد ماساتشوستس للتكنولوجيا (MIT). [ 3 ]

نظام بلوسبيك سيستم فيريلوج

بلوسبيك

قام أرفيند بتطوير لغة Bluespec المسماة Bluespec SystemVerilog (BSV)، وهي لغة برمجة وظيفية عالية المستوى لوصف الأجهزة، وهي في الأساس امتداد للغة Haskell لمعالجة تصميم الرقائق وأتمتة التصميم الإلكتروني بشكل عام. [ 5 ] [ 6 ] المصمم والمنفذ الرئيسي للغة Bluespec هو لينارت أوغستسون . يتم تقييم Bluespec جزئيًا (لتحويل أجزاء Haskell) ثم تُجمَّع إلى نظام إعادة كتابة المصطلحات (TRS). وهي مزودة بواجهة أمامية SystemVerilog . [ 7 ] تُجمَّع BSV إلى ملفات تصميم Verilog RTL .

أدوات

تُشحن إصدارات BSV مع مجموعة تطوير الأجهزة التالية: [ 8 ] : 7

مُترجم BSV
يستقبل المترجم شفرة المصدر BSV كمدخلات، ويُنتج وصفًا للأجهزة إما بلغة Verilog أو Bluesim كمخرجات. وقد أُتيح كمصدر مفتوح من قِبل شركة Bluespec Inc. في عام 2020 بموجب شروط ترخيص BSD الجديد .
المكتبات
يأتي نظام BSV مزودًا بمجموعة من مصطلحات البرمجة وهياكل الأجهزة
وحدات فيريلوج
يتم التعبير عن العديد من عناصر BSV الأولية، مثل FIFOs ( الأول في، الأول خارج ) وسجلات المعالج ، كعناصر Verilog الأولية.
بلوسيم
برنامج محاكاة دورة لتصميمات المركبات الكهربائية ذات الدفع الثنائي.
بلوتوث
مجموعة من ملحقات Tcl والبرامج النصية والحزم لربطها بتصميم Bluespec.

مراجع

  1. ↑ «انتخاب أرفيند زميلاً أجنبياً في الأكاديمية الوطنية الهندية للعلوم» . أخبار معهد ماساتشوستس للتكنولوجيا . 23 ديسمبر 2014.
  2. ↑ مافي، لوسيا (9 فبراير 2023). "جمعة التمويل: شركة ناشئة في مجال تكنولوجيا الدم من ليكسينغتون تجمع 13.2 مليون دولار" . مجلة الأعمال التجارية للمدن الأمريكية .
  3. ↑ "ورشة عمل Bluespec الأولى" . csg.csail.mit.edu . تم الاطلاع عليه بتاريخ 4 مايو 2019 .
  4. ↑ مُجمِّع Bluespec: README.md ، لغة البرمجة B، 4 نوفمبر 2022 ، تاريخ الاطلاع 15 نوفمبر 2022
  5. ↑ «[إنها] في الأساس لغة هاسكل مع بعض البنى النحوية الإضافية لنظام إعادة كتابة المصطلحات (TRS) الذي يصف ما يفعله الجهاز. وقد تم توسيع نظام الأنواع ليشمل أنواعًا من النوع العددي.» صفحة 43 من كتاب هوداك، جونز، وآخرون، 2007
  6. ↑ نيخيل، ر. (2004). "Lbtorial bluespec systemverilog: RTL فعال وصحيح من مواصفات عالية المستوى". IEEE: 69–70 . doi : 10.1109/MEMCOD.2004.1459818 . ISBN 978-0-7803-8509-2.{{cite journal}}يتطلب الاستشهاد بالمجلة ( مساعدة )|journal=
  7. ↑ هوداك، جونز، وآخرون 2007
  8. ↑ دليل مستخدم Bluespec SystemVerilog ، شركة Bluespec، 24 نوفمبر 2008