NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(3).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 % (4/4) 100.0 % (2/2) 100.0 % (10/10) 100.0 % (8/8) N.A. N.A. 100.0 % (24/24)
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(3).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: 93748
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

255:                         '0'
Count: 48670
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: 17955
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

268:                                    (others => '0')
Count: 11877
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: 145490
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: 70789
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

280:                       '0'
Count: 74065
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: 138098
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

291:                                 '0'
Count: 137752
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: 162324562
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

308:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 80292006
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: 3420
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: 93
Threshold: 1

Signal assignment statement:

314:                             '0'
Count: 3327
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: 21324
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: 1013
Threshold: 1

Signal assignment statement:

317:                             '0'
Count: 20311
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: 5732
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

321:                     '0'
Count: 5551
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: 19270
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

326:                    '0'
Count: 19249
Threshold: 1

Signal assignment statement:

328:    abort_or_skipped <= abort_applied or buffer_skipped
Count: 1724
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: 2728
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

335:                            '0'
Count: 2553
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
BinTrue450781
BinFalse486701

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

266:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1'
Evaluated toCountThreshold
BinTrue60781
BinFalse118771

"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
BinTrue707891
BinFalse747011

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

278:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinTrue6361
BinFalse740651

"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
BinTrue3461
BinFalse1377521

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

301:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue17370461
BinFalse1605875161

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

305:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue802920061
BinFalse802955101

"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
BinTrue931
BinFalse33271

"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
BinTrue10131
BinFalse203111

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

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue1811
BinFalse55511

"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
BinTrue211
BinFalse192491

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

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1'
Evaluated toCountThreshold
BinTrue1751
BinFalse25531

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin01811587771
Bin10811594371

Port:

 RES_N
FromToCountThreshold
Bin0128441
Bin1028441

Port:

 SCAN_ENABLE
FromToCountThreshold
Bin0141
Bin106641

Port:

 MR_MODE_BMM
FromToCountThreshold
Bin01121
Bin106721

Port:

 MR_MODE_ROM
FromToCountThreshold
Bin01321
Bin106921

Port:

 MR_MODE_TXBBM
FromToCountThreshold
Bin01281
Bin106881

Port:

 MR_SETTINGS_TBFBO
FromToCountThreshold
Bin017841
Bin101241

Port:

 MR_SETTINGS_PCHKE
FromToCountThreshold
Bin011101
Bin107701

Port:

 MR_TX_COMMAND_TXCE
FromToCountThreshold
Bin013401
Bin10118361

Port:

 MR_TX_COMMAND_TXCR
FromToCountThreshold
Bin0193401
Bin10118361

Port:

 MR_TX_COMMAND_TXCA
FromToCountThreshold
Bin0114961
Bin10118361

Port:

 MR_TX_COMMAND_TXBI
FromToCountThreshold
Bin013801
Bin1010401

Port:

 MR_TST_CONTROL_TMAENA
FromToCountThreshold
Bin016361
Bin1012961

Port:

 MR_TST_CONTROL_TWRSTB
FromToCountThreshold
Bin01313291
Bin10332571

Port:

 MR_TST_DEST_TST_ADDR(4)
FromToCountThreshold
Bin0134061
Bin1040661

Port:

 MR_TST_DEST_TST_ADDR(3)
FromToCountThreshold
Bin0148101
Bin1054701

Port:

 MR_TST_DEST_TST_ADDR(2)
FromToCountThreshold
Bin0198621
Bin10105221

Port:

 MR_TST_DEST_TST_ADDR(1)
FromToCountThreshold
Bin01213671
Bin10220271

Port:

 MR_TST_DEST_TST_ADDR(0)
FromToCountThreshold
Bin01427231
Bin10433831

Port:

 MR_TST_DEST_TST_MTGT(3)
FromToCountThreshold
Bin012141
Bin108741

Port:

 MR_TST_DEST_TST_MTGT(2)
FromToCountThreshold
Bin013531
Bin1010131

Port:

 MR_TST_DEST_TST_MTGT(1)
FromToCountThreshold
Bin014721
Bin1011321

Port:

 MR_TST_DEST_TST_MTGT(0)
FromToCountThreshold
Bin018961
Bin1015561

Port:

 MR_TST_WDATA_TST_WDATA(31)
FromToCountThreshold
Bin0114901
Bin1021501

Port:

 MR_TST_WDATA_TST_WDATA(30)
FromToCountThreshold
Bin0114371
Bin1020971

Port:

 MR_TST_WDATA_TST_WDATA(29)
FromToCountThreshold
Bin0114481
Bin1021081

Port:

 MR_TST_WDATA_TST_WDATA(28)
FromToCountThreshold
Bin0115851
Bin1022451

Port:

 MR_TST_WDATA_TST_WDATA(27)
FromToCountThreshold
Bin0116071
Bin1022671

Port:

 MR_TST_WDATA_TST_WDATA(26)
FromToCountThreshold
Bin0115901
Bin1022501

Port:

 MR_TST_WDATA_TST_WDATA(25)
FromToCountThreshold
Bin0116031
Bin1022631

Port:

 MR_TST_WDATA_TST_WDATA(24)
FromToCountThreshold
Bin0116731
Bin1023331

Port:

 MR_TST_WDATA_TST_WDATA(23)
FromToCountThreshold
Bin0115421
Bin1022021

Port:

 MR_TST_WDATA_TST_WDATA(22)
FromToCountThreshold
Bin0114811
Bin1021411

Port:

 MR_TST_WDATA_TST_WDATA(21)
FromToCountThreshold
Bin0115191
Bin1021791

Port:

 MR_TST_WDATA_TST_WDATA(20)
FromToCountThreshold
Bin0116131
Bin1022731

Port:

 MR_TST_WDATA_TST_WDATA(19)
FromToCountThreshold
Bin0116081
Bin1022681

Port:

 MR_TST_WDATA_TST_WDATA(18)
FromToCountThreshold
Bin0115951
Bin1022551

Port:

 MR_TST_WDATA_TST_WDATA(17)
FromToCountThreshold
Bin0115911
Bin1022511

Port:

 MR_TST_WDATA_TST_WDATA(16)
FromToCountThreshold
Bin0116291
Bin1022891

Port:

 MR_TST_WDATA_TST_WDATA(15)
FromToCountThreshold
Bin0115301
Bin1021901

Port:

 MR_TST_WDATA_TST_WDATA(14)
FromToCountThreshold
Bin0114651
Bin1021251

Port:

 MR_TST_WDATA_TST_WDATA(13)
FromToCountThreshold
Bin0115151
Bin1021751

Port:

 MR_TST_WDATA_TST_WDATA(12)
FromToCountThreshold
Bin0115981
Bin1022581

Port:

 MR_TST_WDATA_TST_WDATA(11)
FromToCountThreshold
Bin0116041
Bin1022641

Port:

 MR_TST_WDATA_TST_WDATA(10)
FromToCountThreshold
Bin0116061
Bin1022661

Port:

 MR_TST_WDATA_TST_WDATA(9)
FromToCountThreshold
Bin0116301
Bin1022901

Port:

 MR_TST_WDATA_TST_WDATA(8)
FromToCountThreshold
Bin0116441
Bin1023041

Port:

 MR_TST_WDATA_TST_WDATA(7)
FromToCountThreshold
Bin0115891
Bin1022491

Port:

 MR_TST_WDATA_TST_WDATA(6)
FromToCountThreshold
Bin0115271
Bin1021871

Port:

 MR_TST_WDATA_TST_WDATA(5)
FromToCountThreshold
Bin0115541
Bin1022141

Port:

 MR_TST_WDATA_TST_WDATA(4)
FromToCountThreshold
Bin0115941
Bin1022541

Port:

 MR_TST_WDATA_TST_WDATA(3)
FromToCountThreshold
Bin0116021
Bin1022621

Port:

 MR_TST_WDATA_TST_WDATA(2)
FromToCountThreshold
Bin0116151
Bin1022751

Port:

 MR_TST_WDATA_TST_WDATA(1)
FromToCountThreshold
Bin0116161
Bin1022761

Port:

 MR_TST_WDATA_TST_WDATA(0)
FromToCountThreshold
Bin0116771
Bin1023371

Port:

 MR_TST_RDATA_TST_RDATA(31)
FromToCountThreshold
Bin014711
Bin1011311

Port:

 MR_TST_RDATA_TST_RDATA(30)
FromToCountThreshold
Bin014671
Bin1011271

Port:

 MR_TST_RDATA_TST_RDATA(29)
FromToCountThreshold
Bin014731
Bin1011331

Port:

 MR_TST_RDATA_TST_RDATA(28)
FromToCountThreshold
Bin015101
Bin1011701

Port:

 MR_TST_RDATA_TST_RDATA(27)
FromToCountThreshold
Bin015031
Bin1011631

Port:

 MR_TST_RDATA_TST_RDATA(26)
FromToCountThreshold
Bin015171
Bin1011771

Port:

 MR_TST_RDATA_TST_RDATA(25)
FromToCountThreshold
Bin015261
Bin1011861

Port:

 MR_TST_RDATA_TST_RDATA(24)
FromToCountThreshold
Bin015151
Bin1011751

Port:

 MR_TST_RDATA_TST_RDATA(23)
FromToCountThreshold
Bin015251
Bin1011851

Port:

 MR_TST_RDATA_TST_RDATA(22)
FromToCountThreshold
Bin015181
Bin1011781

Port:

 MR_TST_RDATA_TST_RDATA(21)
FromToCountThreshold
Bin015331
Bin1011931

Port:

 MR_TST_RDATA_TST_RDATA(20)
FromToCountThreshold
Bin015251
Bin1011851

Port:

 MR_TST_RDATA_TST_RDATA(19)
FromToCountThreshold
Bin015051
Bin1011651

Port:

 MR_TST_RDATA_TST_RDATA(18)
FromToCountThreshold
Bin015031
Bin1011631

Port:

 MR_TST_RDATA_TST_RDATA(17)
FromToCountThreshold
Bin014931
Bin1011531

Port:

 MR_TST_RDATA_TST_RDATA(16)
FromToCountThreshold
Bin014941
Bin1011541

Port:

 MR_TST_RDATA_TST_RDATA(15)
FromToCountThreshold
Bin014971
Bin1011571

Port:

 MR_TST_RDATA_TST_RDATA(14)
FromToCountThreshold
Bin014901
Bin1011501

Port:

 MR_TST_RDATA_TST_RDATA(13)
FromToCountThreshold
Bin014921
Bin1011521

Port:

 MR_TST_RDATA_TST_RDATA(12)
FromToCountThreshold
Bin015071
Bin1011671

Port:

 MR_TST_RDATA_TST_RDATA(11)
FromToCountThreshold
Bin015141
Bin1011741

Port:

 MR_TST_RDATA_TST_RDATA(10)
FromToCountThreshold
Bin015041
Bin1011641

Port:

 MR_TST_RDATA_TST_RDATA(9)
FromToCountThreshold
Bin014841
Bin1011441

Port:

 MR_TST_RDATA_TST_RDATA(8)
FromToCountThreshold
Bin014981
Bin1011581

Port:

 MR_TST_RDATA_TST_RDATA(7)
FromToCountThreshold
Bin015211
Bin1011811

Port:

 MR_TST_RDATA_TST_RDATA(6)
FromToCountThreshold
Bin014881
Bin1011481

Port:

 MR_TST_RDATA_TST_RDATA(5)
FromToCountThreshold
Bin015131
Bin1011731

Port:

 MR_TST_RDATA_TST_RDATA(4)
FromToCountThreshold
Bin014751
Bin1011351

Port:

 MR_TST_RDATA_TST_RDATA(3)
FromToCountThreshold
Bin014911
Bin1011511

Port:

 MR_TST_RDATA_TST_RDATA(2)
FromToCountThreshold
Bin014831
Bin1011431

Port:

 MR_TST_RDATA_TST_RDATA(1)
FromToCountThreshold
Bin015151
Bin1011751

Port:

 MR_TST_RDATA_TST_RDATA(0)
FromToCountThreshold
Bin014981
Bin1011581

Port:

 TXTB_PORT_A_DATA_IN(31)
FromToCountThreshold
Bin01263561
Bin107628241

Port:

 TXTB_PORT_A_DATA_IN(30)
FromToCountThreshold
Bin01286571
Bin107605231

Port:

 TXTB_PORT_A_DATA_IN(29)
FromToCountThreshold
Bin01271521
Bin107620281

Port:

 TXTB_PORT_A_DATA_IN(28)
FromToCountThreshold
Bin01440441
Bin107451361

Port:

 TXTB_PORT_A_DATA_IN(27)
FromToCountThreshold
Bin01376371
Bin107515431

Port:

 TXTB_PORT_A_DATA_IN(26)
FromToCountThreshold
Bin01359801
Bin107532001

Port:

 TXTB_PORT_A_DATA_IN(25)
FromToCountThreshold
Bin01492111
Bin107399691

Port:

 TXTB_PORT_A_DATA_IN(24)
FromToCountThreshold
Bin01366911
Bin107524891

Port:

 TXTB_PORT_A_DATA_IN(23)
FromToCountThreshold
Bin01354711
Bin107537091

Port:

 TXTB_PORT_A_DATA_IN(22)
FromToCountThreshold
Bin01445281
Bin107446521

Port:

 TXTB_PORT_A_DATA_IN(21)
FromToCountThreshold
Bin01388241
Bin107503561

Port:

 TXTB_PORT_A_DATA_IN(20)
FromToCountThreshold
Bin01372531
Bin107519271

Port:

 TXTB_PORT_A_DATA_IN(19)
FromToCountThreshold
Bin01647251
Bin107244551

Port:

 TXTB_PORT_A_DATA_IN(18)
FromToCountThreshold
Bin01848311
Bin107043491

Port:

 TXTB_PORT_A_DATA_IN(17)
FromToCountThreshold
Bin01799501
Bin107092301

Port:

 TXTB_PORT_A_DATA_IN(16)
FromToCountThreshold
Bin011417861
Bin106473941

Port:

 TXTB_PORT_A_DATA_IN(15)
FromToCountThreshold
Bin01332961
Bin107558841

Port:

 TXTB_PORT_A_DATA_IN(14)
FromToCountThreshold
Bin01418141
Bin107473661

Port:

 TXTB_PORT_A_DATA_IN(13)
FromToCountThreshold
Bin01362161
Bin107529641

Port:

 TXTB_PORT_A_DATA_IN(12)
FromToCountThreshold
Bin01402171
Bin107489631

Port:

 TXTB_PORT_A_DATA_IN(11)
FromToCountThreshold
Bin01584011
Bin107307791

Port:

 TXTB_PORT_A_DATA_IN(10)
FromToCountThreshold
Bin01613141
Bin107278661

Port:

 TXTB_PORT_A_DATA_IN(9)
FromToCountThreshold
Bin01790961
Bin107100841

Port:

 TXTB_PORT_A_DATA_IN(8)
FromToCountThreshold
Bin01807051
Bin107084751

Port:

 TXTB_PORT_A_DATA_IN(7)
FromToCountThreshold
Bin01687881
Bin107203921

Port:

 TXTB_PORT_A_DATA_IN(6)
FromToCountThreshold
Bin01650641
Bin107241161

Port:

 TXTB_PORT_A_DATA_IN(5)
FromToCountThreshold
Bin01659491
Bin107232311

Port:

 TXTB_PORT_A_DATA_IN(4)
FromToCountThreshold
Bin01831061
Bin107060741

Port:

 TXTB_PORT_A_DATA_IN(3)
FromToCountThreshold
Bin01905001
Bin106986801

Port:

 TXTB_PORT_A_DATA_IN(2)
FromToCountThreshold
Bin011002121
Bin106889681

Port:

 TXTB_PORT_A_DATA_IN(1)
FromToCountThreshold
Bin011656521
Bin106235281

Port:

 TXTB_PORT_A_DATA_IN(0)
FromToCountThreshold
Bin011410151
Bin106481651

Port:

 TXTB_PORT_A_PARITY
FromToCountThreshold
Bin016400151
Bin101491651

Port:

 TXTB_PORT_A_ADDRESS(4)
FromToCountThreshold
Bin012490171
Bin10245015651

Port:

 TXTB_PORT_A_ADDRESS(3)
FromToCountThreshold
Bin013961751
Bin10243544071

Port:

 TXTB_PORT_A_ADDRESS(2)
FromToCountThreshold
Bin012990141
Bin10244515681

Port:

 TXTB_PORT_A_ADDRESS(1)
FromToCountThreshold
Bin01241942751
Bin105563071

Port:

 TXTB_PORT_A_ADDRESS(0)
FromToCountThreshold
Bin01159407441
Bin1088098381

Port:

 TXTB_PORT_A_CS
FromToCountThreshold
Bin01453181
Bin10459781

Port:

 TXTB_PORT_A_BE(3)
FromToCountThreshold
Bin01247213051
Bin10286171

Port:

 TXTB_PORT_A_BE(2)
FromToCountThreshold
Bin01247216131
Bin10283091

Port:

 TXTB_PORT_A_BE(1)
FromToCountThreshold
Bin01246330471
Bin101168751

Port:

 TXTB_PORT_A_BE(0)
FromToCountThreshold
Bin01246340591
Bin101158631

Port:

 TXTB_STATE(3)
FromToCountThreshold
Bin0111181
Bin104581

Port:

 TXTB_STATE(2)
FromToCountThreshold
Bin018521
Bin1015121

Port:

 TXTB_STATE(1)
FromToCountThreshold
Bin0110271
Bin1016871

Port:

 TXTB_STATE(0)
FromToCountThreshold
Bin019581
Bin1016181

Port:

 TXTB_IS_BB
FromToCountThreshold
Bin01371
Bin106971

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin017241
Bin1013841

Port:

 TXTB_HW_CMD.LOCK
FromToCountThreshold
Bin0197511
Bin10104111

Port:

 TXTB_HW_CMD.VALID
FromToCountThreshold
Bin0138081
Bin1044681

Port:

 TXTB_HW_CMD.ERR
FromToCountThreshold
Bin0110911
Bin1017511

Port:

 TXTB_HW_CMD.ARBL
FromToCountThreshold
Bin01441
Bin107041

Port:

 TXTB_HW_CMD.FAILED
FromToCountThreshold
Bin0148001
Bin1054601

Port:

 TXTB_HW_CMD_CS
FromToCountThreshold
Bin013641
Bin1010241

Port:

 TXTB_PORT_B_DATA_OUT(31)
FromToCountThreshold
Bin012601
Bin109201

Port:

 TXTB_PORT_B_DATA_OUT(30)
FromToCountThreshold
Bin012871
Bin109471

Port:

 TXTB_PORT_B_DATA_OUT(29)
FromToCountThreshold
Bin012671
Bin109271

Port:

 TXTB_PORT_B_DATA_OUT(28)
FromToCountThreshold
Bin0110051
Bin1016651

Port:

 TXTB_PORT_B_DATA_OUT(27)
FromToCountThreshold
Bin019971
Bin1016571

Port:

 TXTB_PORT_B_DATA_OUT(26)
FromToCountThreshold
Bin019731
Bin1016331

Port:

 TXTB_PORT_B_DATA_OUT(25)
FromToCountThreshold
Bin0110521
Bin1017121

Port:

 TXTB_PORT_B_DATA_OUT(24)
FromToCountThreshold
Bin0110491
Bin1017091

Port:

 TXTB_PORT_B_DATA_OUT(23)
FromToCountThreshold
Bin0112061
Bin1018661

Port:

 TXTB_PORT_B_DATA_OUT(22)
FromToCountThreshold
Bin0110331
Bin1016931

Port:

 TXTB_PORT_B_DATA_OUT(21)
FromToCountThreshold
Bin0111151
Bin1017751

Port:

 TXTB_PORT_B_DATA_OUT(20)
FromToCountThreshold
Bin0110911
Bin1017511

Port:

 TXTB_PORT_B_DATA_OUT(19)
FromToCountThreshold
Bin0111221
Bin1017821

Port:

 TXTB_PORT_B_DATA_OUT(18)
FromToCountThreshold
Bin0110171
Bin1016771

Port:

 TXTB_PORT_B_DATA_OUT(17)
FromToCountThreshold
Bin016611
Bin1013211

Port:

 TXTB_PORT_B_DATA_OUT(16)
FromToCountThreshold
Bin017691
Bin1014291

Port:

 TXTB_PORT_B_DATA_OUT(15)
FromToCountThreshold
Bin016471
Bin1013071

Port:

 TXTB_PORT_B_DATA_OUT(14)
FromToCountThreshold
Bin016361
Bin1012961

Port:

 TXTB_PORT_B_DATA_OUT(13)
FromToCountThreshold
Bin017381
Bin1013981

Port:

 TXTB_PORT_B_DATA_OUT(12)
FromToCountThreshold
Bin017911
Bin1014511

Port:

 TXTB_PORT_B_DATA_OUT(11)
FromToCountThreshold
Bin017591
Bin1014191

Port:

 TXTB_PORT_B_DATA_OUT(10)
FromToCountThreshold
Bin018161
Bin1014761

Port:

 TXTB_PORT_B_DATA_OUT(9)
FromToCountThreshold
Bin0110591
Bin1017191

Port:

 TXTB_PORT_B_DATA_OUT(8)
FromToCountThreshold
Bin017171
Bin1013771

Port:

 TXTB_PORT_B_DATA_OUT(7)
FromToCountThreshold
Bin0113941
Bin1020541

Port:

 TXTB_PORT_B_DATA_OUT(6)
FromToCountThreshold
Bin0111551
Bin1018151

Port:

 TXTB_PORT_B_DATA_OUT(5)
FromToCountThreshold
Bin0111171
Bin1017771

Port:

 TXTB_PORT_B_DATA_OUT(4)
FromToCountThreshold
Bin016781
Bin1013381

Port:

 TXTB_PORT_B_DATA_OUT(3)
FromToCountThreshold
Bin019791
Bin1016391

Port:

 TXTB_PORT_B_DATA_OUT(2)
FromToCountThreshold
Bin0110421
Bin1017021

Port:

 TXTB_PORT_B_DATA_OUT(1)
FromToCountThreshold
Bin0111101
Bin1017701

Port:

 TXTB_PORT_B_DATA_OUT(0)
FromToCountThreshold
Bin0112191
Bin1018791

Port:

 TXTB_PORT_B_ADDRESS(4)
FromToCountThreshold
Bin01105151
Bin10111751

Port:

 TXTB_PORT_B_ADDRESS(3)
FromToCountThreshold
Bin013461
Bin1010061

Port:

 TXTB_PORT_B_ADDRESS(2)
FromToCountThreshold
Bin01154471
Bin10161071

Port:

 TXTB_PORT_B_ADDRESS(1)
FromToCountThreshold
Bin01121581
Bin10121581

Port:

 TXTB_PORT_B_ADDRESS(0)
FromToCountThreshold
Bin01342711
Bin10349311

Port:

 TXTB_PORT_B_CLK_EN
FromToCountThreshold
Bin01257111
Bin10263711

Port:

 IS_BUS_OFF
FromToCountThreshold
Bin0129601
Bin1029601

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin0110491
Bin1017091

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin018961
Bin1015561

Port:

 TXTB_PARITY_CHECK_VALID
FromToCountThreshold
Bin01566231
Bin10572831

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin0115411
Bin1022011

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin013461
Bin1010061

Port:

 TXTB_BB_PARITY_ERROR
FromToCountThreshold
Bin011751
Bin108351

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin0115561
Bin108961

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin018961
Bin1015561

Signal:

 TXTB_PORT_B_DATA_OUT_I(31)
FromToCountThreshold
Bin017971
Bin1014171

Signal:

 TXTB_PORT_B_DATA_OUT_I(30)
FromToCountThreshold
Bin018241
Bin1014441

Signal:

 TXTB_PORT_B_DATA_OUT_I(29)
FromToCountThreshold
Bin018881
Bin1015081

Signal:

 TXTB_PORT_B_DATA_OUT_I(28)
FromToCountThreshold
Bin0124291
Bin1030381

Signal:

 TXTB_PORT_B_DATA_OUT_I(27)
FromToCountThreshold
Bin0124101
Bin1030091

Signal:

 TXTB_PORT_B_DATA_OUT_I(26)
FromToCountThreshold
Bin0123411
Bin1029511

Signal:

 TXTB_PORT_B_DATA_OUT_I(25)
FromToCountThreshold
Bin0123511
Bin1029561

Signal:

 TXTB_PORT_B_DATA_OUT_I(24)
FromToCountThreshold
Bin0122511
Bin1028611

Signal:

 TXTB_PORT_B_DATA_OUT_I(23)
FromToCountThreshold
Bin0126381
Bin1032411

Signal:

 TXTB_PORT_B_DATA_OUT_I(22)
FromToCountThreshold
Bin0124731
Bin1030781

Signal:

 TXTB_PORT_B_DATA_OUT_I(21)
FromToCountThreshold
Bin0127501
Bin1033461

Signal:

 TXTB_PORT_B_DATA_OUT_I(20)
FromToCountThreshold
Bin0124731
Bin1030781

Signal:

 TXTB_PORT_B_DATA_OUT_I(19)
FromToCountThreshold
Bin0123651
Bin1029621

Signal:

 TXTB_PORT_B_DATA_OUT_I(18)
FromToCountThreshold
Bin0124951
Bin1030951

Signal:

 TXTB_PORT_B_DATA_OUT_I(17)
FromToCountThreshold
Bin0115231
Bin1021371

Signal:

 TXTB_PORT_B_DATA_OUT_I(16)
FromToCountThreshold
Bin0116511
Bin1022671

Signal:

 TXTB_PORT_B_DATA_OUT_I(15)
FromToCountThreshold
Bin0115651
Bin1021801

Signal:

 TXTB_PORT_B_DATA_OUT_I(14)
FromToCountThreshold
Bin0116051
Bin1022191

Signal:

 TXTB_PORT_B_DATA_OUT_I(13)
FromToCountThreshold
Bin0115391
Bin1021551

Signal:

 TXTB_PORT_B_DATA_OUT_I(12)
FromToCountThreshold
Bin0117291
Bin1023411

Signal:

 TXTB_PORT_B_DATA_OUT_I(11)
FromToCountThreshold
Bin0117471
Bin1023611

Signal:

 TXTB_PORT_B_DATA_OUT_I(10)
FromToCountThreshold
Bin0116961
Bin1023111

Signal:

 TXTB_PORT_B_DATA_OUT_I(9)
FromToCountThreshold
Bin0125071
Bin1031091

Signal:

 TXTB_PORT_B_DATA_OUT_I(8)
FromToCountThreshold
Bin0116801
Bin1022931

Signal:

 TXTB_PORT_B_DATA_OUT_I(7)
FromToCountThreshold
Bin0131521
Bin1037411

Signal:

 TXTB_PORT_B_DATA_OUT_I(6)
FromToCountThreshold
Bin0123951
Bin1029931

Signal:

 TXTB_PORT_B_DATA_OUT_I(5)
FromToCountThreshold
Bin0123871
Bin1029991

Signal:

 TXTB_PORT_B_DATA_OUT_I(4)
FromToCountThreshold
Bin0117211
Bin1023371

Signal:

 TXTB_PORT_B_DATA_OUT_I(3)
FromToCountThreshold
Bin0119061
Bin1025061

Signal:

 TXTB_PORT_B_DATA_OUT_I(2)
FromToCountThreshold
Bin0123121
Bin1029111

Signal:

 TXTB_PORT_B_DATA_OUT_I(1)
FromToCountThreshold
Bin0121841
Bin1027781

Signal:

 TXTB_PORT_B_DATA_OUT_I(0)
FromToCountThreshold
Bin0128231
Bin1034161

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin013461
Bin1010061

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin013401
Bin1010001

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin0192921
Bin1099521

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin0114961
Bin1021561

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin01931
Bin107531

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin0110131
Bin1016731

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin011811
Bin108411

Signal:

 BUFFER_SKIPPED
FromToCountThreshold
Bin01211
Bin106811

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin012021
Bin108621

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin01450781
Bin10457381

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01714251
Bin10720851

Signal:

 CLK_RAM
FromToCountThreshold
Bin01136407431
Bin10136414031

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin0115411
Bin1022011

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
BinFalse484301
BinTrue453181

"=" expression

253:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
Evaluated toCountThreshold
BinFalse20361
BinTrue917121

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue466341
BinTrueFalse2401
BinTrueTrue450781

"=" expression

266:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1'
Evaluated toCountThreshold
BinFalse118771
BinTrue60781

"=" expression

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
Evaluated toCountThreshold
BinFalse1197791
BinTrue257111

"=" expression

276:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
Evaluated toCountThreshold
BinFalse1004121
BinTrue450781

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse747011
BinFalseTrue450781
BinTrueFalse257111

"=" expression

278:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinFalse740651
BinTrue6361

"=" expression

287:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
Evaluated toCountThreshold
BinFalse1326461
BinTrue54521

"=" expression

288:                                           txtb_parity_check_valid = '1' and 
Evaluated toCountThreshold
BinFalse798821
BinTrue582161

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue555931
BinTrueFalse28291
BinTrueTrue26231

"=" expression

289:                                           txtb_index_muxed = G_ID
Evaluated toCountThreshold
BinFalse1167901
BinTrue213081

"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
BinFalseTrue209621
BinTrueFalse22771
BinTrueTrue3461

"=" expression

301:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse1605875161
BinTrue17370461

"=" expression

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse30671
BinTrue3531

"=" expression

312:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse28671
BinTrue5531

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue4601
BinTrueFalse2601
BinTrueTrue931

"=" expression

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse115431
BinTrue97811

"=" expression

315:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse194071
BinTrue19171

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue9041
BinTrueFalse87681
BinTrueTrue10131

"=" expression

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1') 
Evaluated toCountThreshold
BinFalse42361
BinTrue14961

"=" expression

319:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinFalse49901
BinTrue7421

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue5611
BinTrueFalse13151
BinTrueTrue1811

"=" expression

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

"=" expression

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

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse106621
BinFalseTrue38081
BinTrueFalse48001

"=" expression

324:                                (txtb_is_bb = '1')) 
Evaluated toCountThreshold
BinFalse191911
BinTrue791

"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
BinFalseTrue581
BinTrueFalse85871
BinTrueTrue211

"or" expression

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

LHSRHSCountThreshold
Bin'0''0'8621
Bin'0''1'211
Bin'1''0'1811

"=" expression

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1') 
Evaluated toCountThreshold
BinFalse23821
BinTrue3461

"=" expression

333:    txtb_bb_parity_error <= '1' when (txtb_parity_error_valid_i = '1' and mr_mode_txbbm = '1'
Evaluated toCountThreshold
BinFalse23501
BinTrue3781

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue2031
BinTrueFalse1711
BinTrueTrue1751

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: