NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(1).TXT_BUF_ODD_GEN.TXT_BUFFER_ODD_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_top_level.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
CLK_GATE_TXT_BUFFER_RAM_COMP 100.0 % (5/5) 100.0 % (2/2) 100.0 % (10/10) 100.0 % (8/8) N.A. N.A. 100.0 % (25/25)
TXT_BUFFER_RAM_INST 100.0 % (56/56) 100.0 % (38/38) 100.0 % (2160/2160) 93.1 % (54/58) N.A. N.A. 99.8 % (2308/2312)
TXT_BUFFER_FSM_INST 100.0 % (80/80) 100.0 % (94/94) 100.0 % (70/70) 100.0 % (151/151) 100.0 % (16/16) N.A. 100.0 % (411/411)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(1).TXT_BUF_ODD_GEN.TXT_BUFFER_ODD_INST 100.0 % (38/38) 100.0 % (24/24) 100.0 % (468/468) 100.0 % (75/75) N.A. N.A. 100.0 % (605/605)

Details:

The limit of printed items was reached (5000). Total 260336 items are not displayed.


Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 253 to 255:

253:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1') 
254:                             else 
255:                         '0'; 

Count: 272462
Threshold: 1

Signal assignment statement on line 253:

253:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1') 
Count: 127757
Threshold: 1

Signal assignment statement on line 255:

255:                         '0'
Count: 144705
Threshold: 1

If statement on lines 266 to 268:

266:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1') 
267:                                                   else 
268:                                    (others => '0'); 

Count: 117727
Threshold: 1

Signal assignment statement on line 266:

266:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1') 
Count: 51522
Threshold: 1

Signal assignment statement on line 268:

268:                                    (others => '0')
Count: 66205
Threshold: 1

If statement on lines 276 to 280:

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
277:                           else 
278:                       '1' when (mr_tst_control_tmaena = '1') 
279:                           else 
280:                       '0'; 

Count: 475598
Threshold: 1

Signal assignment statement on line 276:

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
Count: 234691
Threshold: 1

Signal assignment statement on line 278:

278:                       '1' when (mr_tst_control_tmaena = '1') 
Count: 648
Threshold: 1

Signal assignment statement on line 280:

280:                       '0'
Count: 240259
Threshold: 1

If statement on lines 287 to 291:

287:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
288:                                           txtb_parity_check_valid = '1' and 
289:                                           txtb_index_muxed = G_ID) 
290:                                     else 
291:                                 '0'; 

Count: 413746
Threshold: 1

Signal assignment statement on line 287:

287:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
Count: 307
Threshold: 1

Signal assignment statement on line 291:

291:                                 '0'
Count: 413439
Threshold: 1

Signal assignment statement on line 293:

293:    txtb_parity_error_valid <= txtb_parity_error_valid_i
Count: 3816
Threshold: 1

If statement on lines 301 to 309:

301:        if (res_n = '0') then 
302:            mr_tx_command_txce_q <= '0'; 
...
308:            mr_tx_command_txca_q <= mr_tx_command_txca; 
309:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 302:

302:            mr_tx_command_txce_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 303:

303:            mr_tx_command_txcr_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 304:

304:            mr_tx_command_txca_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 306:

306:            mr_tx_command_txce_q <= mr_tx_command_txce; 
Count: 543791678
Threshold: 1

Signal assignment statement on line 307:

307:            mr_tx_command_txcr_q <= mr_tx_command_txcr; 
Count: 543791678
Threshold: 1

Signal assignment statement on line 308:

308:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 543791678
Threshold: 1

If statement on lines 312 to 314:

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
313:                                 else 
314:                             '0'; 

Count: 16765
Threshold: 1

Signal assignment statement on line 312:

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
Count: 104
Threshold: 1

Signal assignment statement on line 314:

314:                             '0'
Count: 16661
Threshold: 1

If statement on lines 315 to 317:

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
316:                                 else 
317:                             '0'; 

Count: 58711
Threshold: 1

Signal assignment statement on line 315:

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
Count: 11668
Threshold: 1

Signal assignment statement on line 317:

317:                             '0'
Count: 47043
Threshold: 1

If statement on lines 319 to 321:

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1') 
320:                         else 
321:                     '0'; 

Count: 19525
Threshold: 1

Signal assignment statement on line 319:

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1') 
Count: 229
Threshold: 1

Signal assignment statement on line 321:

321:                     '0'
Count: 19296
Threshold: 1

If statement on lines 323 to 326:

323:    buffer_skipped <= '1' when ((txtb_hw_cmd.failed = '1' or txtb_hw_cmd.valid = '1') and 
324:                                (txtb_is_bb = '1')) 
325:                        else 
326:                    '0'; 

Count: 46073
Threshold: 1

Signal assignment statement on line 323:

323:    buffer_skipped <= '1' when ((txtb_hw_cmd.failed = '1' or txtb_hw_cmd.valid = '1') and 
Count: 44
Threshold: 1

Signal assignment statement on line 326:

326:                    '0'
Count: 46029
Threshold: 1

Signal assignment statement on line 328:

328:    abort_or_skipped <= abort_applied or buffer_skipped
Count: 3748
Threshold: 1

If statement on lines 333 to 335:

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1') 
334:                                else 
335:                            '0'; 

Count: 5483
Threshold: 1

Signal assignment statement on line 333:

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1') 
Count: 151
Threshold: 1

Signal assignment statement on line 335:

335:                            '0'
Count: 5332
Threshold: 1

Signal assignment statement on line 423:

423:    txtb_parity_mismatch <= parity_mismatch
Count: 6658
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition on line 253:

253:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
Evaluated toCountThreshold
BinTrue1277571
BinFalse1447051

"if" / "when" / "else" condition on line 266:

266:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1'
Evaluated toCountThreshold
BinTrue515221
BinFalse662051

"if" / "when" / "else" condition on line 276:

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
Evaluated toCountThreshold
BinTrue2346911
BinFalse2409071

"if" / "when" / "else" condition on line 278:

278:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinTrue6481
BinFalse2402591

"if" / "when" / "else" condition on lines 287 to 289:

287:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
288:                                           txtb_parity_check_valid = '1' and 
289:                                           txtb_index_muxed = G_ID) 

Evaluated toCountThreshold
BinTrue3071
BinFalse4134391

"if" / "when" / "else" condition on line 301:

301:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

"if" / "when" / "else" condition on line 305:

305:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"if" / "when" / "else" condition on line 312:

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue1041
BinFalse166611

"if" / "when" / "else" condition on line 315:

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue116681
BinFalse470431

"if" / "when" / "else" condition on line 319:

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue2291
BinFalse192961

"if" / "when" / "else" condition on lines 323 to 324:

323:    buffer_skipped <= '1' when ((txtb_hw_cmd.failed = '1' or txtb_hw_cmd.valid = '1') and 
324:                                (txtb_is_bb = '1')) 

Evaluated toCountThreshold
BinTrue441
BinFalse460291

"if" / "when" / "else" condition on line 333:

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1'
Evaluated toCountThreshold
BinTrue1511
BinFalse53321

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SCAN_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_BMM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_ROM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_TXBBM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_TBFBO
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_PCHKE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCR
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXBI
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_CONTROL_TMAENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_CONTROL_TWRSTB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_DEST_TST_ADDR
ElementFromToCountThresholdExcluded due to
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_TST_DEST_TST_MTGT
ElementFromToCountThresholdExcluded due to
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_TST_WDATA_TST_WDATA
ElementFromToCountThresholdExcluded due to
Bin(31)0101Exclude file
Bin(31)1001Exclude file
Bin(30)0101Exclude file
Bin(30)1001Exclude file
Bin(29)0101Exclude file
Bin(29)1001Exclude file
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 TXTB_PORT_A_DATA_IN
ElementFromToCountThresholdExcluded due to
Bin(31)0101Exclude file
Bin(31)1001Exclude file
Bin(30)0101Exclude file
Bin(30)1001Exclude file
Bin(29)0101Exclude file
Bin(29)1001Exclude file
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 TXTB_PORT_A_PARITY
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_PORT_A_ADDRESS
ElementFromToCountThresholdExcluded due to
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 TXTB_PORT_A_CS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_PORT_A_BE
ElementFromToCountThresholdExcluded due to
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 TXTB_IS_BB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_HW_CMD_CS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_PORT_B_ADDRESS
ElementFromToCountThresholdExcluded due to
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 TXTB_PORT_B_CLK_EN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_BUS_OFF
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_PARITY_CHECK_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 MR_TST_RDATA_TST_RDATA
ElementFromToCountThreshold
Bin(31)015921
Bin(31)1021931
Bin(30)015851
Bin(30)1021861
Bin(29)015911
Bin(29)1021921
Bin(28)016221
Bin(28)1022231
Bin(27)016291
Bin(27)1022301
Bin(26)016251
Bin(26)1022261
Bin(25)016081
Bin(25)1022091
Bin(24)016491
Bin(24)1022501
Bin(23)016051
Bin(23)1022061
Bin(22)016341
Bin(22)1022351
Bin(21)016231
Bin(21)1022241
Bin(20)016161
Bin(20)1022171
Bin(19)016261
Bin(19)1022271
Bin(18)016241
Bin(18)1022251
Bin(17)016141
Bin(17)1022151
Bin(16)015881
Bin(16)1021891
Bin(15)016241
Bin(15)1022251
Bin(14)016011
Bin(14)1022021
Bin(13)016111
Bin(13)1022121
Bin(12)016131
Bin(12)1022141
Bin(11)016081
Bin(11)1022091
Bin(10)016151
Bin(10)1022161
Bin(9)016301
Bin(9)1022311
Bin(8)015951
Bin(8)1021961
Bin(7)016271
Bin(7)1022281
Bin(6)016281
Bin(6)1022291
Bin(5)016101
Bin(5)1022111
Bin(4)016141
Bin(4)1022151
Bin(3)016141
Bin(3)1022151
Bin(2)016161
Bin(2)1022171
Bin(1)016181
Bin(1)1022191
Bin(0)016081
Bin(0)1022091

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)0140451
Bin(3)1024441
Bin(2)0165181
Bin(2)1081191
Bin(1)0185891
Bin(1)10101901
Bin(0)0184851
Bin(0)10100861

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin0163291
Bin1079301

