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.I_TXTB_RAM

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/txt_buffer/txtb_even_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_DP_INF_RAM_BE 100.0 % (19/19) 100.0 % (14/14) 100.0 % (1578/1578) 90.0 % (27/30) N.A. N.A. 99.8 % (1638/1641)
G_PARITY_TRUE 100.0 % (14/14) 100.0 % (12/12) 100.0 % (66/66) 100.0 % (13/13) N.A. N.A. 100.0 % (105/105)
G_PARITY_FALSE 100.0 % (4/4) N.A. N.A. N.A. N.A. N.A. 100.0 % (4/4)

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.I_TXTB_RAM 100.0 % (19/19) 100.0 % (12/12) 100.0 % (516/516) 100.0 % (15/15) N.A. N.A. 100.0 % (562/562)

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:

Signal assignment statement on line 208:

208:    txtb_port_b_data_out <= txtb_port_b_data_out_i
Count: 143367
Threshold: 1

If statement on lines 277 to 280:

277:    tst_ena <= '1' when (mr_tst_control_tmaena = '1') and 
278:                        (mr_tst_dest_tst_mtgt = std_logic_vector(to_unsigned(G_ID + 2, 4))) 
279:                   else 
280:               '0'; 

Count: 6708
Threshold: 1

Signal assignment statement on line 277:

277:    tst_ena <= '1' when (mr_tst_control_tmaena = '1') and 
Count: 323
Threshold: 1

Signal assignment statement on line 280:

280:               '0'
Count: 6385
Threshold: 1

If statement on lines 283 to 285:

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0') 
284:                                                 else 
285:                             mr_tst_dest_tst_addr(4 downto 0); 

Count: 55820806
Threshold: 1

Signal assignment statement on line 283:

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0') 
Count: 55753468
Threshold: 1

Signal assignment statement on line 285:

285:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 67338
Threshold: 1

If statement on lines 287 to 289:

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0') 
288:                                             else 
289:                           mr_tst_control_twrstb; 

Count: 432465
Threshold: 1

Signal assignment statement on line 287:

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0') 
Count: 426668
Threshold: 1

Signal assignment statement on line 289:

289:                           mr_tst_control_twrstb
Count: 5797
Threshold: 1

If statement on lines 291 to 293:

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0') 
292:                                              else 
293:                          mr_tst_wdata_tst_wdata; 

Count: 2207854
Threshold: 1

Signal assignment statement on line 291:

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0') 
Count: 2164750
Threshold: 1

Signal assignment statement on line 293:

293:                          mr_tst_wdata_tst_wdata
Count: 43104
Threshold: 1

If statement on lines 296 to 298:

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0') 
297:                                                 else 
298:                             mr_tst_dest_tst_addr(4 downto 0); 

Count: 360318
Threshold: 1

Signal assignment statement on line 296:

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0') 
Count: 355072
Threshold: 1

Signal assignment statement on line 298:

298:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 5246
Threshold: 1

If statement on lines 300 to 302:

300:    mr_tst_rdata_tst_rdata <= txtb_port_b_data_out_i when (tst_ena = '1') 
301:                                                     else 
302:                                     (others => '0'); 

Count: 145614
Threshold: 1

Signal assignment statement on line 300:

300:    mr_tst_rdata_tst_rdata <= txtb_port_b_data_out_i when (tst_ena = '1') 
Count: 2795
Threshold: 1

Signal assignment statement on line 302:

302:                                     (others => '0')
Count: 142819
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition on lines 277 to 278:

277:    tst_ena <= '1' when (mr_tst_control_tmaena = '1') and 
278:                        (mr_tst_dest_tst_mtgt = std_logic_vector(to_unsigned(G_ID + 2, 4))) 

Evaluated toCountThreshold
BinTrue3231
BinFalse63851

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

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue557534681
BinFalse673381

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

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue4266681
BinFalse57971

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

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue21647501
BinFalse431041

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

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue3550721
BinFalse52461

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

300:    mr_tst_rdata_tst_rdata <= txtb_port_b_data_out_i when (tst_ena = '1'
Evaluated toCountThreshold
BinTrue27951
BinFalse1428191

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:

 MR_SETTINGS_PCHKE
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_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_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_WRITE
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_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

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_PORT_B_DATA_OUT
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

Port:

 PARITY_MISMATCH
FromToCountThreshold
Bin0118261
Bin1034271

Signal:

 TXTB_PORT_A_ADDRESS_I
ElementFromToCountThreshold
Bin(4)013277821
Bin(4)10275049781
Bin(3)015791491
Bin(3)10272535611
Bin(2)014396261
Bin(2)10273936061
Bin(1)01270681401
Bin(1)107660541
Bin(0)01176831461
Bin(0)10101529341

Signal:

 TXTB_PORT_A_WRITE_I
FromToCountThreshold
Bin011649281
Bin101666951

Signal:

 TXTB_PORT_A_DATA_I
ElementFromToCountThreshold
Bin(31)01610701
Bin(31)1010174471
Bin(30)01647161
Bin(30)1010138051
Bin(29)01629191
Bin(29)1010156221
Bin(28)01890501
Bin(28)109895151
Bin(27)01818771
Bin(27)109966721
Bin(26)01759811
Bin(26)1010025601
Bin(25)01850141
Bin(25)109935371
Bin(24)01788161
Bin(24)109997251
Bin(23)01701521
Bin(23)1010084211
Bin(22)011059551
Bin(22)109725981
Bin(21)01749421
Bin(21)1010036071
Bin(20)01812921
Bin(20)109972791
Bin(19)011100491
Bin(19)109685041
Bin(18)011277161
Bin(18)109508791
Bin(17)011143371
Bin(17)109643181
Bin(16)011867551
Bin(16)108918201
Bin(15)01735131
Bin(15)1010050461
Bin(14)01855591
Bin(14)109929961
Bin(13)01774311
Bin(13)1010010961
Bin(12)01780801
Bin(12)1010004671
Bin(11)011007471
Bin(11)109778121
Bin(10)011178071
Bin(10)109607301
Bin(9)011693491
Bin(9)109092161
Bin(8)011514341
Bin(8)109271171
Bin(7)011269841
Bin(7)109516171
Bin(6)011131471
Bin(6)109654521
Bin(5)011063381
Bin(5)109722531
Bin(4)011611391
Bin(4)109174161
Bin(3)011323961
Bin(3)109461591
Bin(2)011582811
Bin(2)109203201
Bin(1)012267711
Bin(1)108518451
Bin(0)011907341
Bin(0)108879581

Signal:

 TXTB_PORT_B_ADDRESS_I
ElementFromToCountThreshold
Bin(4)01276501
Bin(4)10292511
Bin(3)0141701
Bin(3)1057711
Bin(2)01475811
Bin(2)10491821
Bin(1)01393361
Bin(1)10393391
Bin(0)011053631
Bin(0)101069611

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:

 TST_ENA
FromToCountThreshold
Bin013231
Bin1019241

Signal:

 PARITY_WORD
ElementFromToCountThreshold
Bin(20)011741
Bin(20)1090201
Bin(19)01101
Bin(19)1091841
Bin(18)01201
Bin(18)1091741
Bin(17)012001
Bin(17)1089941
Bin(16)012051
Bin(16)1089891
Bin(15)012631
Bin(15)1089311
Bin(14)012251
Bin(14)1089691
Bin(13)011941
Bin(13)1090001
Bin(12)012191
Bin(12)1089751
Bin(11)014441
Bin(11)1087501
Bin(10)013821
Bin(10)1088121
Bin(9)015241
Bin(9)1086701
Bin(8)014081
Bin(8)1087861
Bin(7)015651
Bin(7)1086291
Bin(6)017251
Bin(6)1084691
Bin(5)0112641
Bin(5)1079301
Bin(4)0124351
Bin(4)1067591
Bin(3)0144221
Bin(3)1047721
Bin(2)0154501
Bin(2)1037441
Bin(1)0134781
Bin(1)1057161
Bin(0)0136381
Bin(0)1055561

Signal:

 PARITY_READ_REAL
FromToCountThreshold
Bin01137371
Bin10141931

Signal:

 PARITY_READ_EXP
FromToCountThreshold
Bin01178421
Bin10194431

Uncovered expressions:

Excluded expressions:

"and" expression on lines 277 to 278:

 (mr_tst_control_tmaena = '1') and (mr_tst_dest_tst_mtgt = std_logic_vector(to_unsigned(G_ID + 2, 4))) 
  <-----------LHS----------->       <------------------------------RHS------------------------------>  

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

Covered expressions:

"and" expression on lines 277 to 278:

 (mr_tst_control_tmaena = '1') and (mr_tst_dest_tst_mtgt = std_logic_vector(to_unsigned(G_ID + 2, 4))) 
  <-----------LHS----------->       <------------------------------RHS------------------------------>  

LHSRHSCountThreshold
BinTrueFalse15281
BinTrueTrue3231

"=" expression on line 277:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse48571
BinTrue18511

"=" expression on line 283:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse673381
BinTrue557534681

"=" expression on line 287:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse57971
BinTrue4266681

"=" expression on line 291:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse431041
BinTrue21647501

"=" expression on line 296:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse52461
BinTrue3550721

"=" expression on line 300:

 tst_ena = '1' 
Evaluated toCountThreshold
BinFalse1428191
BinTrue27951

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: