| Nested Instances | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| PARITY_CALCULATOR_READ_INST | 100.0 % (4/4) | N.A. | 100.0 % (66/66) | N.A. | N.A. | N.A. | 100.0 % (70/70) |
| Current Instance | Statement | Branch | Toggle | Expression | FSM state | Functional | Average |
|---|---|---|---|---|---|---|---|
| CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(0).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_INST.TXT_BUFFER_RAM_INST.PARITY_TRUE_GEN | 100.0 % (10/10) | 100.0 % (12/12) | N.A. | 100.0 % (13/13) | N.A. | N.A. | 100.0 % (35/35) |
| Statement | Branch | Toggle | Expression | FSM state | Functional |
|---|
225: if (res_n = '0') then
226: parity_word <= (others => '0');
...
230: end if;
231: end if; 226: parity_word <= (others => '0'); 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; 229: parity_word(to_integer(unsigned(txtb_port_a_address))) <= txtb_port_a_parity; 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; 255: parity_read_exp <= '0'; 257: parity_read_exp <= parity_word(to_integer(unsigned(txtb_port_b_address))); 261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1')
262: else
263: '0'; 261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') 263: '0'; 225: if (res_n = '0') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 957623 | 1 |
| Bin | False | 28808988 | 1 |
227: elsif rising_edge(clk_sys) then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 14402496 | 1 |
| Bin | False | 14406492 | 1 |
228: if (txtb_port_a_write = '1') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 31781 | 1 |
| Bin | False | 14370715 | 1 |
254: if (res_n = '0') then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 957623 | 1 |
| Bin | False | 28808988 | 1 |
256: elsif (rising_edge(clk_sys)) then | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 14402496 | 1 |
| Bin | False | 14406492 | 1 |
261: parity_mismatch <= '1' when (parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1') | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | True | 1860 | 1 |
| Bin | False | 60037 | 1 |
res_n = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 28808988 | 1 |
| Bin | True | 957623 | 1 |
txtb_port_a_write = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 14370715 | 1 |
| Bin | True | 31781 | 1 |
res_n = '0' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 28808988 | 1 |
| Bin | True | 957623 | 1 |
(parity_read_real /= parity_read_exp) and (mr_settings_pchke = '1')
<---------------LHS---------------> <---------RHS---------> | LHS | RHS | Count | Threshold | |
|---|---|---|---|---|
| Bin | False | True | 1836 | 1 |
| Bin | True | False | 29688 | 1 |
| Bin | True | True | 1860 | 1 |
parity_read_real /= parity_read_exp | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 30349 | 1 |
| Bin | True | 31548 | 1 |
mr_settings_pchke = '1' | Evaluated to | Count | Threshold | |
|---|---|---|---|
| Bin | False | 58201 | 1 |
| Bin | True | 3696 | 1 |