Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(1).TXT_BUF_ODD_GEN.TXT_BUFFER_ODD_INST.TXT_BUFFER_RAM_INST.PARITY_TRUE_GEN
Sub-instances:
| Instance |
Statement |
Branch |
Toggle |
Expression |
FSM state |
Functional |
Average |
| PARITY_CALCULATOR_READ_INST |
100.0 % (4/4) |
N.A. |
100.0 % (66/66) |
100.0 % (4/4) |
N.A. |
N.A. |
100.0 % (74/74) |
Current Instance:
Details:
The limit of printed items was reached (5000). Total 261615 items are not displayed.
Covered statements:
If statement:
225: if (res_n = '0') then
226: parity_word <= (others => '0');
...
230: end if;
231: end if; Count: 27294580
Threshold: 1
Signal assignment statement:
226: parity_word <= (others => '0'); Count: 957554
Threshold: 1
If statement:
228: if (txtb_port_a_write = '1') then
229: parity_word(to_integer(unsigned(txtb_port_a_address))) <= txtb_port_a_parity;
230: end if; Count: 13166515
Threshold: 1
Signal assignment statement:
229: parity_word(to_integer(unsigned(txtb_port_a_address))) <= txtb_port_a_parity; Count: 8375
Threshold: 1
If statement:
254: if (res_n = '0') then
255: parity_read_exp <= '0';
256: elsif (rising_edge(clk_sys)) then
257: parity_read_exp <= parity_word(to_integer(unsigned(txtb_port_b_address)));
258: end if; Count: 27294580
Threshold: 1
Signal assignment statement:
255: parity_read_exp <= '0'; Count: 957554
Threshold: 1
Signal assignment statement:
257: parity_read_exp <= parity_word(to_integer(unsigned(txtb_port_b_address))); Count: 13166515
Threshold: 1
If statement:
261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1')
262: else
263: '0'; Count: 30775
Threshold: 1
Signal assignment statement:
261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') Count: 1822
Threshold: 1
Signal assignment statement:
263: '0'; Count: 28953
Threshold: 1
Covered branches:
"if" / "when" / "else" condition:
225: if (res_n = '0') then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 957554 | 1 |
| Bin | False | 26337026 | 1 |
"if" / "when" / "else" condition:
227: elsif rising_edge(clk_sys) then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 13166515 | 1 |
| Bin | False | 13170511 | 1 |
"if" / "when" / "else" condition:
228: if (txtb_port_a_write = '1') then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 8375 | 1 |
| Bin | False | 13158140 | 1 |
"if" / "when" / "else" condition:
254: if (res_n = '0') then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 957554 | 1 |
| Bin | False | 26337026 | 1 |
"if" / "when" / "else" condition:
256: elsif (rising_edge(clk_sys)) then | Evaluated to | Count | Threshold |
|---|
| Bin | True | 13166515 | 1 |
| Bin | False | 13170511 | 1 |
"if" / "when" / "else" condition:
261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | True | 1822 | 1 |
| Bin | False | 28953 | 1 |
Covered expressions:
"=" expression
225: if (res_n = '0') then | Evaluated to | Count | Threshold |
|---|
| Bin | False | 26337026 | 1 |
| Bin | True | 957554 | 1 |
"=" expression
228: if (txtb_port_a_write = '1') then | Evaluated to | Count | Threshold |
|---|
| Bin | False | 13158140 | 1 |
| Bin | True | 8375 | 1 |
"=" expression
254: if (res_n = '0') then | Evaluated to | Count | Threshold |
|---|
| Bin | False | 26337026 | 1 |
| Bin | True | 957554 | 1 |
"/=" expression
261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | False | 14778 | 1 |
| Bin | True | 15997 | 1 |
"=" expression
261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') | Evaluated to | Count | Threshold |
|---|
| Bin | False | 27126 | 1 |
| Bin | True | 3649 | 1 |
"and" expression
261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1')
<---------------LHS---------------> <---------RHS---------> | LHS | RHS | Count | Threshold |
|---|
| Bin | False | True | 1827 | 1 |
| Bin | True | False | 14175 | 1 |
| Bin | True | True | 1822 | 1 |
Uncovered functional coverage:
Excluded functional coverage:
Covered functional coverage: