پوشیده شده - آنلاین در ابر

برنامه:

نام

Covered - Verilog Code Coverage Analyzer

نحو

پوشش داده شده [global_Options] نمره [گزینه های]
پوشش داده شده [global_Options] ادغام کردن [گزینه های] موجود_پایگاه داده database_to_merge+
پوشش داده شده [global_Options] گزارش [گزینه های] پایگاه_فایل
پوشش داده شده [global_Options] رتبه بندی [گزینه های] پایگاه_به_رتبه پایگاه_به_رتبه+
پوشش داده شده [global_Options] محروم کردن [گزینه های] exclusion_id+ پایگاه_فایل

شرح

پوشش داده شده یک ابزار تحلیل پوشش کد Verilog است که می تواند برای تعیین چگونگی مفید باشد
خوب یک مجموعه تست تشخیصی طرح تحت آزمایش را پوشش می دهد. تحت پوشش می خواند در
فایل‌های طراحی Verilog و یک Dumpfile با فرمت VCD، LXT2 یا FST از یک اجرای تشخیصی و
یک فایل پایگاه داده به نام فایل Coverage Description Database (CDD) با استفاده از
دستور امتیاز دستور امتیاز Covered می تواند به طور متناوب برای تولید یک فایل CDD استفاده شود
و یک ماژول Verilog برای استفاده از Covered به عنوان یک ماژول VPI در یک تست تست که می توانید آن را بدست آورید
اطلاعات پوشش به موازات شبیه سازی (نگاه کنید به استفاده كردن تحت پوشش AS A IPV MODULE).
فایل CDD حاصل را می توان با سایر فایل های CDD از همان طرح ادغام کرد تا ایجاد شود
پوشش انباشته شده، با استفاده از دستور ادغام. هنگامی که یک فایل CDD ایجاد شد، کاربر می تواند
از Covered برای تولید گزارش‌های مختلف پوشش قابل خواندن توسط انسان در قالب ASCII یا استفاده استفاده کنید
رابط کاربری گرافیکی Covered برای مشاهده تعاملی نتایج پوشش با استفاده از دستور گزارش. اگر
نقاط پوشش بدون پوشش یافت می شود که کاربر می خواهد از پوشش حذف شود، این می تواند
با دستور exclude خط فرمان یا درون رابط کاربری گرافیکی مدیریت شود. وقتی چندتایی
فایل‌های CDD از همان طرح ایجاد می‌شوند، کاربر ممکن است رتبه‌بندی پوششی را به دست آورد
آن فایل های CDD برای تعیین یک ترتیب ایده آل برای تست رگرسیون و همچنین درک
کدام فایل‌های CDD را می‌توان از رگرسیون‌ها به دلیل ناتوانی در نمایش جدید حذف کرد
نقاط پوشش علاوه بر این، به عنوان بخشی از فرمان امتیاز Covered، شرایط مسابقه
احتمالات در فایل های طراحی یافت می شوند و می توان آنها را نادیده گرفت و به عنوان هشدار علامت گذاری کرد
یا به عنوان خطا علامت گذاری شده است. با مشخص کردن شرایط مسابقه به عنوان خطا، Covered نیز قابل استفاده است
به عنوان یک بررسی کننده شرایط مسابقه.

GLOBAL OPTIONS

این گزینه ها بلافاصله بعد از کلمه کلیدی قرار می گیرند پوشش داده شده در خط فرمان آنها
را می توان برای هر دستوری استفاده کرد (به استثنای -v و -h) و همین اثر را در
هر مورد.

-B مبهم. قبل از خروجی، همه نام های حساس به طراحی را مبهم می کند
فرمت قابل خواندن توسط کاربر این گزینه هنگام اشتراک گذاری خروجی با
توسعه دهندگان Covered برای اهداف اشکال زدایی.

-D اشکال زدایی. نمایش اطلاعات مفید برای مشکلات ابزار اشکال زدایی. توجه: این
گزینه اکنون تنها زمانی در دسترس است که با --enable-debug پوشانده شده باشد
گزینه پیکربندی

-h کمک. نمایش این اطلاعات استفاده

-P [نام فایل]
حالت پروفایل نمایه‌ساز کد منبع داخلی را روشن می‌کند که a را تولید می‌کند
گزارش پروفایل دستور run به یکی از موارد مشخص شده نام فایل یا اگر نه
نام فایل موجود است، به فایلی به نام پوشیده شده.پروفسور. این گزینه فقط موجود است
اگر --فعال کردن پروفایل گزینه پیکربندی زمانی که Covered بود مشخص شد
ساخته شده.

-Q حالت بی صدا باعث می شود تمام خروجی ها سرکوب شود.

-T حالت کوتاه. باعث می شود که تمام خروجی ها به استثنای هشدار متوقف شود
پیام ها و اطلاعات هدر پوشش داده شده

-v نسخه. نمایش نسخه تحت پوشش فعلی.

دستورات

نمره فایل‌های Verilog و Dumpfiles VCD/LXT2/FST را برای ایجاد فایل پایگاه داده مورد استفاده تجزیه و تحلیل می‌کند
ادغام و گزارش.

ادغام کردن دو یا چند فایل پایگاه داده را در یک ادغام می کند.

گزارش گزارش های پوشش قابل خواندن توسط انسان را از فایل پایگاه داده تولید می کند یا پوشش را شروع می کند
رابط کاربری گرافیکی را گزارش کنید

رتبه بندی گزارشی را ایجاد می کند که یک ترتیب ایده آل برای اجرای رگرسیون ها را مشخص می کند و مشخص می کند
فایل‌های CDD که اطلاعات پوشش جدیدی اضافه نمی‌کنند (و بنابراین می‌توانند حذف شوند
از رگرسیون ها، در صورت تمایل).

محروم کردن
به یک یا چند نقطه پوشش اجازه می‌دهد (که با شناسه‌های حذف در گزارش مشخص می‌شوند
ایجاد شده با گزینه -x) تا ویژگی exclusion آنها تغییر کند (شامل به
exclude یا exclude to include) و در صورتی که خاصیت exclusion حذف شود،
به صورت اختیاری اجازه دهید دلیلی برای حذف مرتبط با آن باشد و در آن ذخیره شود
فایل CDD مشخص شده

SCORE COMMAND

گزینه های زیر برای دستور score معتبر هستند:

-A خوب باعث می شود از اظهارات OVL برای پوشش ادعا استفاده شود. این پرچم باید داده شود
در صورت نیاز به معیارهای پوشش ادعایی در گزارش، به فرمان امتیازی
فرمان

-cdd پایگاه داده
مانند گزینه -o. زمانی مفید است که فایل CDD امتیازدهی می شود، ورودی امتیاز است
فرمان

-cli [نام فایل]
باعث می شود که در حین امتیازدهی فایل dumpfile VCD/LXT2/FST از دیباگر خط فرمان استفاده شود.
If نام فایل مشخص شده است، این فایل حاوی اطلاعات ذخیره شده در تماس قبلی است
در CLI ذخیره می کند و باعث می شود که تاریخچه موجود در این فایل دوباره پخش شود
قبل از خط فرمان CLI اگر نام فایل مشخص نشده است، CLI اعلان خواهد کرد
بلافاصله در شروع شبیه سازی در دسترس باشد. این گزینه فقط موجود است
هنگامی که Covered با پیکربندی شده است --enable-debug گزینه.

-محافظه کار
اگر این گزینه مشخص شده باشد، هر منطقی که حاوی کدهایی است که می تواند باعث شود بلوک می کند
عدم تطابق پوشش منجر به نتایج بالقوه نادرست پوشش می شود
از بررسی پوشش حذف شده است. برای اطلاعات بیشتر در مورد چه چیزی به راهنمای کاربر مراجعه کنید
نوع کد می تواند منجر به عدم دقت پوشش شود.

دامپ وارها [نام فایل]
اگر این گزینه بدون گزینه های -vcd یا -lxt مشخص شود، طرح تجزیه می شود.
یک فایل CDD ایجاد می شود و یک فایل ماژول Verilog سطح بالا نامگذاری می شود نام فایل (اگر این
مقدار مشخص شده است) یا "covered_dump.v" (اگر نام فایل مشخص نشده است) ایجاد شده است.
این فایل در کامپایل شبیه ساز برای ایجاد Dumpfile استفاده می شود
برای به دست آوردن پوشش برای فایل CDD مشخص شده بهینه شده است. اگر -vcd یا
گزینه های -lxt مشخص شده است، این گزینه هیچ تاثیری ندارد. به راهنمای کاربر مراجعه کنید
اطلاعات بیشتر در مورد نحوه استفاده از این گزینه.

-D define_name
نام مشخص شده را به 1 تعریف می کند.

-D define_name=value
نام مشخص شده را به مقدار مشخص شده تعریف می کند.

-e block_name
نام ماژول، کار، تابع یا بلوک شروع/پایان نامگذاری شده برای امتیاز ندادن. باعث همه
بلوک‌های فرعی در درخت Verilog در زیر این بلوک نیز امتیاز نمی‌گیرند.

-ea تمام بلوک های همیشه را از در نظر گرفتن پوشش حذف می کند.

-ec تمام تکالیف مستمر را از در نظر گرفتن پوشش مستثنی می کند.

-یی تمام بلوک های اولیه را از در نظر گرفتن پوشش حذف می کند.

-اگر تمام بلوک های نهایی را از در نظر گرفتن پوشش حذف می کند.

-ep [نام]
تمام کدهای یافت شده بین «// coverage off» و «// coverage on» پراگماها را شامل نمی‌شود
در طراحی تعبیه شده است. اگر نام مشخص شده است، کلمه کلیدی در پراگما خواهد بود
به جای "پوشش" پیش‌فرض، به آن نام تغییر کند، که به کاربر اجازه می‌دهد
در صورت تضاد با ابزارهای دیگر، ظاهر پراگما را تغییر دهید.

-F module_name=[in_expr,]out_expr
به تجزیه کننده نشان می دهد که در کجا FSM واقع در ماژول را پیدا کند module_name که
یک عبارت حالت ورودی به نام دارد in_expr و عبارت حالت خروجی فراخوانی می شود
out_expr. اگر in_expr مشخص نشده است، out_expr هم به عنوان ورودی و هم به عنوان ورودی استفاده می شود
بیان حالت خروجی

-f نام فایل
نام فایل حاوی آرگومان های اضافی برای تجزیه.

-fst نام فایل
نام دامپ فایل FST برای طراحی امتیاز. اگر -vcd، -lxt یا این گزینه نیست
استفاده شده، Covered فقط یک فایل CDD اولیه از طرح ایجاد می کند و این کار را نخواهد کرد
تلاش برای امتیاز دادن به طرح

-g [module_name=](1|2|3)
به کاربر اجازه می دهد تجزیه کننده را به نسل خاصی از Verilog محدود کند
استاندارد برای یک ماژول خاص یا کل طرح، که در آن 1=Verilog-1995،
2=Verilog-2001، 3=SystemVerilog. اگر module_name= مشخص شده است، تجزیه کننده از
استاندارد Verilog را فقط برای آن ماژول مشخص کرده است و به بقیه طراحی اجازه می دهد
از استاندارد جهانی استفاده کنید به طور پیش فرض، استاندارد جهانی روی جدیدترین تنظیم شده است
نسخه (3). این گزینه را می توان بیش از یک بار برای یک تماس معین به شماره مشخص کرد
دستور امتیاز؛ با این حال، اگر گزینه -g بیش از مقدار جهانی را مشخص کند (به عنوان مثال،
بدون ماژول= پیشوند)، فقط از آخرین مقدار گزینه استفاده خواهد شد.

-h این اطلاعات راهنما را نمایش می دهد.

-I فهرست راهنما
دایرکتوری برای یافتن فایل‌های Verilog شامل.

-i نمونه_نام
مرجع سلسله مراتبی Verilog به ماژولی که در بالای درخت قرار دارد
گل زد. اگر ماژول برای تأیید پوشش در سطح بالایی نباشد، این گزینه ضروری است
ماژول در طراحی اگر مشخص نشده باشد، -t ارزش استفاده می شود.

-lxt نام فایل
نام دامپ فایل LXT2 برای طراحی امتیاز. اگر -vcd، -fst یا این گزینه نیست
استفاده شده، Covered فقط یک فایل CDD اولیه از طرح ایجاد می کند و این کار را نخواهد کرد
تلاش برای امتیاز دادن به طرح

-m پیام
به کاربر امکان می‌دهد اطلاعات مربوط به این فایل CDD را مشخص کند. این اطلاعات می تواند
هر چیزی باشد (پیام های دارای فضای خالی باید با دو نقل قول احاطه شوند
علامت‌ها)، اما ممکن است چیزی در مورد آرگومان‌های شبیه‌سازی به آسانی شامل شود
فایل CDD را به شبیه سازی آن به منظور ایجاد مجدد فایل CDD پیوند دهید.

-o پایگاه داده
نام پایگاه داده برای نوشتن اطلاعات پوشش. اگر مشخص نیست، خروجی
نام فایل پایگاه داده "cov.cdd" خواهد بود.

-p نام فایل
نام فایل پیش‌فرض مورد استفاده برای ذخیره خروجی پیش‌پردازنده میانی را لغو می‌کند.

-P parameter_scope=value
یک defparam را روی پارامتر مشخص شده با مقدار انجام می دهد.

-rS هنگامی که بررسی های شرایط مسابقه نقض می شود، بلوک های منطقی متخلف حذف می شوند
از در نظر گرفتن پوشش و تمام خروجی در مورد مسابقه سرکوب می شود
نقض شرط برای اطلاعات بیشتر در مورد نژاد به مستندات کاربر مراجعه کنید
بررسی وضعیت استفاده

-rW هنگامی که بررسی های شرایط مسابقه نقض می شود، بلوک های منطقی متخلف حذف می شوند
از در نظر گرفتن پوشش و نقض شرایط مسابقه خروجی است. این هست
رفتار پیش فرض برای کنترل شرایط مسابقه برای اطلاعات بیشتر به اسناد کاربر مراجعه کنید
اطلاعات در مورد استفاده از بررسی شرایط مسابقه

-rE هنگامی که بررسی های شرایط مسابقه نقض می شود، دلیل آن خروجی و امتیازدهی به پایان می رسد
بلافاصله. مستقیما. برای اطلاعات بیشتر در مورد شرایط مسابقه به مستندات کاربر مراجعه کنید
بررسی استفاده

-rI[=واحد نام]
If واحد نام مشخص نشده است، بررسی وضعیت مسابقه به طور کلی حذف شده است
کل طراحی اگر واحد نام مشخص شده است، بررسی وضعیت مسابقه نادیده گرفته می شود
برای ماژول مشخص شده برای اطلاعات بیشتر در مورد نژاد به مستندات کاربر مراجعه کنید
بررسی وضعیت استفاده

-rP[=نام])
از پراگماهای جاسازی شده برای نادیده گرفتن کدهای خاص از بررسی شرایط مسابقه استفاده می کند
در نظر گرفتن (اگر نام مشخص شده است که به عنوان کلمه کلیدی پراگما استفاده می شود). کاربر را ببینید
اسناد برای اطلاعات بیشتر در مورد استفاده از بررسی شرایط مسابقه.

-S خروجی آمار شبیه سازی پس از تکمیل شبیه سازی. این اطلاعات است
در حال حاضر فقط برای توسعه دهندگان Covered مفید است.

-t سطح عالی واحد
نام ماژول بالاترین ماژولی که اندازه گیری می شود را مشخص می کند. توجه داشته باشید که
لازم نیست این ماژول بالاترین ماژول در شبیه ساز باشد. این زمینه
برای همه فراخوانی ها به فرمان امتیاز لازم است.

-top_ts زمانبندی
این گزینه تنها زمانی معتبر است که گزینه های -vpi یا -dumpvars مشخص شده باشند.
این گزینه به کاربر اجازه می دهد تا برای ماژول Verilog تولید شده یک مقیاس زمانی مشخص کند
با گزینه -vpi/-dumpvars ایجاد شده است. اگر این گزینه مشخص نشده باشد، خیر
مقیاس زمانی برای ماژول تولید شده ایجاد خواهد شد. ارزش زمانبندی is
به شرح زیر مشخص شده است:

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

اگر بین مقادیر مختلف فضای خالی لازم است، کل محتویات را قرار دهید
زمانبندی در دو نقل قول

-ts عدد
هنگامی که امتیاز دهی اتفاق می افتد، این گزینه به کاربر اجازه می دهد تا ببیند که شبیه ساز چقدر فاصله دارد
با خروجی گام زمانی فعلی به خروجی استاندارد پیش رفت. ارزش
عدد مشخص می کند که چند مرحله زمانی مجاز است قبل از خروجی شبیه سازی شود
مرحله زمانی فعلی (نتیجه تماس کمتری با جریان خروجی است).

-T (دقیقه|نوع|حداکثر)
مشخص می کند که هنگام مواجهه با عبارت تاخیر در فرم از کدام مقدار استفاده شود:
min:typ:max. اگر این گزینه مشخص نشده باشد، "typ" select به طور پیش فرض استفاده می شود.

-v نام فایل
نام فایل خاص Verilog برای امتیاز دادن.

-vcd نام فایل
نام دامپ فایل VCD برای طراحی امتیاز. اگر -lxt، -fst یا این گزینه نیست
استفاده شده، Covered فقط یک فایل CDD اولیه از طرح ایجاد می کند و این کار را نخواهد کرد
تلاش برای امتیاز دادن به طرح

-vpi [نام فایل]
اگر این گزینه بدون گزینه های -vcd، -lxt یا -fst مشخص شود، طراحی به این صورت است
تجزیه، یک فایل CDD ایجاد می شود و یک فایل ماژول Verilog سطح بالا نامگذاری می شود نام فایل
(اگر این مقدار مشخص شده باشد) یا "covered_vpi.v" (اگر نام فایل مشخص نشده است) است
به همراه یک فایل جدول PLI به نام ایجاد شده است نام فایل.ta b یا "covered_vpi.v.ta b".
هر دوی این فایل ها در کامپایل شبیه ساز برای استفاده از Covered as استفاده می شوند
یک ماژول VPI اگر یکی از گزینه های -vcd، -lxt یا -fst مشخص شده باشد، این گزینه
تاثیری ندارد

-ویگنور
خروجی اخطارها را در حین تجزیه کد و شبیه سازی متوقف کنید.

-y فهرست راهنما
دایرکتوری برای یافتن فایل های Verilog نامشخص.

+libext+.افزونه[+.افزونه]*+
برنامه های افزودنی فایل های Verilog برای امتیازدهی.

ادغام COMMAND

گزینه های زیر برای دستور merge معتبر هستند:

-d نام فایل
دایرکتوری برای جستجوی فایل های CDD برای گنجاندن. این گزینه به همراه استفاده می شود
با - داخلی گزینه ای که پسوند فایل مورد استفاده برای تعیین را مشخص می کند
کدام فایل ها در دایرکتوری فایل های CDD هستند.

-R (اول|آخر|تمام|جدید|قدیمی)
نحوه رسیدگی به حل دلیل طرد را مشخص می کند. اگر دو یا چند فایل CDD
در حال ادغام دلایل محرومیت برای همان نقطه پوشش مشخص شده است
دلیل حذف باید حل شود (مگر اینکه همان مقدار رشته باشد). اگر
این گزینه مشخص نشده است و یک تضاد پیدا می شود، Covered به صورت تعاملی انجام می شود
درخواست ورودی برای هر استثنا در مورد نحوه رسیدگی به آن. اگر این گزینه است
مشخص شده، به Covered می‌گوید که چگونه تمام درگیری‌های دلیل حذف را مدیریت کند. در
مقادیر به شرح زیر است:.br

اول - از فایل CDD که حاوی اولین دلیل محرومیت بود استفاده می شود.

آخر - از فایل CDD که حاوی آخرین دلیل حذف است استفاده می شود.

تمام - تمام دلایل حذف استفاده می شود (الحاق).

جدید - از جدیدترین دلیل حذف مشخص شده استفاده کنید.

قدیمی - از قدیمی ترین دلیل حذف مشخص شده استفاده کنید.

- داخلی گسترش
همراه با استفاده می شود -d گزینه. اگر نه - داخلی گزینه ها بر روی مشخص شده است
در خط فرمان، از مقدار پیش‌فرض «.cdd» استفاده می‌شود. توجه داشته باشید که یک دوره (.) باید
مشخص شود.

-f نام فایل
نام فایل حاوی آرگومان های اضافی برای تجزیه.

-h این اطلاعات راهنما را نمایش می دهد.

-m پیام
به کاربر امکان می‌دهد اطلاعات مربوط به این فایل CDD را مشخص کند. این اطلاعات می تواند
هر چیزی باشد (پیام های دارای فضای خالی باید با دو نقل قول احاطه شوند
علائم).

-o نام فایل
فایل برای خروجی پایگاه داده جدید. اگر این استدلال مشخص نشده باشد،
موجود_پایگاه داده به عنوان نام پایگاه داده خروجی استفاده می شود.

گزارش COMMAND

گزینه های زیر با دستور گزارش معتبر هستند:

-b اگر خروجی مفصل منطق ترکیبی گزارش شود و عبارت بردار باشد
عملیات، این گزینه اطلاعات پوشش را به صورت بیتی خروجی می دهد.

-c If -v مشخص شده است، فقط معیارهای تحت پوشش را نمایش می دهد. پیش‌فرض نمایش بدون پوشش است
فقط اطلاعات

-d (s|d|v)
سطح جزئیات برای ارائه در اطلاعات گزارش پوشش (s = خلاصه، 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 شناسه های حذف همه نقاط پوشش کشف نشده و مستثنی شده در داخل را خروجی می دهد
پرانتز قبل از خروجی مفصل مربوط به نقطه پوشش. را
شناسه های حذف را می توان برای حذف/شامل نقاط پوششی از طریق حذف استفاده کرد
فرمان

رتبه COMMAND

گزینه های زیر با دستور rank معتبر هستند:

-d نام فایل
دایرکتوری برای جستجوی فایل های CDD برای گنجاندن. این گزینه به همراه استفاده می شود
با - داخلی گزینه ای که پسوند فایل مورد استفاده برای تعیین را مشخص می کند
کدام فایل ها در دایرکتوری فایل های CDD هستند.

-عمق عدد
حداقل تعداد فایل های CDD مورد نیاز برای رسیدن به هر نقطه پوشش را مشخص می کند. در
ارزش عدد باید بزرگتر از صفر باشد پیش فرض 1 است.

- داخلی گسترش
همراه با استفاده می شود -d گزینه. اگر نه - داخلی گزینه ها بر روی مشخص شده است
در خط فرمان، از مقدار پیش‌فرض «.cdd» استفاده می‌شود. توجه داشته باشید که یک دوره (.) باید
مشخص شود.

-f نام فایل
نام فایل حاوی آرگومان های اضافی برای تجزیه.

-h اطلاعات راهنما را برای دستور rank نمایش می دهد.

-فقط نامها
اگر مشخص شده باشد، فقط نام فایل های CDD مورد نیاز را که باید در فایل اجرا شوند، خروجی می دهد
به منظور اجرای آنها اگر این گزینه تنظیم نشده باشد، یک خروجی به سبک گزارش است
با اطلاعات تکمیلی ارائه شده است. این گزینه برای استفاده در اسکریپت ها طراحی شده است
که فقط می خواهند نام فایل های CDD به عنوان خروجی اجرا شوند.

-o نام فایل
نام فایل برای خروجی اطلاعات رتبه بندی. پیش فرض خروجی استاندارد است.

- مورد نیاز-cdd نام فایل
نام CDD که باید به عنوان CDD مورد نیاز برای رتبه بندی در نظر گرفته شود (یعنی نمی تواند باشد
به هر دلیلی مستثنی شده است).

-لیست مورد نیاز نام فایل
نام فایلی که حاوی فهرستی از CDD هایی است که باید CDD های ضروری در نظر گرفته شوند
برای رتبه بندی نام فایل ها باید با نویسه های فضای خالی یا خط جدید از هم جدا شوند
در داخل فایل

-v باعث می شود هنگام اجرای دستور rank، خروجی پرمخاطب نمایش داده شود. خروجی می دهد
اطلاعات تشخیصی در مورد هر یک از مراحل مختلف الگوریتم رتبه بندی
از جمله زمان اجرا، تعداد فایل های CDD گنجانده شده/استثنا شده و تعداد پوشش
امتیازات توسط CDD های رتبه بندی شده در طول هر مرحله به دست می آید. این اطلاعات در نظر گرفته شده است
برای علاقه مندان به الگوریتم رتبه بندی و عملکرد آن مفید است.

ادعای وزن عدد
یک وزن نسبی را برای پوشش ادعایی که برای رتبه بندی غیر منحصر به فرد استفاده می شود، مشخص می کند
نقاط پوشش ارزش عدد نسبت به مقادیر استفاده شده در است
-تغییر وزن, -وزن حافظه, -وزن شانه, وزن-fsm و -خط وزن رتبه بندی
گزینه های فرمان

-وزن شانه عدد
یک وزن نسبی را برای پوشش منطق ترکیبی که برای رتبه بندی استفاده می شود، مشخص می کند
نقاط پوشش غیر منحصر به فرد ارزش عدد نسبت به مقادیر استفاده شده در است
la -تغییر وزن, -وزن حافظه, ادعای وزن, وزن-fsm و -خط وزن
گزینه های دستور رتبه

وزن-fsm عدد
یک وزن نسبی را برای پوشش وضعیت FSM و انتقال حالتی که استفاده می شود مشخص می کند
رتبه بندی نقاط پوشش غیر منحصر به فرد ارزش عدد نسبت به مقادیر است
مورد استفاده در -تغییر وزن, -وزن حافظه, -وزن شانه, ادعای وزن و
-خط وزن گزینه های دستور رتبه

-خط وزن عدد
یک وزن نسبی برای پوشش خط که برای رتبه بندی پوشش غیر منحصر به فرد استفاده می شود، مشخص می کند
نکته ها. ارزش عدد نسبت به مقادیر استفاده شده در است -تغییر وزن,
-وزن حافظه, -وزن شانه, وزن-fsm و ادعای وزن گزینه های دستور رتبه

-وزن حافظه عدد
یک وزن نسبی برای پوشش حافظه که برای رتبه بندی پوشش غیر منحصر به فرد استفاده می شود، مشخص می کند
نکته ها. ارزش عدد نسبت به مقادیر استفاده شده در است -تغییر وزن,
-خط وزن, -وزن شانه, وزن-fsm و ادعای وزن گزینه های دستور رتبه

-تغییر وزن عدد
یک وزن نسبی را برای پوشش ضامن که برای رتبه بندی پوشش غیر منحصر به فرد استفاده می شود، مشخص می کند
نکته ها. ارزش عدد نسبت به مقادیر استفاده شده در است -وزن حافظه,
-خط وزن, -وزن شانه, وزن-fsm و ادعای وزن گزینه های دستور رتبه

منحصر به فرد COMMAND

گزینه های زیر با دستور exclude معتبر هستند:

-f نام فایل
نام فایلی را مشخص می کند که شامل گزینه های بیشتری برای دستور exclude است.
این گزینه ممکن است به تعداد دفعات لازم برای یک تماس واحد مشخص شود
دستور را حذف کن

-h اطلاعات استفاده از دستور exclude را ایجاد می کند.

-m اجازه می دهد تا یک پیام حذف با هر نقطه پوششی مرتبط شود
از حالت شامل به حالت مستثنی شده. برای هر نقطه پوششی که ملاقات می کند
این الزام، از کاربر خواسته می شود تا یک دلیل را وارد کند. دلیل ممکن است
هر طول و هر تعداد خط. با این حال، تمام کاراکترهای قالب بندی (به عنوان مثال،
خطوط جدید، برگه ها، فضاهای اضافی و غیره) حذف شده و با یک تک جایگزین می شوند
فاصله زمانی که بعداً نمایش داده شود. برای پایان دادن به ورودی یک پیام، یک بازگشت را بزنید،
یک کاراکتر نقطه (.) را وارد کنید و دوباره بازگشت را بزنید. دوره پایانی
شخصیت بخشی از پیام حذف نخواهد بود.

-p باعث می شود تمام نقاط پوشش مشخص شده وضعیت خروج فعلی خود را چاپ کنند و
دلیل حذف (اگر برای نقطه پوشش حذف شده وجود داشته باشد) به استاندارد
خروجی اگر این گزینه مشخص شده باشد، -m گزینه نادیده گرفته خواهد شد.

استفاده كردن تحت پوشش AS A IPV MODULE

علاوه بر استفاده از دستور Covered's score برای تجزیه یک فایل VCD، LXT2 یا FST به چکیده
اطلاعات پوشش، Covered همچنین ممکن است به عنوان یک ماژول VPI در یک شبیه ساز استفاده شود
این اطلاعات را استخراج کنید مزایای استفاده از Covered به عنوان VPI نسبت به Dumpfile Reader
شامل موارد زیر است. اولاً، فایل‌های VCD می‌توانند بسیار بزرگ باشند، مخصوصاً برای مدت طولانی
شبیه سازی، استفاده از فضای ارزشمند دیسک. دوم، اگر از شبیه ساز استفاده می کنید که
فایل‌ها را با فرمت متفاوتی نسبت به VCD، LXT2 یا FST تخلیه می‌کند و می‌خواهید این فایل‌ها را تبدیل کنید
نوع فایل به یکی از این نسخه ها، هزینه فضای دیسک و زمان می تواند ایجاد کند
dumpfiles که پوشش داده شده نیاز به نامطلوب است. علاوه بر این، اگرچه از Covered به عنوان VPI استفاده می شود
ماژول سرعت شبیه سازی شما را کاهش می دهد، به احتمال زیاد کل زمان صرف شده است
شبیه سازی طرح شما و امتیاز دادن به طرح در یک مرحله کوتاه تر از انجام این کار خواهد بود
دو قدم در نتیجه، ابزار پیکربندی Covered می‌تواند کتابخانه‌های آماده برای VPI ایجاد کند
شبیه سازهای رایگان و تجاری زیر (Icarus Verilog، CVER و VCS).

برای ساخت خودکار فایل‌های کتابخانه آماده VPI هنگام تولید Covered از منبع،
به سادگی یک یا چند مورد از موارد زیر را هنگام اجرای ابزار "پیکربندی" در برنامه مشخص کنید
دایرکتوری تحت پوشش پایه: --with-iv= ، --with-vcs=
path>، --with-cver= . پس از پیکربندی Covered، به سادگی تایپ کنید
'ساخت' و 'ساخت نصب'. با این کار فایل های کتابخانه آماده VPI در قسمت نصب می شود
دایرکتوری libexec را نصب کنید (به طور پیش فرض این مسیر /usr/local/libexec خواهد بود).

قبل از آماده شدن برای کامپایل طرح، ابتدا باید یک فایل CDD، یک سطح بالا ایجاد کنید
فایل Verilog و یک فایل جدول PLI (آخرین فایل فقط برای کامپایلر VCS مورد نیاز است).
این کار با مشخص کردن -vpi (نام فایل) گزینه دستور امتیاز Covered. اگر نه
نام فایل بعد از -vpi مشخص شده است، فایل های cover_vpi.v و cover_vpi.ta b خواهند بود
به همراه فایل پوشش ایجاد شده ایجاد شده است. توجه داشته باشید که این مرحله فقط باید باشد
یک بار انجام می شود مگر اینکه فایل های طراحی تغییر کنند. اکنون آماده کامپایل هستید
شبیه ساز

اگر شبیه سازی Icarus Verilog را کامپایل می کنید، به سادگی '-m' را اضافه کنید
/usr/local/libexec/covered.vpi cover_vpi.v' به خط فرمان 'iverilog'. یک بار
کامپایل کامل شده است، فایل اجرایی تولید شده را همانطور که معمولا انجام می دهید اجرا کنید.

اگر در حال کامپایل کردن یک شبیه سازی CVER هستید، به سادگی اضافه کنید
'+loadvpi=/usr/local/libexec/covered.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' فعال کنید. می‌توانید تماس $covered_sim را در آن کد سخت کنید
RTL خود را یا می توانید با استفاده از CLI، با افزودن -input input.tcl آن را به صورت پویا اجرا کنید.
به irun تغییر دهید جایی که فایل input.tcl به شکل زیر است و tb.dut همان است
نمونه پوشش:
call -systf {$covered_sim} {"scored.cdd"} tb.dut
اجرا

دو plusarg وجود دارد که می توان آن را به فایل اجرایی تولید شده در هنگام اجرا ارسال کرد
Covered تجزیه خواهد شد. '+covered_cdd= گزینه ' باعث می شود Covered به خروجی برسد
محتویات طراحی به فایل CDD مشخص شده توسط . این امکان اجرای چندگانه را فراهم می کند
از شبیه ساز برای تولید چندین فایل CDD مختلف بدون نیاز به کامپایل مجدد
به وقوع پیوستن. گزینه '+covered_debug' باعث می شود Covered مقدار زیادی خروجی را تخلیه کند
در مورد وضعیت زمان اجرا داخلی آن در طول شبیه سازی. این خروجی فقط تولید خواهد شد
اگر Covered با گزینه --enable-debug پیکربندی شده باشد. این گزینه plusarg نباید
توسط کاربران معمولی مورد استفاده قرار گیرد زیرا در درجه اول برای کمک به توسعه دهندگان Covered in در نظر گرفته شده است
اشکال زدایی.

AUTHORS

ترور ویلیامز[ایمیل محافظت شده]>

با استفاده از خدمات onworks.net تحت پوشش آنلاین استفاده کنید