NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.G_TXT_BUF_COMP(3).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(3).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: 15958
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: 236
Threshold: 1

Signal assignment statement on line 280:

280:               '0'
Count: 4390
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: 49940669
Threshold: 1

Signal assignment statement on line 283:

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

Signal assignment statement on line 285:

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

Signal assignment statement on line 287:

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

Signal assignment statement on line 289:

289:                           mr_tst_control_twrstb
Count: 3803
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: 1598674
Threshold: 1

Signal assignment statement on line 291:

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

Signal assignment statement on line 293:

293:                          mr_tst_wdata_tst_wdata
Count: 16686
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: 183157
Threshold: 1

Signal assignment statement on line 296:

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

Signal assignment statement on line 298:

298:                             mr_tst_dest_tst_addr(4 downto 0)
Count: 3769
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: 17090
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: 2111
Threshold: 1

Signal assignment statement on line 302:

302:                                     (others => '0')
Count: 14979
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
BinTrue2361
BinFalse43901

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

283:    txtb_port_a_address_i <= txtb_port_a_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue499137231
BinFalse269461

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

287:    txtb_port_a_write_i <= txtb_port_a_write when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue1854311
BinFalse38031

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

291:    txtb_port_a_data_i <= txtb_port_a_data_in when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue15819881
BinFalse166861

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

296:    txtb_port_b_address_i <= txtb_port_b_address when (tst_ena = '0'
Evaluated toCountThreshold
BinTrue1793881
BinFalse37691

"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
BinTrue21111
BinFalse149791

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)014701
Bin(31)1011301
Bin(30)014631
Bin(30)1011231
Bin(29)014681
Bin(29)1011281
Bin(28)015221
Bin(28)1011821
Bin(27)014841
Bin(27)1011441
Bin(26)015241
Bin(26)1011841
Bin(25)015041
Bin(25)1011641
Bin(24)015111
Bin(24)1011711
Bin(23)015061
Bin(23)1011661
Bin(22)014981
Bin(22)1011581
Bin(21)015071
Bin(21)1011671
Bin(20)014941
Bin(20)1011541
Bin(19)015211
Bin(19)1011811
Bin(18)015171
Bin(18)1011771
Bin(17)014911
Bin(17)1011511
Bin(16)014951
Bin(16)1011551
Bin(15)015041
Bin(15)1011641
Bin(14)014961
Bin(14)1011561
Bin(13)014951
Bin(13)1011551
Bin(12)015031
Bin(12)1011631
Bin(11)014921
Bin(11)1011521
Bin(10)014901
Bin(10)1011501
Bin(9)014961
Bin(9)1011561
Bin(8)014861
Bin(8)1011461
Bin(7)015191
Bin(7)1011791
Bin(6)014981
Bin(6)1011581
Bin(5)015141
Bin(5)1011741
Bin(4)014971
Bin(4)1011571
Bin(3)014921
Bin(3)1011521
Bin(2)015021
Bin(2)1011621
Bin(1)015101
Bin(1)1011701
Bin(0)015031
Bin(0)1011631

Port:

 TXTB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)0110721
Bin(31)1016921
Bin(30)0110581
Bin(30)1016781
Bin(29)0110771
Bin(29)1016971
Bin(28)0123721
Bin(28)1029821
Bin(27)0121861
Bin(27)1027951
Bin(26)0124221
Bin(26)1030331
Bin(25)0123361
Bin(25)1029461
Bin(24)0122301
Bin(24)1028341
Bin(23)0125541
Bin(23)1031651
Bin(22)0123511
Bin(22)1029551
Bin(21)0126381
Bin(21)1032411
Bin(20)0120941
Bin(20)1026971
Bin(19)0125361
Bin(19)1031361
Bin(18)0127331
Bin(18)1033371
Bin(17)0118531
Bin(17)1024661
Bin(16)0116391
Bin(16)1022521
Bin(15)0119321
Bin(15)1025421
Bin(14)0120411
Bin(14)1026511
Bin(13)0120171
Bin(13)1026311
Bin(12)0118941
Bin(12)1025051
Bin(11)0121571
Bin(11)1027681
Bin(10)0120571
Bin(10)1026681
Bin(9)0131081
Bin(9)1037061
Bin(8)0121171
Bin(8)1027341
Bin(7)0134361
Bin(7)1040131
Bin(6)0127431
Bin(6)1033311
Bin(5)0128431
Bin(5)1034491
Bin(4)0118141
Bin(4)1024241
Bin(3)0129111
Bin(3)1035091
Bin(2)0126851
Bin(2)1032801
Bin(1)0128121
Bin(1)1034001
Bin(0)0132671
Bin(0)1038631

Port:

 PARITY_MISMATCH
FromToCountThreshold
Bin0112901
Bin1019501

Signal:

 TXTB_PORT_A_ADDRESS_I
ElementFromToCountThreshold
Bin(4)012485571
Bin(4)10246667431
Bin(3)013987921
Bin(3)10245164741
Bin(2)013019241
Bin(2)10246137541
Bin(1)01243644521
Bin(1)105520221
Bin(0)01161187711
Bin(0)1087993841

Signal:

 TXTB_PORT_A_WRITE_I
FromToCountThreshold
Bin01460201
Bin10467841

Signal:

 TXTB_PORT_A_DATA_I
ElementFromToCountThreshold
Bin(31)01263151
Bin(31)107613421
Bin(30)01270661
Bin(30)107605771
Bin(29)01275461
Bin(29)107601031
Bin(28)01413081
Bin(28)107463771
Bin(27)01405041
Bin(27)107471331
Bin(26)01359631
Bin(26)107516901
Bin(25)01467651
Bin(25)107408901
Bin(24)01375681
Bin(24)107500951
Bin(23)01355501
Bin(23)107521071
Bin(22)01425511
Bin(22)107451121
Bin(21)01383011
Bin(21)107493661
Bin(20)01385051
Bin(20)107491461
Bin(19)01670251
Bin(19)107206521
Bin(18)01810061
Bin(18)107066921
Bin(17)01794731
Bin(17)107082011
Bin(16)011383411
Bin(16)106493431
Bin(15)01347031
Bin(15)107529541
Bin(14)01415201
Bin(14)107461471
Bin(13)01375191
Bin(13)107501421
Bin(12)01389851
Bin(12)107486821
Bin(11)01615961
Bin(11)107260571
Bin(10)01615601
Bin(10)107260971
Bin(9)01786501
Bin(9)107090231
Bin(8)01826311
Bin(8)107050281
Bin(7)01704471
Bin(7)107172501
Bin(6)01687081
Bin(6)107189631
Bin(5)01689791
Bin(5)107186901
Bin(4)01847481
Bin(4)107029251
Bin(3)01915611
Bin(3)106961191
Bin(2)011023131
Bin(2)106853661
Bin(1)011629931
Bin(1)106246971
Bin(0)011402841
Bin(0)106474641

Signal:

 TXTB_PORT_B_ADDRESS_I
ElementFromToCountThreshold
Bin(4)01112271
Bin(4)10118871
Bin(3)017761
Bin(3)1014361
Bin(2)01173891
Bin(2)10180491
Bin(1)01137751
Bin(1)10137751
Bin(0)01384951
Bin(0)10391551

Signal:

 TXTB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)0110721
Bin(31)1016921
Bin(30)0110581
Bin(30)1016781
Bin(29)0110771
Bin(29)1016971
Bin(28)0123721
Bin(28)1029821
Bin(27)0121861
Bin(27)1027951
Bin(26)0124221
Bin(26)1030331
Bin(25)0123361
Bin(25)1029461
Bin(24)0122301
Bin(24)1028341
Bin(23)0125541
Bin(23)1031651
Bin(22)0123511
Bin(22)1029551
Bin(21)0126381
Bin(21)1032411
Bin(20)0120941
Bin(20)1026971
Bin(19)0125361
Bin(19)1031361
Bin(18)0127331
Bin(18)1033371
Bin(17)0118531
Bin(17)1024661
Bin(16)0116391
Bin(16)1022521
Bin(15)0119321
Bin(15)1025421
Bin(14)0120411
Bin(14)1026511
Bin(13)0120171
Bin(13)1026311
Bin(12)0118941
Bin(12)1025051
Bin(11)0121571
Bin(11)1027681
Bin(10)0120571
Bin(10)1026681
Bin(9)0131081
Bin(9)1037061
Bin(8)0121171
Bin(8)1027341
Bin(7)0134361
Bin(7)1040131
Bin(6)0127431
Bin(6)1033311
Bin(5)0128431
Bin(5)1034491
Bin(4)0118141
Bin(4)1024241
Bin(3)0129111
Bin(3)1035091
Bin(2)0126851
Bin(2)1032801
Bin(1)0128121
Bin(1)1034001
Bin(0)0132671
Bin(0)1038631

Signal:

 TST_ENA
FromToCountThreshold
Bin012361
Bin108961

Signal:

 PARITY_WORD
ElementFromToCountThreshold
Bin(20)01961
Bin(20)1030021
Bin(19)0141
Bin(19)1030941
Bin(18)0191
Bin(18)1030891
Bin(17)01121
Bin(17)1030861
Bin(16)01181
Bin(16)1030801
Bin(15)01201
Bin(15)1030781
Bin(14)01241
Bin(14)1030741
Bin(13)01311
Bin(13)1030671
Bin(12)01331
Bin(12)1030651
Bin(11)01601
Bin(11)1030381
Bin(10)01571
Bin(10)1030411
Bin(9)01941
Bin(9)1030041
Bin(8)01961
Bin(8)1030021
Bin(7)011371
Bin(7)1029611
Bin(6)011701
Bin(6)1029281
Bin(5)012921
Bin(5)1028061
Bin(4)017441
Bin(4)1023541
Bin(3)0112971
Bin(3)1018011
Bin(2)0116761
Bin(2)1014221
Bin(1)0111031
Bin(1)1019951
Bin(0)0110641
Bin(0)1020341

Signal:

 PARITY_READ_REAL
FromToCountThreshold
Bin0135401
Bin1029611

Signal:

 PARITY_READ_EXP
FromToCountThreshold
Bin0138551
Bin1045151

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
BinTrueFalse15151
BinTrueTrue2361

"=" expression on line 277:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse28751
BinTrue17511

"=" expression on line 283:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse269461
BinTrue499137231

"=" expression on line 287:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse38031
BinTrue1854311

"=" expression on line 291:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse166861
BinTrue15819881

"=" expression on line 296:

 tst_ena = '0' 
Evaluated toCountThreshold
BinFalse37691
BinTrue1793881

"=" expression on line 300:

 tst_ena = '1' 
Evaluated toCountThreshold
BinFalse149791
BinTrue21111

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: