NVC code coverage report

Hierarchy

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

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_CLK_GATE_TXTB_RAM_COMP 100.0 % (3/3) 100.0 % (2/2) 100.0 % (10/10) 100.0 % (8/8) N.A. N.A. 100.0 % (23/23)
I_TXTB_RAM 100.0 % (52/52) 100.0 % (38/38) 100.0 % (2160/2160) 93.1 % (54/58) N.A. N.A. 99.8 % (2304/2308)
I_TXTB_FSM 100.0 % (80/80) 100.0 % (94/94) 100.0 % (70/70) 100.0 % (151/151) 100.0 % (16/16) N.A. 100.0 % (411/411)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(5).G_TXT_BUF_ODD.I_TXTB_ODD_TOP 100.0 % (38/38) 100.0 % (24/24) 100.0 % (468/468) 100.0 % (75/75) N.A. N.A. 100.0 % (605/605)

Details:

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


Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 253 to 255:

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

Count: 23002
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: 11086
Threshold: 1

Signal assignment statement on line 255:

255:                         '0'
Count: 11916
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: 5494
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: 1456
Threshold: 1

Signal assignment statement on line 268:

268:                                    (others => '0')
Count: 4038
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: 40514
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: 19687
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: 20587
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: 44505
Threshold: 1

Signal assignment statement on line 287:

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

Signal assignment statement on line 291:

291:                                 '0'
Count: 44443
Threshold: 1

Signal assignment statement on line 293:

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

If statement on lines 301 to 309:

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

Count: 35428698
Threshold: 1

Signal assignment statement on line 302:

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

Signal assignment statement on line 303:

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

Signal assignment statement on line 304:

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

Signal assignment statement on line 306:

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

Signal assignment statement on line 307:

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

Signal assignment statement on line 308:

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

If statement on lines 312 to 314:

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

Count: 917
Threshold: 1

Signal assignment statement on line 312:

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

Signal assignment statement on line 314:

314:                             '0'
Count: 893
Threshold: 1

If statement on lines 315 to 317:

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

Count: 6409
Threshold: 1

Signal assignment statement on line 315:

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

Signal assignment statement on line 317:

317:                             '0'
Count: 6162
Threshold: 1

If statement on lines 319 to 321:

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

Count: 1669
Threshold: 1

Signal assignment statement on line 319:

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

Signal assignment statement on line 321:

321:                     '0'
Count: 1623
Threshold: 1

If statement on lines 323 to 326:

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

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

Signal assignment statement on line 326:

326:                    '0'
Count: 5806
Threshold: 1

Signal assignment statement on line 328:

328:    abort_or_skipped <= abort_applied or buffer_skipped
Count: 436
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: 633
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: 27
Threshold: 1

Signal assignment statement on line 335:

335:                            '0'
Count: 606
Threshold: 1

Signal assignment statement on line 423:

423:    txtb_parity_mismatch <= parity_mismatch
Count: 1266
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
BinTrue110861
BinFalse119161

"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
BinTrue14561
BinFalse40381

"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
BinTrue196871
BinFalse208271

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

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

"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
BinTrue621
BinFalse444431

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

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

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

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

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

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

"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
BinTrue2471
BinFalse61621

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

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

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

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

Evaluated toCountThreshold
BinTrue71
BinFalse58061

"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
BinTrue271
BinFalse6061

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SCAN_MODE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_BMM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_ROM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_TXBBM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_TBFBO
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_PCHKE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCR
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXCA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TX_COMMAND_TXBI
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_CONTROL_TMAENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_CONTROL_TWRSTB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

Port:

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

Port:

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

Port:

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

Port:

 TXTB_PORT_A_PARITY
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

Port:

 TXTB_PORT_A_CS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

Port:

 TXTB_IS_BB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_HW_CMD_CS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

Port:

 TXTB_PORT_B_CLK_EN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_BUS_OFF
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_PARITY_CHECK_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

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

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)012611
Bin(3)10961
Bin(2)011821
Bin(2)103471
Bin(1)012271
Bin(1)103921
Bin(0)012041
Bin(0)103691

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin011461
Bin103111

Port:

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

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)01401
Bin(31)102051
Bin(30)01541
Bin(30)102191
Bin(29)01441
Bin(29)102091
Bin(28)012351
Bin(28)104001
Bin(27)012461
Bin(27)104111
Bin(26)012521
Bin(26)104171
Bin(25)012501
Bin(25)104151
Bin(24)011891
Bin(24)103541
Bin(23)012651
Bin(23)104301
Bin(22)012231
Bin(22)103881
Bin(21)012441
Bin(21)104091
Bin(20)012231
Bin(20)103881
Bin(19)012621
Bin(19)104271
Bin(18)012371
Bin(18)104021
Bin(17)011951
Bin(17)103601
Bin(16)011101
Bin(16)102751
Bin(15)011541
Bin(15)103191
Bin(14)011671
Bin(14)103321
Bin(13)011421
Bin(13)103071
Bin(12)011371
Bin(12)103021
Bin(11)011971
Bin(11)103621
Bin(10)011101
Bin(10)102751
Bin(9)012291
Bin(9)103941
Bin(8)012081
Bin(8)103731
Bin(7)013391
Bin(7)105041
Bin(6)013071
Bin(6)104721
Bin(5)012291
Bin(5)103941
Bin(4)011561
Bin(4)103211
Bin(3)012731
Bin(3)104381
Bin(2)011951
Bin(2)103601
Bin(1)012311
Bin(1)103961
Bin(0)013311
Bin(0)104961

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin012301
Bin103951

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin011901
Bin103551

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin014681
Bin106331

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin01621
Bin102271

Port:

 TXTB_BB_PARITY_ERROR
FromToCountThreshold
Bin01271
Bin101921

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin013551
Bin101901

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin011901
Bin103551

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)012811
Bin(31)104361
Bin(30)012921
Bin(30)104471
Bin(29)012121
Bin(29)103671
Bin(28)017571
Bin(28)109061
Bin(27)015851
Bin(27)107341
Bin(26)016591
Bin(26)108111
Bin(25)016411
Bin(25)107921
Bin(24)016031
Bin(24)107551
Bin(23)016911
Bin(23)108411
Bin(22)018031
Bin(22)109531
Bin(21)017751
Bin(21)109251
Bin(20)017691
Bin(20)109201
Bin(19)018031
Bin(19)109501
Bin(18)017491
Bin(18)108971
Bin(17)016531
Bin(17)108061
Bin(16)014851
Bin(16)106381
Bin(15)015281
Bin(15)106811
Bin(14)015181
Bin(14)106701
Bin(13)015081
Bin(13)106621
Bin(12)015051
Bin(12)106601
Bin(11)016301
Bin(11)107841
Bin(10)014281
Bin(10)105811
Bin(9)018921
Bin(9)1010391
Bin(8)016981
Bin(8)108501
Bin(7)0111871
Bin(7)1013281
Bin(6)018181
Bin(6)109631
Bin(5)016591
Bin(5)108101
Bin(4)014821
Bin(4)106361
Bin(3)018941
Bin(3)1010411
Bin(2)015641
Bin(2)107141
Bin(1)018201
Bin(1)109671
Bin(0)0111081
Bin(0)1012531

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin01621
Bin102271

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin011361
Bin103011

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin0128821
Bin1030471

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin015121
Bin106771

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin01241
Bin101891

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin012471
Bin104121

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin01461
Bin102111

Signal:

 BUFFER_SKIPPED
FromToCountThreshold
Bin0171
Bin101721

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin01531
Bin102181

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin01110861
Bin10112511

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01199271
Bin10200921

Signal:

 CLK_RAM
FromToCountThreshold
Bin013364581
Bin103366231

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin014681
Bin106331

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 253:

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

LHSRHSCountThreshold
BinFalseTrue114411
BinTrueFalse601
BinTrueTrue110861

"=" expression on line 253:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse118561
BinTrue111461

"=" expression on line 253:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse4751
BinTrue225271

"=" expression on line 266:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse40381
BinTrue14561

"or" expression on line 276:

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

LHSRHSCountThreshold
BinFalseFalse208271
BinFalseTrue110861
BinTrueFalse86011

"=" expression on line 276:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse319131
BinTrue86011

"=" expression on line 276:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse294281
BinTrue110861

"=" expression on line 278:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse205871
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
BinFalseTrue25641
BinTrueFalse8551
BinTrueTrue621

"and" expression on lines 287 to 288:

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

LHSRHSCountThreshold
BinFalseTrue178531
BinTrueFalse9891
BinTrueTrue9171

"=" expression on line 287:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse425991
BinTrue19061

"=" expression on line 288:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse257351
BinTrue187701

"=" expression on line 289:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse418791
BinTrue26261

"=" expression on line 301:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse346682581
BinTrue7604401

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue951
BinTrueFalse1161
BinTrueTrue241

"=" expression on line 312:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse7771
BinTrue1401

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse7981
BinTrue1191

"and" expression on line 315:

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

LHSRHSCountThreshold
BinFalseTrue1911
BinTrueFalse27661
BinTrueTrue2471

"=" expression on line 315:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse33961
BinTrue30131

"=" expression on line 315:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse59711
BinTrue4381

"and" expression on line 319:

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

LHSRHSCountThreshold
BinFalseTrue1211
BinTrueFalse4661
BinTrueTrue461

"=" expression on line 319:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse11571
BinTrue5121

"=" expression on line 319:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse15021
BinTrue1671

"and" expression on lines 323 to 324:

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

LHSRHSCountThreshold
BinFalseTrue181
BinTrueFalse26411
BinTrueTrue71

"or" expression on line 323:

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

LHSRHSCountThreshold
BinFalseFalse31651
BinFalseTrue11721
BinTrueFalse14761

"=" expression on line 323:

 txtb_hw_cmd.failed = '1' 
Evaluated toCountThreshold
BinFalse43371
BinTrue14761

"=" expression on line 323:

 txtb_hw_cmd.valid = '1' 
Evaluated toCountThreshold
BinFalse46411
BinTrue11721

"=" expression on line 324:

 txtb_is_bb = '1' 
Evaluated toCountThreshold
BinFalse57881
BinTrue251

"or" expression on line 328:

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

LHSRHSCountThreshold
Bin'0''0'2181
Bin'0''1'71
Bin'1''0'461

"and" expression on line 333:

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

LHSRHSCountThreshold
BinFalseTrue341
BinTrueFalse351
BinTrueTrue271

"=" expression on line 333:

 txtb_parity_error_valid_i = '1' 
Evaluated toCountThreshold
BinFalse5711
BinTrue621

"=" expression on line 333:

 mr_mode_txbbm = '1' 
Evaluated toCountThreshold
BinFalse5721
BinTrue611

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: