نظام تصميم نظام التقاء لغة تصميم نظام التقاء هي لغة لتصميم النظام التفاعلي.
التحميل الان

نظام تصميم نظام التقاء الترتيب والملخص

نظام تصميم نظام التقاء العلامات

نظام التصميم نظام رد الفعل تصميم النظام رد الفعل

نظام تصميم نظام التقاء وصف

لغة تصميم نظام التقاء هي لغة لتصميم النظام التفاعلي. Confluence هي لغة لتصميم نظام تفاعلي متزامن. يمكن لبرنامج التقاءات من المنطق الرقمي عن منصة FPGA أو ASIC، أو رمز C للبرنامج الثابت في الوقت الفعلي. يجمع Confluence من المنهجيات القائمة على المكونات من Verilog و VHDL مع تعبير البرمجة الوظيفية المرتفعة. في Verilog، VHDL ، و C، تؤدي النظم المصممة في التقاء في 2x إلى الحد من التعليمات البرمجية 10x، مما يجعل المصدر أسهل في إدارة وإعادة استخدامه. ولأن التقاء تعتمد على مترجم صحيحة من البناء، يتم تقليل الأخطاء، يتم منع بعضها تماما وبالتالي تقليل جهد التحقق الشامل. فيما يلي بعض الملامح الرئيسية "لغة تصميم نظام التقاءات": بديهية، سهلة تعلم بناء الجملة: منتجة في اليوم الأول. إكسبريس أكثر في أقل بكثير: تقليل شفرة المصدر بنسبة 3-10 مرات. متزامن RTL: لا يزال الأفضل مستوى التجريد للأجهزة الخطيرة. موازية ضمنية، التسلسل الهرمي، و Dataflow: يشعر وكأنه HDL. التزامن الضمني: توصيل جميع الساعات، إعادة تعيين جميع الساعات، والتمكين. الضمانات نظيفة RTL: يمنع الأخطاء الشائعة وممارسات التصميم السيئ. العودية أنواع البيانات ذات الترتيب العالي: أدخل أبعاد جديدة لإعادة الاستخدام. توحيد متغير: رابط أعلى للطلب. التراجع المعجمي: إدارة الاسم النظيفة. شفافية المرجعية. (ملفات متعددة المصادر). يولد FNF، والتي تولد بدورها: - Verilog- vhdl- c- jhdl- nusmv- fnfinstallation1. استخراج التثبيت: $ tar -xzf confluence-0.10.0.tar.gz 2. قم بتعيين متغيرات بيئة CF_LIB و CF_ENV (أضف الأسطر التالية إلى .bashrc أو .bash_profile): تصدير CF_LIB = / LIB # إذا تصدير التوزيع الثنائي CF_LIB = / Lib / confluence # إذا التثبيت من المصدر CF_ENV = $ cf_lib / base.cf3. تثبيت OCAML (http://caml.inria.fr/ocaml/distrib.html). ترجمة وتثبيت الأدوات. اضبط موقع البادئة: $ جعل البادئة = / USR Install5. لتجميع وتثبيت مولد رمز ICARUS FNF، راجع SRC / IVL / MICFILE.

نظام تصميم نظام التقاء برامج ذات صلة