NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(6).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(6).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: 4450
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: 88
Threshold: 1

Signal assignment statement on line 280:

280:               '0'
Count: 1514
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: 10341261
Threshold: 1

Signal assignment statement on line 283:

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

Signal assignment statement on line 285:

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

Signal assignment statement on line 287:

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

Signal assignment statement on line 289:

289:                           mr_tst_control_twrstb
Count: 1037
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: 682118
Threshold: 1

Signal assignment statement on line 291:

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

Signal assignment statement on line 293:

293:                          mr_tst_wdata_tst_wdata
Count: 9221
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: 85833
Threshold: 1

Signal assignment statement on line 296:

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

Signal assignment statement on line 298:

298:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 1278
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: 4791
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: 588
Threshold: 1

Signal assignment statement on line 302:

302:                                     (others => '0')
Count: 4203
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
BinTrue881
BinFalse15141

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

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue103261011
BinFalse151601

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

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue951521
BinFalse10371

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

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue6728971
BinFalse92211

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

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue845551
BinFalse12781

"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
BinTrue5881
BinFalse42031

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)011211
Bin(31)102861
Bin(30)011111
Bin(30)102761
Bin(29)011231
Bin(29)102881
Bin(28)011461
Bin(28)103111
Bin(27)011271
Bin(27)102921
Bin(26)011461
Bin(26)103111
Bin(25)011271
Bin(25)102921
Bin(24)011171
Bin(24)102821
Bin(23)011291
Bin(23)102941
Bin(22)011291
Bin(22)102941
Bin(21)011361
Bin(21)103011
Bin(20)011401
Bin(20)103051
Bin(19)011301
Bin(19)102951
Bin(18)011341
Bin(18)102991
Bin(17)011271
Bin(17)102921
Bin(16)011281
Bin(16)102931
Bin(15)011241
Bin(15)102891
Bin(14)011231
Bin(14)102881
Bin(13)011301
Bin(13)102951
Bin(12)011271
Bin(12)102921
Bin(11)011191
Bin(11)102841
Bin(10)011341
Bin(10)102991
Bin(9)011331
Bin(9)102981
Bin(8)011271
Bin(8)102921
Bin(7)011351
Bin(7)103001
Bin(6)011331
Bin(6)102981
Bin(5)011311
Bin(5)102961
Bin(4)011311
Bin(4)102961
Bin(3)011381
Bin(3)103031
Bin(2)011391
Bin(2)103041
Bin(1)011281
Bin(1)102931
Bin(0)011301
Bin(0)102951

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)012261
Bin(31)103811
Bin(30)013171
Bin(30)104721
Bin(29)012011
Bin(29)103561
Bin(28)017761
Bin(28)109251
Bin(27)014441
Bin(27)105941
Bin(26)014751
Bin(26)106251
Bin(25)017201
Bin(25)108721
Bin(24)016871
Bin(24)108381
Bin(23)016781
Bin(23)108271
Bin(22)014811
Bin(22)106311
Bin(21)017171
Bin(21)108671
Bin(20)017191
Bin(20)108701
Bin(19)016971
Bin(19)108461
Bin(18)016351
Bin(18)107841
Bin(17)015851
Bin(17)107371
Bin(16)013441
Bin(16)104981
Bin(15)016391
Bin(15)107921
Bin(14)014761
Bin(14)106301
Bin(13)014421
Bin(13)105961
Bin(12)014521
Bin(12)106061
Bin(11)016511
Bin(11)108041
Bin(10)014351
Bin(10)105881
Bin(9)017131
Bin(9)108631
Bin(8)016901
Bin(8)108441
Bin(7)017411
Bin(7)108831
Bin(6)019991
Bin(6)1011481
Bin(5)017421
Bin(5)108941
Bin(4)015861
Bin(4)107411
Bin(3)015281
Bin(3)106751
Bin(2)016871
Bin(2)108361
Bin(1)0110351
Bin(1)1011821
Bin(0)018221
Bin(0)109671

Port:

 PARITY_MISMATCH
FromToCountThreshold
Bin015111
Bin106761

Signal:

 TXTB_PORT_A_ADDRESS_I
ElementFromToCountThreshold
Bin(4)011016111
Bin(4)1050333091
Bin(3)011285401
Bin(3)1050063741
Bin(2)011092211
Bin(2)1050258331
Bin(1)0148956391
Bin(1)102397131
Bin(0)0138457751
Bin(0)1012901811

Signal:

 TXTB_PORT_A_WRITE_I
FromToCountThreshold
Bin01115051
Bin10117071

Signal:

 TXTB_PORT_A_DATA_I
ElementFromToCountThreshold
Bin(31)01150351
Bin(31)103189721
Bin(30)01163691
Bin(30)103176461
Bin(29)01149991
Bin(29)103190141
Bin(28)01219311
Bin(28)103120921
Bin(27)01207061
Bin(27)103133131
Bin(26)01195721
Bin(26)103144511
Bin(25)01218561
Bin(25)103121491
Bin(24)01211511
Bin(24)103128601
Bin(23)01206161
Bin(23)103133871
Bin(22)01214141
Bin(22)103126131
Bin(21)01207751
Bin(21)103132301
Bin(20)01208471
Bin(20)103131661
Bin(19)01351201
Bin(19)102989121
Bin(18)01429591
Bin(18)102910601
Bin(17)01404941
Bin(17)102935261
Bin(16)01830441
Bin(16)102509701
Bin(15)01189111
Bin(15)103150921
Bin(14)01203441
Bin(14)103136691
Bin(13)01191251
Bin(13)103148941
Bin(12)01191811
Bin(12)103148461
Bin(11)01416401
Bin(11)102923711
Bin(10)01403151
Bin(10)102936961
Bin(9)01471471
Bin(9)102868861
Bin(8)01502761
Bin(8)102837271
Bin(7)01439741
Bin(7)102900631
Bin(6)01446321
Bin(6)102893871
Bin(5)01454361
Bin(5)102885791
Bin(4)01505561
Bin(4)102834631
Bin(3)01522851
Bin(3)102817441
Bin(2)01564811
Bin(2)102775431
Bin(1)01941791
Bin(1)102398471
Bin(0)01828821
Bin(0)102511681

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)0139691
Bin(1)1039691
Bin(0)01112381
Bin(0)10114031

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)012261
Bin(31)103811
Bin(30)013171
Bin(30)104721
Bin(29)012011
Bin(29)103561
Bin(28)017761
Bin(28)109251
Bin(27)014441
Bin(27)105941
Bin(26)014751
Bin(26)106251
Bin(25)017201
Bin(25)108721
Bin(24)016871
Bin(24)108381
Bin(23)016781
Bin(23)108271
Bin(22)014811
Bin(22)106311
Bin(21)017171
Bin(21)108671
Bin(20)017191
Bin(20)108701
Bin(19)016971
Bin(19)108461
Bin(18)016351
Bin(18)107841
Bin(17)015851
Bin(17)107371
Bin(16)013441
Bin(16)104981
Bin(15)016391
Bin(15)107921
Bin(14)014761
Bin(14)106301
Bin(13)014421
Bin(13)105961
Bin(12)014521
Bin(12)106061
Bin(11)016511
Bin(11)108041
Bin(10)014351
Bin(10)105881
Bin(9)017131
Bin(9)108631
Bin(8)016901
Bin(8)108441
Bin(7)017411
Bin(7)108831
Bin(6)019991
Bin(6)1011481
Bin(5)017421
Bin(5)108941
Bin(4)015861
Bin(4)107411
Bin(3)015281
Bin(3)106751
Bin(2)016871
Bin(2)108361
Bin(1)0110351
Bin(1)1011821
Bin(0)018221
Bin(0)109671

Signal:

 TST_ENA
FromToCountThreshold
Bin01881
Bin102531

Signal:

 PARITY_WORD
ElementFromToCountThreshold
Bin(20)01271
Bin(20)106771
Bin(19)0111
Bin(19)107031
Bin(18)0121
Bin(18)107021
Bin(17)0131
Bin(17)107011
Bin(16)0141
Bin(16)107001
Bin(15)0151
Bin(15)106991
Bin(14)0161
Bin(14)106981
Bin(13)0171
Bin(13)106971
Bin(12)0181
Bin(12)106961
Bin(11)01241
Bin(11)106801
Bin(10)01261
Bin(10)106781
Bin(9)01171
Bin(9)106871
Bin(8)01301
Bin(8)106741
Bin(7)01411
Bin(7)106631
Bin(6)01441
Bin(6)106601
Bin(5)01881
Bin(5)106161
Bin(4)011571
Bin(4)105471
Bin(3)012951
Bin(3)104091
Bin(2)013751
Bin(2)103291
Bin(1)012061
Bin(1)104981
Bin(0)012691
Bin(0)104351

Signal:

 PARITY_READ_REAL
FromToCountThreshold
Bin0112131
Bin1010701

Signal:

 PARITY_READ_EXP
FromToCountThreshold
Bin019431
Bin1011081

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
BinTrueFalse5831
BinTrueTrue881

"=" expression on line 277:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse9311
BinTrue6711

"=" expression on line 283:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse151601
BinTrue103261011

"=" expression on line 287:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse10371
BinTrue951521

"=" expression on line 291:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse92211
BinTrue6728971

"=" expression on line 296:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse12781
BinTrue845551

"=" expression on line 300:

 tst_ena = '1' 
Evaluated toCountThreshold
BinFalse42031
BinTrue5881

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: