Commit 93292025 authored by Ille, Ondrej, Ing.'s avatar Ille, Ondrej, Ing.

Added coverage exclusion to assertions in source codes.

parent 5aec501b
......@@ -1049,20 +1049,26 @@ begin
-- pragma translate_off
if (rising_edge(clk_sys) and now /= 0 fs) then
if (store_metadata = '1' and rx_fsm /= rxb_idle) then
-- LCOV_EXCL_START
report "RX Buffer: Store metadata command did NOT come during " &
"'rx_buf_idle'!"severity error;
"'rx_buf_idle'!"severity error;
-- LCOV_EXCL_STOP
end if;
if ((rec_message_valid = '1' or store_data = '1') and
rx_fsm /= rxb_store_data)
then
-- LCOV_EXCL_START
report "RX Buffer: Store data or finish storing did NOT come " &
"during 'rec_data'" severity error;
"during 'rec_data'" severity error;
-- LCOV_EXCL_STOP
end if;
if (sof_pulse = '1' and rx_fsm /= rxb_idle) then
-- LCOV_EXCL_START
report "RX Buffer: SOF pulse should come during 'rx_fsm_idle'"
severity error;
-- LCOV_EXCL_STOP
end if;
cmd_join := store_metadata & store_data & rec_message_valid &
......@@ -1070,8 +1076,10 @@ begin
if (cmd_join /= "0000" and cmd_join /= "0001" and cmd_join /= "0010"
and cmd_join /= "0100" and cmd_join /= "1000")
then
-- LCOV_EXCL_START
report "RX Buffer: One-hot coding on RX Buffer commands " &
"corrupted!" severity error;
-- LCOV_EXCL_STOP
end if;
end if;
-- pragma translate_on
......
......@@ -173,10 +173,6 @@ begin
enable_prev <= enable;
dst_bit_ctr <= dst_bit_ctr;
if ((length = "000" or length = "001") and (enable = '1')) then
report "0 and 1 bit stuffing length is invalid" severity warning;
end if;
if (enable = '1') then
-- When transition starts prev_val needs to be deleted! Otherwise
......@@ -278,11 +274,27 @@ begin
end if;
end process;
-- Register propagation on output
data_out <= data_in;
destuffed <= destuffed_reg;
stuff_Error <= error_reg;
dst_ctr <= dst_bit_ctr;
----------------------------------------------------------------------------
-- Assertions on input settings
----------------------------------------------------------------------------
input_length_assert_proc : process(clk_sys)
begin
if (rising_edge(clk_sys)) then
if ((length = "000" or length = "001") and (enable = '1')) then
-- LCOV_EXCL_START
report "0 and 1 bit stuffing length is invalid!" severity warning;
-- LCOV_EXCL_STOP
end if;
end if;
end process;
-- Register propagation on output
data_out <= data_in;
destuffed <= destuffed_reg;
stuff_Error <= error_reg;
dst_ctr <= dst_bit_ctr;
end architecture;
......@@ -425,10 +425,13 @@ begin
-- pragma translate_off
if (rising_edge(clk_sys) and now /= 0 fs) then
if (joined_ctr /= "000" and joined_ctr /= "001" and
joined_ctr /= "010" and joined_ctr /= "100") then
joined_ctr /= "010" and joined_ctr /= "100")
then
-- LCOV_EXCL_START
report "Error counters commands from Protocol Control to " &
"Fault confinemnet corrupt one hot decoding" severity
error;
-- LCOV_EXCL_STOP
end if;
end if;
-- pragma translate_on
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment