Merge pull request #58 from antonblanchard/decode2-assert

Fix spurious outstanding assert
pull/56/head
Anton Blanchard 5 years ago committed by GitHub
commit f5a5b91736
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -188,6 +188,8 @@ begin
decode2_0: process(clk) decode2_0: process(clk)
begin begin
if rising_edge(clk) then if rising_edge(clk) then
assert r_int.outstanding <= 1 report "Outstanding bad " & integer'image(r_int.outstanding) severity failure;

if rin.e.valid = '1' or rin.l.valid = '1' or rin.m.valid = '1' then if rin.e.valid = '1' or rin.l.valid = '1' or rin.m.valid = '1' then
report "execute " & to_hstring(rin.e.nia); report "execute " & to_hstring(rin.e.nia);
end if; end if;
@ -385,8 +387,6 @@ begin
v_int.outstanding := v_int.outstanding + 1; v_int.outstanding := v_int.outstanding + 1;
end if; end if;


assert r_int.outstanding <= 1 report "Outstanding bad " & integer'image(r_int.outstanding) severity failure;

if rst = '1' then if rst = '1' then
v_int.state := IDLE; v_int.state := IDLE;
v_int.outstanding := 0; v_int.outstanding := 0;

Loading…
Cancel
Save