NVC code coverage report

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

File:  /__w/ctu-can-regression/ctu-can-regression/src/txt_buffer/txt_buffer_odd.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
CLK_GATE_TXT_BUFFER_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)
TXT_BUFFER_RAM_INST 100.0 % (51/51) 100.0 % (38/38) 100.0 % (2160/2160) 100.0 % (62/62) N.A. N.A. 100.0 % (2311/2311)
TXT_BUFFER_FSM_INST 100.0 % (79/79) 100.0 % (94/94) 100.0 % (70/70) 100.0 % (151/151) 100.0 % (16/16) N.A. 100.0 % (410/410)

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(5).TXT_BUF_ODD_GEN.TXT_BUFFER_ODD_INST 100.0 % (36/36) 100.0 % (24/24) 100.0 % (468/468) 100.0 % (75/75) N.A. N.A. 100.0 % (603/603)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Count: 23600
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

255:                         '0'
Count: 12243
Threshold: 1

If statement:

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

Count: 5829
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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: 40988
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

280:                       '0'
Count: 20824
Threshold: 1

If statement:

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: 43570
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

291:                                 '0'
Count: 43503
Threshold: 1

If statement:

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: 35370646
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 923
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

314:                             '0'
Count: 899
Threshold: 1

If statement:

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

Count: 6199
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

317:                             '0'
Count: 5927
Threshold: 1

If statement:

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

Count: 1675
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

321:                     '0'
Count: 1629
Threshold: 1

If statement:

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: 5587
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

326:                    '0'
Count: 5582
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 643
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

335:                            '0'
Count: 606
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

253:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
Evaluated toCountThreshold
BinTrue113571
BinFalse122431

"if" / "when" / "else" condition:

266:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1'
Evaluated toCountThreshold
BinTrue17121
BinFalse41171

"if" / "when" / "else" condition:

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
Evaluated toCountThreshold
BinTrue199241
BinFalse210641

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

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
BinTrue671
BinFalse435031

"if" / "when" / "else" condition:

301:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue7605161
BinFalse346101301

"if" / "when" / "else" condition:

305:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue173046211
BinFalse173055091

"if" / "when" / "else" condition:

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue241
BinFalse8991

"if" / "when" / "else" condition:

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue2721
BinFalse59271

"if" / "when" / "else" condition:

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue461
BinFalse16291

"if" / "when" / "else" condition:

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

Evaluated toCountThreshold
BinTrue51
BinFalse55821

"if" / "when" / "else" condition:

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1'
Evaluated toCountThreshold
BinTrue371
BinFalse6061

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin01176844351
Bin10176846001

Port:

 RES_N
FromToCountThreshold
Bin017231
Bin107231

Port:

 SCAN_ENABLE
FromToCountThreshold
Bin0111
Bin101661

Port:

 MR_MODE_BMM
FromToCountThreshold
Bin0131
Bin101681

Port:

 MR_MODE_ROM
FromToCountThreshold
Bin0181
Bin101731

Port:

 MR_MODE_TXBBM
FromToCountThreshold
Bin0171
Bin101721

Port:

 MR_SETTINGS_TBFBO
FromToCountThreshold
Bin011991
Bin10341

Port:

 MR_SETTINGS_PCHKE
FromToCountThreshold
Bin01351
Bin102001

Port:

 MR_TX_COMMAND_TXCE
FromToCountThreshold
Bin011361
Bin1035991

Port:

 MR_TX_COMMAND_TXCR
FromToCountThreshold
Bin0127861
Bin1035991

Port:

 MR_TX_COMMAND_TXCA
FromToCountThreshold
Bin015121
Bin1035991

Port:

 MR_TX_COMMAND_TXBI
FromToCountThreshold
Bin01781
Bin102431

Port:

 MR_TST_CONTROL_TMAENA
FromToCountThreshold
Bin012401
Bin104051

Port:

 MR_TST_CONTROL_TWRSTB
FromToCountThreshold
Bin01240191
Bin10246631

Port:

 MR_TST_DEST_TST_ADDR(4)
FromToCountThreshold
Bin0120831
Bin1022481

Port:

 MR_TST_DEST_TST_ADDR(3)
FromToCountThreshold
Bin0133651
Bin1035301

Port:

 MR_TST_DEST_TST_ADDR(2)
FromToCountThreshold
Bin0168171
Bin1069821

Port:

 MR_TST_DEST_TST_ADDR(1)
FromToCountThreshold
Bin01142961
Bin10144611

Port:

 MR_TST_DEST_TST_ADDR(0)
FromToCountThreshold
Bin01285911
Bin10287561

Port:

 MR_TST_DEST_TST_MTGT(3)
FromToCountThreshold
Bin01911
Bin102561

Port:

 MR_TST_DEST_TST_MTGT(2)
FromToCountThreshold
Bin011331
Bin102981

Port:

 MR_TST_DEST_TST_MTGT(1)
FromToCountThreshold
Bin011841
Bin103491

Port:

 MR_TST_DEST_TST_MTGT(0)
FromToCountThreshold
Bin013501
Bin105151

Port:

 MR_TST_WDATA_TST_WDATA(31)
FromToCountThreshold
Bin0111681
Bin1013331

Port:

 MR_TST_WDATA_TST_WDATA(30)
FromToCountThreshold
Bin0111131
Bin1012781

Port:

 MR_TST_WDATA_TST_WDATA(29)
FromToCountThreshold
Bin0111431
Bin1013081

Port:

 MR_TST_WDATA_TST_WDATA(28)
FromToCountThreshold
Bin0112211
Bin1013861

Port:

 MR_TST_WDATA_TST_WDATA(27)
FromToCountThreshold
Bin0112471
Bin1014121

Port:

 MR_TST_WDATA_TST_WDATA(26)
FromToCountThreshold
Bin0112301
Bin1013951

Port:

 MR_TST_WDATA_TST_WDATA(25)
FromToCountThreshold
Bin0112461
Bin1014111

Port:

 MR_TST_WDATA_TST_WDATA(24)
FromToCountThreshold
Bin0112871
Bin1014521

Port:

 MR_TST_WDATA_TST_WDATA(23)
FromToCountThreshold
Bin0111751
Bin1013401

Port:

 MR_TST_WDATA_TST_WDATA(22)
FromToCountThreshold
Bin0111171
Bin1012821

Port:

 MR_TST_WDATA_TST_WDATA(21)
FromToCountThreshold
Bin0111481
Bin1013131

Port:

 MR_TST_WDATA_TST_WDATA(20)
FromToCountThreshold
Bin0112391
Bin1014041

Port:

 MR_TST_WDATA_TST_WDATA(19)
FromToCountThreshold
Bin0112481
Bin1014131

Port:

 MR_TST_WDATA_TST_WDATA(18)
FromToCountThreshold
Bin0112311
Bin1013961

Port:

 MR_TST_WDATA_TST_WDATA(17)
FromToCountThreshold
Bin0112501
Bin1014151

Port:

 MR_TST_WDATA_TST_WDATA(16)
FromToCountThreshold
Bin0112841
Bin1014491

Port:

 MR_TST_WDATA_TST_WDATA(15)
FromToCountThreshold
Bin0111761
Bin1013411

Port:

 MR_TST_WDATA_TST_WDATA(14)
FromToCountThreshold
Bin0111261
Bin1012911

Port:

 MR_TST_WDATA_TST_WDATA(13)
FromToCountThreshold
Bin0111631
Bin1013281

Port:

 MR_TST_WDATA_TST_WDATA(12)
FromToCountThreshold
Bin0112361
Bin1014011

Port:

 MR_TST_WDATA_TST_WDATA(11)
FromToCountThreshold
Bin0112361
Bin1014011

Port:

 MR_TST_WDATA_TST_WDATA(10)
FromToCountThreshold
Bin0112351
Bin1014001

Port:

 MR_TST_WDATA_TST_WDATA(9)
FromToCountThreshold
Bin0112541
Bin1014191

Port:

 MR_TST_WDATA_TST_WDATA(8)
FromToCountThreshold
Bin0112901
Bin1014551

Port:

 MR_TST_WDATA_TST_WDATA(7)
FromToCountThreshold
Bin0111881
Bin1013531

Port:

 MR_TST_WDATA_TST_WDATA(6)
FromToCountThreshold
Bin0111441
Bin1013091

Port:

 MR_TST_WDATA_TST_WDATA(5)
FromToCountThreshold
Bin0111781
Bin1013431

Port:

 MR_TST_WDATA_TST_WDATA(4)
FromToCountThreshold
Bin0112291
Bin1013941

Port:

 MR_TST_WDATA_TST_WDATA(3)
FromToCountThreshold
Bin0112511
Bin1014161

Port:

 MR_TST_WDATA_TST_WDATA(2)
FromToCountThreshold
Bin0112391
Bin1014041

Port:

 MR_TST_WDATA_TST_WDATA(1)
FromToCountThreshold
Bin0112521
Bin1014171

Port:

 MR_TST_WDATA_TST_WDATA(0)
FromToCountThreshold
Bin0112971
Bin1014621

Port:

 MR_TST_RDATA_TST_RDATA(31)
FromToCountThreshold
Bin011231
Bin102881

Port:

 MR_TST_RDATA_TST_RDATA(30)
FromToCountThreshold
Bin011211
Bin102861

Port:

 MR_TST_RDATA_TST_RDATA(29)
FromToCountThreshold
Bin011201
Bin102851

Port:

 MR_TST_RDATA_TST_RDATA(28)
FromToCountThreshold
Bin011351
Bin103001

Port:

 MR_TST_RDATA_TST_RDATA(27)
FromToCountThreshold
Bin011321
Bin102971

Port:

 MR_TST_RDATA_TST_RDATA(26)
FromToCountThreshold
Bin011271
Bin102921

Port:

 MR_TST_RDATA_TST_RDATA(25)
FromToCountThreshold
Bin011321
Bin102971

Port:

 MR_TST_RDATA_TST_RDATA(24)
FromToCountThreshold
Bin011401
Bin103051

Port:

 MR_TST_RDATA_TST_RDATA(23)
FromToCountThreshold
Bin011321
Bin102971

Port:

 MR_TST_RDATA_TST_RDATA(22)
FromToCountThreshold
Bin011301
Bin102951

Port:

 MR_TST_RDATA_TST_RDATA(21)
FromToCountThreshold
Bin011301
Bin102951

Port:

 MR_TST_RDATA_TST_RDATA(20)
FromToCountThreshold
Bin011261
Bin102911

Port:

 MR_TST_RDATA_TST_RDATA(19)
FromToCountThreshold
Bin011351
Bin103001

Port:

 MR_TST_RDATA_TST_RDATA(18)
FromToCountThreshold
Bin011401
Bin103051

Port:

 MR_TST_RDATA_TST_RDATA(17)
FromToCountThreshold
Bin011201
Bin102851

Port:

 MR_TST_RDATA_TST_RDATA(16)
FromToCountThreshold
Bin011291
Bin102941

Port:

 MR_TST_RDATA_TST_RDATA(15)
FromToCountThreshold
Bin011241
Bin102891

Port:

 MR_TST_RDATA_TST_RDATA(14)
FromToCountThreshold
Bin011281
Bin102931

Port:

 MR_TST_RDATA_TST_RDATA(13)
FromToCountThreshold
Bin011271
Bin102921

Port:

 MR_TST_RDATA_TST_RDATA(12)
FromToCountThreshold
Bin011301
Bin102951

Port:

 MR_TST_RDATA_TST_RDATA(11)
FromToCountThreshold
Bin011261
Bin102911

Port:

 MR_TST_RDATA_TST_RDATA(10)
FromToCountThreshold
Bin011181
Bin102831

Port:

 MR_TST_RDATA_TST_RDATA(9)
FromToCountThreshold
Bin011321
Bin102971

Port:

 MR_TST_RDATA_TST_RDATA(8)
FromToCountThreshold
Bin011261
Bin102911

Port:

 MR_TST_RDATA_TST_RDATA(7)
FromToCountThreshold
Bin011291
Bin102941

Port:

 MR_TST_RDATA_TST_RDATA(6)
FromToCountThreshold
Bin011301
Bin102951

Port:

 MR_TST_RDATA_TST_RDATA(5)
FromToCountThreshold
Bin011291
Bin102941

Port:

 MR_TST_RDATA_TST_RDATA(4)
FromToCountThreshold
Bin011191
Bin102841

Port:

 MR_TST_RDATA_TST_RDATA(3)
FromToCountThreshold
Bin011251
Bin102901

Port:

 MR_TST_RDATA_TST_RDATA(2)
FromToCountThreshold
Bin011351
Bin103001

Port:

 MR_TST_RDATA_TST_RDATA(1)
FromToCountThreshold
Bin011281
Bin102931

Port:

 MR_TST_RDATA_TST_RDATA(0)
FromToCountThreshold
Bin011261
Bin102911

Port:

 TXTB_PORT_A_DATA_IN(31)
FromToCountThreshold
Bin01168081
Bin103221741

Port:

 TXTB_PORT_A_DATA_IN(30)
FromToCountThreshold
Bin01188681
Bin103201141

Port:

 TXTB_PORT_A_DATA_IN(29)
FromToCountThreshold
Bin01164741
Bin103225081

Port:

 TXTB_PORT_A_DATA_IN(28)
FromToCountThreshold
Bin01250471
Bin103139351

Port:

 TXTB_PORT_A_DATA_IN(27)
FromToCountThreshold
Bin01191691
Bin103198131

Port:

 TXTB_PORT_A_DATA_IN(26)
FromToCountThreshold
Bin01215011
Bin103174811

Port:

 TXTB_PORT_A_DATA_IN(25)
FromToCountThreshold
Bin01264361
Bin103125461

Port:

 TXTB_PORT_A_DATA_IN(24)
FromToCountThreshold
Bin01213431
Bin103176391

Port:

 TXTB_PORT_A_DATA_IN(23)
FromToCountThreshold
Bin01204121
Bin103185701

Port:

 TXTB_PORT_A_DATA_IN(22)
FromToCountThreshold
Bin01239171
Bin103150651

Port:

 TXTB_PORT_A_DATA_IN(21)
FromToCountThreshold
Bin01226581
Bin103163241

Port:

 TXTB_PORT_A_DATA_IN(20)
FromToCountThreshold
Bin01209971
Bin103179851

Port:

 TXTB_PORT_A_DATA_IN(19)
FromToCountThreshold
Bin01353381
Bin103036441

Port:

 TXTB_PORT_A_DATA_IN(18)
FromToCountThreshold
Bin01439651
Bin102950171

Port:

 TXTB_PORT_A_DATA_IN(17)
FromToCountThreshold
Bin01411961
Bin102977861

Port:

 TXTB_PORT_A_DATA_IN(16)
FromToCountThreshold
Bin01849631
Bin102540191

Port:

 TXTB_PORT_A_DATA_IN(15)
FromToCountThreshold
Bin01185071
Bin103204751

Port:

 TXTB_PORT_A_DATA_IN(14)
FromToCountThreshold
Bin01219221
Bin103170601

Port:

 TXTB_PORT_A_DATA_IN(13)
FromToCountThreshold
Bin01192021
Bin103197801

Port:

 TXTB_PORT_A_DATA_IN(12)
FromToCountThreshold
Bin01223351
Bin103166471

Port:

 TXTB_PORT_A_DATA_IN(11)
FromToCountThreshold
Bin01403841
Bin102985981

Port:

 TXTB_PORT_A_DATA_IN(10)
FromToCountThreshold
Bin01417081
Bin102972741

Port:

 TXTB_PORT_A_DATA_IN(9)
FromToCountThreshold
Bin01497331
Bin102892491

Port:

 TXTB_PORT_A_DATA_IN(8)
FromToCountThreshold
Bin01508811
Bin102881011

Port:

 TXTB_PORT_A_DATA_IN(7)
FromToCountThreshold
Bin01446371
Bin102943451

Port:

 TXTB_PORT_A_DATA_IN(6)
FromToCountThreshold
Bin01425831
Bin102963991

Port:

 TXTB_PORT_A_DATA_IN(5)
FromToCountThreshold
Bin01449921
Bin102939901

Port:

 TXTB_PORT_A_DATA_IN(4)
FromToCountThreshold
Bin01497471
Bin102892351

Port:

 TXTB_PORT_A_DATA_IN(3)
FromToCountThreshold
Bin01534141
Bin102855681

Port:

 TXTB_PORT_A_DATA_IN(2)
FromToCountThreshold
Bin01563121
Bin102826701

Port:

 TXTB_PORT_A_DATA_IN(1)
FromToCountThreshold
Bin01971541
Bin102418281

Port:

 TXTB_PORT_A_DATA_IN(0)
FromToCountThreshold
Bin01840311
Bin102549511

Port:

 TXTB_PORT_A_PARITY
FromToCountThreshold
Bin012706601
Bin10683221

Port:

 TXTB_PORT_A_ADDRESS(4)
FromToCountThreshold
Bin011017601
Bin1049596951

Port:

 TXTB_PORT_A_ADDRESS(3)
FromToCountThreshold
Bin011281881
Bin1049332671

Port:

 TXTB_PORT_A_ADDRESS(2)
FromToCountThreshold
Bin011098221
Bin1049516331

Port:

 TXTB_PORT_A_ADDRESS(1)
FromToCountThreshold
Bin0148173931
Bin102440621

Port:

 TXTB_PORT_A_ADDRESS(0)
FromToCountThreshold
Bin0136276051
Bin1014338501

Port:

 TXTB_PORT_A_CS
FromToCountThreshold
Bin01114171
Bin10115821

Port:

 TXTB_PORT_A_BE(3)
FromToCountThreshold
Bin0150533651
Bin1079251

Port:

 TXTB_PORT_A_BE(2)
FromToCountThreshold
Bin0150534451
Bin1078451

Port:

 TXTB_PORT_A_BE(1)
FromToCountThreshold
Bin0150392041
Bin10220861

Port:

 TXTB_PORT_A_BE(0)
FromToCountThreshold
Bin0150394881
Bin10218021

Port:

 TXTB_STATE(3)
FromToCountThreshold
Bin012681
Bin101031

Port:

 TXTB_STATE(2)
FromToCountThreshold
Bin012061
Bin103711

Port:

 TXTB_STATE(1)
FromToCountThreshold
Bin012471
Bin104121

Port:

 TXTB_STATE(0)
FromToCountThreshold
Bin012281
Bin103931

Port:

 TXTB_IS_BB
FromToCountThreshold
Bin0191
Bin101741

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin011711
Bin103361

Port:

 TXTB_HW_CMD.LOCK
FromToCountThreshold
Bin0129591
Bin1031241

Port:

 TXTB_HW_CMD.VALID
FromToCountThreshold
Bin0111531
Bin1013181

Port:

 TXTB_HW_CMD.ERR
FromToCountThreshold
Bin014031
Bin105681

Port:

 TXTB_HW_CMD.ARBL
FromToCountThreshold
Bin01171
Bin101821

Port:

 TXTB_HW_CMD.FAILED
FromToCountThreshold
Bin0113841
Bin1015491

Port:

 TXTB_HW_CMD_CS
FromToCountThreshold
Bin01751
Bin102401

Port:

 TXTB_PORT_B_DATA_OUT(31)
FromToCountThreshold
Bin011421
Bin103071

Port:

 TXTB_PORT_B_DATA_OUT(30)
FromToCountThreshold
Bin011321
Bin102971

Port:

 TXTB_PORT_B_DATA_OUT(29)
FromToCountThreshold
Bin01991
Bin102641

Port:

 TXTB_PORT_B_DATA_OUT(28)
FromToCountThreshold
Bin013101
Bin104751

Port:

 TXTB_PORT_B_DATA_OUT(27)
FromToCountThreshold
Bin013311
Bin104961

Port:

 TXTB_PORT_B_DATA_OUT(26)
FromToCountThreshold
Bin012811
Bin104461

Port:

 TXTB_PORT_B_DATA_OUT(25)
FromToCountThreshold
Bin012761
Bin104411

Port:

 TXTB_PORT_B_DATA_OUT(24)
FromToCountThreshold
Bin013571
Bin105221

Port:

 TXTB_PORT_B_DATA_OUT(23)
FromToCountThreshold
Bin013421
Bin105071

Port:

 TXTB_PORT_B_DATA_OUT(22)
FromToCountThreshold
Bin012901
Bin104551

Port:

 TXTB_PORT_B_DATA_OUT(21)
FromToCountThreshold
Bin013071
Bin104721

Port:

 TXTB_PORT_B_DATA_OUT(20)
FromToCountThreshold
Bin012831
Bin104481

Port:

 TXTB_PORT_B_DATA_OUT(19)
FromToCountThreshold
Bin013171
Bin104821

Port:

 TXTB_PORT_B_DATA_OUT(18)
FromToCountThreshold
Bin013431
Bin105081

Port:

 TXTB_PORT_B_DATA_OUT(17)
FromToCountThreshold
Bin012461
Bin104111

Port:

 TXTB_PORT_B_DATA_OUT(16)
FromToCountThreshold
Bin011911
Bin103561

Port:

 TXTB_PORT_B_DATA_OUT(15)
FromToCountThreshold
Bin012551
Bin104201

Port:

 TXTB_PORT_B_DATA_OUT(14)
FromToCountThreshold
Bin012471
Bin104121

Port:

 TXTB_PORT_B_DATA_OUT(13)
FromToCountThreshold
Bin012031
Bin103681

Port:

 TXTB_PORT_B_DATA_OUT(12)
FromToCountThreshold
Bin012271
Bin103921

Port:

 TXTB_PORT_B_DATA_OUT(11)
FromToCountThreshold
Bin012381
Bin104031

Port:

 TXTB_PORT_B_DATA_OUT(10)
FromToCountThreshold
Bin012071
Bin103721

Port:

 TXTB_PORT_B_DATA_OUT(9)
FromToCountThreshold
Bin013511
Bin105161

Port:

 TXTB_PORT_B_DATA_OUT(8)
FromToCountThreshold
Bin012851
Bin104501

Port:

 TXTB_PORT_B_DATA_OUT(7)
FromToCountThreshold
Bin014141
Bin105791

Port:

 TXTB_PORT_B_DATA_OUT(6)
FromToCountThreshold
Bin013431
Bin105081

Port:

 TXTB_PORT_B_DATA_OUT(5)
FromToCountThreshold
Bin012671
Bin104321

Port:

 TXTB_PORT_B_DATA_OUT(4)
FromToCountThreshold
Bin012171
Bin103821

Port:

 TXTB_PORT_B_DATA_OUT(3)
FromToCountThreshold
Bin012881
Bin104531

Port:

 TXTB_PORT_B_DATA_OUT(2)
FromToCountThreshold
Bin013521
Bin105171

Port:

 TXTB_PORT_B_DATA_OUT(1)
FromToCountThreshold
Bin013171
Bin104821

Port:

 TXTB_PORT_B_DATA_OUT(0)
FromToCountThreshold
Bin013401
Bin105051

Port:

 TXTB_PORT_B_ADDRESS(4)
FromToCountThreshold
Bin0131931
Bin1033581

Port:

 TXTB_PORT_B_ADDRESS(3)
FromToCountThreshold
Bin011141
Bin102791

Port:

 TXTB_PORT_B_ADDRESS(2)
FromToCountThreshold
Bin0149261
Bin1050911

Port:

 TXTB_PORT_B_ADDRESS(1)
FromToCountThreshold
Bin0136961
Bin1036961

Port:

 TXTB_PORT_B_ADDRESS(0)
FromToCountThreshold
Bin01106101
Bin10107751

Port:

 TXTB_PORT_B_CLK_EN
FromToCountThreshold
Bin0185671
Bin1087321

Port:

 IS_BUS_OFF
FromToCountThreshold
Bin017581
Bin107581

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin012551
Bin104201

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin012181
Bin103831

Port:

 TXTB_PARITY_CHECK_VALID
FromToCountThreshold
Bin01179091
Bin10180741

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin014271
Bin105921

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin01671
Bin102321

Port:

 TXTB_BB_PARITY_ERROR
FromToCountThreshold
Bin01371
Bin102021

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin013831
Bin102181

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin012181
Bin103831

Signal:

 TXTB_PORT_B_DATA_OUT_I(31)
FromToCountThreshold
Bin013511
Bin105061

Signal:

 TXTB_PORT_B_DATA_OUT_I(30)
FromToCountThreshold
Bin013841
Bin105391

Signal:

 TXTB_PORT_B_DATA_OUT_I(29)
FromToCountThreshold
Bin013041
Bin104591

Signal:

 TXTB_PORT_B_DATA_OUT_I(28)
FromToCountThreshold
Bin017401
Bin108891

Signal:

 TXTB_PORT_B_DATA_OUT_I(27)
FromToCountThreshold
Bin017661
Bin109151

Signal:

 TXTB_PORT_B_DATA_OUT_I(26)
FromToCountThreshold
Bin015811
Bin107331

Signal:

 TXTB_PORT_B_DATA_OUT_I(25)
FromToCountThreshold
Bin018451
Bin109971

Signal:

 TXTB_PORT_B_DATA_OUT_I(24)
FromToCountThreshold
Bin018921
Bin1010421

Signal:

 TXTB_PORT_B_DATA_OUT_I(23)
FromToCountThreshold
Bin017871
Bin109361

Signal:

 TXTB_PORT_B_DATA_OUT_I(22)
FromToCountThreshold
Bin016671
Bin108181

Signal:

 TXTB_PORT_B_DATA_OUT_I(21)
FromToCountThreshold
Bin017981
Bin109501

Signal:

 TXTB_PORT_B_DATA_OUT_I(20)
FromToCountThreshold
Bin016061
Bin107551

Signal:

 TXTB_PORT_B_DATA_OUT_I(19)
FromToCountThreshold
Bin019331
Bin1010821

Signal:

 TXTB_PORT_B_DATA_OUT_I(18)
FromToCountThreshold
Bin017741
Bin109231

Signal:

 TXTB_PORT_B_DATA_OUT_I(17)
FromToCountThreshold
Bin015211
Bin106751

Signal:

 TXTB_PORT_B_DATA_OUT_I(16)
FromToCountThreshold
Bin014291
Bin105811

Signal:

 TXTB_PORT_B_DATA_OUT_I(15)
FromToCountThreshold
Bin017171
Bin108691

Signal:

 TXTB_PORT_B_DATA_OUT_I(14)
FromToCountThreshold
Bin015611
Bin107141

Signal:

 TXTB_PORT_B_DATA_OUT_I(13)
FromToCountThreshold
Bin016521
Bin108051

Signal:

 TXTB_PORT_B_DATA_OUT_I(12)
FromToCountThreshold
Bin015071
Bin106601

Signal:

 TXTB_PORT_B_DATA_OUT_I(11)
FromToCountThreshold
Bin015031
Bin106541

Signal:

 TXTB_PORT_B_DATA_OUT_I(10)
FromToCountThreshold
Bin014681
Bin106191

Signal:

 TXTB_PORT_B_DATA_OUT_I(9)
FromToCountThreshold
Bin019721
Bin1011201

Signal:

 TXTB_PORT_B_DATA_OUT_I(8)
FromToCountThreshold
Bin015991
Bin107501

Signal:

 TXTB_PORT_B_DATA_OUT_I(7)
FromToCountThreshold
Bin019481
Bin1010901

Signal:

 TXTB_PORT_B_DATA_OUT_I(6)
FromToCountThreshold
Bin019231
Bin1010731

Signal:

 TXTB_PORT_B_DATA_OUT_I(5)
FromToCountThreshold
Bin018441
Bin109941

Signal:

 TXTB_PORT_B_DATA_OUT_I(4)
FromToCountThreshold
Bin014931
Bin106441

Signal:

 TXTB_PORT_B_DATA_OUT_I(3)
FromToCountThreshold
Bin017091
Bin108591

Signal:

 TXTB_PORT_B_DATA_OUT_I(2)
FromToCountThreshold
Bin018781
Bin1010261

Signal:

 TXTB_PORT_B_DATA_OUT_I(1)
FromToCountThreshold
Bin019381
Bin1010881

Signal:

 TXTB_PORT_B_DATA_OUT_I(0)
FromToCountThreshold
Bin017751
Bin109211

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin01671
Bin102321

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin011361
Bin103011

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin0127741
Bin1029391

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin015121
Bin106771

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin01241
Bin101891

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin012721
Bin104371

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin01461
Bin102111

Signal:

 BUFFER_SKIPPED
FromToCountThreshold
Bin0151
Bin101701

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin01511
Bin102161

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin01113571
Bin10115221

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01201641
Bin10203291

Signal:

 CLK_RAM
FromToCountThreshold
Bin013277671
Bin103279321

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin014271
Bin105921

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

253:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1') 
Evaluated toCountThreshold
BinFalse121831
BinTrue114171

"=" expression

253:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
Evaluated toCountThreshold
BinFalse5031
BinTrue230971

"and" expression

253:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
                                       <-------LHS-------->     <----------RHS----------->  

LHSRHSCountThreshold
BinFalseTrue117401
BinTrueFalse601
BinTrueTrue113571

"=" expression

266:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1'
Evaluated toCountThreshold
BinFalse41171
BinTrue17121

"=" expression

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
Evaluated toCountThreshold
BinFalse324211
BinTrue85671

"=" expression

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
Evaluated toCountThreshold
BinFalse296311
BinTrue113571

"or" expression

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
                                     <---------LHS---------->    <---------RHS--------->  

LHSRHSCountThreshold
BinFalseFalse210641
BinFalseTrue113571
BinTrueFalse85671

"=" expression

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

"=" expression

287:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
Evaluated toCountThreshold
BinFalse413841
BinTrue21861

"=" expression

288:                                           txtb_parity_check_valid = '1' and 
Evaluated toCountThreshold
BinFalse252181
BinTrue183521

"and" expression

287:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
288:                                           txtb_parity_check_valid = '1' and 

LHSRHSCountThreshold
BinFalseTrue173321
BinTrueFalse11661
BinTrueTrue10201

"=" expression

289:                                           txtb_index_muxed = G_ID
Evaluated toCountThreshold
BinFalse403341
BinTrue32361

"and" expression

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) 

LHSRHSCountThreshold
BinFalseTrue31691
BinTrueFalse9531
BinTrueTrue671

"=" expression

301:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse346101301
BinTrue7605161

"=" expression

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse7831
BinTrue1401

"=" expression

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse8011
BinTrue1221

"and" expression

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
                                           <----------LHS----------->     <---------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue981
BinTrueFalse1161
BinTrueTrue241

"=" expression

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse32941
BinTrue29051

"=" expression

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse57081
BinTrue4911

"and" expression

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
                                           <----------LHS----------->     <---------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue2191
BinTrueFalse26331
BinTrueTrue2721

"=" expression

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse11631
BinTrue5121

"=" expression

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse15051
BinTrue1701

"and" expression

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
                                   <----------LHS----------->     <---------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue1241
BinTrueFalse4661
BinTrueTrue461

"=" expression

323:    buffer_skipped <= '1' when ((txtb_hw_cmd.failed = '1' or txtb_hw_cmd.valid = '1') and 
Evaluated toCountThreshold
BinFalse42031
BinTrue13841

"=" expression

323:    buffer_skipped <= '1' when ((txtb_hw_cmd.failed = '1' or txtb_hw_cmd.valid = '1') and 
Evaluated toCountThreshold
BinFalse44341
BinTrue11531

"or" expression

323:    buffer_skipped <= '1' when ((txtb_hw_cmd.failed = '1' or txtb_hw_cmd.valid = '1') and 
                                     <---------LHS---------->    <---------RHS--------->      

LHSRHSCountThreshold
BinFalseFalse30501
BinFalseTrue11531
BinTrueFalse13841

"=" expression

324:                                (txtb_is_bb = '1')) 
Evaluated toCountThreshold
BinFalse55681
BinTrue191

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue141
BinTrueFalse25321
BinTrueTrue51

"or" expression

328:    abort_or_skipped <= abort_applied or buffer_skipped
                            <----LHS---->    <----RHS----->  

LHSRHSCountThreshold
Bin'0''0'2161
Bin'0''1'51
Bin'1''0'461

"=" expression

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1') 
Evaluated toCountThreshold
BinFalse5761
BinTrue671

"=" expression

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1'
Evaluated toCountThreshold
BinFalse5621
BinTrue811

"and" expression

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1'
                                          <-------------LHS------------->     <-------RHS------->  

LHSRHSCountThreshold
BinFalseTrue441
BinTrueFalse301
BinTrueTrue371

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: