Merge branch 'isa_psl_info' into 'devel'

fix(vhdl-psl): change informational assert to report

See merge request ndk/ndk-fpga!242

Author: jakubcabal

comp/base/misc/crossbarx/crossbarx.vhd

@@ -511,10 +511,16 @@ begin
             TX_TRANS_DST_RDY => trsr_trans_comp_dst_rdy(s)
         );
 
-        -- psl assert_trcg :
-        --      assert always (((or trcg_trans_vld)='1' and trcg_trans_src_rdy='1' and trcg_trans_dst_rdy='1' and trsr_trans_dst_rdy(s)='0')=false) @rising_edge(CLK)
-        --      report "WARNING: CROSSBARX: Internal Transaction FIFO is FULL causing a decrease in throughput! Consider increasing value of generic TRANS_FIFO_ITEMS (currently to_string(TRANS_FIFO_ITEMS)).";
-
+        -- synthesis translate_off
+        process(CLK)
+        begin
+            if (rising_edge(CLK)) then
+                if (not (((or trcg_trans_vld)='1' and trcg_trans_src_rdy='1' and trcg_trans_dst_rdy='1' and trsr_trans_dst_rdy(s)='0')=false)) then
+                    report "WARNING: CROSSBARX: Internal Transaction FIFO is FULL causing a decrease in throughput! Consider increasing value of generic TRANS_FIFO_ITEMS currently (" & to_string(TRANS_FIFO_ITEMS) & ")." severity warning;
+                end if;
+            end if;
+        end process;
+        -- synthesis translate_on
         -- ------------------------------------------------------------------------
 
         -- ------------------------------------------------------------------------

comp/base/misc/event_counter/event_counter_mi_wrapper.vhd

@@ -187,9 +187,16 @@ begin
     MI_ARDY <= MI_WR or MI_RD;
     MI_DRDY <= MI_RD;
 
-    -- psl assert_empty_flag :
-    --      assert always (total_events'length+1<=MI_WIDTH)
-    --      report "WARNING: EVENT COUNTER MI WRAPPER: The width of register for counting number of events (to_string(total_events'length)) is higher or equal to the total width of the connected MI interface (to_string(MI_WIDTH))! This might cause overflow of the value read from this register!";
+    -- synthesis translate_off
+    process(CLK)
+    begin
+        if (rising_edge(CLK)) then
+            if (total_events'length+1 > MI_WIDTH) then
+                report "WARNING: EVENT COUNTER MI WRAPPER: The width of register for counting number of events " & to_string(total_events'length) & " is higher or equal to the total width of the connected MI interface " & to_string(MI_WIDTH) & "! This might cause overflow of the value read from this register!" severity warning;
+            end if;
+        end if;
+    end process;
+    -- synthesis translate_on
 
     MI_DRD <= std_logic_vector(resize_left(unsigned(total_events),MI_WIDTH))
          when (MI_ADDR and MI_ADDR_MASK)=(MI_EVENTS_ADDR and MI_ADDR_MASK) else