luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Document -gassertions/-gno-assertions in driver man page.

This commit is contained in:
Martin Whitaker 2019-09-20 21:29:49 +01:00
parent 823a508d6b
commit 791c056b77
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
driver/iverilog.man.in
View File

@ -1,4 +1,4 @@
.TH iverilog 1 "Nov 8th, 2017" "" "Version %M.%n%E"
.TH iverilog 1 "Sep 20th, 2019" "" "Version %M.%n%E"
.SH NAME
iverilog - Icarus Verilog compiler
@ -80,6 +80,11 @@ use any of the new \fIIEEE1800\fP keywords.
Enable or disable (default) support for Verilog\-AMS.
Very little Verilog\-AMS specific functionality is currently supported.
.TP 8
.B -gassertions\fI|\fP-gno-assertions
Enable (default) or disable SystemVerilog assertions. When enabled,
assertion statements are elaborated. When disabled, assertion statements
are parsed but ignored.
.TP 8
.B -gspecify\fI|\fP-gno-specify
Enable or disable (default) specify block support. When enabled,
specify block code is elaborated. When disabled, specify blocks are
@ -578,7 +583,7 @@ Tips on using, debugging, and developing the compiler can be found at
.SH COPYRIGHT
.nf
Copyright \(co 2002\-2017 Stephen Williams
Copyright \(co 2002\-2019 Stephen Williams
This document can be freely redistributed according to the terms of the
GNU General Public License version 2.0