From 791c056b774b5d8e50facc653a9e5878a45d3996 Mon Sep 17 00:00:00 2001 From: Martin Whitaker Date: Fri, 20 Sep 2019 21:29:49 +0100 Subject: [PATCH] Document -gassertions/-gno-assertions in driver man page. --- driver/iverilog.man.in | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/driver/iverilog.man.in b/driver/iverilog.man.in index e315e1825..1c8c53ef5 100644 --- a/driver/iverilog.man.in +++ b/driver/iverilog.man.in @@ -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