NVC code coverage report

Hierarchy

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

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
CLK_GATE_TXT_BUFFER_RAM_COMP 100.0 % (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 % (52/52) 100.0 % (38/38) 100.0 % (2160/2160) 93.1 % (54/58) N.A. N.A. 99.8 % (2304/2308)
TXT_BUFFER_FSM_INST 100.0 % (80/80) 100.0 % (94/94) 100.0 % (70/70) 100.0 % (151/151) 100.0 % (16/16) N.A. 100.0 % (411/411)

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

Details:

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


Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 253 to 255:

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

Count: 22984
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: 11079
Threshold: 1

Signal assignment statement on line 255:

255:                         '0'
Count: 11905
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: 4170
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: 1485
Threshold: 1

Signal assignment statement on line 268:

268:                                    (others => '0')
Count: 2685
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: 40918
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: 19889
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: 20789
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: 44717
Threshold: 1

Signal assignment statement on line 287:

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

Signal assignment statement on line 291:

291:                                 '0'
Count: 44640
Threshold: 1

Signal assignment statement on line 293:

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

If statement on lines 301 to 309:

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

Count: 35169394
Threshold: 1

Signal assignment statement on line 302:

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

Signal assignment statement on line 303:

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

Signal assignment statement on line 304:

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

Signal assignment statement on line 306:

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

Signal assignment statement on line 307:

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

Signal assignment statement on line 308:

308:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 17204001
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: 913
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: 890
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: 6317
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: 206
Threshold: 1

Signal assignment statement on line 317:

317:                             '0'
Count: 6111
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: 1665
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: 1619
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: 5659
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: 5656
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: 663
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: 22
Threshold: 1

Signal assignment statement on line 335:

335:                            '0'
Count: 641
Threshold: 1

Signal assignment statement on line 423:

423:    txtb_parity_mismatch <= parity_mismatch
Count: 1210
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
BinTrue110791
BinFalse119051

"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
BinTrue14851
BinFalse26851

"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
BinTrue198891
BinFalse210291

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

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

"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
BinTrue771
BinFalse446401

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

301:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue7605041
BinFalse344088901

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

305:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue172040011
BinFalse172048891

"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
BinFalse8901

"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
BinTrue2061
BinFalse61111

"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
BinFalse16191

"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
BinFalse56561

"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
BinTrue221
BinFalse6411

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SCAN_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_BMM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_ROM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_TXBBM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_TBFBO
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_PCHKE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCR
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXBI
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_CONTROL_TMAENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_CONTROL_TWRSTB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

Port:

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

Port:

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

Port:

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

Port:

 TXTB_PORT_A_PARITY
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

Port:

 TXTB_PORT_A_CS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

Port:

 TXTB_IS_BB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_HW_CMD_CS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

Port:

 TXTB_PORT_B_CLK_EN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_BUS_OFF
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_PARITY_CHECK_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 MR_TST_RDATA_TST_RDATA
ElementFromToCountThreshold
Bin(31)011211
Bin(31)102861
Bin(30)011161
Bin(30)102811
Bin(29)011151
Bin(29)102801
Bin(28)011221
Bin(28)102871
Bin(27)011241
Bin(27)102891
Bin(26)011171
Bin(26)102821
Bin(25)011231
Bin(25)102881
Bin(24)011201
Bin(24)102851
Bin(23)011311
Bin(23)102961
Bin(22)011261
Bin(22)102911
Bin(21)011281
Bin(21)102931
Bin(20)011231
Bin(20)102881
Bin(19)011121
Bin(19)102771
Bin(18)011281
Bin(18)102931
Bin(17)011281
Bin(17)102931
Bin(16)011131
Bin(16)102781
Bin(15)011221
Bin(15)102871
Bin(14)011221
Bin(14)102871
Bin(13)011241
Bin(13)102891
Bin(12)011221
Bin(12)102871
Bin(11)011231
Bin(11)102881
Bin(10)011211
Bin(10)102861
Bin(9)011181
Bin(9)102831
Bin(8)011101
Bin(8)102751
Bin(7)011221
Bin(7)102871
Bin(6)011171
Bin(6)102821
Bin(5)011231
Bin(5)102881
Bin(4)011271
Bin(4)102921
Bin(3)011241
Bin(3)102891
Bin(2)011211
Bin(2)102861
Bin(1)011211
Bin(1)102861
Bin(0)011261
Bin(0)102911

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)012641
Bin(3)10991
Bin(2)011771
Bin(2)103421
Bin(1)012291
Bin(1)103941
Bin(0)012091
Bin(0)103741

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin011471
Bin103121

Port:

 TXTB_HW_CMD
ElementFromToCountThreshold
BinLOCK0130361
BinLOCK1032011
BinVALID0111581
BinVALID1013231
BinERR014421
BinERR106071
BinARBL01171
BinARBL101821
BinFAILED0114171
BinFAILED1015821

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)011231
Bin(31)102881
Bin(30)01451
Bin(30)102101
Bin(29)01761
Bin(29)102411
Bin(28)012531
Bin(28)104181
Bin(27)012481
Bin(27)104131
Bin(26)011951
Bin(26)103601
Bin(25)012411
Bin(25)104061
Bin(24)012191
Bin(24)103841
Bin(23)012851
Bin(23)104501
Bin(22)012691
Bin(22)104341
Bin(21)012661
Bin(21)104311
Bin(20)012581
Bin(20)104231
Bin(19)012971
Bin(19)104621
Bin(18)012951
Bin(18)104601
Bin(17)011861
Bin(17)103511
Bin(16)011881
Bin(16)103531
Bin(15)011321
Bin(15)102971
Bin(14)011521
Bin(14)103171
Bin(13)012011
Bin(13)103661
Bin(12)012061
Bin(12)103711
Bin(11)011861
Bin(11)103511
Bin(10)012311
Bin(10)103961
Bin(9)012321
Bin(9)103971
Bin(8)011961
Bin(8)103611
Bin(7)013681
Bin(7)105331
Bin(6)013921
Bin(6)105571
Bin(5)012691
Bin(5)104341
Bin(4)012951
Bin(4)104601
Bin(3)012511
Bin(3)104161
Bin(2)013481
Bin(2)105131
Bin(1)012811
Bin(1)104461
Bin(0)013451
Bin(0)105101

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin012331
Bin103981

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin011881
Bin103531

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin014401
Bin106051

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin01771
Bin102421

