Це команда verilator_coverage, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн емулятор Windows або онлайн емулятор MAC OS
ПРОГРАМА:
ІМ'Я
verilator_coverage - аналізатор покриття Verilator
СИНТАКСИС
verilator_coverage --довідка
verilator_coverage --версія
verilator_coverage -- анотувати
verilator_coverage -записати merged.dat -прочитати ...
Процеси Verilator_coverage Звіти про покриття Verilator.
За допомогою --anotate він читає вказаний файл даних і створює анотований вихідний код за допомогою
анотовані показники покриття. Якщо на одній лінії існує кілька точок покриття,
будуть вставлені додаткові рядки, щоб повідомити про додаткові точки.
Додаткові стандартні аргументи Verilog вказують шляхи пошуку, необхідні для пошуку
вихідний код, на якому проводився аналіз покриття.
Щоб отримати правильний відсоток покриття, ви можете прочитати logs/coverage.pl в Emacs і
виконайте Mx Keep-lines, щоб включити лише ту статистику, яка вас цікавить.
Для умов Verilog, які ніколи не повинні виникати, слід додати оператор $stop. Це
видалить покриття під час наступної збірки.
АРГУМЕНТИ
ім'я файлу
Вкажіть файл вхідних даних, який може повторюватися для читання кількох введених даних. Якщо файлу даних немає
за замовчуванням читається coverage.dat.
-- анотувати вихідний_каталог
Уточнює назву каталогу, яким мають бути вихідні файли з анотованими даними покриття
написано до.
--коментувати-все
Вказує, що всі файли мають відображатися. За замовчуванням лише ті вихідні файли, які мають
низьке покриття записуються у вихідний каталог.
-- анотація-хв вважати
Вказує мінімальну кількість випадків, яку слід позначити, якщо точка покриття
не включає вказаний поріг. За замовчуванням 10.
--допомога
Відображає це повідомлення та версію програми та виходить.
-- ранг
Роздрукуйте експериментальний звіт із зазначенням відносної важливості кожного тесту в охопленні
всі точки покриття. У звіті відображається "Покриті", що вказує на кількість
точки, які охоплює тест; Вважається, що тест покриває точку, якщо в ньому є відро
кількість принаймні 1. Стовпець "ранг" має більшу цифру t, що означає, що тест більше
важливо, а ранг 0 означає, що тест не потрібно виконувати, щоб охопити бали.
«RankPts» вказує на загальну кількість точок покриття, до якої цей тест внесе
покриття, якщо всі тести виконуються в порядку від найвищого до найнижчого.
--від'єднати
Якщо ви використовуєте --write для об’єднання даних покриття, від’єднайте всі вхідні файли після виведення
був створений.
-- версія
Відображає версію програми та виходить з неї.
--пиши ім'я файлу
Вказує сукупні результати покриття, підсумовані за всіма файлами, які мають бути
записується до заданого імені файлу. Це корисно в сценаріях для поєднання багатьох послідовностей
працює в одному основному файлі покриття.
VERILOG АРГУМЕНТИ
Наступні аргументи сумісні з GCC, VCS та більшістю програм Verilog.
+libext+ext+ext...
Визначає розширення для файлів Verilog.
+визначити+було+значення =пункт -Dбуло=значення
Визначає задану змінну.
+incdir+реж =пункт -Iреж
Вказує каталог для пошуку включених файлів.
-f файл
Вказує файл, що містить додаткові аргументи командного рядка.
-y реж
Вказує каталог пошуку модуля.
ПОШИРЕННЯ
Остання версія доступна зhttp://www.veripool.org/>.
Авторські права 2003-2015, Вілсон Снайдер. Verilator — безкоштовне програмне забезпечення; ви можете перерозповсюджувати його
та/або змінювати внутрішні елементи Verilator відповідно до умов GNU Lesser General
Публічна ліцензія версії 3 або Perl Artistic License версії 2.0.
AUTHORS
Вілсон Снайдер[захищено електронною поштою]>
Використовуйте verilator_coverage онлайн за допомогою служб onworks.net
