покрито - онлайн в хмарі

ПРОГРАМА:

ІМ'Я

Покрито - аналізатор покриття коду Verilog

СИНТАКС

покритий [глобальні_опції] рахунок [опції]
покритий [глобальні_опції] злиття [опції] існуюча_база даних database_to_merge+
покритий [глобальні_опції] звітом [опції] файл_бази
покритий [глобальні_опції] ранжувати [опції] database_to_rank database_to_rank+
покритий [глобальні_опції] виключати [опції] Exclusive_id+ файл_бази

ОПИС

Покриті це інструмент аналізу покриття коду Verilog, який може бути корисним для визначення того, як
набір діагностичних тестів охоплює проект, який тестується. Охоплені читання в
Файли проектування Verilog і файли дампу, відформатовані VCD, LXT2 або FST з діагностичного запуску та
створює файл бази даних, який називається файлом бази даних опису покриття (CDD), використовуючи файл
команда оцінки. В якості альтернативи можна використовувати команду Covered для створення файлу CDD
і модуль Verilog для використання Covered як модуля VPI у тестовому стенді, який можна отримати
інформацію про покриття паралельно з моделюванням (див ВИКОРИСТАННЯ ПОКРИТИЙ AS A VPI МОДУЛЬ).
отриманий файл CDD можна об’єднати з іншими файлами CDD з того самого дизайну для створення
накопичене покриття за допомогою команди злиття. Після створення файлу CDD користувач може
Використовуйте Covered для створення різних зрозумілих для людини звітів про покриття у форматі ASCII або використання
Графічний інтерфейс Covered для інтерактивного перегляду результатів покриття за допомогою команди report. Якщо
виявлені непокриті точки покриття, які користувач хоче виключити з покриття, це може
оброблятися за допомогою команди виключення командного рядка або в графічному інтерфейсі. Коли кілька
Файли CDD створюються з одного дизайну, користувач може отримати рейтинг покриття
ці файли CDD, щоб визначити ідеальний порядок для регресійного тестування, а також зрозуміти
які файли CDD можна виключити з регресії через їхню нездатність відкривати нові
точки покриття. Крім того, як частина команди Covered для оцінки, умови гонки
можливості можна знайти у файлах дизайну, і їх можна або ігнорувати, позначаючи як попередження
або позначені як помилки. Вказавши умови змагань як помилки, можна також використовувати параметр Covered
як перевірка гонок.

GLOBAL ВАРІАНТИ

Ці параметри розміщуються відразу після ключового слова покритий в командному рядку. Вони
можна використовувати для будь-якої команди (за винятком -v та -h) і мають той самий ефект в
кожен випадок.

-B Затуманювати. Затуманює всі чутливі до дизайну імена перед виведенням
формат, зручний для читання користувачем. Цей параметр корисний під час спільного використання вихідних даних з
розробники Covered для цілей налагодження.

-D Відлагоджувати. Відображати інформацію, корисну для усунення проблем із інструментом. Примітка: це
Опція тепер доступна лише тоді, коли covered створено з --enable-debug
варіант налаштування.

-h Допоможіть. Відобразити цю інформацію про використання.

-P [ім'я файлу]
Режим профілювання. Вмикає внутрішній профайлер вихідного коду, який створить a
звіт про профілювання команди запуску до вказаного ім'я файлу або, якщо ні
ім'я файлу присутній у файл з ім покритий.проф. Ця опція доступна лише
якщо --enable-profiling Параметр конфігурації був вказаний, коли було Покрите
побудований.

-Q Тихий режим. Спричиняє придушення всіх вихідних даних.

-T Короткий режим. Спричиняє придушення всіх вихідних даних, за винятком попередження
повідомлення та відомості заголовка Covered.

-v Версія. Відображення поточної версії покриття.

КОМАНДИ

рахунок Синтаксує файли Verilog та файли дампів VCD/LXT2/FST для створення файлу бази даних
об’єднання та звітність.

злиття Об’єднує два або більше файлів бази даних в один.

звітом Генерує читані людиною звіти про покриття з файлу бази даних або запускає охоплення
звіт GUI.

ранжувати Створює звіт, який визначає ідеальний порядок для виконання регресій та вказує
CDD файли, які не додають нову інформацію про покриття (і, отже, можуть бути виключені
від регресій, за бажанням).

виключати
Дозволяє одну або кілька точок покриття (ідентифікованих ідентифікаторами виключення у звіті
згенеровано за допомогою параметра -x), щоб їх властивість виключення перемикалася (включати до
виключити або виключити, щоб включити) і, якщо властивість виключення встановлено на виключення,
за бажанням дозволити причину для виключення бути пов’язаною з нею та збереженою в
вказаний файл CDD.

БЕЗКОШТОВНО КОМАНДА

Для команди оцінки дійсні наступні параметри:

-A овл Спричиняє використання тверджень OVL для покриття тверджень. Цей прапор треба дати
до команди оцінки, якщо у звіті потрібні показники охоплення тверджень
команда

-cdd база даних
Те саме, що і параметр -o. Корисно, коли зарахований файл CDD є вхідним для оцінки
команда

-клі [ім'я файлу]
Викликає використання налагоджувача командного рядка під час оцінки файлу дампа VCD/LXT2/FST.
If ім'я файлу якщо вказано, цей файл містить інформацію, збережену під час попереднього виклику
зберегти hist в CLI і спричинить повторне відтворення історії, що міститься в цьому файлі
перед командним рядком CLI. Якщо ім'я файлу не вказано, підказка CLI буде
бути доступним відразу на початку моделювання. Ця опція доступна лише
коли Covered налаштовано за допомогою параметра --enable-debug варіант.

- консервативний
Якщо вказано цю опцію, будь-які логічні блоки, які містять код, які можуть викликати
невідповідності покриття, що призводять до потенційно неточних результатів покриття
вилучено з розгляду покриття. Для отримання додаткової інформації про те, що, див. Посібник користувача
тип коду може призвести до неточностей покриття.

- смітники [ім'я файлу]
Якщо цей параметр вказано без параметрів -vcd або -lxt, проект аналізується,
створюється файл CDD і називається файл модуля Verilog верхнього рівня ім'я файлу (якщо це
вказано значення) або "covered_dump.v" (якщо ім'я файлу не вказано) створюється.
Цей файл використовується при компіляції симулятора для створення файлу дампа, тобто
оптимізовано для отримання покриття для вказаного файлу CDD. Якщо -vcd або
-lxt параметри вказані, ця опція не діє. Перегляньте посібник користувача для
більше інформації про те, як використовувати цю опцію.

-D визначити_ім'я
Визначає вказане ім’я рівним 1.

-D define_name=значення
Визначає вказане ім’я до вказаного значення.

-e block_name
Ім’я модуля, завдання, функції або названий блок початку/закінчення, який не оцінюється. Викликає все
підблоки в дереві Verilog під цим блоком також не оцінюватимуться.

-еа Виключає всі завжди блоки з розгляду для покриття.

-ек Виключає всі безперервні призначення з розгляду для покриття.

-еі Виключає всі початкові блоки з розгляду для покриття.

-еф Виключає всі кінцеві блоки з розгляду для покриття.

-еп [ім'я]
Виключає весь код, знайдений між прагмами "// покриття вимкнено" та "// покриття включено".
вбудовані в дизайн. Якщо ім'я вказано, ключове слово в прагмі буде
бути змінено на цю назву замість стандартного "покриття", що дозволить користувачеві це зробити
змінити вигляд прагми, якщо вона суперечить будь-яким іншим інструментам.

-F module_name=[in_expr,]out_expr
Вказує парсеру, де знайти FSM, розташовану в модулі назва_модуля який
має вхідний вираз стану під назвою in_expr і вихідний вираз стану називається
вихідний_вираз. Якщо in_expr не зазначено, вихідний_вираз використовується як вхідний і
вихідний вираз стану.

-f ім'я файлу
Ім'я файлу, що містить додаткові аргументи для аналізу.

-fst ім'я файлу
Ім'я файлу дампа FST, за допомогою якого потрібно оцінити дизайн. Якщо -vcd, -lxt або цього параметра немає
використовується, Covered створить лише початковий файл CDD з дизайну і не створить
спробувати оцінити дизайн.

-g [назва_модуля=](1|2|3)
Дозволяє користувачеві обмежити аналізатор певним поколінням Verilog
стандарт для конкретного модуля або всієї конструкції, де 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. Якщо ім'я_модуля= вказано, синтаксичний аналізатор використовує
вказав стандарт Verilog лише для цього модуля, дозволяючи решті дизайну
використовувати глобальний стандарт. За замовчуванням для глобального стандарту встановлено найновіший
версія (3). Цю опцію можна вказати більше одного разу для даного виклику
команда оцінки; однак, якщо параметр -g вказує більше, ніж глобальне значення (тобто,
без того модуль= префікс), буде використано лише останнє значення параметра.

-h Відображає цю довідкову інформацію.

-I каталог
Каталог для пошуку включених файлів Verilog.

-i ім'я_екземпляра
Ієрархічна посилання Verilog на модуль, який знаходиться у верхній частині дерева
забив. Цей параметр необхідний, якщо модуль для перевірки покриття не є верхнім
модуль в дизайні. Якщо не вказано, -t використовується значення.

-lxt ім'я файлу
Ім'я файлу дампа LXT2, за допомогою якого потрібно оцінити дизайн. Якщо -vcd, -fst або цього параметра немає
використовується, Covered створить лише початковий файл CDD з дизайну і не створить
спробувати оцінити дизайн.

-m повідомлення
Дозволяє користувачеві вказати інформацію про цей файл CDD. Ця інформація може
бути чим завгодно (повідомлення з пробілами мають бути оточені подвійними лапками
позначки), але може включати дещо про аргументи моделювання, щоб було легше
зв’язати файл CDD з його моделюванням для відтворення файлу CDD.

-o база даних
Ім'я бази даних для запису інформації про покриття. Якщо не вказано, вихід
Ім'я файлу бази даних буде "cov.cdd".

-p ім'я файлу
Замінює назву файлу за замовчуванням, що використовується для зберігання проміжного виводу препроцесора.

-P область_параметра=значення
Виконує defparam для зазначеного параметра зі значенням.

-rS Коли перевірка умов гонки порушується, логічні блоки, що порушують, видаляються
з огляду на покриття, і всі вихідні дані, що стосуються раси, приховуються
порушення умов. Додаткову інформацію про расу дивіться в документації користувача
перевірка стану використання.

-rW Коли перевірка умов гонки порушується, логічні блоки, що порушують, видаляються
з розгляду покриття і виводиться порушення умов гонки. Це
поведінка за замовчуванням для обробки умов гонки. Додаткову інформацію дивіться в документації користувача
інформація про використання перевірки стану перегонів.

-rE Коли перевірка умов гонки порушується, причиною є вихід і підрахунок завершується
негайно. Додаткову інформацію про стан змагань дивіться в документації користувача
перевірка використання.

-rI[=Модулі ім'я]
If Модулі ім'я не вказано, перевірка стану гонки взагалі пропущена для
весь дизайн. Якщо Модулі ім'я вказано, перевірка стану гонки пропущена
для зазначеного модуля. Додаткову інформацію про расу дивіться в документації користувача
перевірка стану використання.

-rP[=ім'я])
Використовує вбудовані прагми для ігнорування певного коду з перевірки умов гонки
розгляд (якщо ім'я вказано, воно використовується як ключове слово pragma). Дивіться користувача
документація для отримання додаткової інформації про використання перевірки стану перегонів.

-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. Якщо цей параметр не вказано, за замовчуванням використовується '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 для підрахунку балів.

ВЕЛИКИЙ КОМАНДА

Наступні параметри дійсні для команди злиття:

-d ім'я файлу
Каталог для пошуку файлів CDD для включення. Цей параметр використовується спільно
з -екст параметр, який визначає розширення файлу для визначення
які файли в каталозі є файлами CDD.

-R (перший|останній|всі|new|старий)
Визначає спосіб вирішення причини виключення. Якщо два або більше файлів CDD
об’єднані мають причини виключення, зазначені для тієї ж точки покриття,
Причину виключення потрібно вирішити (якщо це не те саме значення рядка). Якщо
цей параметр не вказано, а конфлікт знайдено, Covered буде інтерактивно
запитати введення для кожного виключення щодо того, як з ним поводитися. Якщо цей варіант є
зазначено, він розповідає Covered, як обробляти всі конфлікти причин виключення. The
значення наступні:.br

перший - Використовується файл CDD, який містив першу причину виключення.

останній - Використовується файл CDD, який містив останню причину виключення.

всі - Усі причини виключення використовуються (з'єднані).

new - Використовуйте найновішу вказану причину виключення.

старий - Використовуйте найстарішу вказану причину виключення.

-екст розширення
Використовується спільно з -d варіант. Якщо ні -екст параметри вказані на
у командному рядку використовується значення за замовчуванням «.cdd». Зверніть увагу, що крапка (.) має бути
бути уточненим.

-f ім'я файлу
Ім'я файлу, що містить додаткові аргументи для аналізу.

-h Відображає цю довідкову інформацію.

-m повідомлення
Дозволяє користувачеві вказати інформацію про цей файл CDD. Ця інформація може
бути чим завгодно (повідомлення з пробілами мають бути оточені подвійними лапками
позначки).

-o ім'я файлу
Файл для виведення нової бази даних. Якщо цей аргумент не вказано, то
існуюча_база даних використовується як ім'я вихідної бази даних.

ЗВІТ КОМАНДА

Наступні параметри дійсні з командою report:

-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 буде відформатовано так, щоб використовувати якомога більшу частину поточного
по можливості, обтікаючи текст, коли рядок досягає максимальної ширини рядка. The
за замовчуванням максимальна ширина рядка становить 115 символів (це значення використовується, якщо немає числа
вказано за допомогою параметра -w). Якщо число вказано за допомогою параметра -w, це
значення використовується для максимальної ширини лінії.

-x Виводить ідентифікатори виключення всіх відкритих і виключених точок покриття всередині
дужки перед пов’язаним докладним виведенням точки покриття. The
Ідентифікатори виключення можна використовувати для виключення/включення точок покриття за допомогою функції виключення
команда

RANK КОМАНДА

Наступні параметри дійсні з командою rank:

-d ім'я файлу
Каталог для пошуку файлів CDD для включення. Цей параметр використовується спільно
з -екст параметр, який визначає розширення файлу для визначення
які файли в каталозі є файлами CDD.

- глибина номер
Вказує мінімальну кількість файлів CDD, необхідних для досягнення кожної точки покриття. The
Значення номер має бути більше нуля. За замовчуванням 1.

-екст розширення
Використовується спільно з -d варіант. Якщо ні -екст параметри вказані на
у командному рядку використовується значення за замовчуванням «.cdd». Зверніть увагу, що крапка (.) має бути
бути уточненим.

-f ім'я файлу
Ім'я файлу, що містить додаткові аргументи для аналізу.

-h Відображає довідкову інформацію для команди рангу.

-лише імена
Якщо вказано, виводить лише необхідні імена файлів CDD, які потрібно запустити в файлі
щоб їх потрібно було запустити. Якщо цей параметр не встановлено, буде виведено звіт у стилі звіту
надано додатковою інформацією. Ця опція має бути корисною в сценаріях
які хочуть, щоб як вихідні дані запускалися лише імена файлів CDD.

-o ім'я файлу
Ім'я файлу для виведення інформації про рейтинг. За замовчуванням — стандартний вихід.

-обов'язково-cdd ім'я файлу
Назва CDD, яку слід вважати обов’язковим для ранжирування (тобто не може бути
виключено з будь-якої причини).

-обов'язковий список ім'я файлу
Ім'я файлу, що містить список CDD, які слід вважати обов'язковими CDD
ранжувати. Імена файлів мають бути розділені пробілами або символами нового рядка
у файлі.

-v Викликає відображення докладного виводу під час виконання команди rank. Це виводить
діагностична інформація про кожну з різних фаз алгоритму ранжирування
включаючи час виконання, кількість включених/виключених файлів CDD та кількість охоплення
бали, отримані рейтинговими CDD під час кожної фази. Ця інформація має бути
корисно для тих, хто цікавиться алгоритмом ранжування та його продуктивністю.

-підтвердження ваги номер
Визначає відносне зважування для покриття твердження, яке використовується для ранжирування неунікальних
точки покриття. Значення номер є відносно значень, використаних у
- перемикач ваги, -вага-пам'ять, -гиря-гребінь, -вага-fsm та -вагова лінія ранжувати
параметри команди.

-гиря-гребінь номер
Визначає відносне зважування для комбінаційного логічного покриття, яке використовується для ранжирування
неунікальні точки покриття. Значення номер відносно значень, що використовуються в
- перемикач ваги, -вага-пам'ять, -підтвердження ваги, -вага-fsm та -вагова лінія
параметри команд рангу.

-вага-fsm номер
Визначає відносне зважування для стану FSM та покриття переходу станів, до якого використовується
ранжувати неунікальні точки покриття. Значення номер є відносно значень
використовується в - перемикач ваги, -вага-пам'ять, -гиря-гребінь, -підтвердження ваги та
-вагова лінія параметри команд рангу.

-вагова лінія номер
Визначає відносне зважування для покриття рядків, яке використовується для ранжирування неунікального покриття
точки. Значення номер є відносно значень, використаних у - перемикач ваги,
-вага-пам'ять, -гиря-гребінь, -вага-fsm та -підтвердження ваги параметри команд рангу.

-вага-пам'ять номер
Визначає відносне зважування для покриття пам’яті, яке використовується для ранжирування неунікального покриття
точки. Значення номер є відносно значень, використаних у - перемикач ваги,
-вагова лінія, -гиря-гребінь, -вага-fsm та -підтвердження ваги параметри команд рангу.

- перемикач ваги номер
Визначає відносне зважування для перемикання покриття, яке використовується для ранжирування неунікального покриття
точки. Значення номер є відносно значень, використаних у -вага-пам'ять,
-вагова лінія, -гиря-гребінь, -вага-fsm та -підтвердження ваги параметри команд рангу.

ВИКЛЮЧИТИ КОМАНДА

Наступні параметри дійсні з командою exclude:

-f ім'я файлу
Вказує ім’я файлу, який містить більше параметрів для команди виключення.
Цей параметр можна вказувати стільки разів, скільки необхідно для одного виклику
команду виключити.

-h Генерує інформацію про використання для команди виключення.

-m Дозволяє пов’язувати повідомлення про виключення з будь-якими точками покриття
з включеного стану у виключений стан. Для кожної точки покриття, яка відповідає
ця вимога, користувачу буде запропоновано ввести причину. Причина може бути
будь-якої довжини та будь-якої кількості рядків; однак усі символи форматування (тобто
нові рядки, табуляції, додаткові пробіли тощо) буде видалено та замінено єдиним
простір, коли він буде відображатися пізніше. Щоб завершити введення повідомлення, натисніть клавішу повернення,
введіть один символ крапки (.) і знову натисніть повернення. Заключний період
символ не буде частиною повідомлення про виключення.

-p Примушує всі вказані точки покриття друкувати їхній поточний статус виключення та
причина виключення (якщо така існує для виключеної точки покриття) до стандартної
вихід. Якщо вказано цю опцію, -m опція буде проігнорована.

ВИКОРИСТАННЯ ПОКРИТИЙ AS A VPI МОДУЛЬ

На додаток до використання команди Covered score для аналізу файлів VCD, LXT2 або FST для реферування
інформація про покриття, Covered також може використовуватися як модуль VPI в симуляторі для
витягти цю інформацію. Переваги використання Covered як VPI перед зчитувачем файлів дампа
включають наступне. По-перше, файли VCD можуть бути надзвичайно великими, особливо довго
моделювання, використовуючи цінний дисковий простір. По-друге, якщо ви використовуєте симулятор
дамп файлів у форматі, відмінному від VCD, LXT2 або FST, і ви хочете конвертувати цей дамп
типів файлів до однієї з цих версій, вартість дискового простору та часу може зробити створення
файли дампа, які Покриті вимагає, небажані. Крім того, використовуючи Covered як VPI
модуль сповільнить швидкість симуляції, швидше за все, загальний витрачений час
моделювання вашого дизайну та оцінка дизайну за один крок буде коротшим, ніж зробити це в
два кроки. В результаті утиліта налаштування Covered може генерувати готові бібліотеки для VPI
наступні безкоштовні та комерційні симулятори (Icarus Verilog, CVER і VCS).

Щоб автоматично створювати готові до VPI файли бібліотеки під час створення Covered з джерела,
просто вкажіть один або кілька з наступних параметрів під час запуску утиліти "configure" у файлі
базовий Покритий каталог: --with-iv= , --with-vcs=
шлях>, --with-cver= . Після налаштування Covered просто введіть
'make' і 'make install'. Це встановить готові до VPI файли бібліотеки в
інсталяційний каталог libexec (за замовчуванням цей шлях буде /usr/local/libexec).

Перш ніж ви будете готові до компіляції дизайну, ви повинні спочатку створити файл CDD верхнього рівня
Файл Verilog та файл таблиці PLI (останній файл потрібен лише для компілятора VCS).
Це робиться шляхом вказівки -vpi (ім'я файлу) параметр для команди підрахунку оцінки. Якщо ні
Ім'я файлу вказано після -vpi, файли covered_vpi.v і covered_vpi.ta b будуть
створений разом із згенерованим файлом покриття. Зауважте, що цей крок потрібно лише зробити
виконується один раз, якщо файли дизайну не зміняться. Тепер ви готові до компіляції
тренажер.

Якщо ви збираєте моделювання Icarus Verilog, просто додайте '-m
/usr/local/libexec/covered.vpi covered_vpi.v» до командного рядка «iverilog». один раз
компіляція завершена, запустіть згенерований виконуваний файл, як зазвичай.

Якщо ви збираєте моделювання CVER, просто додайте
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v' до
'cver' командний рядок.

Якщо ви збираєте моделювання VCS, просто додайте '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v' до 'vcs'
командний рядок. Після завершення компіляції запустіть створений виконуваний файл як ви
як правило.

Якщо ви збираєте моделювання NC-Verilog, перейдіть до команди NC-Verilog irun для завантаження
закритий спільний об'єкт: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
і увімкніть весь доступ за допомогою '-access +rwc'. Ви можете жорстко закодувати виклик $covered_sim
ваш RTL або ви можете запускати його динамічно за допомогою CLI, додавши -input input.tcl
переключитися на irun. Де файл input.tcl виглядає так, а tb.dut – це
екземпляр покриття:
виклик -systf {$covered_sim} {"scored.cdd"} tb.dut
пробіг

Є два plusarg, які можна передати згенерованому виконуваному файлу під час його запуску
Покритий буде розбір. "+covered_cdd= ' призведе до виведення Covered
оцінений вміст дизайну до файлу CDD, зазначеного в . Це дозволяє виконувати кілька запусків
симулятора для створення кількох різних файлів CDD без необхідності перекомпіляції
відбуваються. Параметр '+covered_debug' призведе до того, що Covered виведе велику кількість надмірного виводу
про його внутрішній стан під час моделювання. Цей вихід буде лише згенеровано
якщо Covered було налаштовано з параметром --enable-debug. Цей параметр plusarg не повинен
використовуватися звичайними користувачами, оскільки в першу чергу призначений для допомоги розробникам Covered in
налагодження.

AUTHORS

Тревор Вільямс[захищено електронною поштою]>

Користуйтеся онлайн-сервісами onworks.net