Port:

 TXTB_BB_PARITY_ERROR
FromToCountThreshold
Bin01221
Bin101871

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin013531
Bin101881

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin011881
Bin103531

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)013951
Bin(31)105501
Bin(30)013181
Bin(30)104731
Bin(29)013421
Bin(29)104971
Bin(28)015661
Bin(28)107171
Bin(27)016411
Bin(27)107931
Bin(26)015951
Bin(26)107441
Bin(25)014971
Bin(25)106491
Bin(24)015931
Bin(24)107441
Bin(23)016641
Bin(23)108151
Bin(22)016371
Bin(22)107871
Bin(21)016901
Bin(21)108401
Bin(20)017031
Bin(20)108551
Bin(19)015261
Bin(19)106741
Bin(18)015011
Bin(18)106511
Bin(17)015011
Bin(17)106541
Bin(16)014111
Bin(16)105661
Bin(15)015741
Bin(15)107261
Bin(14)014621
Bin(14)106151
Bin(13)014791
Bin(13)106311
Bin(12)016331
Bin(12)107851
Bin(11)015451
Bin(11)107001
Bin(10)014191
Bin(10)105711
Bin(9)017441
Bin(9)108891
Bin(8)015741
Bin(8)107281
Bin(7)018711
Bin(7)1010141
Bin(6)018981
Bin(6)1010421
Bin(5)014701
Bin(5)106221
Bin(4)017161
Bin(4)108681
Bin(3)017311
Bin(3)108781
Bin(2)015831
Bin(2)107291
Bin(1)017051
Bin(1)108571
Bin(0)016081
Bin(0)107541

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin01771
Bin102421

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin011361
Bin103011

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin0128381
Bin1030031

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin015121
Bin106771

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin01231
Bin101881

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin012061
Bin103711

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
Bin01110791
Bin10112441

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01201291
Bin10202941

Signal:

 CLK_RAM
FromToCountThreshold
Bin013412761
Bin103414411

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin014401
Bin106051

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 253:

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

LHSRHSCountThreshold
BinFalseTrue114321
BinTrueFalse601
BinTrueTrue110791

"=" expression on line 253:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse118451
BinTrue111391

"=" expression on line 253:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse4731
BinTrue225111

"=" expression on line 266:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse26851
BinTrue14851

"or" expression on line 276:

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

LHSRHSCountThreshold
BinFalseFalse210291
BinFalseTrue110791
BinTrueFalse88101

"=" expression on line 276:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse321081
BinTrue88101

"=" expression on line 276:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse298391
BinTrue110791

"=" expression on line 278:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse207891
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
BinFalseTrue28631
BinTrueFalse9991
BinTrueTrue771

"and" expression on lines 287 to 288:

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

LHSRHSCountThreshold
BinFalseTrue178141
BinTrueFalse12591
BinTrueTrue10761

"=" expression on line 287:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse423821
BinTrue23351

"=" expression on line 288:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse258271
BinTrue188901

"=" expression on line 289:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse417771
BinTrue29401

"=" expression on line 301:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse344088901
BinTrue7605041

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue931
BinTrueFalse1161
BinTrueTrue231

"=" expression on line 312:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse7741
BinTrue1391

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse7971
BinTrue1161

"and" expression on line 315:

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

LHSRHSCountThreshold
BinFalseTrue1891
BinTrueFalse27221
BinTrueTrue2061

"=" expression on line 315:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse33891
BinTrue29281

"=" expression on line 315:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse59221
BinTrue3951

"and" expression on line 319:

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

LHSRHSCountThreshold
BinFalseTrue1191
BinTrueFalse4661
BinTrueTrue461

"=" expression on line 319:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse11531
BinTrue5121

"=" expression on line 319:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse15001
BinTrue1651

"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
BinTrueFalse25721
BinTrueTrue31

"or" expression on line 323:

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

LHSRHSCountThreshold
BinFalseFalse30841
BinFalseTrue11581
BinTrueFalse14171

"=" expression on line 323:

 txtb_hw_cmd.failed = '1' 
Evaluated toCountThreshold
BinFalse42421
BinTrue14171

"=" expression on line 323:

 txtb_hw_cmd.valid = '1' 
Evaluated toCountThreshold
BinFalse45011
BinTrue11581

"=" expression on line 324:

 txtb_is_bb = '1' 
Evaluated toCountThreshold
BinFalse56461
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
BinFalseTrue291
BinTrueFalse551
BinTrueTrue221

"=" expression on line 333:

 txtb_parity_error_valid_i = '1' 
Evaluated toCountThreshold
BinFalse5861
BinTrue771

"=" expression on line 333:

 mr_mode_txbbm = '1' 
Evaluated toCountThreshold
BinFalse6121
BinTrue511

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: