diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9737fde89c2..adabd2700aa 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2110,7 +2110,7 @@ VerificClocking::VerificClocking(VerificImporter *importer, Net *net, bool sva_a
 	if (sva_at_only)
 	do {
 		Instance *inst_mux = net->Driver();
-		if (inst_mux->Type() != PRIM_MUX)
+		if (inst_mux == nullptr || inst_mux->Type() != PRIM_MUX)
 			break;
 
 		bool pwr1 = inst_mux->GetInput1()->IsPwr();
diff --git a/tests/verific/clocking.ys b/tests/verific/clocking.ys
new file mode 100644
index 00000000000..bfdbeb748c1
--- /dev/null
+++ b/tests/verific/clocking.ys
@@ -0,0 +1,10 @@
+read -sv <<EOT
+module test(input foo);
+always @(*) assert(foo);
+endmodule
+EOT
+
+verific -import test
+prep
+
+select -assert-count 1 t:$assert