مغطى - عبر الإنترنت في السحابة

برنامج:

اسم

مغطى - محلل تغطية كود Verilog

بناء الجملة

مغطى [خيارات_العالمية] أحرز هدفاً [الخيارات]
مغطى [خيارات_العالمية] دمج [الخيارات] قاعدة البيانات الموجودة قاعدة البيانات_إلى_مرج+
مغطى [خيارات_العالمية] تقرير [الخيارات] ملف قاعدة البيانات
مغطى [خيارات_العالمية] <font style="vertical-align: inherit;"></font> في ايم بي بي ايس [الخيارات] قاعدة البيانات_ترتيب_مرتبة قاعدة البيانات_ترتيب_مرتبة+
مغطى [خيارات_العالمية] منع [الخيارات] معرّف الاستبعاد+ ملف قاعدة البيانات

الوصف

مغطى هي أداة لتحليل تغطية كود Verilog والتي يمكن أن تكون مفيدة في تحديد كيفية القيام بذلك
حسنًا ، تغطي مجموعة الاختبارات التشخيصية التصميم قيد الاختبار. يقرأ المغطاة في
ملفات تصميم Verilog وملف تفريغ بتنسيق VCD أو LXT2 أو FST من تشغيل تشخيصي و
ينشئ ملف قاعدة بيانات يسمى ملف Coverage Description Database (CDD) ، باستخدام امتداد
يسجل الأمر. يمكن استخدام أمر النتيجة المغطاة بدلاً من ذلك لإنشاء ملف CDD
ووحدة Verilog لاستخدام Covered كوحدة VPI في طاولة اختبار يمكن الحصول عليها
معلومات التغطية بالتوازي مع المحاكاة (انظر باستخدام مغطى AS A VPI MODULE). ال
يمكن دمج ملف CDD الناتج مع ملفات CDD الأخرى من نفس التصميم لإنشاء ملفات
التغطية المتراكمة باستخدام أمر الدمج. بمجرد إنشاء ملف CDD ، يمكن للمستخدم
استخدم Covered لإنشاء تقارير تغطية متنوعة يمكن للبشر قراءتها بتنسيق أو استخدام ASCII
واجهة المستخدم الرسومية المغطاة للنظر بشكل تفاعلي في نتائج التغطية ، باستخدام أمر التقرير. لو
تم العثور على نقاط التغطية المكشوفة التي يريد المستخدم استبعادها من التغطية ، وهذا يمكن
يتم التعامل معها باستخدام أمر استبعاد سطر الأوامر أو داخل واجهة المستخدم الرسومية. عندما متعددة
يتم إنشاء ملفات CDD من نفس التصميم ، ويمكن للمستخدم الحصول على تصنيف تغطية
ملفات CDD لتحديد الترتيب المثالي لاختبار الانحدار وكذلك فهمه
ملفات CDD التي يمكن استبعادها من الانحدارات بسبب عدم قدرتها على الوصول إلى ملفات جديدة
نقاط التغطية. بالإضافة إلى ذلك ، كجزء من أمر النتيجة Covered ، حالة السباق
الاحتمالات موجودة في ملفات التصميم ويمكن تجاهلها أو تمييزها كتحذيرات
أو تم تمييزها على أنها أخطاء. من خلال تحديد ظروف السباق كأخطاء ، يمكن أيضًا استخدام Covered
كمدقق لحالة السباق.

مواكبة عالمية OPTIONS

يتم وضع هذه الخيارات بعد الكلمة الأساسية مباشرة مغطى في سطر الأوامر. هم
يمكن استخدامها لأي أمر (باستثناء -v و -h) ولها نفس التأثير في
كل حالة.

-B التعتيم. يحجب جميع الأسماء الحساسة للتصميم قبل إخراجها
تنسيق يمكن قراءته من قبل المستخدم. هذا الخيار مفيد عند مشاركة الإخراج مع ملف
مطوري Covered لأغراض التصحيح.

-D تصحيح. عرض معلومات مفيدة لتصحيح مشاكل الأداة. لاحظ هذا
يتوفر الخيار الآن فقط عندما يتم تضمينه مع --enable-debug
خيار التكوين.

-h يساعد. اعرض معلومات الاستخدام هذه.

-P [اسم الملف]
وضع التنميط. يقوم بتشغيل ملف تعريف التعليمات البرمجية المصدر الداخلي الذي سينتج ملف
تقرير إنشاء ملف تعريف لأمر التشغيل إلى ملف اسم الملف أو إذا كان الجواب بالنفي
اسم الملف موجود ، إلى ملف يسمى مغطى. هذا الخيار متاح فقط
إذا كان - تمكين التنميط تم تحديد خيار التكوين عندما كان Covered
مبني.

-Q الوضع الصامت. يؤدي إلى منع كل الإخراج.

-T الوضع المقتضب. يؤدي إلى منع كل الإخراج باستثناء التحذير
الرسائل ومعلومات الرأس المغطاة.

-v إصدار. عرض النسخة المغطاة الحالية.

أوامر

أحرز هدفاً يوزع ملفات Verilog و VCD / LXT2 / FST dumpfiles لإنشاء ملف قاعدة البيانات المستخدم من أجل
الدمج والإبلاغ.

دمج يدمج ملفين أو أكثر من ملفات قاعدة البيانات في ملف واحد.

تقرير يولد تقارير تغطية يمكن قراءتها من قبل الإنسان من ملف قاعدة البيانات أو يبدأ التغطية
تقرير واجهة المستخدم الرسومية.

<font style="vertical-align: inherit;"></font> في ايم بي بي ايس يُنشئ تقريرًا يحدد ترتيبًا مثاليًا لتشغيل الانحدارات وتحديده
ملفات CDD التي لا تضيف معلومات تغطية جديدة (وبالتالي يمكن استبعادها
من الانحدار ، إذا رغبت في ذلك).

منع
يسمح بنقطة تغطية واحدة أو أكثر (محددة بمعرفات الاستبعاد في التقرير
تم إنشاؤه باستخدام الخيار -x) لتبديل خاصية الاستبعاد (تضمين إلى
استبعاد أو استبعاد للتضمين) ، وإذا تم تعيين خاصية الاستبعاد على الاستبعاد ،
السماح اختياريًا بربط سبب الاستبعاد به وتخزينه في
ملف CDD المحدد.

أحرز هدفا COMMAND

الخيارات التالية صالحة لأمر الدرجة:

-A بيضوي أسباب استخدام تأكيدات OVL لتغطية التأكيد. يجب إعطاء هذا العلم
إلى أمر النتيجة إذا كانت هناك حاجة إلى مقاييس تغطية التأكيد في التقرير
أمر.

-CDD قاعدة بيانات
نفس الخيار -o. مفيد عندما يتم تسجيل ملف CDD هو إدخال في النتيجة
أمر.

-كلي [اسم الملف]
يؤدي إلى استخدام مصحح أخطاء سطر الأوامر أثناء تسجيل نقاط VCD / LXT2 / FST.
If اسم الملف محددًا ، يحتوي هذا الملف على معلومات محفوظة في مكالمة سابقة
حفظ سجل على CLI ويتسبب في إعادة تشغيل المحفوظات المضمنة في هذا الملف
قبل موجه أوامر CLI. لو اسم الملف لم يتم تحديده ، فإن موجه CLI سوف
تكون متاحة على الفور في بداية المحاكاة. هذا الخيار متاح فقط
عندما يتم تكوين Covered بامتداد - تمكين التصحيح الخيار.

-محافظ
إذا تم تحديد هذا الخيار ، فإن أي كتل منطقية تحتوي على تعليمات برمجية يمكن أن تسبب
تناقضات التغطية التي تؤدي إلى نتائج تغطية غير دقيقة
تمت إزالته من اعتبار التغطية. انظر دليل المستخدم لمزيد من المعلومات حول ماذا
يمكن أن يؤدي نوع الكود إلى عدم دقة التغطية.

-دمبفارس [اسم الملف]
إذا تم تحديد هذا الخيار بدون الخيارين -vcd أو -lxt ، فسيتم تحليل التصميم ،
يتم إنشاء ملف CDD وتسمية ملف وحدة Verilog ذي المستوى الأعلى اسم الملف (اذا هذا
تم تحديد القيمة) أو "cover_dump.v" (إذا كان اسم الملف غير محدد) تم إنشاؤه.
يتم استخدام هذا الملف في تجميع جهاز المحاكاة لإنشاء ملف تفريغ
الأمثل للحصول على تغطية لملف CDD المحدد. إذا كان إما -vcd أو
تم تحديد خيارات -lxt ، وليس لهذا الخيار أي تأثير. راجع دليل المستخدم لـ
مزيد من المعلومات حول كيفية استخدام هذا الخيار.

-D تعريف_اسم
يحدد الاسم المحدد لـ 1.

-D تعريف الاسم = القيمة
يحدد الاسم المحدد للقيمة المحددة.

-e block_name
اسم الوحدة أو المهمة أو الوظيفة أو كتلة البداية / النهاية المسماة حتى لا تسجل. أسباب كل شيء
المربعات الفرعية في شجرة Verilog ضمن هذه الكتلة أيضًا لا يتم تسجيلها.

-ea يستثني جميع الحجب دائمًا من النظر في التغطية.

-ج يستثني جميع التخصيصات المستمرة من النظر في التغطية.

-اي يستثني جميع الكتل الأولية من النظر في التغطية.

-ef يستثني جميع الكتل النهائية من النظر في التغطية.

-ep [الاسم]
يستبعد كل التعليمات البرمجية الموجودة بين "// cover off" و "// cover on" pragmas
جزءا لا يتجزأ من التصميم. لو الاسم محدد ، الكلمة الأساسية في براغما سوف
إلى هذا الاسم بدلاً من "التغطية" الافتراضية ، مما يسمح للمستخدم
تغيير مظهر البراغما إذا كان يتعارض مع أي أدوات أخرى.

-F module_name = [in_expr،] out_expr
يشير إلى المحلل اللغوي إلى مكان العثور على FSM الموجود في الوحدة النمطية اسم وحدة التي
لديه تعبير حالة إدخال يسمى in_expr وتعبير حالة الإخراج يسمى
out_expr. إذا in_expr غير محدد ، out_expr يتم استخدام كل من المدخلات و
تعبير حالة الإخراج.

-f اسم الملف
اسم الملف الذي يحتوي على وسيطات إضافية للتحليل.

-السابق اسم الملف
اسم ملف تفريغ FST لتسجيل التصميم به. إذا -vcd ، -lxt أو هذا الخيار ليس كذلك
مستخدمة ، سيقوم Covered فقط بإنشاء ملف CDD أولي من التصميم ولن يفعل ذلك
محاولة تسجيل التصميم.

-g [module_name =] (1 | 2 | 3)
يسمح للمستخدم بتحديد المحلل اللغوي لجيل معين من Verilog
قياسي لوحدة معينة أو التصميم بالكامل ، حيث 1 = Verilog-1995 ،
2 = فيريلوج 2001 ، 3 = SystemVerilog. لو module_name = محددًا ، يستخدم المحلل اللغوي الامتداد
معيار Verilog المحدد لتلك الوحدة فقط ، مما يسمح لبقية التصميم بـ
استخدام المعيار العالمي. بشكل افتراضي ، يتم تعيين المعيار العالمي على الأحدث
الإصدار (3). يمكن تحديد هذا الخيار أكثر من مرة لاستدعاء معين لـ
قيادة النتيجة ومع ذلك ، إذا كان الخيار -g يحدد أكثر من قيمة عامة (على سبيل المثال ،
بدون ال وحدة = بادئة) ، سيتم استخدام قيمة الخيار الأخير فقط.

-h يعرض معلومات المساعدة هذه.

-I دليل
دليل للعثور على ملفات Verilog المضمنة.

-i اسم المثيل
مرجع فيريلوج هرمي للوحدة الموجودة في الجزء العلوي من الشجرة
يحرز هدف. هذا الخيار ضروري إذا كانت الوحدة النمطية للتحقق من التغطية ليست المستوى الأعلى
وحدة في التصميم. إذا لم يكن محددًا ، -t يتم استخدام القيمة.

-lxt اسم الملف
اسم ملف تفريغ LXT2 لتسجيل التصميم به. إذا -vcd ، -fst أو هذا الخيار ليس كذلك
مستخدمة ، سيقوم Covered فقط بإنشاء ملف CDD أولي من التصميم ولن يفعل ذلك
محاولة تسجيل التصميم.

-m الرسالة
يسمح للمستخدم بتحديد معلومات حول ملف CDD هذا. يمكن لهذه المعلومات
أن تكون أي شيء (يجب أن تكون الرسائل ذات المسافات البيضاء محاطة باقتباس مزدوج
علامات) ، ولكن قد تتضمن شيئًا ما عن حجج المحاكاة بسهولة أكبر
ربط ملف CDD بمحاكاته لأغراض إعادة إنشاء ملف CDD.

-o قاعدة بيانات
اسم قاعدة البيانات المراد كتابة معلومات التغطية إليها. إذا لم يتم تحديد الإخراج
سيكون اسم ملف قاعدة البيانات "cov.cdd".

-p اسم الملف
يتجاوز اسم الملف الافتراضي المستخدم لتخزين مخرجات المعالج الوسيط.

-P المعلمة_المجال = القيمة
ينفذ defparam على المعلمة المحددة بالقيمة.

-rS عند انتهاك عمليات التحقق من حالة السباق ، تتم إزالة كتل المنطق المخالفة
من اعتبارات التغطية ويتم إلغاء جميع المخرجات المتعلقة بالسباق
انتهاك الشرط. انظر وثائق المستخدم لمزيد من المعلومات حول السباق
شرط التحقق من الاستخدام.

-rW عند انتهاك عمليات التحقق من حالة السباق ، تتم إزالة كتل المنطق المخالفة
من اعتبار التغطية وانتهاك حالة السباق هو الإخراج. هذا هو
السلوك الافتراضي لمعالجة حالة السباق. انظر وثائق المستخدم للمزيد
معلومات حول استخدام فحص حالة السباق.

-يكرر عندما يتم انتهاك فحوصات حالة السباق ، يكون السبب هو الإخراج وانتهاء التسجيل
في الحال. راجع وثائق المستخدم لمزيد من المعلومات حول حالة السباق
التحقق من الاستخدام.

-rI [=وحدة الاسم]
If وحدة الاسم لم يتم تحديده ، تم تخطي فحص حالة السباق تمامًا لـ
التصميم بالكامل. لو وحدة الاسم تم تحديده ، تم تخطي فحص حالة السباق
للوحدة المحددة. انظر وثائق المستخدم لمزيد من المعلومات حول السباق
شرط التحقق من الاستخدام.

-rP [=الاسم])
يستخدم البرامج العملية المضمنة لتجاهل رمز معين من فحص حالة السباق
الاعتبار (إذا الاسم تم تحديده يتم استخدامه ككلمة رئيسية براغما). انظر المستخدم
التوثيق لمزيد من المعلومات حول استخدام فحص حالة السباق.

-S إحصائيات محاكاة المخرجات بعد اكتمال المحاكاة. هذه المعلومات
حاليًا مفيد فقط لمطوري Covered.

-t افضل مستوى وحدة
يحدد اسم الوحدة النمطية لأعلى وحدة سيتم قياسها. لاحظ أن
لا تحتاج هذه الوحدة إلى أن تكون أعلى وحدة في جهاز المحاكاة. هذا الحقل
مطلوب لجميع المكالمات لأمر النتيجة.

-أعلى الجدول الزمني
يكون هذا الخيار صالحًا فقط عند تحديد الخيارين -vpi أو -dumpvars.
يتيح هذا الخيار للمستخدم تحديد مقياس زمني لوحدة Verilog التي تم إنشاؤها
تم إنشاؤه باستخدام الخيار -vpi / -dumpvars. إذا لم يتم تحديد هذا الخيار ، فلا
سيتم إنشاء مقياس الوقت للوحدة التي تم إنشاؤها. قيمة ال الجدول الزمني is
محدد على النحو التالي:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

إذا كانت هناك حاجة إلى مسافة بيضاء بين القيم المختلفة ، فضع المحتويات الكاملة لـ
الجدول الزمني في اقتباسات مزدوجة.

-تس عدد
عند حدوث التسجيل ، يتيح هذا الخيار للمستخدم معرفة المدى الذي وصلت إليه المحاكاة
تقدم بإخراج الخطوة الزمنية الحالية إلى الإخراج القياسي. قيمة ال
عدد يحدد عدد الخطوات الزمنية المسموح بمحاكاتها قبل الإخراج
الخطوة الزمنية الحالية (ينتج عنها مكالمات أقل لدفق الإخراج).

-T (min | typ | max)
تحدد القيمة التي يجب استخدامها عند مواجهة تعبير تأخير في النموذج:
الحد الأدنى: النوع: ماكس. إذا لم يتم تحديد هذا الخيار ، فسيتم استخدام "تحديد" بشكل افتراضي.

-v اسم الملف
اسم ملف Verilog المحدد للتسجيل.

-vcd اسم الملف
اسم ملف تفريغ أسطوانات VCD لتسجيل التصميم به. إذا كان -lxt أو -fst أو هذا الخيار ليس كذلك
مستخدمة ، سيقوم Covered فقط بإنشاء ملف CDD أولي من التصميم ولن يفعل ذلك
محاولة تسجيل التصميم.

-vpi [اسم الملف]
إذا تم تحديد هذا الخيار بدون خيارات -vcd أو -lxt أو -fst ، فسيكون التصميم
بعد تحليله ، يتم إنشاء ملف CDD وتسمية ملف وحدة Verilog ذي المستوى الأعلى اسم الملف
(إذا تم تحديد هذه القيمة) أو "cover_vpi.v" (إذا اسم الملف غير محدد) هو
تم إنشاؤه جنبًا إلى جنب مع ملف جدول PLI يسمى اسم الملف.ta b أو "cover_vpi.v.ta b".
يتم استخدام كلا الملفين في تجميع جهاز المحاكاة لاستخدام Covered as
وحدة VPI. إذا تم تحديد الخيارين -vcd أو -lxt أو -fst ، فسيتم تحديد هذا الخيار
ليس له تأثير.

-تفاهم
قم بإيقاف إخراج التحذيرات أثناء تحليل التعليمات البرمجية والمحاكاة.

-y دليل
دليل للعثور على ملفات Verilog غير محددة.

+ libext +.تمديد[+.تمديد]*+
امتدادات ملفات Verilog للسماح بالتسجيل.

دمج COMMAND

الخيارات التالية صالحة لأمر الدمج:

-d اسم الملف
دليل للبحث عن ملفات CDD لتضمينها. يستخدم هذا الخيار بالتزامن
مع الالجائزة - التالي الخيار الذي يحدد امتداد الملف لاستخدامه في التحديد
الملفات الموجودة في الدليل هي ملفات CDD.

إيه (أول|آخر|من جميع|جديد|قديم)
يحدد كيفية التعامل مع حل سبب الاستبعاد. في حالة وجود ملفين أو أكثر من ملفات CDD
يجري الدمج لأسباب استبعاد محددة لنفس نقطة التغطية ، فإن
يجب حل سبب الاستبعاد (ما لم تكن نفس قيمة السلسلة). لو
لم يتم تحديد هذا الخيار وتم العثور على تعارض ، ستتم التغطية بشكل تفاعلي
طلب إدخالاً لكل استبعاد فيما يتعلق بكيفية التعامل معه. إذا كان هذا الخيار
محددًا ، فإنه يخبر Covered بكيفية التعامل مع جميع تعارضات أسباب الاستبعاد. ال
القيم كالتالي: .br

أول - استخدام ملف CDD الذي احتوى على سبب الاستبعاد الأول.

آخر - يتم استخدام ملف CDD الذي يحتوي على سبب الاستبعاد الأخير.

من جميع - تم استخدام جميع أسباب الاستبعاد (متسلسلة).

جديد - استخدم سبب الاستبعاد الأحدث المحدد.

قديم - استخدم أقدم سبب استبعاد محدد.

- التالي تمديد
تستخدم بالاقتران مع -d اختيار. إذا كان الجواب لا - التالي يتم تحديد الخيارات في
سطر الأوامر ، يتم استخدام القيمة الافتراضية لـ ".cdd". لاحظ أن النقطة (.) يجب
تكون محددة.

-f اسم الملف
اسم الملف الذي يحتوي على وسيطات إضافية للتحليل.

-h يعرض معلومات المساعدة هذه.

-m الرسالة
يسمح للمستخدم بتحديد معلومات حول ملف CDD هذا. يمكن لهذه المعلومات
أن تكون أي شيء (يجب أن تكون الرسائل ذات المسافات البيضاء محاطة باقتباس مزدوج
علامات).

-o اسم الملف
ملف لإخراج قاعدة بيانات جديدة إلى. إذا لم يتم تحديد هذه الوسيطة ، فإن
قاعدة البيانات الموجودة يستخدم كاسم قاعدة بيانات الإخراج.

تقرير COMMAND

الخيارات التالية صالحة مع أمر التقرير:

-b إذا تم الإبلاغ عن إخراج مطول المنطق التوافقي وكان التعبير متجهًا
العملية ، يقوم هذا الخيار بإخراج معلومات التغطية على أساس أحادي.

-c If -v محدد ، يعرض المقاييس المغطاة فقط. الافتراضي هو عرض مكشوفة
المعلومات فقط.

-d (ق | د | ت)
مستوى التفاصيل المراد توفيره في معلومات تقرير التغطية (ق = ملخص ، د =
مفصل ، v = مطوّل). الافتراضي هو الملخص.

-e يتم إخراج جميع نقاط التغطية المستبعدة إلى ملف التقرير مع أي نقاط محددة
أسباب الاستبعاد إذا كان -d d or -d v يتم تحديد الخيارات.

-f اسم الملف
اسم الملف الذي يحتوي على وسيطات إضافية للتحليل.

-h يعرض معلومات المساعدة هذه.

-i يوفر معلومات التغطية للحالات بدلاً من الوحدة النمطية.

-m [l] [t] [c] [f] [r] [a] [m]
نوع (أنواع) المقاييس المطلوب الإبلاغ عنها. l = الخط ، t = التبديل ، c = المنطق التوافقي ، f = حالة FSM
وانتقال الحالة ، r = شروط السباق ، a = التأكيد ، m = الذاكرة. الافتراضي هو ltcf.

-o اسم الملف
ملف لإخراج معلومات التقرير إلى. الافتراضي هو الإخراج القياسي.

-s منع الوحدات النمطية / المثيلات التي لا تحتوي على معلومات تغطية من الإخراج
للتقرير. تُستخدم للمساعدة في التخلص من المعلومات التي قد لا معنى لها من
تقرير.

-v إهمال. تم استبدالها بـ "-dd" أو "-d v".

-رأي يبدأ واجهة المستخدم الرسومية لتقارير التغطية التفاعلية.

-w (عدد)
يحدد الحد الأقصى لعرض الخط (بالأحرف) الذي يمكن استخدامه لإخراج Verilog
معلومة. إذا لم يتم تحديد هذا الخيار ، فسيتم تنفيذ كل كود Verilog في التقرير
تحتفظ بنفس التنسيق كما تم تحديده في كود Verilog الأصلي. اذا هذا
تم تحديد الخيار ، سيتم تنسيق رمز Verilog لاستخدام أكبر قدر من الحالي
السطر قدر الإمكان ، يلتف النص عندما يصل السطر إلى الحد الأقصى لعرض الخط. ال
عرض الخط الأقصى الافتراضي هو 115 حرفًا (يتم استخدام هذه القيمة إذا لم يكن هناك رقم
المحدد بخيار -w). إذا تم تحديد رقم باستخدام الخيار -w ، فسيتم ذلك
يتم استخدام القيمة لأقصى عرض للخط.

-x إخراج معرفات الاستبعاد لجميع نقاط التغطية غير المغطاة والمستبعدة بداخل
أقواس قبل الإخراج المطول المرتبط بنقطة التغطية. ال
يمكن استخدام معرّفات الاستبعاد لاستبعاد / تضمين نقاط التغطية عبر الاستبعاد
أمر.

RANK COMMAND

الخيارات التالية صالحة مع أمر الرتبة:

-d اسم الملف
دليل للبحث عن ملفات CDD لتضمينها. يستخدم هذا الخيار بالتزامن
مع الالجائزة - التالي الخيار الذي يحدد امتداد الملف لاستخدامه في التحديد
الملفات الموجودة في الدليل هي ملفات CDD.

-عمق عدد
يحدد الحد الأدنى لعدد ملفات CDD المطلوبة للوصول إلى كل نقطة تغطية. ال
قيمة عدد يجب أن تكون أكبر من الصفر. الافتراضي هو 1.

- التالي تمديد
تستخدم بالاقتران مع -d اختيار. إذا كان الجواب لا - التالي يتم تحديد الخيارات في
سطر الأوامر ، يتم استخدام القيمة الافتراضية لـ ".cdd". لاحظ أن النقطة (.) يجب
تكون محددة.

-f اسم الملف
اسم الملف الذي يحتوي على وسيطات إضافية للتحليل.

-h يعرض معلومات المساعدة لأمر الرتبة.

-الأسماء فقط
في حالة التحديد ، يتم إخراج أسماء ملفات CDD المطلوبة فقط والتي تحتاج إلى تشغيل في
تأمر بضرورة تشغيلها. إذا لم يتم تعيين هذا الخيار ، فسيتم تعيين إخراج بنمط التقرير
مع معلومات إضافية. من المفترض أن يكون هذا الخيار مفيدًا في البرامج النصية
التي تريد فقط تشغيل أسماء ملفات CDD كإخراج.

-o اسم الملف
اسم الملف لإخراج معلومات الترتيب إليه. الافتراضي هو الإخراج القياسي.

-مطلوب- cdd اسم الملف
اسم التحريات المسبقة عن العمالء التي يجب اعتبارها التحريات المسبقة عن العمالء المطلوبة لترتيبها (أي لا يمكن أن تكون كذلك
مستبعد لأي سبب).

-قائمة مطلوبة اسم الملف
اسم الملف الذي يحتوي على قائمة CDDs التي يجب اعتبارها CDDs مطلوبة
لرتبة. يجب فصل أسماء الملفات بمسافات بيضاء أو أحرف سطر جديد
داخل الملف.

-v يتسبب في عرض الإخراج المطول عند تشغيل أمر الترتيب. نواتج
معلومات تشخيصية حول كل مرحلة من المراحل المختلفة لخوارزمية الترتيب
بما في ذلك وقت التشغيل وعدد ملفات CDD المضمنة / المستبعدة وعدد التغطية
النقاط التي تم تسجيلها من خلال CDDs المرتبة خلال كل مرحلة. هذه المعلومات من المفترض أن تكون
مفيد للمهتمين بخوارزمية الترتيب وأدائها.

-تأكيد الوزن عدد
يحدد ترجيحًا نسبيًا لتغطية التأكيد المستخدم لترتيب غير فريد
نقاط التغطية. قيمة ال عدد هو متعلق بالقيم المستخدمة في
الوزن التبديل, وزن الذاكرة, -مشط-الوزن, -الوزن- FSM و وزن الخط <font style="vertical-align: inherit;"></font> في ايم بي بي ايس
خيارات الأمر.

-مشط-الوزن عدد
يحدد ترجيحًا نسبيًا للتغطية المنطقية التوافقية المستخدمة في الترتيب
نقاط تغطية غير فريدة. قيمة ال عدد هو متعلق بالقيم المستخدمة في
ال الوزن التبديل, وزن الذاكرة, -تأكيد الوزن, -الوزن- FSM و وزن الخط
خيارات قيادة الترتيب.

-الوزن- FSM عدد
يحدد ترجيحًا نسبيًا لحالة FSM وتغطية انتقال الحالة المستخدمة
ترتيب نقاط التغطية غير الفريدة. قيمة ال عدد هو متعلق بالقيم
المستخدمة في الوزن التبديل, وزن الذاكرة, -مشط-الوزن, -تأكيد الوزن و
وزن الخط خيارات قيادة الترتيب.

وزن الخط عدد
يحدد ترجيحًا نسبيًا لتغطية الخط المستخدم لتصنيف التغطية غير الفريدة
نقاط. قيمة ال عدد هو متعلق بالقيم المستخدمة في الوزن التبديل,
وزن الذاكرة, -مشط-الوزن, -الوزن- FSM و -تأكيد الوزن خيارات قيادة الترتيب.

وزن الذاكرة عدد
يحدد ترجيحًا نسبيًا لتغطية الذاكرة المستخدمة لتصنيف التغطية غير الفريدة
نقاط. قيمة ال عدد هو متعلق بالقيم المستخدمة في الوزن التبديل,
وزن الخط, -مشط-الوزن, -الوزن- FSM و -تأكيد الوزن خيارات قيادة الترتيب.

الوزن التبديل عدد
يحدد ترجيحًا نسبيًا لتغطية التبديل المستخدمة لتصنيف تغطية غير فريدة
نقاط. قيمة ال عدد هو متعلق بالقيم المستخدمة في وزن الذاكرة,
وزن الخط, -مشط-الوزن, -الوزن- FSM و -تأكيد الوزن خيارات قيادة الترتيب.

استبعاد COMMAND

الخيارات التالية صالحة مع أمر الاستثناء:

-f اسم الملف
يحدد اسم الملف الذي يحتوي على المزيد من الخيارات لأمر الاستثناء.
يمكن تحديد هذا الخيار عدة مرات حسب الضرورة لمكالمة واحدة إلى
استبعاد الأمر.

-h يولد معلومات الاستخدام لأمر الاستثناء.

-m يسمح بربط رسالة الاستثناء بأي نقاط تغطية مستمرة
من الدولة المشمولة إلى الدولة المستبعدة. لكل نقطة تغطية تجتمع
هذا المطلب ، سيُطلب من المستخدم إدخال سبب. قد يكون السبب
أي طول وأي عدد من الخطوط ؛ ومع ذلك ، فإن جميع أحرف التنسيق (على سبيل المثال ،
ستتم إزالة الأسطر الجديدة وعلامات التبويب والمسافات الزائدة وما إلى ذلك) واستبدالها بملف
الفضاء عندما يتم عرضه لاحقًا. لإنهاء إدخال الرسالة ، اضغط على رجوع ،
أدخل حرف نقطة واحدة (.) واضغط على رجوع مرة أخرى. الفترة النهائية
لن يكون الحرف جزءًا من رسالة الاستبعاد.

-p يتسبب في قيام جميع نقاط التغطية المحددة بطباعة حالة الاستبعاد الحالية و
سبب الاستبعاد (إذا كان موجودًا لنقطة التغطية المستبعدة) إلى المعيار
انتاج. إذا تم تحديد هذا الخيار ، فإن ملف -m سيتم تجاهل الخيار.

باستخدام مغطى AS A VPI MODULE

بالإضافة إلى استخدام الأمر Covered's Score لتحليل ملف VCD أو LXT2 أو FST للتجريد
معلومات التغطية ، يمكن أيضًا استخدام Covered كوحدة نمطية VPI داخل جهاز محاكاة لـ
استخرج هذه المعلومات. مزايا استخدام Covered باعتباره VPI على قارئ ملفات التفريغ
تشمل ما يلي. أولاً ، يمكن أن تكون ملفات VCD كبيرة جدًا ، خاصة لفترة طويلة
المحاكاة ، باستخدام مساحة القرص القيمة. ثانيًا ، إذا كنت تستخدم جهاز محاكاة
تفريغ الملفات بتنسيق مختلف عن تنسيق VCD أو LXT2 أو FST وتريد تحويل هذه الملفات
أنواع الملفات إلى أحد هذه الإصدارات ، يمكن أن تؤدي تكلفة مساحة القرص والوقت إلى إنشاء ملفات
ملفات التفريغ التي تتطلب التغطية غير مرغوب فيها. بالإضافة إلى ذلك ، على الرغم من استخدام Covered باعتباره VPI
ستعمل على إبطاء سرعة المحاكاة ، فمن المرجح أن إجمالي الوقت المستغرق
ستكون محاكاة التصميم الخاص بك وتسجيل التصميم في خطوة واحدة أقصر من القيام بذلك في
خطوتين. نتيجة لذلك ، يمكن لأداة التهيئة المساعدة Covered إنشاء مكتبات جاهزة لـ VPI لـ
أجهزة المحاكاة المجانية والتجارية التالية (Icarus Verilog و CVER و VCS).

لإنشاء ملفات مكتبة جاهزة لـ VPI تلقائيًا عند إنشاء Covered from source ،
ما عليك سوى تحديد واحد أو أكثر مما يلي عند تشغيل أداة "التهيئة" في ملف
الدليل المغطى الأساسي: - with-iv = ، - مع vcs =
المسار> ، - مع cver = . بعد تهيئة Covered ، اكتب ببساطة
"make" و "make install". سيؤدي هذا إلى تثبيت ملفات المكتبة الجاهزة لـ VPI في ملف
دليل تثبيت libexec (افتراضيًا سيكون هذا المسار / usr / local / libexec).

قبل أن تكون جاهزًا لتجميع التصميم ، يجب عليك أولاً إنشاء ملف CDD ، مستوى أعلى
ملف Verilog وملف جدول PLI (الملف الأخير مطلوب فقط لمترجم VCS).
يتم ذلك عن طريق تحديد -vpi (اسم الملف) الخيار لأمر النتيجة المغطاة. إذا كان الجواب لا
يتم تحديد اسم الملف بعد -vpi ، والملفات التي تم تغطيتها_vpi.v و cover_vpi.ta b ستكون
تم إنشاؤه مع ملف التغطية الذي تم إنشاؤه. لاحظ أن هذه الخطوة يجب أن تكون فقط
يتم إجراؤها مرة واحدة ما لم تتغير ملفات التصميم. أنت الآن جاهز لتجميع ملف
جهاز محاكاة.

إذا كنت تقوم بتجميع محاكاة Icarus Verilog ، فما عليك سوى إضافة "-m
/usr/local/libexec/covered.vpi cover_vpi.v 'إلى سطر الأوامر "iverilog". مرة واحدة
اكتمل التجميع ، قم بتشغيل الملف القابل للتنفيذ الذي تم إنشاؤه كما تفعل عادةً.

إذا كنت تقوم بتجميع محاكاة CVER ، فما عليك سوى إضافة
'+ loadvpi = / usr / local / libexec / cover.cver.so: vpi_compat_bootstrap cover_vpi.v' إلى
سطر أوامر 'cver'.

إذا كنت تقوم بتجميع محاكاة VCS ، فما عليك سوى إضافة '+ vpi -load
/usr/local/libexec/covered.vcs.so:covered_register cover_vpi.v 'إلى' vcs '
سطر الأوامر. بمجرد اكتمال الترجمة ، قم بتشغيل الملف القابل للتنفيذ الذي تم إنشاؤه مثلك
عادة.

إذا كنت تقوم بترجمة محاكاة NC-Verilog ، فانتقل إلى أمر irun الخاص بـ NC-Verilog للتحميل
الكائن المشترك المغطى: "-loadvpi /usr/local/libexec/covered.ncv.so:covered_register"
وتمكين كل الوصول باستخدام "-access + rwc". يمكنك تثبيت رمز استدعاء $ cover_sim في
RTL الخاص بك أو يمكنك تشغيله ديناميكيًا باستخدام CLI ، عن طريق إضافة -input input.tcl
التبديل إلى irun. حيث يبدو ملف input.tcl على النحو التالي و tb.dut هو ملف
مثال التغطية:
call -systf {$ cover_sim} {"scored.cdd"} tb.dut
يجري

هناك نوعان من plusargs التي يمكن تمريرها إلى الملف القابل للتنفيذ الذي تم إنشاؤه عند تشغيله
سوف تحلل مغطاة. ال '+ cover_cdd = سيتسبب الخيار Covered في إخراج ملف
تم تسجيل محتويات التصميم لملف CDD المحدد بواسطة . هذا يسمح بتشغيل عدة
من جهاز المحاكاة لإنشاء عدة ملفات CDD مختلفة دون الحاجة إلى إعادة التحويل البرمجي إلى
يحدث. سيؤدي خيار "+ Cover_debug" إلى قيام Covered بإفراغ الكثير من المخرجات الزائدة
حول حالة وقت التشغيل الداخلية أثناء المحاكاة. سيتم إنشاء هذا الإخراج فقط
إذا تم تكوين Covered باستخدام الخيار --enable-debug. لا ينبغي أن يكون خيار زائد هذا
يتم استخدامه من قبل المستخدمين العاديين لأنه يهدف في المقام الأول إلى مساعدة مطوري Covered in
تصحيح الأخطاء.

مؤلفون

تريفور ويليامز[البريد الإلكتروني محمي]>

الاستخدام المغطى عبر الإنترنت باستخدام خدمات onworks.net