blob: 4ee9d3a49707f81909fba086f710e63289f13cd5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
entity repro is
end;
architecture behavioral of repro is
signal s_index : natural;
signal s_wrcnt : integer range 0 to 3;
begin
state_machine : process
begin
assert (s_wrcnt = 3 and s_index => 5);
end process state_machine;
end behavioral; -- behavioral
|
