NVC code coverage report

Hierarchy

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/bus_sampling.vhd

Nested Instances 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 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 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: 4175182
Threshold: 1

Signal assignment statement on line 247:

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

Signal assignment statement on line 248:

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

Signal assignment statement on line 249:

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

Signal assignment statement on line 250:

250:                           trv_meas_progress_q
Count: 81221
Threshold: 1

If statement on lines 257 to 263:

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

Signal assignment statement on line 258:

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

Signal assignment statement on line 259:

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

Signal assignment statement on line 261:

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

Signal assignment statement on line 262:

262:            trv_meas_progress_del   <= trv_meas_progress_q; 
Count: 543791678
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: 1346841
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: 13011
Threshold: 1

Signal assignment statement on line 271:

271:                           '1'
Count: 1333830
Threshold: 1

Signal assignment statement on line 296:

296:    trv_delay_ctr_add <= std_logic_vector(unsigned(trv_delay_ctr_q) + 1)
Count: 41482
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: 82964
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: 30
Threshold: 1

Signal assignment statement on line 301:

301:                      trv_delay_ctr_add
Count: 82934
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: 1090044227
Threshold: 1

Signal assignment statement on line 309:

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

Signal assignment statement on line 310:

310:            trv_delay_ctr_q(G_TRV_CTR_WIDTH - 1 downto 1) <= (others => '0'); 
Count: 2476882
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: 543772184
Threshold: 1

Signal assignment statement on line 316:

316:                trv_delay_ctr_q <= trv_delay_ctr_d; 
Count: 25425
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: 49559
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: 56475
Threshold: 1

Signal assignment statement on line 334:

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

Signal assignment statement on line 335:

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

Signal assignment statement on line 336:

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

If statement on lines 345 to 354:

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

Count: 1090018206
Threshold: 1

Signal assignment statement on line 346:

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

Signal assignment statement on line 347:

347:            trv_delay_shadowed <= (others => '0'); 
Count: 2424883
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: 543791678
Threshold: 1

Signal assignment statement on line 351:

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

Signal assignment statement on line 352:

352:                trv_delay_shadowed <= trv_delay_ctr_q; 
Count: 13011
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: 56846
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: 13011
Threshold: 1

Signal assignment statement on line 364:

364:                     '0'
Count: 43835
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
BinTrue40255221
BinFalse1496601

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

248:                           '1' when (edge_tx_valid = '1') else 
Evaluated toCountThreshold
BinTrue260221
BinFalse1236381

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

249:                           '0' when (edge_rx_valid = '1') else 
Evaluated toCountThreshold
BinTrue424171
BinFalse812211

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

257:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

260:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

"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
BinTrue130111
BinFalse13338301

"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
BinTrue301
BinFalse829341

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

308:        if (trv_delay_ctr_rst_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24768821
BinFalse10875673451

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

312:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437721841
BinFalse5437951611

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

315:            if (trv_meas_progress_q = '1') then 
Evaluated toCountThreshold
BinTrue254251
BinFalse5437467591

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

334:                  trv_delay_sum when SSP_SRC_MEAS_N_OFFSET
Choice ofCountThreshold
BinSSP_SRC_MEAS_N_OFFSET345301

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

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

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

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

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

345:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

349:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

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

350:            if (ssp_shadow_ce = '1') then 
Evaluated toCountThreshold
BinTrue130111
BinFalse5437786671

"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
BinTrue130111
BinFalse438351

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SCAN_ENABLE
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)01191
Bin(7)1016201
Bin(6)01401
Bin(6)1016411
Bin(5)01731
Bin(5)1016741
Bin(4)01861
Bin(4)1016871
Bin(3)01751
Bin(3)1016761
Bin(2)01791
Bin(2)1016801
Bin(1)0121451
Bin(1)1037461
Bin(0)01561
Bin(0)1016571

Port:

 SSP_DELAY_SHADOWED
ElementFromToCountThreshold
Bin(8)01121
Bin(8)1016131
Bin(7)01311
Bin(7)1016321
Bin(6)01431
Bin(6)1016441
Bin(5)01651
Bin(5)1016661
Bin(4)01581
Bin(4)1016591
Bin(3)012671
Bin(3)1018681
Bin(2)019341
Bin(2)1025351
Bin(1)012411
Bin(1)1018421
Bin(0)019071
Bin(0)1025081

Signal:

 TRV_MEAS_PROGRESS_D
FromToCountThreshold
Bin01130111
Bin10146121

Signal:

 TRV_MEAS_PROGRESS_Q
FromToCountThreshold
Bin01130111
Bin10146121

Signal:

 TRV_MEAS_PROGRESS_DEL
FromToCountThreshold
Bin01130111
Bin10146121

Signal:

 TRV_DELAY_CTR_Q
ElementFromToCountThreshold
Bin(7)01581
Bin(7)1016301
Bin(6)011541
Bin(6)1017081
Bin(5)013821
Bin(5)1018991
Bin(4)017981
Bin(4)1022951
Bin(3)0115811
Bin(3)1030841
Bin(2)0131551
Bin(2)1046701
Bin(1)01191421
Bin(1)10206801
Bin(0)01207741
Bin(0)10191071

Signal:

 TRV_DELAY_CTR_D
ElementFromToCountThreshold
Bin(7)01291
Bin(7)1016301
Bin(6)01791
Bin(6)1016801
Bin(5)011931
Bin(5)1017941
Bin(4)014001
Bin(4)1020011
Bin(3)017991
Bin(3)1024001
Bin(2)0115981
Bin(2)1031991
Bin(1)0147141
Bin(1)1031131
Bin(0)01191071
Bin(0)10207081

Signal:

 TRV_DELAY_CTR_ADD
ElementFromToCountThreshold
Bin(7)01291
Bin(7)1016301
Bin(6)01791
Bin(6)1016801
Bin(5)011931
Bin(5)1017941
Bin(4)014001
Bin(4)1020011
Bin(3)017991
Bin(3)1024001
Bin(2)0115981
Bin(2)1031991
Bin(1)0147141
Bin(1)1031131
Bin(0)01191071
Bin(0)10207081

Signal:

 TRV_DELAY_CTR_RST_D
FromToCountThreshold
Bin01146121
Bin10130111

Signal:

 TRV_DELAY_CTR_RST_Q_SCAN
FromToCountThreshold
Bin01210941
Bin10210831

Signal:

 SSP_SHADOW_CE
FromToCountThreshold
Bin01130111
Bin10146121

Signal:

 SSP_DELAY
ElementFromToCountThreshold
Bin(8)01171
Bin(8)1032191
Bin(7)01531
Bin(7)1032551
Bin(6)01941
Bin(6)1032961
Bin(5)012041
Bin(5)1034061
Bin(4)013461
Bin(4)1035481
Bin(3)0148911
Bin(3)1049021
Bin(2)0140161
Bin(2)1072171
Bin(1)0170111
Bin(1)1070221
Bin(0)01152331
Bin(0)10152451

Signal:

 TRV_DELAY_SUM
ElementFromToCountThreshold
Bin(8)01261
Bin(8)1016271
Bin(7)01701
Bin(7)1016711
Bin(6)011331
Bin(6)1017341
Bin(5)012651
Bin(5)1018661
Bin(4)014691
Bin(4)1020701
Bin(3)0151301
Bin(3)1035401
Bin(2)0144791
Bin(2)1060791
Bin(1)01147241
Bin(1)10131341
Bin(0)01231041
Bin(0)10215041

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 247:

 tran_delay_meas = '0' 
Evaluated toCountThreshold
BinFalse1496601
BinTrue40255221

"=" expression on line 248:

 edge_tx_valid = '1' 
Evaluated toCountThreshold
BinFalse1236381
BinTrue260221

"=" expression on line 249:

 edge_rx_valid = '1' 
Evaluated toCountThreshold
BinFalse812211
BinTrue424171

"=" expression on line 257:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"and" expression on line 269:

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

LHSRHSCountThreshold
BinFalseTrue6208171
BinTrueFalse502021
BinTrueTrue130111

"=" expression on line 269:

 tran_delay_meas = '1' 
Evaluated toCountThreshold
BinFalse12836281
BinTrue632131

"=" expression on line 269:

 edge_tx_valid = '1' 
Evaluated toCountThreshold
BinFalse7130131
BinTrue6338281

"=" expression on line 308:

 trv_delay_ctr_rst_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10875673451
BinTrue24768821

"=" expression on line 315:

 trv_meas_progress_q = '1' 
Evaluated toCountThreshold
BinFalse5437467591
BinTrue254251

"=" expression on line 345:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 350:

 ssp_shadow_ce = '1' 
Evaluated toCountThreshold
BinFalse5437786671
BinTrue130111

"and" expression on line 362:

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

LHSRHSCountThreshold
BinFalseTrue162131
BinTrueFalse130101
BinTrueTrue130111

"=" expression on line 362:

 trv_meas_progress_del = '1' 
Evaluated toCountThreshold
BinFalse308251
BinTrue260211

"=" expression on line 362:

 trv_meas_progress_q = '0' 
Evaluated toCountThreshold
BinFalse276221
BinTrue292241

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: