NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(6).G_TXT_BUF_EVEN.I_TXTB_EVEN_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(6).G_TXT_BUF_EVEN.I_TXTB_EVEN_TOP 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: 23420
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: 11265
Threshold: 1

Signal assignment statement on line 248:

248:                         '0'
Count: 12155
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: 5049
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: 1392
Threshold: 1

Signal assignment statement on line 261:

261:                                    (others => '0')
Count: 3657
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: 40872
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: 19866
Threshold: 1

Signal assignment statement on line 271:

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

Signal assignment statement on line 273:

273:                       '0'
Count: 20766
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: 44632
Threshold: 1

Signal assignment statement on line 280:

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

Signal assignment statement on line 284:

284:                                 '0'
Count: 44543
Threshold: 1

Signal assignment statement on line 286:

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

If statement on lines 294 to 302:

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

Count: 35428698
Threshold: 1

Signal assignment statement on line 295:

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

Signal assignment statement on line 296:

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

Signal assignment statement on line 297:

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

Signal assignment statement on line 299:

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

Signal assignment statement on line 300:

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

Signal assignment statement on line 301:

301:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 17333685
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: 919
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: 24
Threshold: 1

Signal assignment statement on line 307:

307:                             '0'
Count: 895
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: 6411
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: 272
Threshold: 1

Signal assignment statement on line 310:

310:                             '0'
Count: 6139
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: 1671
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: 46
Threshold: 1

Signal assignment statement on line 314:

314:                     '0'
Count: 1625
Threshold: 1

Signal assignment statement on line 317:

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

Signal assignment statement on line 405:

405:    txtb_parity_mismatch <= parity_mismatch
Count: 1352
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
BinTrue112651
BinFalse121551

"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
BinTrue13921
BinFalse36571

"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
BinTrue198661
BinFalse210061

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

271:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinTrue2401
BinFalse207661

"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
BinTrue891
BinFalse445431

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

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

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

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

"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
BinTrue241
BinFalse8951

"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
BinTrue2721
BinFalse61391

"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
BinTrue461
BinFalse16251

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_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)011111
Bin(30)102761
Bin(29)011231
Bin(29)102881
Bin(28)011461
Bin(28)103111
Bin(27)011271
Bin(27)102921
Bin(26)011461
Bin(26)103111
Bin(25)011271
Bin(25)102921
Bin(24)011171
Bin(24)102821
Bin(23)011291
Bin(23)102941
Bin(22)011291
Bin(22)102941
Bin(21)011361
Bin(21)103011
Bin(20)011401
Bin(20)103051
Bin(19)011301
Bin(19)102951
Bin(18)011341
Bin(18)102991
Bin(17)011271
Bin(17)102921
Bin(16)011281
Bin(16)102931
Bin(15)011241
Bin(15)102891
Bin(14)011231
Bin(14)102881
Bin(13)011301
Bin(13)102951
Bin(12)011271
Bin(12)102921
Bin(11)011191
Bin(11)102841
Bin(10)011341
Bin(10)102991
Bin(9)011331
Bin(9)102981
Bin(8)011271
Bin(8)102921
Bin(7)011351
Bin(7)103001
Bin(6)011331
Bin(6)102981
Bin(5)011311
Bin(5)102961
Bin(4)011311
Bin(4)102961
Bin(3)011381
Bin(3)103031
Bin(2)011391
Bin(2)103041
Bin(1)011281
Bin(1)102931
Bin(0)011301
Bin(0)102951

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)012671
Bin(3)101021
Bin(2)011981
Bin(2)103631
Bin(1)012451
Bin(1)104101
Bin(0)012411
Bin(0)104061

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin011761
Bin103411

Port:

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

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)01531
Bin(31)102181
Bin(30)01491
Bin(30)102141
Bin(29)01501
Bin(29)102151
Bin(28)012941
Bin(28)104591
Bin(27)012461
Bin(27)104111
Bin(26)011731
Bin(26)103381
Bin(25)012291
Bin(25)103941
Bin(24)012531
Bin(24)104181
Bin(23)012531
Bin(23)104181
Bin(22)012501
Bin(22)104151
Bin(21)012161
Bin(21)103811
Bin(20)012741
Bin(20)104391
Bin(19)011961
Bin(19)103611
Bin(18)011671
Bin(18)103321
Bin(17)011821
Bin(17)103471
Bin(16)011311
Bin(16)102961
Bin(15)011981
Bin(15)103631
Bin(14)011171
Bin(14)102821
Bin(13)011751
Bin(13)103401
Bin(12)012181
Bin(12)103831
Bin(11)012681
Bin(11)104331
Bin(10)011661
Bin(10)103311
Bin(9)012751
Bin(9)104401
Bin(8)011961
Bin(8)103611
Bin(7)013401
Bin(7)105051
Bin(6)013211
Bin(6)104861
Bin(5)012611
Bin(5)104261
Bin(4)012151
Bin(4)103801
Bin(3)012311
Bin(3)103961
Bin(2)012571
Bin(2)104221
Bin(1)013551
Bin(1)105201
Bin(0)013291
Bin(0)104941

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin012571
Bin104221

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin012201
Bin103851

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin015111
Bin106761

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin01891
Bin102541

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin013851
Bin102201

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin012201
Bin103851

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)012261
Bin(31)103811
Bin(30)013171
Bin(30)104721
Bin(29)012011
Bin(29)103561
Bin(28)017761
Bin(28)109251
Bin(27)014441
Bin(27)105941
Bin(26)014751
Bin(26)106251
Bin(25)017201
Bin(25)108721
Bin(24)016871
Bin(24)108381
Bin(23)016781
Bin(23)108271
Bin(22)014811
Bin(22)106311
Bin(21)017171
Bin(21)108671
Bin(20)017191
Bin(20)108701
Bin(19)016971
Bin(19)108461
Bin(18)016351
Bin(18)107841
Bin(17)015851
Bin(17)107371
Bin(16)013441
Bin(16)104981
Bin(15)016391
Bin(15)107921
Bin(14)014761
Bin(14)106301
Bin(13)014421
Bin(13)105961
Bin(12)014521
Bin(12)106061
Bin(11)016511
Bin(11)108041
Bin(10)014351
Bin(10)105881
Bin(9)017131
Bin(9)108631
Bin(8)016901
Bin(8)108441
Bin(7)017411
Bin(7)108831
Bin(6)019991
Bin(6)1011481
Bin(5)017421
Bin(5)108941
Bin(4)015861
Bin(4)107411
Bin(3)015281
Bin(3)106751
Bin(2)016871
Bin(2)108361
Bin(1)0110351
Bin(1)1011821
Bin(0)018221
Bin(0)109671

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin01891
Bin102541

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
Bin012721
Bin104371

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin01461
Bin102111

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin01461
Bin102111

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin01112651
Bin10114301

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01201061
Bin10202711

Signal:

 CLK_RAM
FromToCountThreshold
Bin013366371
Bin103368021

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin015111
Bin106761

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 246:

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

LHSRHSCountThreshold
BinFalseTrue116501
BinTrueFalse601
BinTrueTrue112651

"=" expression on line 246:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse120951
BinTrue113251

"=" expression on line 246:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse5051
BinTrue229151

"=" expression on line 259:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse36571
BinTrue13921

"or" expression on line 269:

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

LHSRHSCountThreshold
BinFalseFalse210061
BinFalseTrue112651
BinTrueFalse86011

"=" expression on line 269:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse322711
BinTrue86011

"=" expression on line 269:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse296071
BinTrue112651

"=" expression on line 271:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse207661
BinTrue2401

"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
BinFalseTrue26671
BinTrueFalse9811
BinTrueTrue891

"and" expression on lines 280 to 281:

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

LHSRHSCountThreshold
BinFalseTrue178361
BinTrueFalse11031
BinTrueTrue10701

"=" expression on line 280:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse424591
BinTrue21731

"=" expression on line 281:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse257261
BinTrue189061

"=" expression on line 282:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse418761
BinTrue27561

"=" expression on line 294:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse346682581
BinTrue7604401

"and" expression on line 305:

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

LHSRHSCountThreshold
BinFalseTrue961
BinTrueFalse1161
BinTrueTrue241

"=" expression on line 305:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse7791
BinTrue1401

"=" expression on line 305:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse7991
BinTrue1201

"and" expression on line 308:

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

LHSRHSCountThreshold
BinFalseTrue2211
BinTrueFalse27371
BinTrueTrue2721

"=" expression on line 308:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse34021
BinTrue30091

"=" expression on line 308:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse59181
BinTrue4931

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue1221
BinTrueFalse4661
BinTrueTrue461

"=" expression on line 312:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse11591
BinTrue5121

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse15031
BinTrue1681

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: