NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BM_TOP.I_BM_TRV_DELAY_MEAS

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/bus_management/bm_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_TRV_DELAY_RST_REG 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BM_TOP.I_BM_TRV_DELAY_MEAS 100.0 % (36/36) 100.0 % (31/31) 100.0 % (162/162) 100.0 % (30/30) N.A. N.A. 100.0 % (259/259)

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:

If statement on lines 247 to 250:

247:    trv_meas_progress_d <= '0' when (tran_delay_meas = '0') else 
248:                           '1' when (edge_tx_valid = '1') else 
249:                           '0' when (edge_rx_valid = '1') else 
250:                           trv_meas_progress_q; 

Count: 4200975
Threshold: 1

Signal assignment statement on line 247:

247:    trv_meas_progress_d <= '0' when (tran_delay_meas = '0') else 
Count: 4049359
Threshold: 1

Signal assignment statement on line 248:

248:                           '1' when (edge_tx_valid = '1') else 
Count: 26820
Threshold: 1

Signal assignment statement on line 249:

249:                           '0' when (edge_rx_valid = '1') else 
Count: 42775
Threshold: 1

Signal assignment statement on line 250:

250:                           trv_meas_progress_q
Count: 82021
Threshold: 1

If statement on lines 257 to 263:

257:        if (rst_n = '0') then 
258:            trv_meas_progress_q     <= '0'; 
...
262:            trv_meas_progress_del   <= trv_meas_progress_q; 
263:        end if; 

Count: 1096781321
Threshold: 1

Signal assignment statement on line 258:

258:            trv_meas_progress_q     <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 259:

259:            trv_meas_progress_del   <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 261:

261:            trv_meas_progress_q     <= trv_meas_progress_d; 
Count: 547174334
Threshold: 1

Signal assignment statement on line 262:

262:            trv_meas_progress_del   <= trv_meas_progress_q; 
Count: 547174334
Threshold: 1

If statement on lines 269 to 271:

269:    trv_delay_ctr_rst_d <= '0' when (tran_delay_meas = '1' and edge_tx_valid = '1') 
270:                               else 
271:                           '1'; 

Count: 1357091
Threshold: 1

Signal assignment statement on line 269:

269:    trv_delay_ctr_rst_d <= '0' when (tran_delay_meas = '1' and edge_tx_valid = '1') 
Count: 13410
Threshold: 1

Signal assignment statement on line 271:

271:                           '1'
Count: 1343681
Threshold: 1

Signal assignment statement on line 296:

296:    trv_delay_ctr_add <= std_logic_vector(unsigned(trv_delay_ctr_q) + 1)
Count: 42449
Threshold: 1

If statement on lines 299 to 301:

299:    trv_delay_ctr_d <= C_TRV_DEL_SAT when (trv_delay_ctr_q = C_TRV_DEL_SAT) 
300:                                     else 
301:                      trv_delay_ctr_add; 

Count: 84898
Threshold: 1

Signal assignment statement on line 299:

299:    trv_delay_ctr_d <= C_TRV_DEL_SAT when (trv_delay_ctr_q = C_TRV_DEL_SAT) 
Count: 32
Threshold: 1

Signal assignment statement on line 301:

301:                      trv_delay_ctr_add
Count: 84866
Threshold: 1

If statement on lines 308 to 318:

308:        if (trv_delay_ctr_rst_q_scan = '0') then 
309:            trv_delay_ctr_q(0) <= '1'; 
...
317:            end if; 
318:        end if; 

Count: 1096808140
Threshold: 1

Signal assignment statement on line 309:

309:            trv_delay_ctr_q(0) <= '1'; 
Count: 2475870
Threshold: 1

Signal assignment statement on line 310:

310:            trv_delay_ctr_q(G_TRV_CTR_WIDTH - 1 downto 1) <= (others => '0'); 
Count: 2475870
Threshold: 1

If statement on lines 315 to 317:

315:            if (trv_meas_progress_q = '1') then 
316:                trv_delay_ctr_q <= trv_delay_ctr_d; 
317:            end if; 

Count: 547154441
Threshold: 1

Signal assignment statement on line 316:

316:                trv_delay_ctr_q <= trv_delay_ctr_d; 
Count: 26163
Threshold: 1

Signal assignment statement on lines 325 to 326:

325:    trv_delay_sum <= std_logic_vector(('0' & unsigned(trv_delay_ctr_q)) + 
326:                                      ('0' & unsigned(mr_ssp_cfg_ssp_offset))); 

Count: 50525
Threshold: 1

Sequential statement on lines 333 to 336:

333:    with mr_ssp_cfg_ssp_src select ssp_delay <= 
334:                  trv_delay_sum when SSP_SRC_MEAS_N_OFFSET, 
335:    '0' & mr_ssp_cfg_ssp_offset when SSP_SRC_OFFSET, 
336:                (others => '0') when others; 

Count: 57432
Threshold: 1

Signal assignment statement on line 334:

334:                  trv_delay_sum when SSP_SRC_MEAS_N_OFFSET, 
Count: 35548
Threshold: 1

Signal assignment statement on line 335:

