diff --git a/ivtest/ivltests/sv_package_implicit_var1.v b/ivtest/ivltests/sv_package_implicit_var1.v
new file mode 100644
index 000000000..6c04e2afe
--- /dev/null
+++ b/ivtest/ivltests/sv_package_implicit_var1.v
@@ -0,0 +1,6 @@
+// Check that it is not possible to declare a variable in a package without an explicit data
+// type for the variable.
+
+pacakge P;
+  x; // This is a syntax error
+endpackage
diff --git a/ivtest/ivltests/sv_package_implicit_var2.v b/ivtest/ivltests/sv_package_implicit_var2.v
new file mode 100644
index 000000000..72cf2e54f
--- /dev/null
+++ b/ivtest/ivltests/sv_package_implicit_var2.v
@@ -0,0 +1,6 @@
+// Check that it is not possible to declare a variable in a package without an explicit data
+// type for the variable.
+
+pacakge P;
+  [3:0] x; // This is a syntax error
+endpackage
diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list
index 30d7b0241..82b1a64bf 100644
--- a/ivtest/regress-sv.list
+++ b/ivtest/regress-sv.list
@@ -529,6 +529,8 @@ sv_package2		normal,-g2009		ivltests
 sv_package3		normal,-g2009		ivltests
 sv_package4		normal,-g2009		ivltests
 sv_package5		normal,-g2009		ivltests
+sv_package_implicit_var1	CE,-g2009	ivltests
+sv_package_implicit_var2	CE,-g2009	ivltests
 sv_packed_port1		normal,-g2009		ivltests
 sv_packed_port2		normal,-g2009		ivltests
 sv_param_port_list	normal,-g2009		ivltests