NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(7).G_TXT_BUF_ODD.I_TXTB_ODD_TOP

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/ctu_can_fd_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_CLK_GATE_TXTB_RAM_COMP 100.0 % (3/3) 100.0 % (2/2) 100.0 % (10/10) 100.0 % (8/8) N.A. N.A. 100.0 % (23/23)
I_TXTB_RAM 100.0 % (52/52) 100.0 % (38/38) 100.0 % (2160/2160) 93.1 % (54/58) N.A. N.A. 99.8 % (2304/2308)
I_TXTB_FSM 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.I_DUT.G_TXT_BUF_COMP(7).G_TXT_BUF_ODD.I_TXTB_ODD_TOP 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: 23142
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: 11141
Threshold: 1

Signal assignment statement on line 255:

255:                         '0'
Count: 12001
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: 4196
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: 1528
Threshold: 1

Signal assignment statement on line 268:

268:                                    (others => '0')
Count: 2668
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: 40624
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: 19742
Threshold: 1

Signal assignment statement on line 278:

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

Signal assignment statement on line 280:

280:                       '0'
Count: 20642
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: 44502
Threshold: 1

Signal assignment statement on line 287:

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

Signal assignment statement on line 291:

291:                                 '0'
Count: 44424
Threshold: 1

Signal assignment statement on line 293:

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

If statement on lines 301 to 309:

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

Count: 35428698
Threshold: 1

Signal assignment statement on line 302:

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

Signal assignment statement on line 303:

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

Signal assignment statement on line 304:

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

Signal assignment statement on line 306:

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

Signal assignment statement on line 307:

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

Signal assignment statement on line 308:

308:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 17333685
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: 917
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: 23
Threshold: 1

Signal assignment statement on line 314:

314:                             '0'
Count: 894
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: 6409
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: 223
Threshold: 1

Signal assignment statement on line 317:

317:                             '0'
Count: 6186
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: 1669
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: 46
Threshold: 1

Signal assignment statement on line 321:

321:                     '0'
Count: 1623
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: 5805
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: 3
Threshold: 1

Signal assignment statement on line 326:

326:                    '0'
Count: 5802
Threshold: 1

Signal assignment statement on line 328:

328:    abort_or_skipped <= abort_applied or buffer_skipped
Count: 428
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: 665
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: 33
Threshold: 1

Signal assignment statement on line 335:

335:                            '0'
Count: 632
Threshold: 1

Signal assignment statement on line 423:

423:    txtb_parity_mismatch <= parity_mismatch
Count: 1230
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
BinTrue111411
BinFalse120011

"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
BinTrue15281
BinFalse26681

"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
BinTrue197421
BinFalse208821

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

278:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinTrue2401
BinFalse206421

"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
BinTrue781
BinFalse444241

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

301:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue7604401
BinFalse346682581

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

305:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue173336851
BinFalse173345731

"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
BinTrue231
BinFalse8941

"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
BinTrue2231
BinFalse61861

"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
BinTrue461
BinFalse16231

"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
BinTrue31
BinFalse58021

"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
BinTrue331
BinFalse6321

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SCAN_MODE
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)011131
Bin(31)102781
Bin(30)011091
Bin(30)102741
Bin(29)011171
Bin(29)102821
Bin(28)011261
Bin(28)102911
Bin(27)011201
Bin(27)102851
Bin(26)011321
Bin(26)102971
Bin(25)011231
Bin(25)102881
Bin(24)011151
Bin(24)102801
Bin(23)011171
Bin(23)102821
Bin(22)011181
Bin(22)102831
Bin(21)011221
Bin(21)102871
Bin(20)011201
Bin(20)102851
Bin(19)011171
Bin(19)102821
Bin(18)011241
Bin(18)102891
Bin(17)011201
Bin(17)102851
Bin(16)011251
Bin(16)102901
Bin(15)011271
Bin(15)102921
Bin(14)011111
Bin(14)102761
Bin(13)011221
Bin(13)102871
Bin(12)011181
Bin(12)102831
Bin(11)011241
Bin(11)102891
Bin(10)011221
Bin(10)102871
Bin(9)011251
Bin(9)102901
Bin(8)011221
Bin(8)102871
Bin(7)011281
Bin(7)102931
Bin(6)011251
Bin(6)102901
Bin(5)011121
Bin(5)102771
Bin(4)011241
Bin(4)102891
Bin(3)011191
Bin(3)102841
Bin(2)011231
Bin(2)102881
Bin(1)011221
Bin(1)102871
Bin(0)011201
Bin(0)102851

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)012651
Bin(3)101001
Bin(2)011951
Bin(2)103601
Bin(1)012461
Bin(1)104111
Bin(0)012291
Bin(0)103941

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin011651
Bin103301

Port:

 TXTB_HW_CMD
ElementFromToCountThreshold
BinLOCK0130671
BinLOCK1032321
BinVALID0111721
BinVALID1013371
BinERR013991
BinERR105641
BinARBL01171
BinARBL101821
BinFAILED0114761
BinFAILED1016411

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)01811
Bin(31)102461
Bin(30)01901
Bin(30)102551
Bin(29)01781
Bin(29)102431
Bin(28)012521
Bin(28)104171
Bin(27)011841
Bin(27)103491
Bin(26)012801
Bin(26)104451
Bin(25)012871
Bin(25)104521
Bin(24)012281
Bin(24)103931
Bin(23)012811
Bin(23)104461
Bin(22)012761
Bin(22)104411
Bin(21)012751
Bin(21)104401
Bin(20)012621
Bin(20)104271
Bin(19)011841
Bin(19)103491
Bin(18)011971
Bin(18)103621
Bin(17)011991
Bin(17)103641
Bin(16)011601
Bin(16)103251
Bin(15)011721
Bin(15)103371
Bin(14)011561
Bin(14)103211
Bin(13)011501
Bin(13)103151
Bin(12)011371
Bin(12)103021
Bin(11)012151
Bin(11)103801
Bin(10)011911
Bin(10)103561
Bin(9)012621
Bin(9)104271
Bin(8)012131
Bin(8)103781
Bin(7)013421
Bin(7)105071
Bin(6)013541
Bin(6)105191
Bin(5)012661
Bin(5)104311
Bin(4)011601
Bin(4)103251
Bin(3)012701
Bin(3)104351
Bin(2)012311
Bin(2)103961
Bin(1)012961
Bin(1)104611
Bin(0)013161
Bin(0)104811

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin012491
Bin104141

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin012051
Bin103701

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin014501
Bin106151

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin01781
Bin102431

Port:

 TXTB_BB_PARITY_ERROR
FromToCountThreshold
Bin01331
Bin101981

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin013701
Bin102051

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin012051
Bin103701

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)011991
Bin(31)103541
Bin(30)013421
Bin(30)104971
Bin(29)011961
Bin(29)103511
Bin(28)016311
Bin(28)107831
Bin(27)013471
Bin(27)104991
Bin(26)016801
Bin(26)108301
Bin(25)016481
Bin(25)107981
Bin(24)013691
Bin(24)105191
Bin(23)015751
Bin(23)107281
Bin(22)016461
Bin(22)107971
Bin(21)014591
Bin(21)106091
Bin(20)014331
Bin(20)105851
Bin(19)015631
Bin(19)107121
Bin(18)015191
Bin(18)106711
Bin(17)014841
Bin(17)106371
Bin(16)014661
Bin(16)106211
Bin(15)014931
Bin(15)106471
Bin(14)014351
Bin(14)105901
Bin(13)014541
Bin(13)106091
Bin(12)014341
Bin(12)105881
Bin(11)013791
Bin(11)105331
Bin(10)014011
Bin(10)105541
Bin(9)017581
Bin(9)109071
Bin(8)013831
Bin(8)105361
Bin(7)018341
Bin(7)109771
Bin(6)017141
Bin(6)108611
Bin(5)014971
Bin(5)106501
Bin(4)013591
Bin(4)105131
Bin(3)015871
Bin(3)107351
Bin(2)016821
Bin(2)108331
Bin(1)016191
Bin(1)107671
Bin(0)016411
Bin(0)107851

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin01781
Bin102431

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin011361
Bin103011

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin0128821
Bin1030471

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin015121
Bin106771

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin01231
Bin101881

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin012231
Bin103881

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin01461
Bin102111

Signal:

 BUFFER_SKIPPED
FromToCountThreshold
Bin0131
Bin101681

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin01491
Bin102141

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin01111411
Bin10113061

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01199821
Bin10201471

Signal:

 CLK_RAM
FromToCountThreshold
Bin013365131
Bin103366781

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin014501
Bin106151

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 253:

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

LHSRHSCountThreshold
BinFalseTrue115111
BinTrueFalse601
BinTrueTrue111411

"=" expression on line 253:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse119411
BinTrue112011

"=" expression on line 253:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse4901
BinTrue226521

"=" expression on line 266:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse26681
BinTrue15281

"or" expression on line 276:

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

LHSRHSCountThreshold
BinFalseFalse208821
BinFalseTrue111411
BinTrueFalse86011

"=" expression on line 276:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse320231
BinTrue86011

"=" expression on line 276:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse294831
BinTrue111411

"=" expression on line 278:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse206421
BinTrue2401

"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
BinFalseTrue30381
BinTrueFalse9081
BinTrueTrue781

"and" expression on lines 287 to 288:

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

LHSRHSCountThreshold
BinFalseTrue178561
BinTrueFalse9791
BinTrueTrue9861

"=" expression on line 287:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse425371
BinTrue19651

"=" expression on line 288:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse256601
BinTrue188421

"=" expression on line 289:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse413861
BinTrue31161

"=" expression on line 301:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse346682581
BinTrue7604401

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue951
BinTrueFalse1161
BinTrueTrue231

"=" expression on line 312:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse7781
BinTrue1391

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse7991
BinTrue1181

"and" expression on line 315:

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

LHSRHSCountThreshold
BinFalseTrue2071
BinTrueFalse27501
BinTrueTrue2231

"=" expression on line 315:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse34361
BinTrue29731

"=" expression on line 315:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse59791
BinTrue4301

"and" expression on line 319:

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

LHSRHSCountThreshold
BinFalseTrue1211
BinTrueFalse4661
BinTrueTrue461

"=" expression on line 319:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse11571
BinTrue5121

"=" expression on line 319:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse15021
BinTrue1671

"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
BinFalseTrue101
BinTrueFalse26451
BinTrueTrue31

"or" expression on line 323:

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

LHSRHSCountThreshold
BinFalseFalse31571
BinFalseTrue11721
BinTrueFalse14761

"=" expression on line 323:

 txtb_hw_cmd.failed = '1' 
Evaluated toCountThreshold
BinFalse43291
BinTrue14761

"=" expression on line 323:

 txtb_hw_cmd.valid = '1' 
Evaluated toCountThreshold
BinFalse46331
BinTrue11721

"=" expression on line 324:

 txtb_is_bb = '1' 
Evaluated toCountThreshold
BinFalse57921
BinTrue131

"or" expression on line 328:

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

LHSRHSCountThreshold
Bin'0''0'2141
Bin'0''1'31
Bin'1''0'461

"and" expression on line 333:

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

LHSRHSCountThreshold
BinFalseTrue401
BinTrueFalse451
BinTrueTrue331

"=" expression on line 333:

 txtb_parity_error_valid_i = '1' 
Evaluated toCountThreshold
BinFalse5871
BinTrue781

"=" expression on line 333:

 mr_mode_txbbm = '1' 
Evaluated toCountThreshold
BinFalse5921
BinTrue731

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: