aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue662/tb_psl_fell.vhdl
blob: fc1c975b5d8ae4b8ce5175c134519c7a468dfd8f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
library ieee;
  use ieee.std_logic_1164.all;

entity tb_psl_fell is
end entity tb_psl_fell;


architecture psl of tb_psl_fell is

  procedure seq (s : string; signal clk : std_logic; signal o : out std_logic)
  is
  begin
    for i in s'range loop
      wait until rising_edge(clk);
      case s(i) is
        when '0' | '_' => o <= '0';
        when '1' | '-' => o <= '1';
        when others    => o <= 'X';
      end case;
    end loop;
    wait;
  end seq;

  signal a, b : std_logic := '0';
  signal clk  : std_logic := '1';

begin

  dut: entity work.psl_fell port map (clk, a, b);

  clk <= not clk after 500 ps;

  --             012345678901234
  SEQ_A :  seq ("--_--___---__--", clk, a);
  SEQ_B :  seq ("__-__-______-__", clk, b);

end architecture psl;