покрытые - Интернет в облаке

ПРОГРАММА:

ИМЯ

Covered - Анализатор покрытия кода Verilog

СИНТАКСИС

покрытый [global_options] Гол [кредита]
покрытый [global_options] слияние [кредита] существующая_база данных база данных_to_merge+
покрытый [global_options] отчету [кредита] файл_базы_данных
покрытый [global_options] ранг [кредита] база данных_to_rank база данных_to_rank+
покрытый [global_options] исключать [кредита] exclusion_id+ файл_базы_данных

ОПИСАНИЕ

Крытая это инструмент анализа покрытия кода Verilog, который может быть полезен для определения того, как
Ну, тестируемый дизайн покрывается набором диагностических тестов. Охваченные чтения в
Файлы проекта Verilog и файл дампа в формате VCD, LXT2 или FST из диагностического прогона и
генерирует файл базы данных, называемый файлом базы данных описания покрытия (CDD), используя
оценка команды. Команду Covered Score в качестве альтернативы можно использовать для создания файла CDD.
и модуль Verilog для использования Covered в качестве модуля VPI в тестовой среде, который может получить
информацию о покрытии параллельно с моделированием (см. С ПОМОЩЬЮ РАСПРОСТРАНЯЕТСЯ AS A VPI МОДУЛЬ).
полученный файл CDD можно объединить с другими файлами CDD того же дизайна для создания
накопленное покрытие, используя команду слияния. После создания файла CDD пользователь может
используйте Covered для создания различных удобочитаемых отчетов о покрытии в формате ASCII или используйте
Графический интерфейс Covered для интерактивного просмотра результатов покрытия с помощью команды отчета. Если
обнаружены непокрытые точки покрытия, которые пользователь хочет исключить из покрытия, это может
обрабатываться либо с помощью команды exclude из командной строки, либо в графическом интерфейсе пользователя. Когда несколько
Файлы CDD создаются на основе одного и того же дизайна, пользователь может получить рейтинг охвата
эти файлы CDD, чтобы определить идеальный порядок для регрессионного тестирования, а также понять
какие файлы CDD можно исключить из регрессии из-за их неспособности найти новые
точки покрытия. Кроме того, как часть команды по подсчету очков Covered, состояние гонки
возможности находятся в файлах проекта и могут быть либо проигнорированы, либо помечены как предупреждения
или помечены как ошибки. Указав условия гонки как ошибки, также можно использовать Covered.
как средство проверки состояния гонки.

GLOBAL ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ

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

-B Затемнить. Затемняет все чувствительные к дизайну имена перед выводом в
удобочитаемый формат. Эта опция полезна при совместном использовании вывода с
Разработчики Covered в целях отладки.

-D Отлаживать. Отображение информации, полезной для устранения неполадок инструмента. Примечание: это
опция теперь доступна только в том случае, если она собрана с помощью --enable-debug
вариант конфигурации.

-h Помощь. Отобразите эту информацию об использовании.

-P [имя файла]
Режим профилирования. Включает профилировщик внутреннего исходного кода, который будет создавать
отчет о профилировании команды запуска на указанный имя файла или, если нет
имя файла присутствует, в файл с именем покрытый.проф. Эта опция доступна только
если - включить профилирование опция конфигурации была указана, когда была
встроенный.

-Q Тихий режим. Вызывает подавление всего вывода.

-T Краткий режим. Вызывает подавление всего вывода, за исключением предупреждения
сообщения и информация заголовка Covered.

-v Версия. Показать текущую защищенную версию.

КОМАНДЫ

Гол Анализирует файлы Verilog и файлы дампа VCD / LXT2 / FST для создания файла базы данных, используемого для
слияние и отчетность.

слияние Объединяет два или более файла базы данных в один.

отчету Создает удобочитаемые отчеты о покрытии из файла базы данных или запускает покрытие
отчет GUI.

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

исключать
Разрешает одну или несколько точек покрытия (идентифицированных идентификаторами исключения в отчете).
сгенерированы с параметром -x), чтобы их свойство исключения было переключено (включить в
exclude или exclude для включения) и, если свойство исключения установлено на exclude,
при желании разрешить связать причину исключения с ней и сохранить в
указанный файл CDD.

СЧЕТ КОМАНДА

Следующие параметры действительны для команды score:

-A овл Заставляет использовать утверждения OVL для покрытия утверждений. Этот флаг должен быть предоставлен
команде Score, если в отчете требуются показатели покрытия утверждений
команда.

-cdd база данных
То же, что и опция -o. Полезно, когда оцениваемый файл CDD является входом для оценки
команда.

-кли [имя файла]
Вызывает использование отладчика командной строки во время оценки файла дампа VCD / LXT2 / FST.
If имя файла указан, этот файл содержит информацию, сохраненную в предыдущем вызове
чтобы сохранить его в интерфейсе командной строки и воспроизвести историю, содержащуюся в этом файле.
до командной строки CLI. Если имя файла не указан, в командной строке появится
быть доступным сразу в начале моделирования. Эта опция доступна только
когда Covered настроен с --enable-debug опцию.

-консервативный
Если указана эта опция, любые логические блоки, содержащие код, который может вызвать
расхождения в покрытии, ведущие к потенциально неточным результатам покрытия,
снято с рассмотрения покрытия. См. Руководство пользователя для получения дополнительной информации о том, что
тип кода может привести к неточности покрытия.

-дампвары [имя файла]
Если этот параметр указан без параметров -vcd или -lxt, дизайн анализируется,
создается файл CDD и файл модуля Verilog верхнего уровня с именем имя файла (если это
указано значение) или "closed_dump.v" (если имя файла не указано) создается.
Этот файл используется при компиляции симулятора для создания файла дампа, который
оптимизирован для получения покрытия для указанного файла CDD. Если либо -vcd, либо
указаны параметры -lxt, этот параметр не действует. См. Руководство пользователя для
больше информации о том, как использовать эту опцию.

-D определить_имя
Задает для указанного имени значение 1.

-D define_name = значение
Определяет указанное имя для указанного значения.

-e имя_блока
Имя модуля, задачи, функции или именованного начального / конечного блока, который не оценивается. Вызывает все
подблоки в дереве Verilog под этим блоком также не должны оцениваться.

-ea Исключает из рассмотрения все блоки всегда.

-ec Исключает все постоянные назначения из рассмотрения для покрытия.

-эй Исключает все начальные блоки из рассмотрения для покрытия.

-эф Исключает все заключительные блоки из рассмотрения для покрытия.

-эп [имя]
Исключает весь код, найденный между прагмами '// покрытие выключено' и '// покрытие включено'
встроены в дизайн. Если имя указано, ключевое слово в прагме будет
быть изменено на это имя вместо "покрытия" по умолчанию, что позволяет пользователю
измените внешний вид прагмы, если она конфликтует с другими инструментами.

-F имя_модуля = [in_expr,] out_expr
Указывает парсеру, где найти конечный автомат, расположенный в модуле имя_модуля который
имеет выражение состояния ввода, называемое in_expr и выражение состояния вывода, называемое
out_expr. Если in_expr не указано, out_expr используется как вход, так и
выражение состояния вывода.

-f имя файла
Имя файла, содержащего дополнительные аргументы для анализа.

-фст имя файла
Имя файла дампа 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 parameter_scope = значение
Выполняет defparam для указанного параметра со значением.

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

-RW При нарушении проверки условий гонки ошибочные логические блоки удаляются.
с учетом покрытия и нарушения состояния гонки. Это
поведение по умолчанию для обработки состояния гонки. См. Дополнительную информацию в пользовательской документации.
информация об использовании проверки состояния гонки.

-rЕ Когда проверки условий гонки нарушаются, причина выводится, и подсчет очков завершается.
немедленно. См. Дополнительную информацию о состоянии гонки в пользовательской документации.
проверка использования.

-rI [=модуль имя]
If модуль имя не указан, проверка состояния гонки полностью пропускается для
весь дизайн. Если модуль имя указано, проверка состояния гонки пропускается
для указанного модуля. Дополнительную информацию о расе см. В пользовательской документации.
проверка условий использования.

-rP [=имя])
Использует встроенные прагмы для игнорирования определенного кода из проверки состояния гонки
рассмотрение (если имя указано, что оно используется как ключевое слово pragma). См. Пользователя
документацию для получения дополнительной информации об использовании проверки состояния гонки.

-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 (мин | тип | макс)
Указывает, какое значение использовать при обнаружении выражения задержки в форме:
мин: тип: макс. Если этот параметр не указан, по умолчанию используется выбор «тип».

-v имя файла
Имя конкретного файла Verilog для оценки.

-VCD имя файла
Имя файла дампа VCD для оценки дизайна. Если -lxt, -fst или этот параметр не
используется, Covered создаст только исходный файл CDD из проекта и не будет
попытка забить дизайн.

-vpi [имя файла]
Если этот параметр указан без параметров -vcd, -lxt или -fst, дизайн будет
анализируется, создается файл CDD и файл модуля Verilog верхнего уровня с именем имя файла
(если это значение указано) или "closed_vpi.v" (если имя файла не указано)
создается вместе с файлом таблицы PLI с именем имя файла.ta b или "closed_vpi.v.ta b".
Оба эти файла используются при компиляции симулятора для использования Covered as.
модуль VPI. Если указаны параметры -vcd, -lxt или -fst, этот параметр
не имеет никакого эффекта.

-Вигнор
Подавить вывод предупреждений во время синтаксического анализа кода и моделирования.

-y каталог
Каталог для поиска неопределенных файлов Verilog.

+ libext +.расширение[+.расширение]*+
Расширения файлов Verilog для оценки.

MERGE КОМАНДА

Для команды слияния допустимы следующие параметры:

-d имя файла
Каталог для поиска файлов CDD для включения. Эта опция используется вместе
с -доб. опция, которая указывает расширение файла, которое будет использоваться для определения
какие файлы в каталоге являются файлами CDD.

-er (первый|последний|Найти|new|старый)
Указывает, как обрабатывать разрешение причин исключения. Если два или более файла CDD
при объединении причины исключения указаны для одной и той же точки покрытия,
Причина исключения должна быть разрешена (если это не то же самое строковое значение). Если
эта опция не указана, и обнаружен конфликт, Covered будет интерактивно
запрашивать ввод для каждого исключения относительно того, как с этим справиться. Если эта опция
указано, он сообщает Covered, как обрабатывать все конфликты причин исключения. В
значения следующие: .br

первый - Используется CDD-файл, содержащий первую причину исключения.

последний - Используется CDD-файл, содержащий последнюю причину исключения.

Найти - Используются все причины исключения (объединены).

new - Используйте самую новую указанную причину исключения.

старый - Использовать самую старую указанную причину исключения.

-доб. расширение
Используется вместе с -d вариант. Если нет -доб. параметры указаны на
в командной строке используется значение по умолчанию .cdd. Обратите внимание, что точка (.) Должна
быть уточненным.

-f имя файла
Имя файла, содержащего дополнительные аргументы для анализа.

-h Отображает эту справочную информацию.

-m сообщение
Позволяет пользователю указать информацию об этом файле CDD. Эта информация может
быть чем угодно (сообщения с пробелами должны быть заключены в двойные кавычки
Метки).

-o имя файла
Файл, в который выводится новая база данных. Если этот аргумент не указан,
существующая_база данных используется как имя выходной базы данных.

ДОКЛАД КОМАНДА

Следующие параметры действительны с командой отчета:

-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 = состояние конечного автомата
и переход между состояниями, r = условия гонки, a = утверждение, m = память. По умолчанию ltcf.

-o имя файла
Файл, в который выводится информация отчета. По умолчанию используется стандартный вывод.

-s Подавляет модули / экземпляры, которые не содержат информации о покрытии, из вывода
к отчету. Используется для устранения потенциально бессмысленной информации из
сообщить.

-v Устарело. Заменяется на -dd или -d v.

-Посмотреть Запускает графический интерфейс для интерактивного отчета о покрытии.

-w (номер)
Задает максимальную ширину строки (в символах), которая может использоваться для вывода Verilog
Информация. Если этот параметр не указан, весь код Verilog в отчете будет
сохранить то же форматирование, которое было указано в исходном коде Verilog. Если это
опция указана, код Verilog будет отформатирован для использования как можно большей части текущего
line, насколько это возможно, перенос текста, когда строка достигает максимальной ширины строки. В
максимальная ширина строки по умолчанию составляет 115 символов (это значение используется, если номер не указан).
указан с параметром -w). Если число указано с параметром -w, это
значение используется для максимальной ширины линии.

-x Выводит идентификаторы исключения для всех непокрытых и исключенных точек покрытия в пределах
круглые скобки перед соответствующим подробным выводом точки покрытия. В
Идентификаторы исключения могут использоваться для исключения / включения точек покрытия через исключение
команда.

RANK / ЗВАНИЕ КОМАНДА

Следующие параметры действительны для команды rank:

-d имя файла
Каталог для поиска файлов CDD для включения. Эта опция используется вместе
с -доб. опция, которая указывает расширение файла, которое будет использоваться для определения
какие файлы в каталоге являются файлами CDD.

-глубина номер
Задает минимальное количество необходимых файлов CDD для достижения каждой точки покрытия. В
Значение номер должно быть больше нуля. По умолчанию 1.

-доб. расширение
Используется вместе с -d вариант. Если нет -доб. параметры указаны на
в командной строке используется значение по умолчанию .cdd. Обратите внимание, что точка (.) Должна
быть уточненным.

-f имя файла
Имя файла, содержащего дополнительные аргументы для анализа.

-h Отображает справочную информацию для команды ранга.

-только имена
Если указано, выводятся только необходимые имена файлов CDD, которые необходимо запустить в
для того, чтобы их запустить. Если этот параметр не установлен, выводится в виде отчета.
предоставлена ​​дополнительная информация. Эта опция предназначена для использования в скриптах.
которые хотят, чтобы имена файлов CDD запускались как выходные.

