From d813ffb74835238b909a8ad210c0fe11968f9e34 Mon Sep 17 00:00:00 2001 From: Anton Blanchard Date: Sun, 15 Sep 2019 18:59:24 +1000 Subject: [PATCH] Fix spurious outstanding assert Check it in the sequential process, not the combinatorial one. Signed-off-by: Anton Blanchard --- decode2.vhdl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/decode2.vhdl b/decode2.vhdl index e70405a..15dae5d 100644 --- a/decode2.vhdl +++ b/decode2.vhdl @@ -188,6 +188,8 @@ begin decode2_0: process(clk) begin 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 report "execute " & to_hstring(rin.e.nia); end if; @@ -385,8 +387,6 @@ begin v_int.outstanding := v_int.outstanding + 1; end if; - assert r_int.outstanding <= 1 report "Outstanding bad " & integer'image(r_int.outstanding) severity failure; - if rst = '1' then v_int.state := IDLE; v_int.outstanding := 0; -- 2.30.2