verilator_coverage - آنلاین در ابر

برنامه:

نام

verilator_coverage - تحلیلگر پوشش Verilator

خلاصه

verilator_coverage -- help
verilator_coverage --نسخه

verilator_coverage -- annotate

verilator_coverage -write merged.dat -read ...

Verilator_coverage گزارش های پوشش Verilator را پردازش می کند.

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

آرگومان‌های استاندارد Verilog مسیرهای جستجوی لازم برای یافتن را مشخص می‌کنند
کد منبعی که تحلیل پوشش روی آن انجام شد.

برای دریافت درصدهای پوشش صحیح، ممکن است بخواهید logs/coverage.pl را در Emacs و بخوانید
یک Mx keep-lines انجام دهید تا فقط آمارهای مورد علاقه را شامل شود.

برای شرایط Verilog که هرگز نباید رخ دهد، باید یک دستور $stop اضافه کنید. این
پوشش را در طول ساخت بعدی حذف می کند.

ادله

نام فایل
فایل داده ورودی را مشخص کنید، ممکن است برای خواندن چندین ورودی تکرار شود. اگر فایل دیتا وجود ندارد
مشخص شده است، به طور پیش فرض coverage.dat خوانده می شود.

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

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

-- حاشیه نویسی-min تعداد دفعات مشاهده
حداقل تعداد رخدادهایی را مشخص می کند که در صورت نقطه پوشش باید علامت گذاری شود
آستانه مشخصی را شامل نمی شود. پیش فرض 10 است.

--کمک
این پیام و نسخه برنامه را نمایش می دهد و خارج می شود.

-- رتبه
یک گزارش آزمایشی چاپ کنید که اهمیت نسبی هر آزمون را در پوشش فهرست می کند
تمام نقاط پوشش گزارش "پوشش داده شده" را نشان می دهد که تعداد آنها را نشان می دهد
نکاتی که آزمون پوشش می دهد. یک تست اگر یک سطل داشته باشد برای پوشش یک نقطه در نظر گرفته می شود
تعداد حداقل 1. ستون "رتبه" دارای عدد T بالاتری است که نشان می دهد آزمون بیشتر است
مهم است و رتبه 0 به این معنی است که آزمون برای پوشش دادن امتیازات نیازی به اجرا ندارد.
"RankPts" تعداد نقاط پوششی را نشان می دهد که این آزمون به طور کلی به آنها کمک می کند
پوشش در صورتی که همه آزمون ها به ترتیب بالاترین تا پایین ترین رتبه اجرا شوند.

-- لغو پیوند
هنگام استفاده از --write برای ترکیب داده های پوشش، پیوند همه فایل های ورودی را پس از خروجی لغو کنید
ایجاد شده است.

- نسخه
نسخه برنامه را نمایش می دهد و خارج می شود.

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

VERILOG ادله

آرگومان های زیر با GCC، VCS و اکثر برنامه های Verilog سازگار هستند.

+libext+EXT+EXT...
پسوند فایل های Verilog را تعریف می کند.

+ تعریف +VAR+ارزش = مورد -DVAR=ارزش
متغیر داده شده را تعریف می کند.

+incdir+دیر = مورد -Iدیر
دایرکتوری را برای یافتن فایل های شامل مشخص می کند.

-f پرونده
یک فایل حاوی آرگومان های اضافی خط فرمان را مشخص می کند.

-y دیر
دایرکتوری جستجوی ماژول را مشخص می کند.

توزیع

آخرین نسخه در دسترس است ازhttp://www.veripool.org/>.

حق چاپ 2003-2015 توسط ویلسون اسنایدر. Verilator یک نرم افزار رایگان است. می توانید آن را دوباره توزیع کنید
و/یا تنظیمات داخلی Verilator را تحت شرایط GNU Lesser General تغییر دهید
مجوز عمومی نسخه 3 یا مجوز هنری Perl نسخه 2.0.

AUTHORS

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

با استفاده از خدمات onworks.net از verilator_coverage به صورت آنلاین استفاده کنید