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

ПРОГРАММА:

ИМЯ

vpassert - Предварительная обработка утверждений кода Verilog

СИНТАКСИС

vpassert [ --Помогите ] [ --свидание ] [ --тихий ] [-y каталоги ... ] [ файлы ... ]

ОПИСАНИЕ

Vpassert будет читать указанные файлы Verilog и предварительно обрабатывать специальные утверждения PLI. В
файлы записываются в каталог с именем .vpassert, если другое имя не указано с -o.
Если каталог передан, все файлы в этом каталоге будут предварительно обработаны.

АРГУМЕНТЫ

Стандартные параметры VCS и GCC используются для указания файлов для предварительной обработки:

+ libext + I + Я ... Укажите расширения для обработки
-f я Параметры синтаксического анализа в файле
-v I Разберите файл библиотеки (I )
-у я Разобрать все файлы в каталоге (I )
-II Разобрать все файлы в каталоге (I )
+ incdir + I Разобрать все файлы в каталоге (I )

Чтобы предотвратить рекурсию и разрешить повторное использование input.vc, передаваемого в симулятор, если
выходной каталог запрашивается для предварительной обработки, этот каталог просто игнорируется.

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

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

--аксиома
Специальный Axiom ATHDL включает / отключает добавление недоступного кода.

--call-error
Когда $ uerror (или $ uassert и т. Д.) Хочет отобразить сообщение, вызовите указанный
вместо $ display и $ stop.

--call-info
Когда $ uinfo хочет отобразить сообщение, вызовите указанную функцию вместо
$ display.

--позвонить-предупредить
Когда $ uwarn (или $ uwarn_clk и т. Д.) Хочет отобразить сообщение, вызовите указанный
вместо $ display и $ stop.

--свидание
Проверяйте даты и размеры файлов по сравнению с последним запуском vpassert и не обрабатывайте, если
данный исходный файл не изменился.

--исключать
Исключить обработку любых файлов, которые начинаются с указанного префикса.

--Помогите
Отображает это сообщение и версию программы и закрывается.

--language <1364-1995|1364-2001|1364-2005|1800-2005|1800-2009|1800-2012>
Установите стандарт языка для файлов. Это определяет, какие токены являются сигналами
по сравнению с ключевыми словами, такими как всегда распространенное "do" (сигнал вывода данных, по сравнению с циклом do-while
ключевое слово).

- минимум
Включите `__message_minimum в тест $ uinfo, чтобы путем определения __message_minimum = 1
некоторые uinfos могут быть оптимизированы во время компиляции.

- нолайн
Не используйте директивы `line. Если не указано иное, они будут использоваться под --language
1364-2001 и позже.

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

--не останавливайся
По умолчанию $ error и $ warn вставляют инструкцию $ stop. С --nostop это
заменяется на приращение переменной, которая затем может использоваться для условной остановки
моделирование.

-О файл
Используйте данное имя файла для вывода вместо имени входа .vpassert. Если имя
заканчивается на /, он используется как выходной каталог с именем по умолчанию.

--тихий
Подавить сообщения о том, какие файлы подвергаются предварительной обработке.

- реальное намерение
Специальное включение / отключение RealIntent добавлено вокруг недоступного кода.

--synthcov
Когда отображается "ifdef SYNTHESIS", отключите покрытие. Возобновите на `else или` endif.
Это НЕ следует за дочерними определениями, например:

`ifdef СИНТЕЗ
`определить MYSYNTH
`эндиф
`ifdef MYSYNTH // Это не будет отключено

--timeformat-единицы единиц
Если указано, включите вызовы Verilog $ timeformat перед всеми сообщениями. Используйте предоставленные
аргумент как единицы. Единицы указаны в степени 10, поэтому -9 указывает на использование наносекунд.

--timeformat-точность Prec
При использовании --timeformat-units используйте это как значение точности, количество цифр.
после десятичной точки. По умолчанию ноль.

--вериков
Специальное включение / отключение Vericov добавлено вокруг недоступного кода.

--verilator
Включены переводы Special Verilator.

--версия
Отображает версию программы и завершает работу.

--vcs
Специальная система Synopsys VCS включает / отключает добавление недоступного кода.

ФУНКЦИИ

Эти псевдопли-вызовы Verilog расширены:

/ * vp_coverage_off * /
Отключите покрытие для всех инструментов, начиная с этого момента. Не обязательно быть на
уникальная линия.

/ * vp_coverage_on * /
Повторно включить покрытие после vp_coverage_off. Необязательно быть в уникальной строке.

$ uassert (случаев, "сообщение", [вары...])
Сообщите об ошибке $ uerror, если данный случай - ЛОЖЬ. (Нравиться утверждать() в с.)

$ uassert_amone (SIG[SIG...], "сообщение", [вары...])
Сообщать об ошибке $ uerror, если заявлено более одного сигнала, или любой из них является X.
ок.) Сообщение об ошибке будет включать двоичное отображение значений сигнала.

$ uassert_info (случаев, "сообщение", [вары...])
Сообщите $ uinfo, если данный случай - ЛОЖЬ. (Нравиться утверждать() в с.)

$ uassert_onehot (SIG[SIG...], "сообщение", [вары...])
Сообщите об ошибке $ uerror, если заявлен другой сигнал, чем один, или любой из них - X. Ошибка
сообщение будет включать двоичное отображение значений сигнала.

$ uassert_req_ack (req_sig, ack_sig[data_sig, ...])
Проверить наличие импульса запроса одного цикла, за которым следует подтверждение одного цикла
пульс. Не позволяйте каким-либо сигналам данных меняться между запросом и
подтверждение.

$ ucheck_ilevel (уровень )
Вернуть true, если уровень __message больше или равен заданному уровню, и что
глобальные сообщения включены.

$ ucover_clk (Часы, этикетка)
Подобно $ uerror_clk, добавьте утверждение SystemVerilog в следующие указанные часы
край, с указанной меткой. Это позволяет указывать свойства обложки "встроенными".
с нормальным кодом RTL.

$ ucover_foreach_clk (Часы, этикетка"MSB:LSB", (... $ ui ...))
Подобно $ ucover_clk, но покрывает диапазон, в котором $ ui в выражении заменяется
с индексом диапазона.

Диапазон составляет "MSB:LSB"указать из MSB Downto LSB включительно и / или через запятую
список ценностей.

Похожий на:

for ($ ui = msb; $ ui> = lsb; $ ui = $ ui-1) begin
if (выражение с $ ui)
$ ucover_clk (часы, метка ## "_" ## бит)
конец

Однако нет способа сформировать метку из цикла for (как в psudocoded с ## выше),
таким образом этот макрос.

$ ui Индекс цикла, используемый внутри $ ucover_foreach_clk.

$ uinfo (уровень, "сообщение", [вары...])
Сообщить информационное сообщение в стандартной форме. Завершить тест, если превышен предел предупреждения.

$ uerror ("сообщение", [вары...])
Сообщите об ошибке в стандартной форме. Завершить тест, если предел ошибки превышен.

$ uerror_clk (Часы, "сообщение", [вары...])
Сообщите об ошибке в стандартной форме на следующем фронте тактового сигнала. Если вы разместите
$ uerror и т. д. в блоке комбинированной логики (всегда @ *), симуляторы на основе событий могут пропускать
утверждение из-за глюков. $ uerror_clk исправляет это, создавая временный
signal, а затем переместить само утверждение в новый синхронизированный блок на указанном фронте.
Обратите внимание, что любые напечатанные переменные будут значениями во время следующего фронта тактового сигнала,
которое может отличаться от значения, присвоенного $ uerror_clk.

$ uwarn ("сообщение", [вары...])
Сообщить о предупреждении в стандартной форме.

$ uwarn_clk (Часы "сообщение", [вары...])
Сообщите предупреждение в стандартной форме на следующем фронте часов. См. $ Uerror_clk.

РАСПРЕДЕЛЕНИЕ

Verilog-Perl является частьюhttp://www.veripool.org/> бесплатный программный инструмент Verilog EDA
люкс. Последняя версия доступна на CPAN и на
<http://www.veripool.org/verilog-perl>.

Авторские права 2000-2016 принадлежат Уилсону Снайдеру. Этот пакет является бесплатным программным обеспечением; вы можете распространять
его и / или модифицировать в соответствии с условиями Стандартной общественной лицензии ограниченного применения GNU
Версия 3 или Perl Artistic License версии 2.0.

АВТОРЫ

Уилсон Снайдер[электронная почта защищена]>, Дуэйн Гальби[электронная почта защищена]>

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