Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / gna / ticket92 / cover_report2.vhd @ 3fd18385

History | View | Annotate | Download (907 Bytes)

1 3fd18385 Arnaud Dieumegard
library ieee;
2
  use ieee.std_logic_1164.all;
3
4
library std;
5
  use std.env.all;
6
7
8
9
entity cover_report2 is
10
end entity cover_report2;
11
12
13
14
architecture test of cover_report2 is
15
16
17
  signal s_a   : std_logic;
18
  signal s_b   : std_logic;
19
  signal s_c   : std_logic;
20
  signal s_clk : std_logic := '0';
21
22
23
begin
24
25
26
  s_clk <= not(s_clk) after 5 ns;
27
28
29
  process is
30
  begin
31
    s_a <= '0';
32
    s_b <= '0';
33
    s_c <= '0';
34
    wait until rising_edge(s_clk);
35
    s_a <= '1';
36
    wait until rising_edge(s_clk);
37
    s_a <= '0';
38
    s_b <= '1';
39
    wait until rising_edge(s_clk);
40
    s_b <= '0';
41
    s_c <= '1';
42
    wait until rising_edge(s_clk);
43
    s_c <= '0';
44
    stop(0);
45
  end process;
46
47
48
  -- psl default clock is rising_edge(s_clk);
49
  --
50
  -- psl sequence test_p is {s_a; s_b};
51
  --
52
  -- DOES WORK
53
  -- -- psl TEST : cover test_p;
54
  --
55
  -- DOESN'T WORK:
56
  -- psl cover test_p report "Covered";
57
58
59
end architecture test;