NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(3).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 % (5/5) 100.0 % (2/2) 100.0 % (10/10) 100.0 % (8/8) N.A. N.A. 100.0 % (25/25)
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(3).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: 93812
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: 45107
Threshold: 1

Signal assignment statement on line 255:

255:                         '0'
Count: 48705
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: 18380
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: 6404
Threshold: 1

Signal assignment statement on line 268:

268:                                    (others => '0')
Count: 11976
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: 153738
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: 74913
Threshold: 1

Signal assignment statement on line 278:

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

Signal assignment statement on line 280:

280:                       '0'
Count: 78189
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: 150316
Threshold: 1

Signal assignment statement on line 287:

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

Signal assignment statement on line 291:

291:                                 '0'
Count: 150016
Threshold: 1

Signal assignment statement on line 293:

293:    txtb_parity_error_valid <= txtb_parity_error_valid_i
Count: 1920
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: 165249974
Threshold: 1

Signal assignment statement on line 302:

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

Signal assignment statement on line 303:

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

Signal assignment statement on line 304:

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

Signal assignment statement on line 306:

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

Signal assignment statement on line 307:

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

Signal assignment statement on line 308:

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

Signal assignment statement on line 314:

314:                             '0'
Count: 3335
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: 22448
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: 1017
Threshold: 1

Signal assignment statement on line 317:

317:                             '0'
Count: 21431
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: 5740
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: 181
Threshold: 1

Signal assignment statement on line 321:

321:                     '0'
Count: 5559
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: 20364
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: 20
Threshold: 1

Signal assignment statement on line 326:

326:                    '0'
Count: 20344
Threshold: 1

Signal assignment statement on line 328:

328:    abort_or_skipped <= abort_applied or buffer_skipped
Count: 1722
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: 2636
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: 125
Threshold: 1

Signal assignment statement on line 335:

335:                            '0'
Count: 2511
Threshold: 1

Signal assignment statement on line 423:

423:    txtb_parity_mismatch <= parity_mismatch
Count: 3900
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
BinTrue451071
BinFalse487051

"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
BinTrue64041
BinFalse119761

"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
BinTrue749131
BinFalse788251

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

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

"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
BinTrue3001
BinFalse1500161

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

301:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue17376361
BinFalse1635123381

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

305:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue817544171
BinFalse817579211

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

"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
BinTrue10171
BinFalse214311

"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
BinTrue1811
BinFalse55591

"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
BinTrue201
BinFalse203441

"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
BinTrue1251
BinFalse25111

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)014701
Bin(31)1011301
Bin(30)014631
Bin(30)1011231
Bin(29)014681
Bin(29)1011281
Bin(28)015221
Bin(28)1011821
Bin(27)014841
Bin(27)1011441
Bin(26)015241
Bin(26)1011841
Bin(25)015041
Bin(25)1011641
Bin(24)015111
Bin(24)1011711
Bin(23)015061
Bin(23)1011661
Bin(22)014981
Bin(22)1011581
Bin(21)015071
Bin(21)1011671
Bin(20)014941
Bin(20)1011541
Bin(19)015211
Bin(19)1011811
Bin(18)015171
Bin(18)1011771
Bin(17)014911
Bin(17)1011511
Bin(16)014951
Bin(16)1011551
Bin(15)015041
Bin(15)1011641
Bin(14)014961
Bin(14)1011561
Bin(13)014951
Bin(13)1011551
Bin(12)015031
Bin(12)1011631
Bin(11)014921
Bin(11)1011521
Bin(10)014901
Bin(10)1011501
Bin(9)014961
Bin(9)1011561
Bin(8)014861
Bin(8)1011461
Bin(7)015191
Bin(7)1011791
Bin(6)014981
Bin(6)1011581
Bin(5)015141
Bin(5)1011741
Bin(4)014971
Bin(4)1011571
Bin(3)014921
Bin(3)1011521
Bin(2)015021
Bin(2)1011621
Bin(1)015101
Bin(1)1011701
Bin(0)015031
Bin(0)1011631

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)0111221
Bin(3)104621
Bin(2)018581
Bin(2)1015181
Bin(1)0110351
Bin(1)1016951
Bin(0)019631
Bin(0)1016231

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin017311
Bin1013911

Port:

 TXTB_HW_CMD
ElementFromToCountThreshold
BinLOCK01103321
BinLOCK10109921
BinVALID0138341
BinVALID1044941
BinERR0111231
BinERR1017831
BinARBL01441
BinARBL107041
BinFAILED0153221
BinFAILED1059821

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)013591
Bin(31)1010191
Bin(30)013141
Bin(30)109741
Bin(29)012851
Bin(29)109451
Bin(28)0110411
Bin(28)1017011
Bin(27)019811
Bin(27)1016411
Bin(26)0111571
Bin(26)1018171
Bin(25)0111271
Bin(25)1017871
Bin(24)0111731
Bin(24)1018331
Bin(23)0110731
Bin(23)1017331
Bin(22)0112431
Bin(22)1019031
Bin(21)0111841
Bin(21)1018441
Bin(20)0110511
Bin(20)1017111
Bin(19)0112371
Bin(19)1018971
Bin(18)0112891
Bin(18)1019491
Bin(17)017211
Bin(17)1013811
Bin(16)016841
Bin(16)1013441
Bin(15)018521
Bin(15)1015121
Bin(14)017481
Bin(14)1014081
Bin(13)017631
Bin(13)1014231
Bin(12)017341
Bin(12)1013941
Bin(11)018871
Bin(11)1015471
Bin(10)018021
Bin(10)1014621
Bin(9)0112321
Bin(9)1018921
Bin(8)017271
Bin(8)1013871
Bin(7)0115621
Bin(7)1022221
Bin(6)0112141
Bin(6)1018741
Bin(5)0111401
Bin(5)1018001
Bin(4)018151
Bin(4)1014751
Bin(3)0112861
Bin(3)1019461
Bin(2)0110911
Bin(2)1017511
Bin(1)0111491
Bin(1)1018091
Bin(0)0114741
Bin(0)1021341

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin0110551
Bin1017151

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin018991
Bin1015591

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin0112901
Bin1019501

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin013001
Bin109601

Port:

 TXTB_BB_PARITY_ERROR
FromToCountThreshold
Bin011251
Bin107851

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin0115591
Bin108991

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin018991
Bin1015591

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)0110721
Bin(31)1016921
Bin(30)0110581
Bin(30)1016781
Bin(29)0110771
Bin(29)1016971
Bin(28)0123721
Bin(28)1029821
Bin(27)0121861
Bin(27)1027951
Bin(26)0124221
Bin(26)1030331
Bin(25)0123361
Bin(25)1029461
Bin(24)0122301
Bin(24)1028341
Bin(23)0125541
Bin(23)1031651
Bin(22)0123511
Bin(22)1029551
Bin(21)0126381
Bin(21)1032411
Bin(20)0120941
Bin(20)1026971
Bin(19)0125361
Bin(19)1031361
Bin(18)0127331
Bin(18)1033371
Bin(17)0118531
Bin(17)1024661
Bin(16)0116391
Bin(16)1022521
Bin(15)0119321
Bin(15)1025421
Bin(14)0120411
Bin(14)1026511
Bin(13)0120171
Bin(13)1026311
Bin(12)0118941
Bin(12)1025051
Bin(11)0121571
Bin(11)1027681
Bin(10)0120571
Bin(10)1026681
Bin(9)0131081
Bin(9)1037061
Bin(8)0121171
Bin(8)1027341
Bin(7)0134361
Bin(7)1040131
Bin(6)0127431
Bin(6)1033311
Bin(5)0128431
Bin(5)1034491
Bin(4)0118141
Bin(4)1024241
Bin(3)0129111
Bin(3)1035091
Bin(2)0126851
Bin(2)1032801
Bin(1)0128121
Bin(1)1034001
Bin(0)0132671
Bin(0)1038631

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin013001
Bin109601

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin013401
Bin1010001

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin0198501
Bin10105101

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin0114961
Bin1021561

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin01931
Bin107531

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin0110171
Bin1016771

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin011811
Bin108411

Signal:

 BUFFER_SKIPPED
FromToCountThreshold
Bin01201
Bin106801

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin012011
Bin108611

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin01451071
Bin10457671

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01755491
Bin10762091

Signal:

 CLK_RAM
FromToCountThreshold
Bin01138088721
Bin10138095321

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin0112901
Bin1019501

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 253:

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

LHSRHSCountThreshold
BinFalseTrue466661
BinTrueFalse2401
BinTrueTrue451071

"=" expression on line 253:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse484651
BinTrue453471

"=" expression on line 253:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse20391
BinTrue917731

"=" expression on line 266:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse119761
BinTrue64041

"or" expression on line 276:

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

LHSRHSCountThreshold
BinFalseFalse788251
BinFalseTrue451071
BinTrueFalse298061

"=" expression on line 276:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse1239321
BinTrue298061

"=" expression on line 276:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse1086311
BinTrue451071

"=" expression on line 278:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse781891
BinTrue6361

"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
BinFalseTrue221211
BinTrueFalse19561
BinTrueTrue3001

"and" expression on lines 287 to 288:

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

LHSRHSCountThreshold
BinFalseTrue613171
BinTrueFalse27731
BinTrueTrue22561

"=" expression on line 287:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse1452871
BinTrue50291

"=" expression on line 288:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse867431
BinTrue635731

"=" expression on line 289:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse1278951
BinTrue224211

"=" expression on line 301:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse1635123381
BinTrue17376361

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue4641
BinTrueFalse2601
BinTrueTrue931

"=" expression on line 312:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse30751
BinTrue3531

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse28711
BinTrue5571

"and" expression on line 315:

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

LHSRHSCountThreshold
BinFalseTrue9021
BinTrueFalse93321
BinTrueTrue10171

"=" expression on line 315:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse120991
BinTrue103491

"=" expression on line 315:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse205291
BinTrue19191

"and" expression on line 319:

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

LHSRHSCountThreshold
BinFalseTrue5651
BinTrueFalse13151
BinTrueTrue1811

"=" expression on line 319:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse42441
BinTrue14961

"=" expression on line 319:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse49941
BinTrue7461

"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
BinFalseTrue561
BinTrueFalse91361
BinTrueTrue201

"or" expression on line 323:

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

LHSRHSCountThreshold
BinFalseFalse112081
BinFalseTrue38341
BinTrueFalse53221

"=" expression on line 323:

 txtb_hw_cmd.failed = '1' 
Evaluated toCountThreshold
BinFalse150421
BinTrue53221

"=" expression on line 323:

 txtb_hw_cmd.valid = '1' 
Evaluated toCountThreshold
BinFalse165301
BinTrue38341

"=" expression on line 324:

 txtb_is_bb = '1' 
Evaluated toCountThreshold
BinFalse202881
BinTrue761

"or" expression on line 328:

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

LHSRHSCountThreshold
Bin'0''0'8611
Bin'0''1'201
Bin'1''0'1811

"and" expression on line 333:

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

LHSRHSCountThreshold
BinFalseTrue1531
BinTrueFalse1751
BinTrueTrue1251

"=" expression on line 333:

 txtb_parity_error_valid_i = '1' 
Evaluated toCountThreshold
BinFalse23361
BinTrue3001

"=" expression on line 333:

 mr_mode_txbbm = '1' 
Evaluated toCountThreshold
BinFalse23581
BinTrue2781

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: