testsuite: Add test for #1700

1 files changed, 39 insertions, 0 deletions

diff --git a/testsuite/gna/issue1700/top.vhd b/testsuite/gna/issue1700/top.vhd
new file mode 100644
index 000000000..e641cc0c6
--- /dev/null
+++ b/testsuite/gna/issue1700/top.vhd
@@ -0,0 +1,39 @@
+
+Library ieee;
+use ieee.std_logic_1164.all;
+
+entity tb_top is
+end entity;
+
+
+architecture tb of tb_top is
+
+    signal a : std_logic;
+    signal clk_sys : std_logic;
+
+begin
+	
+    gen_clock_proc : process
+    begin
+        clk_sys <= '1';
+        wait for 5 ns;
+        clk_sys <= '0';
+        wait for 5 ns;
+    end process;
+	
+    test_proc : process
+    begin
+        wait until rising_edge(clk_sys);
+        wait until rising_edge(clk_sys);
+        wait until rising_edge(clk_sys);
+        wait until rising_edge(clk_sys);
+        std.env.finish;
+    end process;
+
+
+    --  psl default clock is rising_edge(clk_sys);
+
+    -- psl cov_simult_a_b_c : cover {a = '1'}[*3 to 2];
+
+end architecture tb;
+