NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.TRV_DELAY_MEASUREMENT_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/bus_sampling/trv_delay_meas.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
TRV_DELAY_RST_REG_INST 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:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.TRV_DELAY_MEASUREMENT_INST 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 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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: 4171244
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

250:                           trv_meas_progress_q
Count: 79051
Threshold: 1

If statement:

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

Count: 1055177083
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 1345580
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

271:                           '1'
Count: 1332309
Threshold: 1

Signal assignment statement:

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

If statement:

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: 84528
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

301:                      trv_delay_ctr_add
Count: 84498
Threshold: 1

If statement:

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

Count: 1055203624
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 526354547
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Count: 50340
Threshold: 1

Sequential statement:

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: 57255
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 1055177083
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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: 526374300
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 57883
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

364:                     '0'
Count: 44612
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

247:    trv_meas_progress_d <= '0' when (tran_delay_meas = '0') else 
Evaluated toCountThreshold
BinTrue40232361
BinFalse1480081

"if" / "when" / "else" condition:

248:                           '1' when (edge_tx_valid = '1') else 
Evaluated toCountThreshold
BinTrue265421
BinFalse1214661

"if" / "when" / "else" condition:

249:                           '0' when (edge_rx_valid = '1') else 
Evaluated toCountThreshold
BinTrue424151
BinFalse790511

"if" / "when" / "else" condition:

257:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

"if" / "when" / "else" condition:

260:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

"if" / "when" / "else" condition:

269:    trv_delay_ctr_rst_d <= '0' when (tran_delay_meas = '1' and edge_tx_valid = '1'
Evaluated toCountThreshold
BinTrue132711
BinFalse13323091

"if" / "when" / "else" condition:

299:    trv_delay_ctr_d <= C_TRV_DEL_SAT when (trv_delay_ctr_q = C_TRV_DEL_SAT
Evaluated toCountThreshold
BinTrue301
BinFalse844981

"if" / "when" / "else" condition:

308:        if (trv_delay_ctr_rst_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24712761
BinFalse10527323481

"if" / "when" / "else" condition:

312:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263545471
BinFalse5263778011

"if" / "when" / "else" condition:

315:            if (trv_meas_progress_q = '1') then 
Evaluated toCountThreshold
BinTrue259491
BinFalse5263285981

"case" / "with" / "select" choice:

334:                  trv_delay_sum when SSP_SRC_MEAS_N_OFFSET
Choice ofCountThreshold
BinSSP_SRC_MEAS_N_OFFSET347841

"case" / "with" / "select" choice:

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

"case" / "with" / "select" choice:

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

"if" / "when" / "else" condition:

345:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

"if" / "when" / "else" condition:

349:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

"if" / "when" / "else" condition:

350:            if (ssp_shadow_ce = '1') then 
Evaluated toCountThreshold
BinTrue132711
BinFalse5263610291

"if" / "when" / "else" condition:

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

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 SCAN_ENABLE
FromToCountThreshold
Bin0151
Bin1016051

Port:

 EDGE_TX_VALID
FromToCountThreshold
Bin016353651
Bin106369651

Port:

 EDGE_RX_VALID
FromToCountThreshold
Bin0113992961
Bin1014008961

Port:

 TRAN_DELAY_MEAS
FromToCountThreshold
Bin01350251
Bin10366251

Port:

 MR_SSP_CFG_SSP_OFFSET(7)
FromToCountThreshold
Bin01251
Bin1016251

Port:

 MR_SSP_CFG_SSP_OFFSET(6)
FromToCountThreshold
Bin01251
Bin1016251

Port:

 MR_SSP_CFG_SSP_OFFSET(5)
FromToCountThreshold
Bin01441
Bin1016441

Port:

 MR_SSP_CFG_SSP_OFFSET(4)
FromToCountThreshold
Bin01521
Bin1016521

Port:

 MR_SSP_CFG_SSP_OFFSET(3)
FromToCountThreshold
Bin0143051
Bin1027151

Port:

 MR_SSP_CFG_SSP_OFFSET(2)
FromToCountThreshold
Bin015271
Bin1021271

Port:

 MR_SSP_CFG_SSP_OFFSET(1)
FromToCountThreshold
Bin0128991
Bin1013091

Port:

 MR_SSP_CFG_SSP_OFFSET(0)
FromToCountThreshold
Bin0123971
Bin1039971

Port:

 MR_SSP_CFG_SSP_SRC(1)
FromToCountThreshold
Bin01471
Bin1016471

Port:

 MR_SSP_CFG_SSP_SRC(0)
FromToCountThreshold
Bin018171
Bin1024071

Port:

 TRV_DELAY_SHADOWED(7)
FromToCountThreshold
Bin01211
Bin1016211

Port:

 TRV_DELAY_SHADOWED(6)
FromToCountThreshold
Bin01421
Bin1016421

Port:

 TRV_DELAY_SHADOWED(5)
FromToCountThreshold
Bin01681
Bin1016681

Port:

 TRV_DELAY_SHADOWED(4)
FromToCountThreshold
Bin01831
Bin1016831

Port:

 TRV_DELAY_SHADOWED(3)
FromToCountThreshold
Bin01811
Bin1016811

Port:

 TRV_DELAY_SHADOWED(2)
FromToCountThreshold
Bin01871
Bin1016871

Port:

 TRV_DELAY_SHADOWED(1)
FromToCountThreshold
Bin0121541
Bin1037541

Port:

 TRV_DELAY_SHADOWED(0)
FromToCountThreshold
Bin01561
Bin1016561

Port:

 SSP_DELAY_SHADOWED(8)
FromToCountThreshold
Bin01111
Bin1016111

Port:

 SSP_DELAY_SHADOWED(7)
FromToCountThreshold
Bin01321
Bin1016321

Port:

 SSP_DELAY_SHADOWED(6)
FromToCountThreshold
Bin01421
Bin1016421

Port:

 SSP_DELAY_SHADOWED(5)
FromToCountThreshold
Bin01661
Bin1016661

Port:

 SSP_DELAY_SHADOWED(4)
FromToCountThreshold
Bin01571
Bin1016571

Port:

 SSP_DELAY_SHADOWED(3)
FromToCountThreshold
Bin012681
Bin1018681

Port:

 SSP_DELAY_SHADOWED(2)
FromToCountThreshold
Bin019311
Bin1025311

Port:

 SSP_DELAY_SHADOWED(1)
FromToCountThreshold
Bin012391
Bin1018391

Port:

 SSP_DELAY_SHADOWED(0)
FromToCountThreshold
Bin019081
Bin1025081

Signal:

 TRV_MEAS_PROGRESS_D
FromToCountThreshold
Bin01132711
Bin10148711

Signal:

 TRV_MEAS_PROGRESS_Q
FromToCountThreshold
Bin01132711
Bin10148711

Signal:

 TRV_MEAS_PROGRESS_DEL
FromToCountThreshold
Bin01132711
Bin10148711

Signal:

 TRV_DELAY_CTR_Q(7)
FromToCountThreshold
Bin01601
Bin1016301

Signal:

 TRV_DELAY_CTR_Q(6)
FromToCountThreshold
Bin011611
Bin1017131

Signal:

 TRV_DELAY_CTR_Q(5)
FromToCountThreshold
Bin013861
Bin1019031

Signal:

 TRV_DELAY_CTR_Q(4)
FromToCountThreshold
Bin018111
Bin1023051

Signal:

 TRV_DELAY_CTR_Q(3)
FromToCountThreshold
Bin0116131
Bin1031131

Signal:

 TRV_DELAY_CTR_Q(2)
FromToCountThreshold
Bin0132271
Bin1047341

Signal:

 TRV_DELAY_CTR_Q(1)
FromToCountThreshold
Bin01195361
Bin10210611

Signal:

 TRV_DELAY_CTR_Q(0)
FromToCountThreshold
Bin01211631
Bin10195011

Signal:

 TRV_DELAY_CTR_D(7)
FromToCountThreshold
Bin01301
Bin1016301

Signal:

 TRV_DELAY_CTR_D(6)
FromToCountThreshold
Bin01831
Bin1016831

Signal:

 TRV_DELAY_CTR_D(5)
FromToCountThreshold
Bin011971
Bin1017971

Signal:

 TRV_DELAY_CTR_D(4)
FromToCountThreshold
Bin014081
Bin1020081

Signal:

 TRV_DELAY_CTR_D(3)
FromToCountThreshold
Bin018161
Bin1024161

Signal:

 TRV_DELAY_CTR_D(2)
FromToCountThreshold
Bin0116351
Bin1032351

Signal:

 TRV_DELAY_CTR_D(1)
FromToCountThreshold
Bin0147841
Bin1031841

Signal:

 TRV_DELAY_CTR_D(0)
FromToCountThreshold
Bin01195011
Bin10211011

Signal:

 TRV_DELAY_CTR_ADD(7)
FromToCountThreshold
Bin01301
Bin1016301

Signal:

 TRV_DELAY_CTR_ADD(6)
FromToCountThreshold
Bin01831
Bin1016831

Signal:

 TRV_DELAY_CTR_ADD(5)
FromToCountThreshold
Bin011971
Bin1017971

Signal:

 TRV_DELAY_CTR_ADD(4)
FromToCountThreshold
Bin014081
Bin1020081

Signal:

 TRV_DELAY_CTR_ADD(3)
FromToCountThreshold
Bin018161
Bin1024161

Signal:

 TRV_DELAY_CTR_ADD(2)
FromToCountThreshold
Bin0116351
Bin1032351

Signal:

 TRV_DELAY_CTR_ADD(1)
FromToCountThreshold
Bin0147841
Bin1031841

Signal:

 TRV_DELAY_CTR_ADD(0)
FromToCountThreshold
Bin01195011
Bin10211011

Signal:

 TRV_DELAY_CTR_RST_D
FromToCountThreshold
Bin01148711
Bin10132711

Signal:

 TRV_DELAY_CTR_RST_Q_SCAN
FromToCountThreshold
Bin01213521
Bin10213431

Signal:

 SSP_SHADOW_CE
FromToCountThreshold
Bin01132711
Bin10148711

Signal:

 SSP_DELAY(8)
FromToCountThreshold
Bin01161
Bin1032161

Signal:

 SSP_DELAY(7)
FromToCountThreshold
Bin01521
Bin1032521

Signal:

 SSP_DELAY(6)
FromToCountThreshold
Bin01941
Bin1032941

Signal:

 SSP_DELAY(5)
FromToCountThreshold
Bin011951
Bin1033951

Signal:

 SSP_DELAY(4)
FromToCountThreshold
Bin013381
Bin1035381

Signal:

 SSP_DELAY(3)
FromToCountThreshold
Bin0148711
Bin1048811

Signal:

 SSP_DELAY(2)
FromToCountThreshold
Bin0138471
Bin1070471

Signal:

 SSP_DELAY(1)
FromToCountThreshold
Bin0168051
Bin1068151

Signal:

 SSP_DELAY(0)
FromToCountThreshold
Bin01153611
Bin10153711

Signal:

 TRV_DELAY_SUM(8)
FromToCountThreshold
Bin01241
Bin1016241

Signal:

 TRV_DELAY_SUM(7)
FromToCountThreshold
Bin01691
Bin1016691

Signal:

 TRV_DELAY_SUM(6)
FromToCountThreshold
Bin011401
Bin1017401

Signal:

 TRV_DELAY_SUM(5)
FromToCountThreshold
Bin012681
Bin1018681

Signal:

 TRV_DELAY_SUM(4)
FromToCountThreshold
Bin014801
Bin1020801

Signal:

 TRV_DELAY_SUM(3)
FromToCountThreshold
Bin0151451
Bin1035551

Signal:

 TRV_DELAY_SUM(2)
FromToCountThreshold
Bin0143821
Bin1059821

Signal:

 TRV_DELAY_SUM(1)
FromToCountThreshold
Bin01146571
Bin10130671

Signal:

 TRV_DELAY_SUM(0)
FromToCountThreshold
Bin01234981
Bin10218981

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

247:    trv_meas_progress_d <= '0' when (tran_delay_meas = '0') else 
Evaluated toCountThreshold
BinFalse1480081
BinTrue40232361

"=" expression

248:                           '1' when (edge_tx_valid = '1') else 
Evaluated toCountThreshold
BinFalse1214661
BinTrue265421

"=" expression

249:                           '0' when (edge_rx_valid = '1') else 
Evaluated toCountThreshold
BinFalse790511
BinTrue424151

"=" expression

257:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

269:    trv_delay_ctr_rst_d <= '0' when (tran_delay_meas = '1' and edge_tx_valid = '1') 
Evaluated toCountThreshold
BinFalse12840131
BinTrue615671

"=" expression

269:    trv_delay_ctr_rst_d <= '0' when (tran_delay_meas = '1' and edge_tx_valid = '1'
Evaluated toCountThreshold
BinFalse7102151
BinTrue6353651

"and" expression

269:    trv_delay_ctr_rst_d <= '0' when (tran_delay_meas = '1' and edge_tx_valid = '1'
                                         <--------LHS-------->     <-------RHS------->  

LHSRHSCountThreshold
BinFalseTrue6220941
BinTrueFalse482961
BinTrueTrue132711

"=" expression

308:        if (trv_delay_ctr_rst_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10527323481
BinTrue24712761

"=" expression

315:            if (trv_meas_progress_q = '1') then 
Evaluated toCountThreshold
BinFalse5263285981
BinTrue259491

"=" expression

345:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

350:            if (ssp_shadow_ce = '1') then 
Evaluated toCountThreshold
BinFalse5263610291
BinTrue132711

"=" expression

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

"=" expression

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

"and" expression

362:    ssp_shadow_ce <= '1' when (trv_meas_progress_del = '1') and (trv_meas_progress_q = '0') 
                                   <-----------LHS----------->       <----------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue164711
BinTrueFalse132701
BinTrueTrue132711

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: