NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(7).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(7).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: 3629
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: 64
Threshold: 1

Signal assignment statement on line 280:

280:               '0'
Count: 1538
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: 10341213
Threshold: 1

Signal assignment statement on line 283:

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

Signal assignment statement on line 285:

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

Signal assignment statement on line 287:

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

Signal assignment statement on line 289:

289:                           mr_tst_control_twrstb
Count: 943
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: 682070
Threshold: 1

Signal assignment statement on line 291:

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

Signal assignment statement on line 293:

293:                          mr_tst_wdata_tst_wdata
Count: 3318
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: 85785
Threshold: 1

Signal assignment statement on line 296:

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

Signal assignment statement on line 298:

298:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 1243
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: 3922
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: 528
Threshold: 1

Signal assignment statement on line 302:

302:                                     (others => '0')
Count: 3394
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
BinTrue641
BinFalse15381

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

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue103352511
BinFalse59621

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

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue949501
BinFalse9431

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

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue6787521
BinFalse33181

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

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue845421
BinFalse12431

"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
BinTrue5281
BinFalse33941

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

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)011991
Bin(31)103541
Bin(30)013421
Bin(30)104971
Bin(29)011961
Bin(29)103511
Bin(28)016311
Bin(28)107831
Bin(27)013471
Bin(27)104991
Bin(26)016801
Bin(26)108301
Bin(25)016481
Bin(25)107981
Bin(24)013691
Bin(24)105191
Bin(23)015751
Bin(23)107281
Bin(22)016461
Bin(22)107971
Bin(21)014591
Bin(21)106091
Bin(20)014331
Bin(20)105851
Bin(19)015631
Bin(19)107121
Bin(18)015191
Bin(18)106711
Bin(17)014841
Bin(17)106371
Bin(16)014661
Bin(16)106211
Bin(15)014931
Bin(15)106471
Bin(14)014351
Bin(14)105901
Bin(13)014541
Bin(13)106091
Bin(12)014341
Bin(12)105881
Bin(11)013791
Bin(11)105331
Bin(10)014011
Bin(10)105541
Bin(9)017581
Bin(9)109071
Bin(8)013831
Bin(8)105361
Bin(7)018341
Bin(7)109771
Bin(6)017141
Bin(6)108611
Bin(5)014971
Bin(5)106501
Bin(4)013591
Bin(4)105131
Bin(3)015871
Bin(3)107351
Bin(2)016821
Bin(2)108331
Bin(1)016191
Bin(1)107671
Bin(0)016411
Bin(0)107851

Port:

 PARITY_MISMATCH
FromToCountThreshold
Bin014501
Bin106151

Signal:

 TXTB_PORT_A_ADDRESS_I
ElementFromToCountThreshold
Bin(4)011016111
Bin(4)1050378911
Bin(3)011285381
Bin(3)1050109541
Bin(2)011092161
Bin(2)1050304101
Bin(1)0148976661
Bin(1)102422461
Bin(0)0138494641
Bin(0)1012910331

Signal:

 TXTB_PORT_A_WRITE_I
FromToCountThreshold
Bin01113671
Bin10115551

Signal:

 TXTB_PORT_A_DATA_I
ElementFromToCountThreshold
Bin(31)01151371
Bin(31)103217931
Bin(30)01164631
Bin(30)103204691
Bin(29)01150981
Bin(29)103218401
Bin(28)01220391
Bin(28)103149011
Bin(27)01207991
Bin(27)103161331
Bin(26)01196701
Bin(26)103172641
Bin(25)01219671
Bin(25)103149731
Bin(24)01212481
Bin(24)103156821
Bin(23)01207201
Bin(23)103162121
Bin(22)01215131
Bin(22)103154211
Bin(21)01208811
Bin(21)103160431
Bin(20)01209501
Bin(20)103159801
Bin(19)01360721
Bin(19)103008681
Bin(18)01438441
Bin(18)102930911
Bin(17)01413871
Bin(17)102955531
Bin(16)01833611
Bin(16)102535871
Bin(15)01190081
Bin(15)103179261
Bin(14)01204381
Bin(14)103164921
Bin(13)01192201
Bin(13)103177221
Bin(12)01192831
Bin(12)103176691
Bin(11)01417371
Bin(11)102951971
Bin(10)01404171
Bin(10)102965171
Bin(9)01472491
Bin(9)102896911
Bin(8)01503831
Bin(8)102865591
Bin(7)01440701
Bin(7)102928781
Bin(6)01447321
Bin(6)102922101
Bin(5)01455431
Bin(5)102913851
Bin(4)01510691
Bin(4)102858731
Bin(3)01531921
Bin(3)102837481
Bin(2)01573981
Bin(2)102795471
Bin(1)01957111
Bin(1)102412301
Bin(0)01842261
Bin(0)102527261

Signal:

 TXTB_PORT_B_ADDRESS_I
ElementFromToCountThreshold
Bin(4)0133511
Bin(4)1035161
Bin(3)011131
Bin(3)102781
Bin(2)0153251
Bin(2)1054901
Bin(1)0139511
Bin(1)1039511
Bin(0)01112261
Bin(0)10113911

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)011991
Bin(31)103541
Bin(30)013421
Bin(30)104971
Bin(29)011961
Bin(29)103511
Bin(28)016311
Bin(28)107831
Bin(27)013471
Bin(27)104991
Bin(26)016801
Bin(26)108301
Bin(25)016481
Bin(25)107981
Bin(24)013691
Bin(24)105191
Bin(23)015751
Bin(23)107281
Bin(22)016461
Bin(22)107971
Bin(21)014591
Bin(21)106091
Bin(20)014331
Bin(20)105851
Bin(19)015631
Bin(19)107121
Bin(18)015191
Bin(18)106711
Bin(17)014841
Bin(17)106371
Bin(16)014661
Bin(16)106211
Bin(15)014931
Bin(15)106471
Bin(14)014351
Bin(14)105901
Bin(13)014541
Bin(13)106091
Bin(12)014341
Bin(12)105881
Bin(11)013791
Bin(11)105331
Bin(10)014011
Bin(10)105541
Bin(9)017581
Bin(9)109071
Bin(8)013831
Bin(8)105361
Bin(7)018341
Bin(7)109771
Bin(6)017141
Bin(6)108611
Bin(5)014971
Bin(5)106501
Bin(4)013591
Bin(4)105131
Bin(3)015871
Bin(3)107351
Bin(2)016821
Bin(2)108331
Bin(1)016191
Bin(1)107671
Bin(0)016411
Bin(0)107851

Signal:

 TST_ENA
FromToCountThreshold
Bin01641
Bin102291

Signal:

 PARITY_WORD
ElementFromToCountThreshold
Bin(20)01231
Bin(20)106371
Bin(19)0111
Bin(19)106591
Bin(18)0121
Bin(18)106581
Bin(17)0131
Bin(17)106571
Bin(16)0141
Bin(16)106561
Bin(15)0171
Bin(15)106531
Bin(14)0161
Bin(14)106541
Bin(13)01101
Bin(13)106501
Bin(12)0181
Bin(12)106521
Bin(11)01141
Bin(11)106461
Bin(10)01171
Bin(10)106431
Bin(9)01191
Bin(9)106411
Bin(8)01271
Bin(8)106331
Bin(7)01271
Bin(7)106331
Bin(6)01211
Bin(6)106391
Bin(5)01691
Bin(5)105911
Bin(4)011481
Bin(4)105121
Bin(3)012671
Bin(3)103931
Bin(2)013451
Bin(2)103151
Bin(1)011971
Bin(1)104631
Bin(0)012121
Bin(0)104481

Signal:

 PARITY_READ_REAL
FromToCountThreshold
Bin019851
Bin108411

Signal:

 PARITY_READ_EXP
FromToCountThreshold
Bin017441
Bin109091

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
BinTrueFalse6071
BinTrueTrue641

"=" expression on line 277:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse9311
BinTrue6711

"=" expression on line 283:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse59621
BinTrue103352511

"=" expression on line 287:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse9431
BinTrue949501

"=" expression on line 291:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse33181
BinTrue6787521

"=" expression on line 296:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse12431
BinTrue845421

"=" expression on line 300:

 tst_ena = '1' 
Evaluated toCountThreshold
BinFalse33941
BinTrue5281

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: