diff options
Diffstat (limited to 'testsuite/gna/issue1700/top.vhd')
-rw-r--r-- | testsuite/gna/issue1700/top.vhd | 39 |
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; + |