NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(0).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_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 % (5/5) 100.0 % (2/2) 100.0 % (10/10) 100.0 % (8/8) N.A. N.A. 100.0 % (25/25)
TXT_BUFFER_RAM_INST 100.0 % (56/56) 100.0 % (38/38) 100.0 % (2160/2160) 94.8 % (55/58) N.A. N.A. 99.8 % (2309/2312)
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(0).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_INST 100.0 % (32/32) 100.0 % (20/20) 100.0 % (462/462) 100.0 % (53/53) N.A. N.A. 100.0 % (567/567)

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 246 to 248:

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1') 
247:                             else 
248:                         '0'; 

Count: 353248
Threshold: 1

Signal assignment statement on line 246:

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1') 
Count: 161965
Threshold: 1

Signal assignment statement on line 248:

248:                         '0'
Count: 191283
Threshold: 1

If statement on lines 259 to 261:

259:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1') 
260:                                                   else 
261:                                    (others => '0'); 

Count: 163819
Threshold: 1

Signal assignment statement on line 259:

259:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1') 
Count: 78291
Threshold: 1

Signal assignment statement on line 261:

261:                                    (others => '0')
Count: 85528
Threshold: 1

If statement on lines 269 to 273:

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
270:                           else 
271:                       '1' when (mr_tst_control_tmaena = '1') 
272:                           else 
273:                       '0'; 

Count: 544014
Threshold: 1

Signal assignment statement on line 269:

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1') 
Count: 268157
Threshold: 1

Signal assignment statement on line 271:

271:                       '1' when (mr_tst_control_tmaena = '1') 
Count: 648
Threshold: 1

Signal assignment statement on line 273:

273:                       '0'
Count: 275209
Threshold: 1

If statement on lines 280 to 284:

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
281:                                           txtb_parity_check_valid = '1' and 
282:                                           txtb_index_muxed = G_ID) 
283:                                     else 
284:                                 '0'; 

Count: 413990
Threshold: 1

Signal assignment statement on line 280:

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
Count: 411
Threshold: 1

Signal assignment statement on line 284:

284:                                 '0'
Count: 413579
Threshold: 1

Signal assignment statement on line 286:

286:    txtb_parity_error_valid <= txtb_parity_error_valid_i
Count: 4024
Threshold: 1

If statement on lines 294 to 302:

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

Count: 1090018206
Threshold: 1

Signal assignment statement on line 295:

295:            mr_tx_command_txce_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 296:

296:            mr_tx_command_txcr_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 297:

297:            mr_tx_command_txca_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 299:

299:            mr_tx_command_txce_q <= mr_tx_command_txce; 
Count: 543791678
Threshold: 1

Signal assignment statement on line 300:

300:            mr_tx_command_txcr_q <= mr_tx_command_txcr; 
Count: 543791678
Threshold: 1

Signal assignment statement on line 301:

301:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 543791678
Threshold: 1

If statement on lines 305 to 307:

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
306:                                 else 
307:                             '0'; 

Count: 18612
Threshold: 1

Signal assignment statement on line 305:

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1') 
Count: 105
Threshold: 1

Signal assignment statement on line 307:

307:                             '0'
Count: 18507
Threshold: 1

If statement on lines 308 to 310:

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
309:                                 else 
310:                             '0'; 

Count: 60558
Threshold: 1

Signal assignment statement on line 308:

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1') 
Count: 18261
Threshold: 1

Signal assignment statement on line 310:

310:                             '0'
Count: 42297
Threshold: 1

If statement on lines 312 to 314:

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

Count: 21372
Threshold: 1

Signal assignment statement on line 312:

312:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1') 
Count: 984
Threshold: 1

Signal assignment statement on line 314:

314:                     '0'
Count: 20388
Threshold: 1

Signal assignment statement on line 317:

317:    abort_or_skipped <= abort_applied
Count: 5170
Threshold: 1

Signal assignment statement on line 405:

405:    txtb_parity_mismatch <= parity_mismatch
Count: 6922
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

246:    txtb_port_a_write <= '1' when (txtb_port_a_cs = '1' and txtb_user_accessible = '1'
Evaluated toCountThreshold
BinTrue1619651
BinFalse1912831

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

259:    txtb_port_b_data_out <= txtb_port_b_data_out_i when (txtb_unmask_data_ram = '1'
Evaluated toCountThreshold
BinTrue782911
BinFalse855281

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

269:    txtb_ram_clk_en <= '1' when (txtb_port_b_clk_en = '1' or txtb_port_a_write = '1'
Evaluated toCountThreshold
BinTrue2681571
BinFalse2758571

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

271:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinTrue6481
BinFalse2752091

"if" / "when" / "else" condition on lines 280 to 282:

280:    txtb_parity_error_valid_i <= '1' when (parity_mismatch = '1' and 
281:                                           txtb_parity_check_valid = '1' and 
282:                                           txtb_index_muxed = G_ID) 

Evaluated toCountThreshold
BinTrue4111
BinFalse4135791

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

294:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

298:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

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

305:    tx_command_txce_valid <= '1' when (mr_tx_command_txce_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue1051
BinFalse185071

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

308:    tx_command_txcr_valid <= '1' when (mr_tx_command_txcr_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue182611
BinFalse422971

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

312:    abort_applied <= '1' when (mr_tx_command_txca_q = '1' and mr_tx_command_txbi = '1'
Evaluated toCountThreshold
BinTrue9841
BinFalse203881

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_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)015841
Bin(31)1021851
Bin(30)015771
Bin(30)1021781
Bin(29)015791
Bin(29)1021801
Bin(28)016481
Bin(28)1022491
Bin(27)016361
Bin(27)1022371
Bin(26)016551
Bin(26)1022561
Bin(25)016461
Bin(25)1022471
Bin(24)016351
Bin(24)1022361
Bin(23)016561
Bin(23)1022571
Bin(22)016371
Bin(22)1022381
Bin(21)016591
Bin(21)1022601
Bin(20)016541
Bin(20)1022551
Bin(19)016621
Bin(19)1022631
Bin(18)016631
Bin(18)1022641
Bin(17)016341
Bin(17)1022351
Bin(16)016001
Bin(16)1022011
Bin(15)016291
Bin(15)1022301
Bin(14)016251
Bin(14)1022261
Bin(13)016191
Bin(13)1022201
Bin(12)016331
Bin(12)1022341
Bin(11)016091
Bin(11)1022101
Bin(10)016241
Bin(10)1022251
Bin(9)016251
Bin(9)1022261
Bin(8)016141
Bin(8)1022151
Bin(7)016481
Bin(7)1022491
Bin(6)016461
Bin(6)1022471
Bin(5)016441
Bin(5)1022451
Bin(4)016081
Bin(4)1022091
Bin(3)016411
Bin(3)1022421
Bin(2)016301
Bin(2)1022311
Bin(1)016421
Bin(1)1022431
Bin(0)016251
Bin(0)1022261

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)0148731
Bin(3)1032761
Bin(2)01126091
Bin(2)10142061
Bin(1)01146881
Bin(1)10162881
Bin(0)01152111
Bin(0)10168121

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin01123581
Bin10139591

Port:

 TXTB_HW_CMD
ElementFromToCountThreshold
BinLOCK01252751
BinLOCK10268761
BinVALID01111121
BinVALID10127131
BinERR0142621
BinERR1058631
BinARBL014551
BinARBL1020561
BinFAILED0194361
BinFAILED10110371

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)0149971
Bin(31)1065981
Bin(30)0150381
Bin(30)1066391
Bin(29)0148141
Bin(29)1064151
Bin(28)01131471
Bin(28)10147481
Bin(27)01111161
Bin(27)10127171
Bin(26)01126631
Bin(26)10142641
Bin(25)01111611
Bin(25)10127621
Bin(24)01134361
Bin(24)10150371
Bin(23)01114591
Bin(23)10130601
Bin(22)01135651
Bin(22)10151661
Bin(21)01108181
Bin(21)10124191
Bin(20)01131671
Bin(20)10147681
Bin(19)01116771
Bin(19)10132781
Bin(18)01131341
Bin(18)10147351
Bin(17)0179881
Bin(17)1095891
Bin(16)0181151
Bin(16)1097161
Bin(15)0181231
Bin(15)1097241
Bin(14)0185451
Bin(14)10101461
Bin(13)0183321
Bin(13)1099331
Bin(12)0188291
Bin(12)10104301
Bin(11)0189991
Bin(11)10106001
Bin(10)0194091
Bin(10)10110101
Bin(9)01131161
Bin(9)10147171
Bin(8)0186301
Bin(8)10102311
Bin(7)01193231
Bin(7)10209241
Bin(6)01146781
Bin(6)10162791
Bin(5)01104271
Bin(5)10120281
Bin(4)0197361
Bin(4)10113371
Bin(3)01144431
Bin(3)10160441
Bin(2)01149701
Bin(2)10165711
Bin(1)01157561
Bin(1)10173571
Bin(0)01190891
Bin(0)10206901

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin01147821
Bin10163831

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin01127581
Bin10143591

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin0118601
Bin1034611

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin014111
Bin1020121

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin01143591
Bin10127581

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin01127581
Bin10143591

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)0181961
Bin(31)1097471
Bin(30)0182791
Bin(30)1098301
Bin(29)0179651
Bin(29)1095161
Bin(28)01221151
Bin(28)10235791
Bin(27)01185471
Bin(27)10200241
Bin(26)01208081
Bin(26)10222711
Bin(25)01187281
Bin(25)10201871
Bin(24)01220831
Bin(24)10235561
Bin(23)01191761
Bin(23)10206311
Bin(22)01215131
Bin(22)10229711
Bin(21)01195211
Bin(21)10209621
Bin(20)01213101
Bin(20)10227791
Bin(19)01200381
Bin(19)10214811
Bin(18)01216341
Bin(18)10230861
Bin(17)01132691
Bin(17)10147741
Bin(16)01134351
Bin(16)10149411
Bin(15)01132271
Bin(15)10147361
Bin(14)01137381
Bin(14)10152461
Bin(13)01133951
Bin(13)10148961
Bin(12)01138491
Bin(12)10153471
Bin(11)01138201
Bin(11)10153291
Bin(10)01153481
Bin(10)10167991
Bin(9)01241741
Bin(9)10254971
Bin(8)01147001
Bin(8)10161921
Bin(7)01330451
Bin(7)10342461
Bin(6)01232301
Bin(6)10245341
Bin(5)01180061
Bin(5)10194841
Bin(4)01157871
Bin(4)10172801
Bin(3)01256831
Bin(3)10270321
Bin(2)01265121
Bin(2)10278471
Bin(1)01272531
Bin(1)10285831
Bin(0)01351101
Bin(0)10362951

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin014111
Bin1020121

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin013541
Bin1019551

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin01213271
Bin10229281

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin0117341
Bin1033351

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin011051
Bin1017061

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin01182611
Bin10198621

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin019841
Bin1025851

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin019841
Bin1025851

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin011619651
Bin101635661

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin012688051
Bin102704061

Signal:

 CLK_RAM
FromToCountThreshold
Bin01152694291
Bin10152710301

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin0118601
Bin1034611

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 246:

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

LHSRHSCountThreshold
BinFalseTrue1763241
BinTrueFalse3001
BinTrueTrue1619651

"=" expression on line 246:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse1909831
BinTrue1622651

"=" expression on line 246:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse149591
BinTrue3382891

"=" expression on line 259:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse855281
BinTrue782911

"or" expression on line 269:

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

LHSRHSCountThreshold
BinFalseFalse2758571
BinFalseTrue1619651
BinTrueFalse1061921

"=" expression on line 269:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse4378221
BinTrue1061921

"=" expression on line 269:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse3820491
BinTrue1619651

"=" expression on line 271:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse2752091
BinTrue6481

"and" expression on lines 280 to 282:

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

LHSRHSCountThreshold
BinFalseTrue2212571
BinTrueFalse19381
BinTrueTrue4111

"and" expression on lines 280 to 281:

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

LHSRHSCountThreshold
BinFalseTrue1831961
BinTrueFalse26691
BinTrueTrue23491

"=" expression on line 280:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse4089721
BinTrue50181

"=" expression on line 281:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse2284451
BinTrue1855451

"=" expression on line 282:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse1923221
BinTrue2216681

"=" expression on line 294:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"and" expression on line 305:

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

LHSRHSCountThreshold
BinFalseTrue66381
BinTrueFalse2691
BinTrueTrue1051

"=" expression on line 305:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse182381
BinTrue3741

"=" expression on line 305:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse118691
BinTrue67431

"and" expression on line 308:

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

LHSRHSCountThreshold
BinFalseTrue127481
BinTrueFalse151321
BinTrueTrue182611

"=" expression on line 308:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse271651
BinTrue333931

"=" expression on line 308:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse295491
BinTrue310091

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue75321
BinTrueFalse7551
BinTrueTrue9841

"=" expression on line 312:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse196331
BinTrue17391

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse128561
BinTrue85161

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: