NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(2).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 % (52/52) 100.0 % (38/38) 100.0 % (2160/2160) 93.1 % (54/58) N.A. N.A. 99.8 % (2304/2308)
TXT_BUFFER_FSM_INST 100.0 % (80/80) 100.0 % (94/94) 100.0 % (70/70) 100.0 % (151/151) 100.0 % (16/16) N.A. 100.0 % (411/411)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(2).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: 94358
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: 45395
Threshold: 1

Signal assignment statement on line 248:

248:                         '0'
Count: 48963
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: 21376
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: 5991
Threshold: 1

Signal assignment statement on line 261:

261:                                    (others => '0')
Count: 15385
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: 150504
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: 73296
Threshold: 1

Signal assignment statement on line 271:

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

Signal assignment statement on line 273:

273:                       '0'
Count: 76572
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: 145216
Threshold: 1

Signal assignment statement on line 280:

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

Signal assignment statement on line 284:

284:                                 '0'
Count: 144801
Threshold: 1

Signal assignment statement on line 286:

286:    txtb_parity_error_valid <= txtb_parity_error_valid_i
Count: 2150
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: 165318284
Threshold: 1

Signal assignment statement on line 295:

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

Signal assignment statement on line 296:

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

Signal assignment statement on line 297:

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

Signal assignment statement on line 299:

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

Signal assignment statement on line 300:

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

Signal assignment statement on line 301:

301:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 81788549
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: 3320
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: 96
Threshold: 1

Signal assignment statement on line 307:

307:                             '0'
Count: 3224
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: 21844
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: 1102
Threshold: 1

Signal assignment statement on line 310:

310:                             '0'
Count: 20742
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: 5632
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: 181
Threshold: 1

Signal assignment statement on line 314:

314:                     '0'
Count: 5451
Threshold: 1

Signal assignment statement on line 317:

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

Signal assignment statement on line 405:

405:    txtb_parity_mismatch <= parity_mismatch
Count: 4590
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
BinTrue453951
BinFalse489631

"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
BinTrue59911
BinFalse153851

"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
BinTrue732961
BinFalse772081

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

271:                       '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinTrue6361
BinFalse765721

"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
BinTrue4151
BinFalse1448011

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

294:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue17376821
BinFalse1635806021

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

298:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue817885491
BinFalse817920531

"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
BinTrue961
BinFalse32241

"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
BinTrue11021
BinFalse207421

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

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)014931
Bin(31)1011531
Bin(30)014921
Bin(30)1011521
Bin(29)014821
Bin(29)1011421
Bin(28)015601
Bin(28)1012201
Bin(27)015331
Bin(27)1011931
Bin(26)015521
Bin(26)1012121
Bin(25)015521
Bin(25)1012121
Bin(24)015651
Bin(24)1012251
Bin(23)015721
Bin(23)1012321
Bin(22)015371
Bin(22)1011971
Bin(21)015601
Bin(21)1012201
Bin(20)015401
Bin(20)1012001
Bin(19)015731
Bin(19)1012331
Bin(18)015741
Bin(18)1012341
Bin(17)015191
Bin(17)1011791
Bin(16)015271
Bin(16)1011871
Bin(15)015251
Bin(15)1011851
Bin(14)015291
Bin(14)1011891
Bin(13)015161
Bin(13)1011761
Bin(12)015241
Bin(12)1011841
Bin(11)015251
Bin(11)1011851
Bin(10)015061
Bin(10)1011661
Bin(9)015281
Bin(9)1011881
Bin(8)015181
Bin(8)1011781
Bin(7)015731
Bin(7)1012331
Bin(6)015541
Bin(6)1012141
Bin(5)015101
Bin(5)1011701
Bin(4)015291
Bin(4)1011891
Bin(3)015361
Bin(3)1011961
Bin(2)015491
Bin(2)1012091
Bin(1)015621
Bin(1)1012221
Bin(0)015281
Bin(0)1011881

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)0110891
Bin(3)104291
Bin(2)017771
Bin(2)1014371
Bin(1)019741
Bin(1)1016341
Bin(0)019661
Bin(0)1016261

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin016991
Bin1013591

Port:

 TXTB_HW_CMD
ElementFromToCountThreshold
BinLOCK01100751
BinLOCK10107351
BinVALID0138201
BinVALID1044801
BinERR0111221
BinERR1017821
BinARBL01441
BinARBL107041
BinFAILED0150811
BinFAILED1057411

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)012931
Bin(31)109531
Bin(30)013031
Bin(30)109631
Bin(29)013241
Bin(29)109841
Bin(28)0110791
Bin(28)1017391
Bin(27)0111691
Bin(27)1018291
Bin(26)0112031
Bin(26)1018631
Bin(25)0111101
Bin(25)1017701
Bin(24)0111531
Bin(24)1018131
Bin(23)019211
Bin(23)1015811
Bin(22)019721
Bin(22)1016321
Bin(21)0111541
Bin(21)1018141
Bin(20)0111571
Bin(20)1018171
Bin(19)0111841
Bin(19)1018441
Bin(18)0110761
Bin(18)1017361
Bin(17)017611
Bin(17)1014211
Bin(16)017961
Bin(16)1014561
Bin(15)017161
Bin(15)1013761
Bin(14)017901
Bin(14)1014501
Bin(13)017761
Bin(13)1014361
Bin(12)017971
Bin(12)1014571
Bin(11)018191
Bin(11)1014791
Bin(10)019871
Bin(10)1016471
Bin(9)0110861
Bin(9)1017461
Bin(8)018981
Bin(8)1015581
Bin(7)0114571
Bin(7)1021171
Bin(6)0113171
Bin(6)1019771
Bin(5)0110501
Bin(5)1017101
Bin(4)019341
Bin(4)1015941
Bin(3)0110361
Bin(3)1016961
Bin(2)0111151
Bin(2)1017751
Bin(1)0113251
Bin(1)1019851
Bin(0)0112121
Bin(0)1018721

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin0110371
Bin1016971

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin018841
Bin1015441

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin0116351
Bin1022951

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin014151
Bin1010751

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin0115441
Bin108841

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin018841
Bin1015441

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)0110151
Bin(31)1016351
Bin(30)0110631
Bin(30)1016831
Bin(29)019771
Bin(29)1015971
Bin(28)0127921
Bin(28)1033991
Bin(27)0128921
Bin(27)1035011
Bin(26)0127551
Bin(26)1033601
Bin(25)0127091
Bin(25)1033171
Bin(24)0129661
Bin(24)1035711
Bin(23)0125921
Bin(23)1031991
Bin(22)0126331
Bin(22)1032431
Bin(21)0131751
Bin(21)1037751
Bin(20)0127481
Bin(20)1033481
Bin(19)0132511
Bin(19)1038491
Bin(18)0126601
Bin(18)1032671
Bin(17)0122281
Bin(17)1028431
Bin(16)0122431
Bin(16)1028591
Bin(15)0120541
Bin(15)1026711
Bin(14)0123121
Bin(14)1029281
Bin(13)0122511
Bin(13)1028651
Bin(12)0120781
Bin(12)1026931
Bin(11)0119281
Bin(11)1025461
Bin(10)0123861
Bin(10)1030011
Bin(9)0127201
Bin(9)1033191
Bin(8)0125811
Bin(8)1031921
Bin(7)0137431
Bin(7)1043281
Bin(6)0134121
Bin(6)1040031
Bin(5)0132121
Bin(5)1038201
Bin(4)0124291
Bin(4)1030421
Bin(3)0128371
Bin(3)1034421
Bin(2)0130331
Bin(2)1036311
Bin(1)0131751
Bin(1)1037721
Bin(0)0135181
Bin(0)1041161

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin014151
Bin1010751

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin013401
Bin1010001

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin0196021
Bin10102621

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin0114961
Bin1021561

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin01961
Bin107561

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin0111021
Bin1017621

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin011811
Bin108411

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin011811
Bin108411

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin01453951
Bin10460551

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01739321
Bin10745921

Signal:

 CLK_RAM
FromToCountThreshold
Bin01148599281
Bin10148605881

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin0116351
Bin1022951

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 246:

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

LHSRHSCountThreshold
BinFalseTrue469391
BinTrueFalse2401
BinTrueTrue453951

"=" expression on line 246:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse487231
BinTrue456351

"=" expression on line 246:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse20241
BinTrue923341

"=" expression on line 259:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse153851
BinTrue59911

"or" expression on line 269:

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

LHSRHSCountThreshold
BinFalseFalse772081
BinFalseTrue453951
BinTrueFalse279011

"=" expression on line 269:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse1226031
BinTrue279011

"=" expression on line 269:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse1051091
BinTrue453951

"=" expression on line 271:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse765721
BinTrue6361

"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
BinFalseTrue118841
BinTrueFalse20541
BinTrueTrue4151

"and" expression on lines 280 to 281:

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

LHSRHSCountThreshold
BinFalseTrue589041
BinTrueFalse28941
BinTrueTrue24691

"=" expression on line 280:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse1398531
BinTrue53631

"=" expression on line 281:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse838431
BinTrue613731

"=" expression on line 282:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse1329171
BinTrue122991

"=" expression on line 294:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse1635806021
BinTrue17376821

"and" expression on line 305:

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

LHSRHSCountThreshold
BinFalseTrue4101
BinTrueFalse2601
BinTrueTrue961

"=" expression on line 305:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse29641
BinTrue3561

"=" expression on line 305:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse28141
BinTrue5061

"and" expression on line 308:

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

LHSRHSCountThreshold
BinFalseTrue8821
BinTrueFalse90501
BinTrueTrue11021

"=" expression on line 308:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse116921
BinTrue101521

"=" expression on line 308:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse198601
BinTrue19841

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue5111
BinTrueFalse13151
BinTrueTrue1811

"=" expression on line 312:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse41361
BinTrue14961

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse49401
BinTrue6921

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: