Merge pull request #115 from antonblanchard/reduce-wishbone

[microwatt.git] / icache_tb.vhdl

diff --git a/icache_tb.vhdl b/icache_tb.vhdl
index 7aeb69cea02d1256d66044b480f30d4544ca0120..a82912e44522c808712c002f74de5be78973f8df 100644 (file)
--- a/icache_tb.vhdl
+++ b/icache_tb.vhdl
@@ -77,7 +77,11 @@ begin
         wait for 30*clk_period;
 
         assert i_in.valid = '1';
-        assert i_in.insn = x"00000001";
+        assert i_in.insn = x"00000001"
+           report "insn @" & to_hstring(i_out.nia) &
+           "=" & to_hstring(i_in.insn) &
+           " expected 00000001"
+           severity failure;
 
         i_out.req <= '0';
 
@@ -88,7 +92,11 @@ begin
         i_out.nia <= x"0000000000000008";
         wait for clk_period;
         assert i_in.valid = '1';
-        assert i_in.insn = x"00000002";
+        assert i_in.insn = x"00000002"
+           report "insn @" & to_hstring(i_out.nia) &
+           "=" & to_hstring(i_in.insn) &
+           " expected 00000002"
+           severity failure;
         wait for clk_period;
 
         -- another miss
@@ -98,7 +106,11 @@ begin
         wait for 30*clk_period;
 
         assert i_in.valid = '1';
-        assert i_in.insn = x"00000010";
+        assert i_in.insn = x"00000010"
+           report "insn @" & to_hstring(i_out.nia) &
+           "=" & to_hstring(i_in.insn) &
+           " expected 00000010"
+           severity failure;
 
         -- test something that aliases
         i_out.req <= '1';
@@ -110,7 +122,11 @@ begin
         wait for 30*clk_period;
 
         assert i_in.valid = '1';
-        assert i_in.insn = x"00000040";
+        assert i_in.insn = x"00000040"
+           report "insn @" & to_hstring(i_out.nia) &
+           "=" & to_hstring(i_in.insn) &
+           " expected 00000040"
+           severity failure;
 
         i_out.req <= '0';