@@ -792,7 +792,9 @@ begin
792
792
begin
793
793
if (eret_q_x)
794
794
begin
795
- // $display("[%t] itlb_enabled <= 0x%08X upon eret", $time, csr_psw[`LM32_CSR_PSW_EITLBE]);
795
+ `ifdef CFG_VERBOSE_DISPLAY_ENABLED
796
+ $display ("[%t] itlb_enabled <= 0x%08X upon eret" , $time , csr_psw[`LM32_CSR_PSW_EITLBE]);
797
+ `endif
796
798
itlb_enabled <= csr_psw[`LM32_CSR_PSW_EITLBE];
797
799
end
798
800
else if (exception_x || in_exception)
@@ -808,21 +810,27 @@ begin
808
810
begin
809
811
if (exception_m)
810
812
begin
813
+ `ifdef CFG_VERBOSE_DISPLAY_ENABLED
811
814
$display ("[%t] pc_exception <= 0x%08X" , $time , pc_m);
815
+ `endif
812
816
pc_exception <= pc_m;
813
817
end
814
818
if (pc_exception == pc_w)
815
819
begin
816
820
in_exception <= 0 ;
817
821
end
818
822
end
823
+ `ifdef CFG_VERBOSE_DISPLAY_ENABLED
819
824
$display ("[%t] itlb_enabled <= 0x%08X upon exception" , $time , 0 );
825
+ `endif
820
826
itlb_enabled <= 0 ;
821
827
end
822
828
else
823
829
begin
830
+ `ifdef CFG_VERBOSE_DISPLAY_ENABLED
824
831
if (itlb_enabled != csr_psw[`LM32_CSR_PSW_ITLBE])
825
832
$display ("[%t] itlb_enabled <= 0x%08X" , $time , csr_psw[`LM32_CSR_PSW_ITLBE]);
833
+ `endif
826
834
827
835
itlb_enabled <= csr_psw[`LM32_CSR_PSW_ITLBE];
828
836
end
@@ -834,7 +842,9 @@ always @(posedge clk_i `CFG_RESET_SENSITIVITY)
834
842
begin
835
843
if (rst_i == `TRUE)
836
844
begin
845
+ `ifdef CFG_VERBOSE_DISPLAY_ENABLED
837
846
$display ("ITLB STATE MACHINE RESET" );
847
+ `endif
838
848
itlb_flushing <= 1 ;
839
849
itlb_flush_set <= {addr_itlb_index_width{1'b1 }};
840
850
itlb_state <= `LM32_TLB_STATE_FLUSH;
0 commit comments