diff --git a/frontends/slang/lib b/frontends/slang/lib
index f64c938d2..a73ba8254 160000
--- a/frontends/slang/lib
+++ b/frontends/slang/lib
@@ -1 +1 @@
-Subproject commit f64c938d280498679aefca8f7012a28303f21f11
+Subproject commit a73ba82544815a6ed640d0a25c2f9da19dc6b2d0
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 829245b4c..ae05b519d 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3784,6 +3784,7 @@ struct VerificPass : public Pass {
 #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
 		if (GetSize(args) > argidx && args[argidx] == "-target") {
 			argidx++;
+			log_experimental("verific -target");
 
 			if (argidx >= GetSize(args))
 				log_cmd_error("Missing target for `-target'.\n");
@@ -3793,6 +3794,7 @@ struct VerificPass : public Pass {
 
 			if (argidx < GetSize(args) && args[argidx] == "-family") {
 				argidx++;
+				log_experimental("verific -family");
 
 				if (argidx >= GetSize(args))
 					log_cmd_error("Missing family for `-family'.\n");