Port:

 TXTB_HW_CMD
ElementFromToCountThreshold
BinLOCK01252751
BinLOCK10268761
BinVALID01111121
BinVALID10127131
BinERR0142621
BinERR1058631
BinARBL014551
BinARBL1020561
BinFAILED0194361
BinFAILED10110371

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)0126791
Bin(31)1042801
Bin(30)0128141
Bin(30)1044151
Bin(29)0126621
Bin(29)1042631
Bin(28)01100281
Bin(28)10116291
Bin(27)0178321
Bin(27)1094331
Bin(26)01102751
Bin(26)10118761
Bin(25)0181041
Bin(25)1097051
Bin(24)01102891
Bin(24)10118901
Bin(23)0184531
Bin(23)10100541
Bin(22)01103171
Bin(22)10119181
Bin(21)0184001
Bin(21)10100011
Bin(20)01103461
Bin(20)10119471
Bin(19)0183251
Bin(19)1099261
Bin(18)01102011
Bin(18)10118021
Bin(17)0150281
Bin(17)1066291
Bin(16)0152131
Bin(16)1068141
Bin(15)0150461
Bin(15)1066471
Bin(14)0151481
Bin(14)1067491
Bin(13)0150461
Bin(13)1066471
Bin(12)0150131
Bin(12)1066141
Bin(11)0149931
Bin(11)1065941
Bin(10)0159251
Bin(10)1075261
Bin(9)0190771
Bin(9)10106781
Bin(8)0154391
Bin(8)1070401
Bin(7)01127281
Bin(7)10143291
Bin(6)0183321
Bin(6)1099331
Bin(5)0166081
Bin(5)1082091
Bin(4)0161101
Bin(4)1077111
Bin(3)0190601
Bin(3)10106611
Bin(2)0195271
Bin(2)10111281
Bin(1)0198351
Bin(1)10114361
Bin(0)01139091
Bin(0)10155101

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin0186281
Bin10102291

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin0165731
Bin1081741

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin0117281
Bin1033291

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin013071
Bin1019081

Port:

 TXTB_BB_PARITY_ERROR
FromToCountThreshold
Bin011511
Bin1017521

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin0181741
Bin1065731

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin0165731
Bin1081741

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)0155711
Bin(31)1071221
Bin(30)0158661
Bin(30)1074171
Bin(29)0156041
Bin(29)1071551
Bin(28)01174181
Bin(28)10189251
Bin(27)01142521
Bin(27)10157661
Bin(26)01174361
Bin(26)10189471
Bin(25)01147251
Bin(25)10162311
Bin(24)01178261
Bin(24)10193371
Bin(23)01151591
Bin(23)10166691
Bin(22)01178181
Bin(22)10193201
Bin(21)01157801
Bin(21)10172781
Bin(20)01178591
Bin(20)10193731
Bin(19)01154231
Bin(19)10169181
Bin(18)01176821
Bin(18)10191831
Bin(17)0199191
Bin(17)10114471
Bin(16)0199851
Bin(16)10115191
Bin(15)0199941
Bin(15)10115291
Bin(14)01100301
Bin(14)10115641
Bin(13)0198711
Bin(13)10114061
Bin(12)0199581
Bin(12)10114931
Bin(11)0198641
Bin(11)10114031
Bin(10)01115971
Bin(10)10130591
Bin(9)01191261
Bin(9)10205351
Bin(8)01106441
Bin(8)10121781
Bin(7)01245601
Bin(7)10257961
Bin(6)01160211
Bin(6)10174391
Bin(5)01132781
Bin(5)10148051
Bin(4)01123131
Bin(4)10138451
Bin(3)01192731
Bin(3)10207311
Bin(2)01202201
Bin(2)10216561
Bin(1)01204041
Bin(1)10218481
Bin(0)01272321
Bin(0)10285101

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin013071
Bin1019081

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin013541
Bin1019551

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin01213271
Bin10229281

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin0117341
Bin1033351

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin011041
Bin1017051

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin01116681
Bin10132691

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin012291
Bin1018301

Signal:

 BUFFER_SKIPPED
FromToCountThreshold
Bin01441
Bin1016451

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin012731
Bin1018741

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin011277571
Bin101293581

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin012338551
Bin102354561

Signal:

 CLK_RAM
FromToCountThreshold
Bin01152400581
Bin10152416591

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin0117281
Bin1033291

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 253:

 txtb_port_a_cs = '1' and txtb_user_accessible = '1' 
 <-------LHS-------->     <----------RHS-----------> 

LHSRHSCountThreshold
BinFalseTrue1359311
BinTrueFalse3001
BinTrueTrue1277571

"=" expression on line 253:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse1444051
BinTrue1280571

"=" expression on line 253:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse87741
BinTrue2636881

"=" expression on line 266:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse662051
BinTrue515221

"or" expression on line 276:

 txtb_port_b_clk_en = '1' or txtb_port_a_write = '1' 
 <---------LHS---------->    <---------RHS---------> 

LHSRHSCountThreshold
BinFalseFalse2409071
BinFalseTrue1271131
BinTrueFalse1068361

"=" expression on line 276:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse3680201
BinTrue1075781

"=" expression on line 276:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse3477431
BinTrue1278551

"=" expression on line 278:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse2402591
BinTrue6481

"and" expression on lines 287 to 289:

 parity_mismatch = '1' and txtb_parity_check_valid = '1' and txtb_index_muxed = G_ID 
 <-------------------------LHS------------------------->     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue1453931
BinTrueFalse16241
BinTrueTrue3071

"and" expression on lines 287 to 288:

 parity_mismatch = '1' and txtb_parity_check_valid = '1' 
 <--------LHS-------->     <------------RHS------------> 

LHSRHSCountThreshold
BinFalseTrue1834731
BinTrueFalse20531
BinTrueTrue19311

"=" expression on line 287:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse4097621
BinTrue39841

"=" expression on line 288:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse2283421
BinTrue1854041

"=" expression on line 289:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse2680461
BinTrue1457001

"=" expression on line 301:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"and" expression on line 312:

 mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1' 
 <----------LHS----------->     <---------RHS----------> 

LHSRHSCountThreshold
BinFalseTrue57121
BinTrueFalse2691
BinTrueTrue1041

"=" expression on line 312:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse163921
BinTrue3731

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse109491
BinTrue58161

"and" expression on line 315:

 mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1' 
 <----------LHS----------->     <---------RHS----------> 

LHSRHSCountThreshold
BinFalseTrue65681
BinTrueFalse203861
BinTrueTrue116681

"=" expression on line 315:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse266571
BinTrue320541

"=" expression on line 315:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse404751
BinTrue182361

"and" expression on line 319:

 mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1' 
 <----------LHS----------->     <---------RHS----------> 

LHSRHSCountThreshold
BinFalseTrue58511
BinTrueFalse15101
BinTrueTrue2291

"=" expression on line 319:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse177861
BinTrue17391

"=" expression on line 319:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse134451
BinTrue60801

"and" expression on lines 323 to 324:

 (txtb_hw_cmd.failed = '1' or txtb_hw_cmd.valid = '1') and (txtb_is_bb = '1') 
  <-----------------------LHS----------------------->       <-----RHS------>  

LHSRHSCountThreshold
BinFalseTrue1311
BinTrueFalse205041
BinTrueTrue441

"or" expression on line 323:

 txtb_hw_cmd.failed = '1' or txtb_hw_cmd.valid = '1' 
 <---------LHS---------->    <---------RHS---------> 

LHSRHSCountThreshold
BinFalseFalse255251
BinFalseTrue111121
BinTrueFalse94361

"=" expression on line 323:

 txtb_hw_cmd.failed = '1' 
Evaluated toCountThreshold
BinFalse366371
BinTrue94361

"=" expression on line 323:

 txtb_hw_cmd.valid = '1' 
Evaluated toCountThreshold
BinFalse349611
BinTrue111121

"=" expression on line 324:

 txtb_is_bb = '1' 
Evaluated toCountThreshold
BinFalse458981
BinTrue1751

"or" expression on line 328:

 abort_applied or buffer_skipped 
 <----LHS---->    <----RHS-----> 

LHSRHSCountThreshold
Bin'0''0'18741
Bin'0''1'441
Bin'1''0'2291

"and" expression on line 333:

 txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1' 
 <-------------LHS------------->     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue1841
BinTrueFalse1561
BinTrueTrue1511

"=" expression on line 333:

 txtb_parity_error_valid_i = '1' 
Evaluated toCountThreshold
BinFalse51761
BinTrue3071

"=" expression on line 333:

 mr_mode_txbbm = '1' 
Evaluated toCountThreshold
BinFalse51481
BinTrue3351

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: