NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(2).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(2).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: 18383
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: 4626
Threshold: 1

Signal assignment statement on line 277:

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

Signal assignment statement on line 280:

280:               '0'
Count: 4323
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: 49940803
Threshold: 1

Signal assignment statement on line 283:

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

Signal assignment statement on line 285:

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

Signal assignment statement on line 287:

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

Signal assignment statement on line 289:

289:                           mr_tst_control_twrstb
Count: 4130
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: 1598808
Threshold: 1

Signal assignment statement on line 291:

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

Signal assignment statement on line 293:

293:                          mr_tst_wdata_tst_wdata
Count: 34523
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: 183291
Threshold: 1

Signal assignment statement on line 296:

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

Signal assignment statement on line 298:

298:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 3874
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: 19649
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: 2309
Threshold: 1

Signal assignment statement on line 302:

302:                                     (others => '0')
Count: 17340
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
BinTrue3031
BinFalse43231

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

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue498861071
BinFalse546961

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

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue1843401
BinFalse41301

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

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue15642851
BinFalse345231

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

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue1794171
BinFalse38741

"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
BinTrue23091
BinFalse173401

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)014821
Bin(31)1011421
Bin(30)014571
Bin(30)1011171
Bin(29)014921
Bin(29)1011521
Bin(28)015241
Bin(28)1011841
Bin(27)015571
Bin(27)1012171
Bin(26)015271
Bin(26)1011871
Bin(25)015571
Bin(25)1012171
Bin(24)015351
Bin(24)1011951
Bin(23)015561
Bin(23)1012161
Bin(22)015391
Bin(22)1011991
Bin(21)015631
Bin(21)1012231
Bin(20)015581
Bin(20)1012181
Bin(19)015461
Bin(19)1012061
Bin(18)015651
Bin(18)1012251
Bin(17)015031
Bin(17)1011631
Bin(16)015191
Bin(16)1011791
Bin(15)015251
Bin(15)1011851
Bin(14)015041
Bin(14)1011641
Bin(13)015171
Bin(13)1011771
Bin(12)015241
Bin(12)1011841
Bin(11)015291
Bin(11)1011891
Bin(10)015201
Bin(10)1011801
Bin(9)015251
Bin(9)1011851
Bin(8)015211
Bin(8)1011811
Bin(7)015431
Bin(7)1012031
Bin(6)015171
Bin(6)1011771
Bin(5)015361
Bin(5)1011961
Bin(4)015211
Bin(4)1011811
Bin(3)015061
Bin(3)1011661
Bin(2)015271
Bin(2)1011871
Bin(1)015171
Bin(1)1011771
Bin(0)015411
Bin(0)1012011

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)0110731
Bin(31)1016931
Bin(30)0111061
Bin(30)1017261
Bin(29)0110971
Bin(29)1017171
Bin(28)0123871
Bin(28)1029971
Bin(27)0125951
Bin(27)1032071
Bin(26)0128171
Bin(26)1034201
Bin(25)0128921
Bin(25)1035021
Bin(24)0125931
Bin(24)1031971
Bin(23)0130461
Bin(23)1036561
Bin(22)0127941
Bin(22)1034001
Bin(21)0132641
Bin(21)1038701
Bin(20)0127641
Bin(20)1033721
Bin(19)0131941
Bin(19)1037991
Bin(18)0129361
Bin(18)1035381
Bin(17)0120891
Bin(17)1027051
Bin(16)0118651
Bin(16)1024821
Bin(15)0120561
Bin(15)1026711
Bin(14)0120091
Bin(14)1026241
Bin(13)0118651
Bin(13)1024821
Bin(12)0117311
Bin(12)1023431
Bin(11)0123791
Bin(11)1029941
Bin(10)0120961
Bin(10)1027101
Bin(9)0130231
Bin(9)1036231
Bin(8)0120451
Bin(8)1026601
Bin(7)0137871
Bin(7)1043711
Bin(6)0130701
Bin(6)1036611
Bin(5)0127471
Bin(5)1033491
Bin(4)0119881
Bin(4)1026021
Bin(3)0129551
Bin(3)1035551
Bin(2)0132571
Bin(2)1038581
Bin(1)0129421
Bin(1)1035381
Bin(0)0134031
Bin(0)1040081

Port:

 PARITY_MISMATCH
FromToCountThreshold
Bin0116001
Bin1022601

Signal:

 TXTB_PORT_A_ADDRESS_I
ElementFromToCountThreshold
Bin(4)012485571
Bin(4)10246529191
Bin(3)013987931
Bin(3)10245026511
Bin(2)013019431
Bin(2)10245999491
Bin(1)01243583501
Bin(1)105443801
Bin(0)01161076451
Bin(0)1087967831

Signal:

 TXTB_PORT_A_WRITE_I
FromToCountThreshold
Bin01456271
Bin10464371

Signal:

 TXTB_PORT_A_DATA_I
ElementFromToCountThreshold
Bin(31)01259951
Bin(31)107528191
Bin(30)01267471
Bin(30)107520511
Bin(29)01272291
Bin(29)107515671
Bin(28)01409951
Bin(28)107378511
Bin(27)01401861
Bin(27)107386541
Bin(26)01356841
Bin(26)107431681
Bin(25)01464331
Bin(25)107324271
Bin(24)01372761
Bin(24)107415821
Bin(23)01352541
Bin(23)107436141
Bin(22)01422591
Bin(22)107366051
Bin(21)01380041
Bin(21)107408421
Bin(20)01381981
Bin(20)107406501
Bin(19)01655351
Bin(19)107133211
Bin(18)01769761
Bin(18)107019481
Bin(17)01772431
Bin(17)107016051
Bin(16)011368071
Bin(16)106420401
Bin(15)01344171
Bin(15)107444191
Bin(14)01412061
Bin(14)107376241
Bin(13)01372011
Bin(13)107416211
Bin(12)01386901
Bin(12)107401661
Bin(11)01612861
Bin(11)107175681
Bin(10)01612611
Bin(10)107175851
Bin(9)01783041
Bin(9)107005541
Bin(8)01823221
Bin(8)106965341
Bin(7)01701191
Bin(7)107087391
Bin(6)01684161
Bin(6)107104381
Bin(5)01686821
Bin(5)107101841
Bin(4)01831871
Bin(4)106956671
Bin(3)01888461
Bin(3)106899911
Bin(2)01995531
Bin(2)106793251
Bin(1)011583591
Bin(1)106205131
Bin(0)011362221
Bin(0)106427661

Signal:

 TXTB_PORT_B_ADDRESS_I
ElementFromToCountThreshold
Bin(4)01112271
Bin(4)10118871
Bin(3)017771
Bin(3)1014371
Bin(2)01174081
Bin(2)10180681
Bin(1)01138171
Bin(1)10138171
Bin(0)01385441
Bin(0)10392041

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)0110731
Bin(31)1016931
Bin(30)0111061
Bin(30)1017261
Bin(29)0110971
Bin(29)1017171
Bin(28)0123871
Bin(28)1029971
Bin(27)0125951
Bin(27)1032071
Bin(26)0128171
Bin(26)1034201
Bin(25)0128921
Bin(25)1035021
Bin(24)0125931
Bin(24)1031971
Bin(23)0130461
Bin(23)1036561
Bin(22)0127941
Bin(22)1034001
Bin(21)0132641
Bin(21)1038701
Bin(20)0127641
Bin(20)1033721
Bin(19)0131941
Bin(19)1037991
Bin(18)0129361
Bin(18)1035381
Bin(17)0120891
Bin(17)1027051
Bin(16)0118651
Bin(16)1024821
Bin(15)0120561
Bin(15)1026711
Bin(14)0120091
Bin(14)1026241
Bin(13)0118651
Bin(13)1024821
Bin(12)0117311
Bin(12)1023431
Bin(11)0123791
Bin(11)1029941
Bin(10)0120961
Bin(10)1027101
Bin(9)0130231
Bin(9)1036231
Bin(8)0120451
Bin(8)1026601
Bin(7)0137871
Bin(7)1043711
Bin(6)0130701
Bin(6)1036611
Bin(5)0127471
Bin(5)1033491
Bin(4)0119881
Bin(4)1026021
Bin(3)0129551
Bin(3)1035551
Bin(2)0132571
Bin(2)1038581
Bin(1)0129421
Bin(1)1035381
Bin(0)0134031
Bin(0)1040081

Signal:

 TST_ENA
FromToCountThreshold
Bin013031
Bin109631

Signal:

 PARITY_WORD
ElementFromToCountThreshold
Bin(20)01881
Bin(20)1026311
Bin(19)0141
Bin(19)1027151
Bin(18)0181
Bin(18)1027111
Bin(17)01121
Bin(17)1027071
Bin(16)01161
Bin(16)1027031
Bin(15)01201
Bin(15)1026991
Bin(14)01321
Bin(14)1026871
Bin(13)01401
Bin(13)1026791
Bin(12)01431
Bin(12)1026761
Bin(11)01551
Bin(11)1026641
Bin(10)01481
Bin(10)1026711
Bin(9)011101
Bin(9)1026091
Bin(8)01981
Bin(8)1026211
Bin(7)011501
Bin(7)1025691
Bin(6)011911
Bin(6)1025281
Bin(5)012771
Bin(5)1024421
Bin(4)016391
Bin(4)1020801
Bin(3)0111481
Bin(3)1015711
Bin(2)0114451
Bin(2)1012741
Bin(1)019321
Bin(1)1017871
Bin(0)018801
Bin(0)1018391

Signal:

 PARITY_READ_REAL
FromToCountThreshold
Bin0147021
Bin1041191

Signal:

 PARITY_READ_EXP
FromToCountThreshold
Bin0144871
Bin1051471

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
BinTrueFalse14481
BinTrueTrue3031

"=" expression on line 277:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse28751
BinTrue17511

"=" expression on line 283:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse546961
BinTrue498861071

"=" expression on line 287:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse41301
BinTrue1843401

"=" expression on line 291:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse345231
BinTrue15642851

"=" expression on line 296:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse38741
BinTrue1794171

"=" expression on line 300:

 tst_ena = '1' 
Evaluated toCountThreshold
BinFalse173401
BinTrue23091

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: