diff options
Diffstat (limited to 'frontends/verilog/verilog_frontend.cc')
-rw-r--r-- | frontends/verilog/verilog_frontend.cc | 23 |
1 files changed, 1 insertions, 22 deletions
diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc index aeea36a2..8dcc7c5a 100644 --- a/frontends/verilog/verilog_frontend.cc +++ b/frontends/verilog/verilog_frontend.cc @@ -66,21 +66,12 @@ struct VerilogFrontend : public Frontend { log(" enable support for SystemVerilog assertions and some Yosys extensions\n"); log(" replace the implicit -D SYNTHESIS with -D FORMAL\n"); log("\n"); - log(" -noassert\n"); - log(" ignore assert() statements\n"); - log("\n"); - log(" -noassume\n"); - log(" ignore assume() statements\n"); - log("\n"); log(" -norestrict\n"); - log(" ignore restrict() statements\n"); + log(" ignore restrict() assertions\n"); log("\n"); log(" -assume-asserts\n"); log(" treat all assert() statements like assume() statements\n"); log("\n"); - log(" -assert-assumes\n"); - log(" treat all assume() statements like assert() statements\n"); - log("\n"); log(" -dump_ast1\n"); log(" dump abstract syntax tree (before simplification)\n"); log("\n"); @@ -238,14 +229,6 @@ struct VerilogFrontend : public Frontend { formal_mode = true; continue; } - if (arg == "-noassert") { - noassert_mode = true; - continue; - } - if (arg == "-noassume") { - noassume_mode = true; - continue; - } if (arg == "-norestrict") { norestrict_mode = true; continue; @@ -254,10 +237,6 @@ struct VerilogFrontend : public Frontend { assume_asserts_mode = true; continue; } - if (arg == "-assert-assumes") { - assert_assumes_mode = true; - continue; - } if (arg == "-dump_ast1") { flag_dump_ast1 = true; continue; |