-o имя файла
Имя файла, в который выводится информация о ранжировании. По умолчанию используется стандартный вывод.

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

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

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

-вес-утверждение номер
Задает относительный вес для покрытия утверждений, используемый для ранжирования неуникальных
точки покрытия. Значение номер относительно значений, используемых в
-вес-переключение, -вес-память, -вес-расческа, -вес-fsm и -вес ранг
параметры команды.

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

-вес-fsm номер
Задает относительный вес для покрытия состояния конечного автомата и перехода состояний, используемого для
ранжируйте неуникальные точки покрытия. Значение номер относительно значений
используется в -вес-переключение, -вес-память, -вес-расческа, -вес-утверждение и
-вес параметры команды ранга.

-вес номер
Задает относительный вес покрытия линии, используемый для ранжирования неуникального покрытия.
точки. Значение номер относительно значений, используемых в -вес-переключение,
-вес-память, -вес-расческа, -вес-fsm и -вес-утверждение параметры команды ранга.

-вес-память номер
Задает относительный вес покрытия памяти, используемый для ранжирования неуникального покрытия
точки. Значение номер относительно значений, используемых в -вес-переключение,
-вес, -вес-расческа, -вес-fsm и -вес-утверждение параметры команды ранга.

-вес-переключение номер
Задает относительный вес для переключения покрытия, используемого для ранжирования неуникального покрытия.
точки. Значение номер относительно значений, используемых в -вес-память,
-вес, -вес-расческа, -вес-fsm и -вес-утверждение параметры команды ранга.

ИСКЛЮЧИТЬ КОМАНДА

Следующие параметры допустимы с командой exclude:

-f имя файла
Задает имя файла, который содержит дополнительные параметры для команды exclude.
Эта опция может быть указана столько раз, сколько необходимо для одного вызова
исключить команду.

-h Создает информацию об использовании для команды exclude.

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

-p Заставляет все указанные точки покрытия печатать свой текущий статус исключения и
причина исключения (если таковая существует для исключенной точки покрытия) по стандарту
вывод. Если указана эта опция, -m опция будет проигнорирована.

С ПОМОЩЬЮ РАСПРОСТРАНЯЕТСЯ AS A VPI МОДУЛЬ

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

Чтобы автоматически создавать файлы библиотеки с поддержкой VPI при создании Covered из источника,
просто укажите одно или несколько из следующих при запуске утилиты "configure" в
базовый покрываемый каталог: --with-iv = , --with-vcs =
путь>, --with-cver = . После настройки Covered просто введите
«сделать» и «сделать установку». Это установит файлы библиотеки с поддержкой VPI в
каталог установки libexec (по умолчанию этот путь будет / usr / local / libexec).

Прежде чем вы будете готовы скомпилировать дизайн, вы должны сначала создать файл CDD, верхний уровень
Файл Verilog и файл таблицы PLI (последний файл нужен только для компилятора VCS).
Это делается путем указания -vpi (имя файла) для команды Score Covered. Если нет
имя файла указывается после -vpi, файлы closed_vpi.v и closed_vpi.ta b будут
создается вместе с созданным файлом покрытия. Обратите внимание, что этот шаг нужно только
выполняется один раз, если файлы дизайна не изменятся. Теперь вы готовы скомпилировать
Тренажер.

Если вы компилируете симуляцию Icarus Verilog, просто добавьте '-m
/usr/local/libexec/covered.vpi closed_vpi.v 'в командную строку' iverilog '. Один раз
компиляция завершена, запустите сгенерированный исполняемый файл как обычно.

Если вы компилируете симуляцию CVER, просто добавьте
'+ loadvpi = / usr / local / libexec / closed.cver.so: vpi_compat_bootstrap closed_vpi.v' в
Командная строка cver.

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

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

Есть две плюсовых аргумента, которые могут быть переданы сгенерированному исполняемому файлу при его запуске, который
Покрытый разберу. Символ '+ closed_cdd = 'заставит Covered выводить
забил содержимое дизайна в файл CDD, указанный . Это позволяет выполнять несколько запусков
симулятора для создания нескольких разных файлов CDD без необходимости перекомпиляции для
происходить. Параметр '+ closed_debug' приведет к тому, что Covered сбрасывает слишком много избыточного вывода.
о его внутреннем рабочем состоянии во время моделирования. Этот вывод будет только сгенерирован
если Covered был настроен с параметром --enable-debug. Этот параметр plusarg не должен
использоваться обычными пользователями, поскольку он в первую очередь предназначен для помощи разработчикам Covered in
отладка.

АВТОРЫ

Тревор Уильямс[электронная почта защищена]>

Используйте покрываемое покрытие в Интернете с помощью сервисов onworks.net