diff --git a/ivtest/gold/br_gh1258a-iverilog-stderr.gold b/ivtest/gold/br_gh1258a-iverilog-stderr.gold
new file mode 100644
index 000000000..e69de29bb
diff --git a/ivtest/gold/br_gh1258b-iverilog-stderr.gold b/ivtest/gold/br_gh1258b-iverilog-stderr.gold
new file mode 100644
index 000000000..1c946f657
--- /dev/null
+++ b/ivtest/gold/br_gh1258b-iverilog-stderr.gold
@@ -0,0 +1 @@
+ivltests/br_gh1258.v:7: warning: Timing checks are not supported.
diff --git a/ivtest/ivltests/br_gh1258.v b/ivtest/ivltests/br_gh1258.v
new file mode 100644
index 000000000..4122d4672
--- /dev/null
+++ b/ivtest/ivltests/br_gh1258.v
@@ -0,0 +1,12 @@
+module DFF (output reg Q, input CLK, D);
+        parameter [0:0] INIT = 1'b0;
+        initial Q = INIT;
+
+        specify
+                (posedge CLK => (Q : D)) = (480, 660);
+                $setup(D, posedge CLK, 576);
+        endspecify
+                
+        always @(posedge CLK)
+                Q <= D;
+endmodule
diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list
index 4075dd59d..f7232e391 100644
--- a/ivtest/regress-vvp.list
+++ b/ivtest/regress-vvp.list
@@ -67,6 +67,8 @@ br_gh1184			vvp_tests/br_gh1184.json
 br_gh1242			vvp_tests/br_gh1242.json
 br_gh1256a			vvp_tests/br_gh1256a.json
 br_gh1256b			vvp_tests/br_gh1256b.json
+br_gh1258a			vvp_tests/br_gh1258a.json
+br_gh1258b			vvp_tests/br_gh1258b.json
 ca_time_real			vvp_tests/ca_time_real.json
 case1				vvp_tests/case1.json
 case2				vvp_tests/case2.json
diff --git a/ivtest/vvp_tests/br_gh1258a.json b/ivtest/vvp_tests/br_gh1258a.json
new file mode 100644
index 000000000..442a184a3
--- /dev/null
+++ b/ivtest/vvp_tests/br_gh1258a.json
@@ -0,0 +1,6 @@
+{
+    "type"   : "normal",
+    "source" : "br_gh1258.v",
+    "iverilog-args" : [ "-gno-specify" ],
+    "gold" : "br_gh1258a"
+}
diff --git a/ivtest/vvp_tests/br_gh1258b.json b/ivtest/vvp_tests/br_gh1258b.json
new file mode 100644
index 000000000..7a2f2e397
--- /dev/null
+++ b/ivtest/vvp_tests/br_gh1258b.json
@@ -0,0 +1,6 @@
+{
+    "type"   : "normal",
+    "source" : "br_gh1258.v",
+    "iverilog-args" : [ "-gspecify" ],
+    "gold" : "br_gh1258b"
+}