335:    '0' & mr_ssp_cfg_ssp_offset when SSP_SRC_OFFSET, 
Count: 2831
Threshold: 1

Signal assignment statement on line 336:

336:                (others => '0') when others; 
Count: 19053
Threshold: 1

If statement on lines 345 to 354:

345:        if (rst_n = '0') then 
346:            ssp_delay_shadowed <= (others => '0'); 
...
353:            end if; 
354:        end if; 

Count: 1096781321
Threshold: 1

Signal assignment statement on line 346:

346:            ssp_delay_shadowed <= (others => '0'); 
Count: 2422674
Threshold: 1

Signal assignment statement on line 347:

347:            trv_delay_shadowed <= (others => '0'); 
Count: 2422674
Threshold: 1

If statement on lines 350 to 353:

350:            if (ssp_shadow_ce = '1') then 
351:                ssp_delay_shadowed <= ssp_delay; 
352:                trv_delay_shadowed <= trv_delay_ctr_q; 
353:            end if; 

Count: 547174334
Threshold: 1

Signal assignment statement on line 351:

351:                ssp_delay_shadowed <= ssp_delay; 
Count: 13410
Threshold: 1

Signal assignment statement on line 352:

352:                trv_delay_shadowed <= trv_delay_ctr_q; 
Count: 13410
Threshold: 1

If statement on lines 362 to 364:

362:    ssp_shadow_ce <= '1' when (trv_meas_progress_del = '1') and (trv_meas_progress_q = '0') 
363:                         else 
364:                     '0'; 

Count: 58442
Threshold: 1

Signal assignment statement on line 362:

362:    ssp_shadow_ce <= '1' when (trv_meas_progress_del = '1') and (trv_meas_progress_q = '0') 
Count: 13410
Threshold: 1

Signal assignment statement on line 364:

364:                     '0'
Count: 45032
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

247:    trv_meas_progress_d <= '0' when (tran_delay_meas = '0') else 
Evaluated toCountThreshold
BinTrue40493591
BinFalse1516161

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

248:                           '1' when (edge_tx_valid = '1') else 
Evaluated toCountThreshold
BinTrue268201
BinFalse1247961

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

249:                           '0' when (edge_rx_valid = '1') else 
Evaluated toCountThreshold
BinTrue427751
BinFalse820211

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

257:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

260:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

269:    trv_delay_ctr_rst_d <= '0' when (tran_delay_meas = '1' and edge_tx_valid = '1'
Evaluated toCountThreshold
BinTrue134101
BinFalse13436811

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

299:    trv_delay_ctr_d <= C_TRV_DEL_SAT when (trv_delay_ctr_q = C_TRV_DEL_SAT
Evaluated toCountThreshold
BinTrue321
BinFalse848661

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

308:        if (trv_delay_ctr_rst_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24758701
BinFalse10943322701

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

312:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471544411
BinFalse5471778291

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

315:            if (trv_meas_progress_q = '1') then 
Evaluated toCountThreshold
BinTrue261631
BinFalse5471282781

"case" / "with" / "select" choice on line 334:

334:                  trv_delay_sum when SSP_SRC_MEAS_N_OFFSET
Choice ofCountThreshold
BinSSP_SRC_MEAS_N_OFFSET355481

"case" / "with" / "select" choice on line 335:

335:    '0' & mr_ssp_cfg_ssp_offset when SSP_SRC_OFFSET
Choice ofCountThreshold
BinSSP_SRC_OFFSET28311

"case" / "with" / "select" choice on line 336:

336:                (others => '0') when others
Choice ofCountThreshold
Binothers190531

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

345:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

349:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

350:            if (ssp_shadow_ce = '1') then 
Evaluated toCountThreshold
BinTrue134101
BinFalse5471609241

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

362:    ssp_shadow_ce <= '1' when (trv_meas_progress_del = '1') and (trv_meas_progress_q = '0') 
Evaluated toCountThreshold
BinTrue134101
BinFalse450321

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:

 SCAN_MODE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 EDGE_TX_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 EDGE_RX_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TRAN_DELAY_MEAS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SSP_CFG_SSP_OFFSET
ElementFromToCountThresholdExcluded due to
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:

 MR_SSP_CFG_SSP_SRC
ElementFromToCountThresholdExcluded due to
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Covered toggles:

Port:

 TRV_DELAY_SHADOWED
ElementFromToCountThreshold
Bin(7)01231
Bin(7)1016241
Bin(6)01381
Bin(6)1016391
Bin(5)01691
Bin(5)1016701
Bin(4)01861
Bin(4)1016871
Bin(3)01771
Bin(3)1016781
Bin(2)01851
Bin(2)1016861
Bin(1)0121781
Bin(1)1037791
Bin(0)01671
Bin(0)1016681

Port:

 SSP_DELAY_SHADOWED
ElementFromToCountThreshold
Bin(8)01151
Bin(8)1016161
Bin(7)01321
Bin(7)1016331
Bin(6)01441
Bin(6)1016451
Bin(5)01661
Bin(5)1016671
Bin(4)01601
Bin(4)1016611
Bin(3)012681
Bin(3)1018691
Bin(2)019421
Bin(2)1025431
Bin(1)012401
Bin(1)1018411
Bin(0)019181
Bin(0)1025191

Signal:

 TRV_MEAS_PROGRESS_D
FromToCountThreshold
Bin01134101
Bin10150111

Signal:

 TRV_MEAS_PROGRESS_Q
FromToCountThreshold
Bin01134101
Bin10150111

Signal:

 TRV_MEAS_PROGRESS_DEL
FromToCountThreshold
Bin01134101
Bin10150111

Signal:

 TRV_DELAY_CTR_Q
ElementFromToCountThreshold
Bin(7)01661
Bin(7)1016341
Bin(6)011541
Bin(6)1017121
Bin(5)013841
Bin(5)1019041
Bin(4)018041
Bin(4)1023031
Bin(3)0115941
Bin(3)1031001
Bin(2)0132051
Bin(2)1047071
Bin(1)01196311
Bin(1)10211581
Bin(0)01212621
Bin(0)10195861

Signal:

 TRV_DELAY_CTR_D
ElementFromToCountThreshold
Bin(7)01331
Bin(7)1016341
Bin(6)01781
Bin(6)1016791
Bin(5)011971
Bin(5)1017981
Bin(4)014061
Bin(4)1020071
Bin(3)018091
Bin(3)1024101
Bin(2)0116241
Bin(2)1032251
Bin(1)0147641
Bin(1)1031631
Bin(0)01195861
Bin(0)10211871

Signal:

 TRV_DELAY_CTR_ADD
ElementFromToCountThreshold
Bin(7)01331
Bin(7)1016341
Bin(6)01781
Bin(6)1016791
Bin(5)011971
Bin(5)1017981
Bin(4)014061
Bin(4)1020071
Bin(3)018091
Bin(3)1024101
Bin(2)0116241
Bin(2)1032251
Bin(1)0147641
Bin(1)1031631
Bin(0)01195861
Bin(0)10211871

Signal:

 TRV_DELAY_CTR_RST_D
FromToCountThreshold
Bin01150111
Bin10134101

Signal:

 TRV_DELAY_CTR_RST_Q_SCAN
FromToCountThreshold
Bin01214931
Bin10214821

Signal:

 SSP_SHADOW_CE
FromToCountThreshold
Bin01134101
Bin10150111

Signal:

 SSP_DELAY
ElementFromToCountThreshold
Bin(8)01201
Bin(8)1032221
Bin(7)01561
Bin(7)1032581
Bin(6)01961
Bin(6)1032981
Bin(5)012071
Bin(5)1034091
Bin(4)013591
Bin(4)1035611
Bin(3)0149021
Bin(3)1049141
Bin(2)0140281
Bin(2)1072301
Bin(1)0170541
Bin(1)1070661
Bin(0)01157391
Bin(0)10157511

Signal:

 TRV_DELAY_SUM
ElementFromToCountThreshold
Bin(8)01291
Bin(8)1016301
Bin(7)01721
Bin(7)1016731
Bin(6)011361
Bin(6)1017371
Bin(5)012701
Bin(5)1018711
Bin(4)014851
Bin(4)1020861
Bin(3)0151371
Bin(3)1035481
Bin(2)0144901
Bin(2)1060911
Bin(1)01147601
Bin(1)10131711
Bin(0)01235841
Bin(0)10219831

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 247:

 tran_delay_meas = '0' 
Evaluated toCountThreshold
BinFalse1516161
BinTrue40493591

"=" expression on line 248:

 edge_tx_valid = '1' 
Evaluated toCountThreshold
BinFalse1247961
BinTrue268201

"=" expression on line 249:

 edge_rx_valid = '1' 
Evaluated toCountThreshold
BinFalse820211
BinTrue427751

"=" expression on line 257:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"and" expression on line 269:

 tran_delay_meas = '1' and edge_tx_valid = '1' 
 <--------LHS-------->     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue6250991
BinTrueFalse510451
BinTrueTrue134101

"=" expression on line 269:

 tran_delay_meas = '1' 
Evaluated toCountThreshold
BinFalse12926361
BinTrue644551

"=" expression on line 269:

 edge_tx_valid = '1' 
Evaluated toCountThreshold
BinFalse7185821
BinTrue6385091

"=" expression on line 308:

 trv_delay_ctr_rst_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943322701
BinTrue24758701

"=" expression on line 315:

 trv_meas_progress_q = '1' 
Evaluated toCountThreshold
BinFalse5471282781
BinTrue261631

"=" expression on line 345:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 350:

 ssp_shadow_ce = '1' 
Evaluated toCountThreshold
BinFalse5471609241
BinTrue134101

"and" expression on line 362:

 (trv_meas_progress_del = '1') and (trv_meas_progress_q = '0') 
  <-----------LHS----------->       <----------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue166121
BinTrueFalse134091
BinTrueTrue134101

"=" expression on line 362:

 trv_meas_progress_del = '1' 
Evaluated toCountThreshold
BinFalse316231
BinTrue268191

"=" expression on line 362:

 trv_meas_progress_q = '0' 
Evaluated toCountThreshold
BinFalse284201
BinTrue300221

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: