مغطى تحميل مجاني ، مغطى تحميل على برنامج تحميل

أداة تحليل التغطية التغطية التغطية التغطية للتغطية يتم تغطية القراءات في ملفات تصميم Verilog و VCD أو تنسيق LFT من تشغيل ملف تشخيصي ويقوم بإنشاء ملف قاعدة بيانات يسمى ملف قاعدة بيانات وصف التغطية (CDD)، باستخدام أمر النتيجة. يمكن استخدام أمر النتيجة المغطى بدلا من ذلك لإنشاء ملف CDD ووحدة فيريلوج لاستخدام مغطى كوحدة VPI في Testbench والتي يمكن أن تحصل على معلومات التغطية بالتوازي مع المحاكاة. يمكن دمج ملف CDD الناتج مع ملفات CDD الأخرى من نفس التصميم لإنشاء تغطية مؤثرة، باستخدام أمر الدمج. بمجرد إنشاء ملف CDD، يمكن للمستخدم استخدام مغطى لإنشاء تقارير تغطية مختلفة مقروءة بشرية في تنسيق ASCII أو استخدام واجهة المستخدم الرسومية المغطاة بمظهر تفاعلي نتائج التغطية، باستخدام أمر التقارير. بالإضافة إلى ذلك، كجزء من أمر النتيجة المغطى، يتم العثور على إمكانيات حالة السباق في ملفات التصميم ويمكن وضع علامة إما على أنها أخطاء، يتم وضع علامة على الجهل كتحذيرات. من خلال تحديد ظروف السباقات كأخطاء، يمكن أيضا استخدامها كمسكرات حالة السباق. يتم إيقاف تشغيل Verilog-1995، Verilog-2001 (باستثناء كتل التكوين حاليا)، وبعض بنيات SystemVerverilog. تشمل المقاييس التي تم إنشاؤها ما يلي: تغطية الخطوط تبديل التغطية تغطية الذاكرة تغطية المنطق المغمويلي تغطية حالة FSM وانتقال الدولة تغطية تأكيد (وظيفية) ما الجديد في هذا الإصدار: إضافة الدعم لمكالمات نظام Orndom Random $ $ $ إلى التغطية المغلقة. يتضمن جميع الإصلاحات التي تم إجراؤها على الإصدار المستقر 0.7.5. إضافة الدعم لمكالمات نظام PLUSARGS بقيمة $ $ إلى التغطية المتنقلة. تحديد المشكلة مع إنشاء البيانات. إضافة وثائق المستخدم لتدفق التغطية المطلقة وخيارات النتيجة. تحديد المشكلة مع إغلاق التعليمات البرمجية المقاطعة ببيانات تعيين فاصلة مفصولة. أجريت تبسيط التعليمات البرمجية وتحسين الأداء مع طريقة التعامل مع البيانات داخليا. إزالة المكالمات غير الضرورية إلى وظائف المحاكاة عند استخدام تغطية التعليمات البرمجية المتفامل (تم إضافة عقوبة الأداء). تحسين أداء مولد التعليمات البرمجية المطلقة للحصول على إشارات تم إنشاؤها. مشكلات فهرسة الذاكرة الثابتة ذات الصلة بتغطية الذاكرة. وأضاف الدعم لوظيفة ثابتة ومشغلي ثلاثي الثابت لتغطية التعليمات البرمجية المطلقة. إضافة رمز إضافي إلى التمييز بين الوظائف المستخدمة بشكل ثابت وليس للقيام بالأشياء الصحيحة لتراكم تغطية التعليمات البرمجية المطلقة. وأضاف البرنامج النصي VCD_DIFF الذي يتحقق من إخراج Dumpfile من ملفات التصميم غير المتفان والانفاذ للتحقق من أن مولد التعليمات البرمجية المانح لا يغير النتيجة. هذا الشيك هو الآن جزء من جميع عمليات الانحدار المطلقة. قدم العديد من التحسينات الأداء لقارئ ملف VCD. القارئ الآن 10-20 أسرع. دعم إضافي لإرادات Verilator يدير وينقل بضع تشخيص إلى تنسيق Verilator. إضافة التحقق للتأكد من أن ملف CDD دون تعيين وضع متناط يقرأ ملف VCD يحتوي على بيانات التغطية المتنقلة ينبعث من خطأ للمستخدم ويخرج بأمان. وأضاف خيار النتيجة -Pinnline-COMP-DEPTH خيار السماح للمستخدم بتحديد عمق التغطية الجبلية الضحلة التي سيتم إنشاؤها - تحسين أداء المحاكاة والتغطية المطلقة. بالنسبة للخروج Verilator، إدراج Pragmas حول إشارات التعبير المنطقي المنطقي المنطقي الوسيط لاستبعادها من الإخراج إلى ملفات VCD. يعمل هذا يعمل على تحسين محاكاة وأداء التغطية للخروج من Verilator (محاكاة أخرى تحتوي على VPI تقوم بإزالة هذه الإشارات تلقائيا من إنشاء عمليات احتياطية تغيير). إجراء استبدال رمز بعض الكود الفعلي مع قيم التعبير الوسيطة المحسوبة مسبقا لمزيد من التحسينات في أداء المحاكاة. وأضاف "E" خيار "E" لمقاييس لاين يسمح بإيقاف تشغيل تغطية الحدث بشكل مستقل عن تغطية المنطق المنطقي الأخرى. وهذا يسمح بتحسينات أداء محاكاة وتغطية مزيد من المحاكاة (خاصة بالنسبة للخروج من Verilator). وأضاف التحسين الذي يسبب تخطي جيل التعليمات البرمجية ليتم تخطي ملفات التأكيد عند عدم حاجة تغطية التأكيد. الانحدارات الكاملة تعمل الآن نظيفة مع جميع تغييرات الكود.

مغطى برامج ذات صلة