NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(5).G_TXT_BUF_ODD.I_TXTB_ODD_TOP.I_TXTB_RAM

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/txt_buffer/txtb_odd_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(5).G_TXT_BUF_ODD.I_TXTB_ODD_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: 4956
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: 75
Threshold: 1

Signal assignment statement on line 280:

280:               '0'
Count: 1527
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: 10341235
Threshold: 1

Signal assignment statement on line 283:

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

Signal assignment statement on line 285:

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

Signal assignment statement on line 287:

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

Signal assignment statement on line 289:

289:                           mr_tst_control_twrstb
Count: 970
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: 682092
Threshold: 1

Signal assignment statement on line 291:

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

Signal assignment statement on line 293:

293:                          mr_tst_wdata_tst_wdata
Count: 9083
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: 85807
Threshold: 1

Signal assignment statement on line 296:

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

Signal assignment statement on line 298:

298:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 1257
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: 5271
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: 543
Threshold: 1

Signal assignment statement on line 302:

302:                                     (others => '0')
Count: 4728
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
BinTrue751
BinFalse15271

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

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue103262561
BinFalse149791

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

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue948351
BinFalse9701

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

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue6730091
BinFalse90831

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

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue845501
BinFalse12571

"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
BinTrue5431
BinFalse47281

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)011131
Bin(31)102781
Bin(30)011151
Bin(30)102801
Bin(29)011201
Bin(29)102851
Bin(28)011321
Bin(28)102971
Bin(27)011281
Bin(27)102931
Bin(26)011231
Bin(26)102881
Bin(25)011411
Bin(25)103061
Bin(24)011221
Bin(24)102871
Bin(23)011311
Bin(23)102961
Bin(22)011191
Bin(22)102841
Bin(21)011321
Bin(21)102971
Bin(20)011281
Bin(20)102931
Bin(19)011261
Bin(19)102911
Bin(18)011261
Bin(18)102911
Bin(17)011201
Bin(17)102851
Bin(16)011231
Bin(16)102881
Bin(15)011191
Bin(15)102841
Bin(14)011191
Bin(14)102841
Bin(13)011251
Bin(13)102901
Bin(12)011211
Bin(12)102861
Bin(11)011251
Bin(11)102901
Bin(10)011171
Bin(10)102821
Bin(9)011261
Bin(9)102911
Bin(8)011271
Bin(8)102921
Bin(7)011271
Bin(7)102921
Bin(6)011121
Bin(6)102771
Bin(5)011241
Bin(5)102891
Bin(4)011271
Bin(4)102921
Bin(3)011221
Bin(3)102871
Bin(2)011271
Bin(2)102921
Bin(1)011211
Bin(1)102861
Bin(0)011191
Bin(0)102841

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)012811
Bin(31)104361
Bin(30)012921
Bin(30)104471
Bin(29)012121
Bin(29)103671
Bin(28)017571
Bin(28)109061
Bin(27)015851
Bin(27)107341
Bin(26)016591
Bin(26)108111
Bin(25)016411
Bin(25)107921
Bin(24)016031
Bin(24)107551
Bin(23)016911
Bin(23)108411
Bin(22)018031
Bin(22)109531
Bin(21)017751
Bin(21)109251
Bin(20)017691
Bin(20)109201
Bin(19)018031
Bin(19)109501
Bin(18)017491
Bin(18)108971
Bin(17)016531
Bin(17)108061
Bin(16)014851
Bin(16)106381
Bin(15)015281
Bin(15)106811
Bin(14)015181
Bin(14)106701
Bin(13)015081
Bin(13)106621
Bin(12)015051
Bin(12)106601
Bin(11)016301
Bin(11)107841
Bin(10)014281
Bin(10)105811
Bin(9)018921
Bin(9)1010391
Bin(8)016981
Bin(8)108501
Bin(7)0111871
Bin(7)1013281
Bin(6)018181
Bin(6)109631
Bin(5)016591
Bin(5)108101
Bin(4)014821
Bin(4)106361
Bin(3)018941
Bin(3)1010411
Bin(2)015641
Bin(2)107141
Bin(1)018201
Bin(1)109671
Bin(0)0111081
Bin(0)1012531

Port:

 PARITY_MISMATCH
FromToCountThreshold
Bin014681
Bin106331

Signal:

 TXTB_PORT_A_ADDRESS_I
ElementFromToCountThreshold
Bin(4)011016111
Bin(4)1050333891
Bin(3)011285381
Bin(3)1050064521
Bin(2)011092171
Bin(2)1050259091
Bin(1)0148956531
Bin(1)102397591
Bin(0)0138458111
Bin(0)1012902051

Signal:

 TXTB_PORT_A_WRITE_I
FromToCountThreshold
Bin01113141
Bin10115071

Signal:

 TXTB_PORT_A_DATA_I
ElementFromToCountThreshold
Bin(31)01150391
Bin(31)103190251
Bin(30)01163591
Bin(30)103177091
Bin(29)01149961
Bin(29)103190681
Bin(28)01219391
Bin(28)103121391
Bin(27)01207001
Bin(27)103133781
Bin(26)01195801
Bin(26)103144941
Bin(25)01218521
Bin(25)103122301
Bin(24)01211421
Bin(24)103129201
Bin(23)01206181
Bin(23)103134441
Bin(22)01214151
Bin(22)103126571
Bin(21)01207781
Bin(21)103132861
Bin(20)01208501
Bin(20)103132201
Bin(19)01361541
Bin(19)102979181
Bin(18)01419381
Bin(18)102921321
Bin(17)01394701
Bin(17)102946021
Bin(16)01824541
Bin(16)102516241
Bin(15)01189121
Bin(15)103151541
Bin(14)01203281
Bin(14)103137381
Bin(13)01191161
Bin(13)103149521
Bin(12)01191791
Bin(12)103148971
Bin(11)01416351
Bin(11)102924351
Bin(10)01403141
Bin(10)102937461
Bin(9)01471311
Bin(9)102869351
Bin(8)01502801
Bin(8)102837941
Bin(7)01439721
Bin(7)102900981
Bin(6)01446331
Bin(6)102894411
Bin(5)01454431
Bin(5)102886371
Bin(4)01505481
Bin(4)102835261
Bin(3)01522941
Bin(3)102817821
Bin(2)01564861
Bin(2)102776021
Bin(1)01942021
Bin(1)102398671
Bin(0)01829091
Bin(0)102511821

Signal:

 TXTB_PORT_B_ADDRESS_I
ElementFromToCountThreshold
Bin(4)0133521
Bin(4)1035171
Bin(3)011131
Bin(3)102781
Bin(2)0153271
Bin(2)1054921
Bin(1)0139591
Bin(1)1039591
Bin(0)01112271
Bin(0)10113921

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)012811
Bin(31)104361
Bin(30)012921
Bin(30)104471
Bin(29)012121
Bin(29)103671
Bin(28)017571
Bin(28)109061
Bin(27)015851
Bin(27)107341
Bin(26)016591
Bin(26)108111
Bin(25)016411
Bin(25)107921
Bin(24)016031
Bin(24)107551
Bin(23)016911
Bin(23)108411
Bin(22)018031
Bin(22)109531
Bin(21)017751
Bin(21)109251
Bin(20)017691
Bin(20)109201
Bin(19)018031
Bin(19)109501
Bin(18)017491
Bin(18)108971
Bin(17)016531
Bin(17)108061
Bin(16)014851
Bin(16)106381
Bin(15)015281
Bin(15)106811
Bin(14)015181
Bin(14)106701
Bin(13)015081
Bin(13)106621
Bin(12)015051
Bin(12)106601
Bin(11)016301
Bin(11)107841
Bin(10)014281
Bin(10)105811
Bin(9)018921
Bin(9)1010391
Bin(8)016981
Bin(8)108501
Bin(7)0111871
Bin(7)1013281
Bin(6)018181
Bin(6)109631
Bin(5)016591
Bin(5)108101
Bin(4)014821
Bin(4)106361
Bin(3)018941
Bin(3)1010411
Bin(2)015641
Bin(2)107141
Bin(1)018201
Bin(1)109671
Bin(0)0111081
Bin(0)1012531

Signal:

 TST_ENA
FromToCountThreshold
Bin01751
Bin102401

Signal:

 PARITY_WORD
ElementFromToCountThreshold
Bin(20)01171
Bin(20)106721
Bin(19)0111
Bin(19)106881
Bin(18)0131
Bin(18)106861
Bin(17)01231
Bin(17)106661
Bin(16)01271
Bin(16)106621
Bin(15)01301
Bin(15)106591
Bin(14)01291
Bin(14)106601
Bin(13)01141
Bin(13)106751
Bin(12)01131
Bin(12)106761
Bin(11)01351
Bin(11)106541
Bin(10)01431
Bin(10)106461
Bin(9)01241
Bin(9)106651
Bin(8)01321
Bin(8)106571
Bin(7)01421
Bin(7)106471
Bin(6)01521
Bin(6)106371
Bin(5)01881
Bin(5)106011
Bin(4)011461
Bin(4)105431
Bin(3)012931
Bin(3)103961
Bin(2)013691
Bin(2)103201
Bin(1)012731
Bin(1)104161
Bin(0)012281
Bin(0)104611

Signal:

 PARITY_READ_REAL
FromToCountThreshold
Bin0112351
Bin1010901

Signal:

 PARITY_READ_EXP
FromToCountThreshold
Bin0111981
Bin1013631

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
BinTrueFalse5961
BinTrueTrue751

"=" expression on line 277:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse9311
BinTrue6711

"=" expression on line 283:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse149791
BinTrue103262561

"=" expression on line 287:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse9701
BinTrue948351

"=" expression on line 291:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse90831
BinTrue6730091

"=" expression on line 296:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse12571
BinTrue845501

"=" expression on line 300:

 tst_ena = '1' 
Evaluated toCountThreshold
BinFalse47281
BinTrue5431

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: