NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(4).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)

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(4).G_TXT_BUF_EVEN.I_TXTB_EVEN_TOP.I_TXTB_RAM 100.0 % (19/19) 100.0 % (12/12) 100.0 % (516/516) 93.3 % (14/15) N.A. N.A. 99.8 % (561/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: 5792
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: 1602
Threshold: 1

Signal assignment statement on line 277:

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

Signal assignment statement on line 280:

280:               '0'
Count: 1510
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: 10341269
Threshold: 1

Signal assignment statement on line 283:

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

Signal assignment statement on line 285:

285:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 15193
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: 96121
Threshold: 1

Signal assignment statement on line 287:

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

Signal assignment statement on line 289:

289:                           mr_tst_control_twrstb
Count: 1051
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: 682126
Threshold: 1

Signal assignment statement on line 291:

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

Signal assignment statement on line 293:

293:                          mr_tst_wdata_tst_wdata
Count: 9248
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: 85841
Threshold: 1

Signal assignment statement on line 296:

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

Signal assignment statement on line 298:

298:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 1287
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: 6141
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: 597
Threshold: 1

Signal assignment statement on line 302:

302:                                     (others => '0')
Count: 5544
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
BinTrue921
BinFalse15101

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

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue103260761
BinFalse151931

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

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue950701
BinFalse10511

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

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue6728781
BinFalse92481

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

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue845541
BinFalse12871

"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
BinTrue5971
BinFalse55441

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)011091
Bin(31)102741
Bin(30)011201
Bin(30)102851
Bin(29)011231
Bin(29)102881
Bin(28)011331
Bin(28)102981
Bin(27)011401
Bin(27)103051
Bin(26)011381
Bin(26)103031
Bin(25)011391
Bin(25)103041
Bin(24)011441
Bin(24)103091
Bin(23)011371
Bin(23)103021
Bin(22)011491
Bin(22)103141
Bin(21)011441
Bin(21)103091
Bin(20)011421
Bin(20)103071
Bin(19)011491
Bin(19)103141
Bin(18)011361
Bin(18)103011
Bin(17)011381
Bin(17)103031
Bin(16)011281
Bin(16)102931
Bin(15)011221
Bin(15)102871
Bin(14)011411
Bin(14)103061
Bin(13)011281
Bin(13)102931
Bin(12)011271
Bin(12)102921
Bin(11)011371
Bin(11)103021
Bin(10)011321
Bin(10)102971
Bin(9)011431
Bin(9)103081
Bin(8)011361
Bin(8)103011
Bin(7)011361
Bin(7)103011
Bin(6)011371
Bin(6)103021
Bin(5)011331
Bin(5)102981
Bin(4)011321
Bin(4)102971
Bin(3)011341
Bin(3)102991
Bin(2)011331
Bin(2)102981
Bin(1)011401
Bin(1)103051
Bin(0)011391
Bin(0)103041

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)012701
Bin(31)104251
Bin(30)012231
Bin(30)103781
Bin(29)012471
Bin(29)104021
Bin(28)017061
Bin(28)108541
Bin(27)016371
Bin(27)107871
Bin(26)017441
Bin(26)108951
Bin(25)018201
Bin(25)109711
Bin(24)018001
Bin(24)109491
Bin(23)017171
Bin(23)108691
Bin(22)018871
Bin(22)1010371
Bin(21)018851
Bin(21)1010361
Bin(20)018611
Bin(20)1010131
Bin(19)019161
Bin(19)1010651
Bin(18)017981
Bin(18)109471
Bin(17)017001
Bin(17)108521
Bin(16)015841
Bin(16)107351
Bin(15)016871
Bin(15)108411
Bin(14)016271
Bin(14)107811
Bin(13)014951
Bin(13)106461
Bin(12)016501
Bin(12)108031
Bin(11)018731
Bin(11)1010261
Bin(10)016861
Bin(10)108381
Bin(9)0110791
Bin(9)1012251
Bin(8)017491
Bin(8)109011
Bin(7)0111731
Bin(7)1013151
Bin(6)0110001
Bin(6)1011491
Bin(5)0110201
Bin(5)1011671
Bin(4)016191
Bin(4)107711
Bin(3)018151
Bin(3)109621
Bin(2)019211
Bin(2)1010681
Bin(1)0111031
Bin(1)1012471
Bin(0)0110821
Bin(0)1012291

Port:

 PARITY_MISMATCH
FromToCountThreshold
Bin015081
Bin106731

Signal:

 TXTB_PORT_A_ADDRESS_I
ElementFromToCountThreshold
Bin(4)011016111
Bin(4)1050332971
Bin(3)011285401
Bin(3)1050063621
Bin(2)011092211
Bin(2)1050258211
Bin(1)0148956401
Bin(1)102397101
Bin(0)0138457681
Bin(0)1012901761

Signal:

 TXTB_PORT_A_WRITE_I
FromToCountThreshold
Bin01114691
Bin10116731

Signal:

 TXTB_PORT_A_DATA_I
ElementFromToCountThreshold
Bin(31)01150341
Bin(31)103189591
Bin(30)01163591
Bin(30)103176381
Bin(29)01149961
Bin(29)103190091
Bin(28)01219451
Bin(28)103120861
Bin(27)01207041
Bin(27)103133171
Bin(26)01195751
Bin(26)103144441
Bin(25)01218521
Bin(25)103121631
Bin(24)01211431
Bin(24)103128721
Bin(23)01206171
Bin(23)103133821
Bin(22)01214101
Bin(22)103126111
Bin(21)01207911
Bin(21)103132261
Bin(20)01208511
Bin(20)103131681
Bin(19)01365911
Bin(19)102974441
Bin(18)01414831
Bin(18)102925451
Bin(17)01390181
Bin(17)102949971
Bin(16)01830391
Bin(16)102509631
Bin(15)01189131
Bin(15)103150961
Bin(14)01203421
Bin(14)103136771
Bin(13)01191111
Bin(13)103148921
Bin(12)01191801
Bin(12)103148451
Bin(11)01416351
Bin(11)102923781
Bin(10)01403181
Bin(10)102936971
Bin(9)01471441
Bin(9)102868791
Bin(8)01502831
Bin(8)102837421
Bin(7)01439701
Bin(7)102900551
Bin(6)01446371
Bin(6)102893921
Bin(5)01454451
Bin(5)102885741
Bin(4)01505501
Bin(4)102834651
Bin(3)01522981
Bin(3)102817201
Bin(2)01564801
Bin(2)102775441
Bin(1)01941701
Bin(1)102398501
Bin(0)01828751
Bin(0)102511761

Signal:

 TXTB_PORT_B_ADDRESS_I
ElementFromToCountThreshold
Bin(4)0133511
Bin(4)1035161
Bin(3)011151
Bin(3)102801
Bin(2)0153301
Bin(2)1054951
Bin(1)0139721
Bin(1)1039721
Bin(0)01112401
Bin(0)10114051

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)012701
Bin(31)104251
Bin(30)012231
Bin(30)103781
Bin(29)012471
Bin(29)104021
Bin(28)017061
Bin(28)108541
Bin(27)016371
Bin(27)107871
Bin(26)017441
Bin(26)108951
Bin(25)018201
Bin(25)109711
Bin(24)018001
Bin(24)109491
Bin(23)017171
Bin(23)108691
Bin(22)018871
Bin(22)1010371
Bin(21)018851
Bin(21)1010361
Bin(20)018611
Bin(20)1010131
Bin(19)019161
Bin(19)1010651
Bin(18)017981
Bin(18)109471
Bin(17)017001
Bin(17)108521
Bin(16)015841
Bin(16)107351
Bin(15)016871
Bin(15)108411
Bin(14)016271
Bin(14)107811
Bin(13)014951
Bin(13)106461
Bin(12)016501
Bin(12)108031
Bin(11)018731
Bin(11)1010261
Bin(10)016861
Bin(10)108381
Bin(9)0110791
Bin(9)1012251
Bin(8)017491
Bin(8)109011
Bin(7)0111731
Bin(7)1013151
Bin(6)0110001
Bin(6)1011491
Bin(5)0110201
Bin(5)1011671
Bin(4)016191
Bin(4)107711
Bin(3)018151
Bin(3)109621
Bin(2)019211
Bin(2)1010681
Bin(1)0111031
Bin(1)1012471
Bin(0)0110821
Bin(0)1012291

Signal:

 TST_ENA
FromToCountThreshold
Bin01921
Bin102571

Signal:

 PARITY_WORD
ElementFromToCountThreshold
Bin(20)01251
Bin(20)107051
Bin(19)0111
Bin(19)107291
Bin(18)0121
Bin(18)107281
Bin(17)0141
Bin(17)107261
Bin(16)0141
Bin(16)107261
Bin(15)01181
Bin(15)107121
Bin(14)0191
Bin(14)107211
Bin(13)01231
Bin(13)107071
Bin(12)01261
Bin(12)107041
Bin(11)01481
Bin(11)106821
Bin(10)01301
Bin(10)107001
Bin(9)01491
Bin(9)106811
Bin(8)01341
Bin(8)106961
Bin(7)01321
Bin(7)106981
Bin(6)01471
Bin(6)106831
Bin(5)01671
Bin(5)106631
Bin(4)011711
Bin(4)105591
Bin(3)013211
Bin(3)104091
Bin(2)014051
Bin(2)103251
Bin(1)012461
Bin(1)104841
Bin(0)012701
Bin(0)104601

Signal:

 PARITY_READ_REAL
FromToCountThreshold
Bin0114461
Bin1013011

Signal:

 PARITY_READ_EXP
FromToCountThreshold
Bin0114611
Bin1016261

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

LHSRHSCountThresholdExclude Command
BinFalseTrue01

Excluded expressions:

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
BinTrueFalse5791
BinTrueTrue921

"=" expression on line 277:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse9311
BinTrue6711

"=" expression on line 283:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse151931
BinTrue103260761

"=" expression on line 287:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse10511
BinTrue950701

"=" expression on line 291:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse92481
BinTrue6728781

"=" expression on line 296:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse12871
BinTrue845541

"=" expression on line 300:

 tst_ena = '1' 
Evaluated toCountThreshold
BinFalse55441
BinTrue5971

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: