src: Move assertion one level higher to avoid Vivado warning on unused signal.

src/lib/can_components.vhd

@@ -3716,9 +3716,6 @@ package can_components is
         -- Abort storing of RX Frame to RX Buffer.
         rec_abort_f          :in     std_logic;
 
-        -- Start of Frame pulse
-        sof_pulse            :in     std_logic;
-
         -----------------------------------------------------------------------
         -- FSM outputs
         -----------------------------------------------------------------------

src/rx_buffer/rx_buffer.vhd

@@ -436,7 +436,6 @@ begin
         store_data_f        => store_data_f,        -- IN
         rec_valid_f         => rec_valid_f,         -- IN
         rec_abort_f         => rec_abort_f,         -- IN
-        sof_pulse           => sof_pulse,           -- IN
         
         write_raw_intent    => write_raw_intent,    -- OUT
         write_ts            => write_ts,            -- OUT
@@ -988,6 +987,16 @@ begin
     -- psl rx_buf_store_64_byte_frame_cov :
     --      cover {rec_dlc = "1111" and rec_is_rtr = '0' and commit_rx_frame = '1'};
 
+    ---------------------------------------------------------------------------
+    -- "reset_overrun_flag = '1'" only in "s_rxb_idle" state. Therefore we can
+    -- use this signal to check that FSM is in s_rxb_idle state!
+    ---------------------------------------------------------------------------
+    
+    -- psl sof_pulse_asrt_asrt : assert never
+    --   (sof_pulse = '1' and reset_overrun_flag = '0')
+    -- report "RX Buffer: SOF pulse should come when RX Buffer is idle!"
+    -- severity error;
+
     -- <RELEASE_ON>
 
 end architecture;
\ No newline at end of file

src/rx_buffer/rx_buffer_fsm.vhd

@@ -94,9 +94,6 @@ entity rx_buffer_fsm is
         -- Abort storing of RX Frame to RX Buffer.
         rec_abort_f          :in     std_logic;
 
-        -- Start of Frame pulse
-        sof_pulse            :in     std_logic;
-
         -----------------------------------------------------------------------
         -- FSM outputs
         -----------------------------------------------------------------------
@@ -321,11 +318,6 @@ begin
     -- report "RX Buffer: Store data or frame commit commands did not come " &
     --        "when RX Buffer is receiving data!"
     -- severity error;
-
-    -- psl sof_pulse_asrt_asrt : assert never
-    --   (sof_pulse = '1' and (curr_state /= s_rxb_idle))
-    -- report "RX Buffer: SOF pulse should come when RX Buffer is idle!"
-    -- severity error;
     
     -- psl rx_buf_cmds_one_hot_asrt : assert always
     --   (now > 0 ps) -> (cmd_join = "0000" or cmd_join = "0001" or