NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(0).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 % (56/56) 100.0 % (38/38) 100.0 % (2160/2160) 94.8 % (55/58) N.A. N.A. 99.8 % (2309/2312)
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(0).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: 357440
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: 163731
Threshold: 1

Signal assignment statement on line 248:

248:                         '0'
Count: 193709
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: 167772
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: 80838
Threshold: 1

Signal assignment statement on line 261:

261:                                    (others => '0')
Count: 86934
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: 550070
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: 271185
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: 278237
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: 418264
Threshold: 1

Signal assignment statement on line 280:

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

Signal assignment statement on line 284:

284:                                 '0'
Count: 417874
Threshold: 1

Signal assignment statement on line 286:

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

Signal assignment statement on line 295:

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

Signal assignment statement on line 296:

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

Signal assignment statement on line 297:

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

Signal assignment statement on line 299:

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

Signal assignment statement on line 300:

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

Signal assignment statement on line 301:

301:            mr_tx_command_txca_q <= mr_tx_command_txca; 
Count: 547174334
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: 18615
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: 18510
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: 60991
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: 18585
Threshold: 1

Signal assignment statement on line 310:

310:                             '0'
Count: 42406
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: 21375
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: 20391
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: 6854
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
BinTrue1637311
BinFalse1937091

"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
BinTrue808381
BinFalse869341

"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
BinTrue2711851
BinFalse2788851

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

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

"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
BinTrue3901
BinFalse4178741

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

294:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

298:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

"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
BinTrue185851
BinFalse424061

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

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)015861
Bin(31)1021871
Bin(30)015871
Bin(30)1021881
Bin(29)015831
Bin(29)1021841
Bin(28)016711
Bin(28)1022721
Bin(27)016431
Bin(27)1022441
Bin(26)016421
Bin(26)1022431
Bin(25)016561
Bin(25)1022571
Bin(24)016501
Bin(24)1022511
Bin(23)016761
Bin(23)1022771
Bin(22)016601
Bin(22)1022611
Bin(21)016621
Bin(21)1022631
Bin(20)016541
Bin(20)1022551
Bin(19)016451
Bin(19)1022461
Bin(18)016661
Bin(18)1022671
Bin(17)016481
Bin(17)1022491
Bin(16)016101
Bin(16)1022111
Bin(15)016311
Bin(15)1022321
Bin(14)016261
Bin(14)1022271
Bin(13)016051
Bin(13)1022061
Bin(12)016291
Bin(12)1022301
Bin(11)016091
Bin(11)1022101
Bin(10)016181
Bin(10)1022191
Bin(9)016291
Bin(9)1022301
Bin(8)016161
Bin(8)1022171
Bin(7)016471
Bin(7)1022481
Bin(6)016441
Bin(6)1022451
Bin(5)016371
Bin(5)1022381
Bin(4)016161
Bin(4)1022171
Bin(3)016421
Bin(3)1022431
Bin(2)016341
Bin(2)1022351
Bin(1)016501
Bin(1)1022511
Bin(0)016211
Bin(0)1022221

Port:

 TXTB_STATE
ElementFromToCountThreshold
Bin(3)0148731
Bin(3)1032751
Bin(2)01129441
Bin(2)10145421
Bin(1)01150171
Bin(1)10166181
Bin(0)01155361
Bin(0)10171371

Port:

 TXTB_HW_CMD_INT
FromToCountThreshold
Bin01126861
Bin10142871

Port:

 TXTB_HW_CMD
ElementFromToCountThreshold
BinLOCK01255011
BinLOCK10271021
BinVALID01111151
BinVALID10127161
BinERR0142691
BinERR1058701
BinARBL014551
BinARBL1020561
BinFAILED0196511
BinFAILED10112521

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)0153871
Bin(31)1069881
Bin(30)0152581
Bin(30)1068591
Bin(29)0151051
Bin(29)1067061
Bin(28)01138571
Bin(28)10154581
Bin(27)01105571
Bin(27)10121581
Bin(26)01135831
Bin(26)10151841
Bin(25)01108961
Bin(25)10124971
Bin(24)01145021
Bin(24)10161031
Bin(23)01120661
Bin(23)10136671
Bin(22)01136781
Bin(22)10152791
Bin(21)01120681
Bin(21)10136691
Bin(20)01139341
Bin(20)10155351
Bin(19)01119161
Bin(19)10135171
Bin(18)01146681
Bin(18)10162691
Bin(17)0183681
Bin(17)1099691
Bin(16)0186961
Bin(16)10102971
Bin(15)0185341
Bin(15)10101351
Bin(14)0186361
Bin(14)10102371
Bin(13)0184381
Bin(13)10100391
Bin(12)0181291
Bin(12)1097301
Bin(11)0186211
Bin(11)10102221
Bin(10)0197901
Bin(10)10113911
Bin(9)01145391
Bin(9)10161401
Bin(8)0186141
Bin(8)10102151
Bin(7)01199651
Bin(7)10215661
Bin(6)01167141
Bin(6)10183151
Bin(5)01117551
Bin(5)10133561
Bin(4)01101491
Bin(4)10117501
Bin(3)01147041
Bin(3)10163051
Bin(2)01162901
Bin(2)10178911
Bin(1)01161921
Bin(1)10177931
Bin(0)01188561
Bin(0)10204571

Port:

 TXTB_AVAILABLE
FromToCountThreshold
Bin01151131
Bin10167141

Port:

 TXTB_ALLOW_BB
FromToCountThreshold
Bin01130881
Bin10146891

Port:

 TXTB_PARITY_MISMATCH
FromToCountThreshold
Bin0118261
Bin1034271

Port:

 TXTB_PARITY_ERROR_VALID
FromToCountThreshold
Bin013901
Bin1019911

Signal:

 TXTB_USER_ACCESSIBLE
FromToCountThreshold
Bin01146891
Bin10130881

Signal:

 TXTB_UNMASK_DATA_RAM
FromToCountThreshold
Bin01130881
Bin10146891

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)0185551
Bin(31)10101061
Bin(30)0186401
Bin(30)10101901
Bin(29)0185001
Bin(29)10100511
Bin(28)01221181
Bin(28)10235881
Bin(27)01178551
Bin(27)10193121
Bin(26)01226161
Bin(26)10240931
Bin(25)01186831
Bin(25)10201511
Bin(24)01229871
Bin(24)10244551
Bin(23)01199611
Bin(23)10214241
Bin(22)01222191
Bin(22)10236781
Bin(21)01205401
Bin(21)10219921
Bin(20)01219971
Bin(20)10234661
Bin(19)01202131
Bin(19)10216441
Bin(18)01231451
Bin(18)10245951
Bin(17)01138121
Bin(17)10153161
Bin(16)01139781
Bin(16)10154831
Bin(15)01137811
Bin(15)10152931
Bin(14)01137041
Bin(14)10152061
Bin(13)01135841
Bin(13)10150971
Bin(12)01134601
Bin(12)10149661
Bin(11)01140361
Bin(11)10155461
Bin(10)01152511
Bin(10)10167081
Bin(9)01253861
Bin(9)10267191
Bin(8)01145611
Bin(8)10160671
Bin(7)01345981
Bin(7)10357931
Bin(6)01248761
Bin(6)10261661
Bin(5)01194341
Bin(5)10208951
Bin(4)01159761
Bin(4)10174721
Bin(3)01263241
Bin(3)10276871
Bin(2)01280691
Bin(2)10293881
Bin(1)01268251
Bin(1)10281891
Bin(0)01352161
Bin(0)10364101

Signal:

 TXTB_PARITY_ERROR_VALID_I
FromToCountThreshold
Bin013901
Bin1019911

Signal:

 MR_TX_COMMAND_TXCE_Q
FromToCountThreshold
Bin013541
Bin1019551

Signal:

 MR_TX_COMMAND_TXCR_Q
FromToCountThreshold
Bin01215421
Bin10231431

Signal:

 MR_TX_COMMAND_TXCA_Q
FromToCountThreshold
Bin0117341
Bin1033351

Signal:

 TX_COMMAND_TXCE_VALID
FromToCountThreshold
Bin011051
Bin1017061

Signal:

 TX_COMMAND_TXCR_VALID
FromToCountThreshold
Bin01185851
Bin10201861

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin019841
Bin1025851

Signal:

 ABORT_OR_SKIPPED
FromToCountThreshold
Bin019841
Bin1025851

Signal:

 TXTB_PORT_A_WRITE
FromToCountThreshold
Bin011637311
Bin101653321

Signal:

 TXTB_RAM_CLK_EN
FromToCountThreshold
Bin012718331
Bin102734341

Signal:

 CLK_RAM
FromToCountThreshold
Bin01142383641
Bin10142399651

Signal:

 PARITY_MISMATCH
FromToCountThreshold
Bin0118261
Bin1034271

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 246:

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

LHSRHSCountThreshold
BinFalseTrue1784201
BinTrueFalse3001
BinTrueTrue1637311

"=" expression on line 246:

 txtb_port_a_cs = '1' 
Evaluated toCountThreshold
BinFalse1934091
BinTrue1640311

"=" expression on line 246:

 txtb_user_accessible = '1' 
Evaluated toCountThreshold
BinFalse152891
BinTrue3421511

"=" expression on line 259:

 txtb_unmask_data_ram = '1' 
Evaluated toCountThreshold
BinFalse869341
BinTrue808381

"or" expression on line 269:

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

LHSRHSCountThreshold
BinFalseFalse2788851
BinFalseTrue1637311
BinTrueFalse1074541

"=" expression on line 269:

 txtb_port_b_clk_en = '1' 
Evaluated toCountThreshold
BinFalse4426161
BinTrue1074541

"=" expression on line 269:

 txtb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse3863391
BinTrue1637311

"=" expression on line 271:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse2782371
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
BinFalseTrue2274881
BinTrueFalse19401
BinTrueTrue3901

"and" expression on lines 280 to 281:

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

LHSRHSCountThreshold
BinFalseTrue1851391
BinTrueFalse25791
BinTrueTrue23301

"=" expression on line 280:

 parity_mismatch = '1' 
Evaluated toCountThreshold
BinFalse4133551
BinTrue49091

"=" expression on line 281:

 txtb_parity_check_valid = '1' 
Evaluated toCountThreshold
BinFalse2307951
BinTrue1874691

"=" expression on line 282:

 txtb_index_muxed = G_ID 
Evaluated toCountThreshold
BinFalse1903861
BinTrue2278781

"=" expression on line 294:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"and" expression on line 305:

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

LHSRHSCountThreshold
BinFalseTrue66391
BinTrueFalse2691
BinTrueTrue1051

"=" expression on line 305:

 mr_tx_command_txce_q = '1' 
Evaluated toCountThreshold
BinFalse182411
BinTrue3741

"=" expression on line 305:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse118711
BinTrue67441

"and" expression on line 308:

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

LHSRHSCountThreshold
BinFalseTrue130761
BinTrueFalse150201
BinTrueTrue185851

"=" expression on line 308:

 mr_tx_command_txcr_q = '1' 
Evaluated toCountThreshold
BinFalse273861
BinTrue336051

"=" expression on line 308:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse293301
BinTrue316611

"and" expression on line 312:

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

LHSRHSCountThreshold
BinFalseTrue75331
BinTrueFalse7551
BinTrueTrue9841

"=" expression on line 312:

 mr_tx_command_txca_q = '1' 
Evaluated toCountThreshold
BinFalse196361
BinTrue17391

"=" expression on line 312:

 mr_tx_command_txbi = '1' 
Evaluated toCountThreshold
BinFalse128581
BinTrue85171

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: