NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(2).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 % (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(2).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: 92736
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: 44658
Threshold: 1

Signal assignment statement on line 248:

248:                         '0'
Count: 48078
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: 20626
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: 5381
Threshold: 1

Signal assignment statement on line 261:

261:                                    (others => '0')
Count: 15245
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: 152840
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: 74464
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: 77740
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: 150879
Threshold: 1

Signal assignment statement on line 280:

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

Signal assignment statement on line 284:

284:                                 '0'
Count: 150490
Threshold: 1

Signal assignment statement on line 286:

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

Signal assignment statement on line 295:

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

Signal assignment statement on line 296:

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

Signal assignment statement on line 297:

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

Signal assignment statement on line 299:

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

Signal assignment statement on line 300:

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

Signal assignment statement on line 301:

301:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 81754417
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: 3298
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: 3202
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: 22318
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: 1027
Threshold: 1

Signal assignment statement on line 310:

310:                             '0'
Count: 21291
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: 5610
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: 5429
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: 4520
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
BinTrue446581
BinFalse480781

"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
BinTrue53811
BinFalse152451

"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
BinTrue744641
BinFalse783761

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

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

"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
BinTrue3891
BinFalse1504901

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

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

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

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

"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
BinFalse32021

"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
BinTrue10271
BinFalse212911

"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
BinFalse54291

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)014821
Bin(31)1011421
Bin(30)014571
Bin(30)1011171
Bin(29)014921
Bin(29)1011521
Bin(28)015241
Bin(28)1011841
Bin(27)015571
Bin(27)1012171
Bin(26)015271
Bin(26)1011871
Bin(25)015571
Bin(25)1012171
Bin(24)015351
Bin(24)1011951
Bin(23)015561
Bin(23)1012161
Bin(22)015391
Bin(22)1011991
Bin(21)015631
Bin(21)1012231
Bin(20)015581
Bin(20)1012181
Bin(19)015461
Bin(19)1012061
Bin(18)015651
Bin(18)1012251
Bin(17)015031
Bin(17)1011631
Bin(16)015191
Bin(16)1011791
Bin(15)015251
Bin(15)1011851
Bin(14)015041
Bin(14)1011641
Bin(13)015171
Bin(13)1011771
Bin(12)015241
Bin(12)1011841
Bin(11)015291
Bin(11)1011891
Bin(10)015201
Bin(10)1011801
Bin(9)015251
Bin(9)1011851
Bin(8)015211
Bin(8)1011811
Bin(7)015431
Bin(7)1012031
Bin(6)015171
Bin(6)1011771
Bin(5)015361
Bin(5)1011961
Bin(4)015211
Bin(4)1011811
Bin(3)015061
Bin(3)1011661
Bin(2)015271
Bin(2)1011871
Bin(1)015171
Bin(1)1011771
Bin(0)015411
Bin(0)1012011

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)0110731
Bin(3)104131
Bin(2)017091
Bin(2)1013691
Bin(1)019091
Bin(1)1015691
Bin(0)019011
Bin(0)1015611

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin016291
Bin1012891

Port:

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

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)012131
Bin(31)108731
Bin(30)012351
Bin(30)108951
Bin(29)012381
Bin(29)108981
Bin(28)017781
Bin(28)1014381
Bin(27)019121
Bin(27)1015721
Bin(26)0110991
Bin(26)1017591
Bin(25)0110351
Bin(25)1016951
Bin(24)019321
Bin(24)1015921
Bin(23)0110851
Bin(23)1017451
Bin(22)019561
Bin(22)1016161
Bin(21)0110211
Bin(21)1016811
Bin(20)019711
Bin(20)1016311
Bin(19)0110781
Bin(19)1017381
Bin(18)0110591
Bin(18)1017191
Bin(17)015941
Bin(17)1012541
Bin(16)016341
Bin(16)1012941
Bin(15)016231
Bin(15)1012831
Bin(14)016361
Bin(14)1012961
Bin(13)015621
Bin(13)1012221
Bin(12)015831
Bin(12)1012431
Bin(11)017221
Bin(11)1013821
Bin(10)017191
Bin(10)1013791
Bin(9)0110101
Bin(9)1016701
Bin(8)016201
Bin(8)1012801
Bin(7)0112531
Bin(7)1019131
Bin(6)0110001
Bin(6)1016601
Bin(5)018801
Bin(5)1015401
Bin(4)016701
Bin(4)1013301
Bin(3)018601
Bin(3)1015201
Bin(2)0110591
Bin(2)1017191
Bin(1)019121
Bin(1)1015721
Bin(0)0111221
Bin(0)1017821

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin019691
Bin1016291

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin018101
Bin1014701

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin0116001
Bin1022601

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin013891
Bin1010491

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin0114701
Bin108101

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin018101
Bin1014701

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)0110731
Bin(31)1016931
Bin(30)0111061
Bin(30)1017261
Bin(29)0110971
Bin(29)1017171
Bin(28)0123871
Bin(28)1029971
Bin(27)0125951
Bin(27)1032071
Bin(26)0128171
Bin(26)1034201
Bin(25)0128921
Bin(25)1035021
Bin(24)0125931
Bin(24)1031971
Bin(23)0130461
Bin(23)1036561
Bin(22)0127941
Bin(22)1034001
Bin(21)0132641
Bin(21)1038701
Bin(20)0127641
Bin(20)1033721
Bin(19)0131941
Bin(19)1037991
Bin(18)0129361
Bin(18)1035381
Bin(17)0120891
Bin(17)1027051
Bin(16)0118651
Bin(16)1024821
Bin(15)0120561
Bin(15)1026711
Bin(14)0120091
Bin(14)1026241
Bin(13)0118651
Bin(13)1024821
Bin(12)0117311
Bin(12)1023431
Bin(11)0123791
Bin(11)1029941
Bin(10)0120961
Bin(10)1027101
Bin(9)0130231
Bin(9)1036231
Bin(8)0120451
Bin(8)1026601
Bin(7)0137871
Bin(7)1043711
Bin(6)0130701
Bin(6)1036611
Bin(5)0127471
Bin(5)1033491
Bin(4)0119881
Bin(4)1026021
Bin(3)0129551
Bin(3)1035551
Bin(2)0132571
Bin(2)1038581
Bin(1)0129421
Bin(1)1035381
Bin(0)0134031
Bin(0)1040081

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin013891
Bin1010491

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
Bin01961
Bin107561

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin0110271
Bin1016871

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin011811
Bin108411

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin011811
Bin108411

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin01446581
Bin10453181

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin01751001
Bin10757601

Signal:

 CLK_RAM
FromToCountThreshold
Bin01138085621
Bin10138092221

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin0116001
Bin1022601

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 246:

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

LHSRHSCountThreshold
BinFalseTrue461281
BinTrueFalse2401
BinTrueTrue446581

"=" expression on line 246:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse478381
BinTrue448981

"=" expression on line 246:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse19501
BinTrue907861

"=" expression on line 259:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse152451
BinTrue53811

"or" expression on line 269:

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

LHSRHSCountThreshold
BinFalseFalse783761
BinFalseTrue446581
BinTrueFalse298061

"=" expression on line 269:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse1230341
BinTrue298061

"=" expression on line 269:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse1081821
BinTrue446581

"=" expression on line 271:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse777401
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
BinFalseTrue106441
BinTrueFalse19691
BinTrueTrue3891

"and" expression on lines 280 to 281:

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

LHSRHSCountThreshold
BinFalseTrue616381
BinTrueFalse26321
BinTrueTrue23581

"=" expression on line 280:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse1458891
BinTrue49901

"=" expression on line 281:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse868831
BinTrue639961

"=" expression on line 282:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse1398461
BinTrue110331

"=" expression on line 294:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse1635123381
BinTrue17376361

"and" expression on line 305:

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

LHSRHSCountThreshold
BinFalseTrue3991
BinTrueFalse2601
BinTrueTrue961

"=" expression on line 305:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse29421
BinTrue3561

"=" expression on line 305:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse28031
BinTrue4951

"and" expression on line 308:

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

LHSRHSCountThreshold
BinFalseTrue8141
BinTrueFalse93551
BinTrueTrue10271

"=" expression on line 308:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse119361
BinTrue103821

"=" expression on line 308:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse204771
BinTrue18411

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue5001
BinTrueFalse13151
BinTrueTrue1811

"=" expression on line 312:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse41141
BinTrue14961

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse49291
BinTrue6811

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: