diff --git a/frontends/verilog/verilog_frontend.cc b/frontends/verilog/verilog_frontend.cc
index 5c59fe3afac..d363d71fb9a 100644
--- a/frontends/verilog/verilog_frontend.cc
+++ b/frontends/verilog/verilog_frontend.cc
@@ -270,8 +270,11 @@ struct VerilogFrontend : public Frontend {
 		frontend_verilog_yydebug = false;
 		sv_mode = false;
 		formal_mode = false;
+		noassert_mode = false;
+		noassume_mode = false;
 		norestrict_mode = false;
 		assume_asserts_mode = false;
+		assert_assumes_mode = false;
 		lib_mode = false;
 		specify_mode = false;
 		default_nettype_wire = true;
diff --git a/iverilog b/iverilog
new file mode 160000
index 00000000000..192b6aec96f
--- /dev/null
+++ b/iverilog
@@ -0,0 +1 @@
+Subproject commit 192b6aec96fde982e6ddcb28b346d5893aa8e874