جوف بيئة التحقق من أجهزة Verilog مفتوحة منصة Java
التحميل الان

جوف الترتيب والملخص

جوف العلامات

محاكاة يؤكد التحقق محاكي فيرلوج تحقق من الأجهزة التحقق من فيريلوج

جوف وصف

بيئة التحقق من أجهزة فيريلوج مفتوحة منصة جافا Jove هي مجموعة مجانية من أدوات Java و APIs لتمكين التحقق من تصميم أجهزة الأجهزة Verilog باستخدام لغة برمجة Java. يحتوي JOVE على مكونات تنجز ما يلي: تفاعل Verilog Simulator (VIA PLI 2.0، AKA VPI) محاكاة سلوكية مستقلة (أي محاكي الحدث المنفصل) مؤشر الترابط ومزامنة الحدث التجريدات التحقق من التصميم (مثل الوصول الإشارات النسبي، صناديق البريد، السامات) العشوائية القائمة على القيد فيريلوج شل جنول كلمات أخرى، يوفر JOVE مرافق مشابهة ل Synopsys Vera و Testbuilder و (المعروف سابقا باسم) Verisity Specman.Note: يتم إصدار JOPE ومرخصا بموجب شروط ترخيص البرامج المفتوحة. فيما يلي بعض الملامح الرئيسية ل "JOVE": يرفع JOVE Language Java، وهي لغة برمجة قياسية ومحددة جيدا وعالية الإنتاجية. الأدوات البديلة تقدم لغات ملكية، أو استخدام لغات أكثر تعقيدا وأقل إنتاجية، مثل C / C ++ أو بيرل. يرفع JOVE إلى مكتبات Java، بما في ذلك مكتبة وقت تشغيل Java واسعة النطاق وإطار اختبار Junit وآلاف مكتبات الطرف الثالث. تميل مكتبات Java إلى أن تكون أسهل بكثير في دمجها من المكتبات في اللغات الناضجة السابقة، مثل C / C ++. يرفع JOVE أدوات جافا، مثل Javadoc and Eclipse. توفر Eclipse IDE، على سبيل المثال، مستخدمي JOVE مع مصحح أخي غي مجاني قوي. Jove Laverages تقنية الجهاز الظاهري Java، يمكن القول أن تقنية VM الأكثر نضجا، عالية الأداء المتاحة، مع تنافس الأداء اللغات المترجمة في معظم الحالات. يرفع JOVE إلى تجربة فريق موجه نحو البرمجيات التي تنفذ دورة دورة حياة كاملة لمشروع التحقق من أسيكيا معقدة للغاية. يعالج القيود التي تمت مواجهتها باستخدام أدوات أخرى أثناء هذا المشروع. متطلبات: جاوة

جوف برامج ذات صلة