NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.BIT_STUFFING_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_core/bit_stuffing.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average
DFF_ENA_REG 100.0 % (3/3) 100.0 % (4/4) 100.0 % (8/8) 100.0 % (2/2) N.A. N.A. 100.0 % (17/17)
DFF_FIXED_STUFF_REG 100.0 % (4/4) 100.0 % (6/6) 100.0 % (10/10) 100.0 % (4/4) N.A. N.A. 100.0 % (24/24)
DFF_DATA_OUT_REG 100.0 % (4/4) 100.0 % (6/6) 100.0 % (10/10) 100.0 % (4/4) N.A. N.A. 100.0 % (24/24)
DFF_HALT_REG 100.0 % (3/3) 100.0 % (4/4) 100.0 % (8/8) 100.0 % (2/2) N.A. N.A. 100.0 % (17/17)

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.BIT_STUFFING_INST 100.0 % (62/62) 100.0 % (56/56) 100.0 % (92/92) 100.0 % (115/115) N.A. N.A. 100.0 % (325/325)

Details:

The limit of printed items was reached (5000). Total 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

227:    non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_reg_q = '0') 
228:                               else 
229:                           '0'; 

Count: 48128
Threshold: 1

Signal assignment statement:

227:    non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_reg_q = '0') 
Count: 13466
Threshold: 1

Signal assignment statement:

229:                           '0'
Count: 34662
Threshold: 1

If statement:

236:    fixed_reg_d <= '0'         when (enable_prev = '0') else 
237:                   fixed_stuff when (bst_trigger = '1') else 
238:                   fixed_reg_q; 

Count: 22186518
Threshold: 1

Signal assignment statement:

236:    fixed_reg_d <= '0'         when (enable_prev = '0') else 
Count: 16506821
Threshold: 1

Signal assignment statement:

237:                   fixed_stuff when (bst_trigger = '1') else 
Count: 2827672
Threshold: 1

Signal assignment statement:

238:                   fixed_reg_q
Count: 2852025
Threshold: 1

Signal assignment statement:

261:    bst_ctr_add <= (bst_ctr_q + 1) mod 8
Count: 294521
Threshold: 1

If statement:

269:    bst_ctr_d <=        "000" when (enable_prev = '0') else 
270:                  bst_ctr_add when (bst_trigger = '1' and stuff_lvl_reached = '1' and 
271:                                    fixed_stuff = '0') else 
272:                    bst_ctr_q; 

Count: 23090442
Threshold: 1

Signal assignment statement:

269:    bst_ctr_d <=        "000" when (enable_prev = '0') else 
Count: 16516987
Threshold: 1

Signal assignment statement:

270:                  bst_ctr_add when (bst_trigger = '1' and stuff_lvl_reached = '1' and 
Count: 810115
Threshold: 1

Signal assignment statement:

272:                    bst_ctr_q
Count: 5763340
Threshold: 1

If statement:

279:        if (res_n = '0') then 
280:            bst_ctr_q <= (others => '0'); 
...
284:            end if; 
285:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

280:            bst_ctr_q <= (others => '0'); 
Count: 2418499
Threshold: 1

If statement:

282:            if (stuff_enable = '1') then 
283:                bst_ctr_q <= bst_ctr_d; 
284:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

283:                bst_ctr_q <= bst_ctr_d; 
Count: 155166029
Threshold: 1

If statement:

294:    same_bits_rst_trig <= '1' when (non_fix_to_fix_chng = '1') or 
295:                                   (stuff_lvl_reached = '1') or 
296:                                   (data_in /= data_out_i and fixed_stuff = '0') 
297:                              else 
298:                          '0'; 

Count: 3230678
Threshold: 1

Signal assignment statement:

294:    same_bits_rst_trig <= '1' when (non_fix_to_fix_chng = '1') or 
Count: 1843612
Threshold: 1

Signal assignment statement:

298:                          '0'
Count: 1387066
Threshold: 1

If statement:

305:    same_bits_rst <= '1' when (enable_prev = '0') or 
306:                              (bst_trigger = '1' and same_bits_rst_trig = '1') 
307:                         else 
308:                     '0'; 

Count: 23915440
Threshold: 1

Signal assignment statement:

305:    same_bits_rst <= '1' when (enable_prev = '0') or 
Count: 18112912
Threshold: 1

Signal assignment statement:

308:                     '0'
Count: 5802528
Threshold: 1

Signal assignment statement:

313:    same_bits_add <= (same_bits_q + 1) mod 8
Count: 2285345
Threshold: 1

If statement:

321:    tx_no_sof_val <= "10" when (data_in = DOMINANT) else 
322:                     "01"; 

Count: 1288890
Threshold: 1

Signal assignment statement:

321:    tx_no_sof_val <= "10" when (data_in = DOMINANT) else 
Count: 642846
Threshold: 1

Signal assignment statement:

322:                     "01"
Count: 646044
Threshold: 1

If statement:

331:    same_bits_d <= ('0' & tx_no_sof_val) when (tx_frame_no_sof = '1') else 
332:                                   "001" when (same_bits_rst = '1') else 
333:                           same_bits_add when (bst_trigger = '1') else 
334:                             same_bits_q; 

Count: 29870115
Threshold: 1

Signal assignment statement:

331:    same_bits_d <= ('0' & tx_no_sof_val) when (tx_frame_no_sof = '1') else 
Count: 1642
Threshold: 1

Signal assignment statement:

332:                                   "001" when (same_bits_rst = '1') else 
Count: 19557106
Threshold: 1

Signal assignment statement:

333:                           same_bits_add when (bst_trigger = '1') else 
Count: 7261975
Threshold: 1

Signal assignment statement:

334:                             same_bits_q
Count: 3049392
Threshold: 1

If statement:

346:    stuff_lvl_reached <= '1' when (same_bits_q = "101") 
347:                             else 
348:                         '0'; 

Count: 2285345
Threshold: 1

Signal assignment statement:

346:    stuff_lvl_reached <= '1' when (same_bits_q = "101") 
Count: 310477
Threshold: 1

Signal assignment statement:

348:                         '0'
Count: 1974868
Threshold: 1

If statement:

355:        if (res_n = '0') then 
356:            same_bits_q <= "001"; 
...
362:            end if; 
363:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

356:            same_bits_q <= "001"; 
Count: 2418499
Threshold: 1

If statement:

358:            if (stuff_enable = '1') then 
359:                same_bits_q <= same_bits_d; 
360:            else 
361:                same_bits_q <= "001"; 
362:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

359:                same_bits_q <= same_bits_d; 
Count: 155166029
Threshold: 1

Signal assignment statement:

361:                same_bits_q <= "001"; 
Count: 371208271
Threshold: 1

If statement:

371:    insert_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1') 
372:                            else 
373:                        '0'; 

Count: 650196
Threshold: 1

Signal assignment statement:

371:    insert_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1') 
Count: 323943
Threshold: 1

Signal assignment statement:

373:                        '0'
Count: 326253
Threshold: 1

If statement:

382:    data_out_d_ena <= (not data_out_i) when (bst_trigger = '1' and insert_stuff_bit = '1') else 
383:                              data_in  when (bst_trigger = '1') else 
384:                           data_out_i; 

Count: 25295300
Threshold: 1

Signal assignment statement:

382:    data_out_d_ena <= (not data_out_i) when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Count: 1327093
Threshold: 1

Signal assignment statement:

383:                              data_in  when (bst_trigger = '1') else 
Count: 12587380
Threshold: 1

Signal assignment statement:

384:                           data_out_i
Count: 11380827
Threshold: 1

If statement:

386:    data_out_d <= data_out_d_ena when (stuff_enable = '1') else 
387:                         data_in when (bst_trigger = '1') else 
388:                      data_out_i; 

Count: 28007578
Threshold: 1

Signal assignment statement:

386:    data_out_d <= data_out_d_ena when (stuff_enable = '1') else 
Count: 10981957
Threshold: 1

Signal assignment statement:

387:                         data_in when (bst_trigger = '1') else 
Count: 8511261
Threshold: 1

Signal assignment statement:

388:                      data_out_i
Count: 8514360
Threshold: 1

If statement:

390:    data_out_ce <= '1' when (stuff_enable = '1' or bst_trigger = '1') else 
391:                     '0'; 

Count: 22142437
Threshold: 1

Signal assignment statement:

390:    data_out_ce <= '1' when (stuff_enable = '1' or bst_trigger = '1') else 
Count: 13876447
Threshold: 1

Signal assignment statement:

391:                     '0'
Count: 8265990
Threshold: 1

If statement:

421:    data_halt_d <= '0' when (enable_prev = '0' or stuff_enable = '0') else 
422:                   '1' when (bst_trigger = '1' and insert_stuff_bit = '1') else 
423:                   '0' when (bst_trigger = '1') else 
424:                   data_halt_q; 

Count: 23468483
Threshold: 1

Signal assignment statement:

421:    data_halt_d <= '0' when (enable_prev = '0' or stuff_enable = '0') else 
Count: 16561594
Threshold: 1

Signal assignment statement:

422:                   '1' when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Count: 944735
Threshold: 1

Signal assignment statement:

423:                   '0' when (bst_trigger = '1') else 
Count: 3119217
Threshold: 1

Signal assignment statement:

424:                   data_halt_q
Count: 2842937
Threshold: 1

If statement:

432:    data_halt <= data_halt_q when (data_halt_q = data_halt_d) else 
433:                 data_halt_d; 

Count: 2528528
Threshold: 1

Signal assignment statement:

432:    data_halt <= data_halt_q when (data_halt_q = data_halt_d) else 
Count: 1265064
Threshold: 1

Signal assignment statement:

433:                 data_halt_d
Count: 1263464
Threshold: 1

Signal assignment statement:

454:    bst_ctr <= std_logic_vector(bst_ctr_q)
Count: 294521
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

227:    non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_reg_q = '0'
Evaluated toCountThreshold
BinTrue134661
BinFalse346621

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

236:    fixed_reg_d <= '0'         when (enable_prev = '0') else 
Evaluated toCountThreshold
BinTrue165068211
BinFalse56796971

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

237:                   fixed_stuff when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue28276721
BinFalse28520251

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

269:    bst_ctr_d <=        "000" when (enable_prev = '0') else 
Evaluated toCountThreshold
BinTrue165169871
BinFalse65734551

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

270:                  bst_ctr_add when (bst_trigger = '1' and stuff_lvl_reached = '1' and 
271:                                    fixed_stuff = '0') else 

Evaluated toCountThreshold
BinTrue8101151
BinFalse57633401

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

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

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

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

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

282:            if (stuff_enable = '1') then 
Evaluated toCountThreshold
BinTrue1551660291
BinFalse3712082711

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

294:    same_bits_rst_trig <= '1' when (non_fix_to_fix_chng = '1') or 
295:                                   (stuff_lvl_reached = '1') or 
296:                                   (data_in /= data_out_i and fixed_stuff = '0') 

Evaluated toCountThreshold
BinTrue18436121
BinFalse13870661

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

305:    same_bits_rst <= '1' when (enable_prev = '0') or 
306:                              (bst_trigger = '1' and same_bits_rst_trig = '1') 

Evaluated toCountThreshold
BinTrue181129121
BinFalse58025281

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

321:    tx_no_sof_val <= "10" when (data_in = DOMINANT) else 
Evaluated toCountThreshold
BinTrue6428461
BinFalse6460441

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

331:    same_bits_d <= ('0' & tx_no_sof_val) when (tx_frame_no_sof = '1') else 
Evaluated toCountThreshold
BinTrue16421
BinFalse298684731

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

332:                                   "001" when (same_bits_rst = '1') else 
Evaluated toCountThreshold
BinTrue195571061
BinFalse103113671

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

333:                           same_bits_add when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue72619751
BinFalse30493921

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

346:    stuff_lvl_reached <= '1' when (same_bits_q = "101"
Evaluated toCountThreshold
BinTrue3104771
BinFalse19748681

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

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

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

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

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

358:            if (stuff_enable = '1') then 
Evaluated toCountThreshold
BinTrue1551660291
BinFalse3712082711

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

371:    insert_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1'
Evaluated toCountThreshold
BinTrue3239431
BinFalse3262531

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

382:    data_out_d_ena <= (not data_out_i) when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Evaluated toCountThreshold
BinTrue13270931
BinFalse239682071

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

383:                              data_in  when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue125873801
BinFalse113808271

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

386:    data_out_d <= data_out_d_ena when (stuff_enable = '1') else 
Evaluated toCountThreshold
BinTrue109819571
BinFalse170256211

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

387:                         data_in when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue85112611
BinFalse85143601

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

390:    data_out_ce <= '1' when (stuff_enable = '1' or bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue138764471
BinFalse82659901

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

421:    data_halt_d <= '0' when (enable_prev = '0' or stuff_enable = '0') else 
Evaluated toCountThreshold
BinTrue165615941
BinFalse69068891

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

422:                   '1' when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Evaluated toCountThreshold
BinTrue9447351
BinFalse59621541

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

423:                   '0' when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue31192171
BinFalse28429371

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

432:    data_halt <= data_halt_q when (data_halt_q = data_halt_d) else 
Evaluated toCountThreshold
BinTrue12650641
BinFalse12634641

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 DATA_IN
FromToCountThreshold
Bin016444441
Bin106428461

Port:

 DATA_OUT
FromToCountThreshold
Bin016353511
Bin106337531

Port:

 BST_TRIGGER
FromToCountThreshold
Bin01110440031
Bin10110456021

Port:

 STUFF_ENABLE
FromToCountThreshold
Bin01248161
Bin10264161

Port:

 FIXED_STUFF
FromToCountThreshold
Bin01134661
Bin10150661

Port:

 TX_FRAME_NO_SOF
FromToCountThreshold
Bin013541
Bin1019541

Port:

 BST_CTR(2)
FromToCountThreshold
Bin01333341
Bin10349341

Port:

 BST_CTR(1)
FromToCountThreshold
Bin01702251
Bin10718231

Port:

 BST_CTR(0)
FromToCountThreshold
Bin011407001
Bin101422981

Port:

 DATA_HALT
FromToCountThreshold
Bin019447351
Bin109463351

Signal:

 DATA_OUT_I
FromToCountThreshold
Bin016353511
Bin106337531

Signal:

 SAME_BITS_Q(2)
FromToCountThreshold
Bin013538671
Bin103554671

Signal:

 SAME_BITS_Q(1)
FromToCountThreshold
Bin015926901
Bin105942901

Signal:

 SAME_BITS_Q(0)
FromToCountThreshold
Bin019481571
Bin109465571

Signal:

 SAME_BITS_ADD(2)
FromToCountThreshold
Bin014324211
Bin104340211

Signal:

 SAME_BITS_ADD(1)
FromToCountThreshold
Bin014340211
Bin104324211

Signal:

 SAME_BITS_ADD(0)
FromToCountThreshold
Bin019465571
Bin109481571

Signal:

 SAME_BITS_D(2)
FromToCountThreshold
Bin0111697791
Bin1011713791

Signal:

 SAME_BITS_D(1)
FromToCountThreshold
Bin0132547561
Bin1032563561

Signal:

 SAME_BITS_D(0)
FromToCountThreshold
Bin0146297361
Bin1046281361

Signal:

 TX_NO_SOF_VAL(1)
FromToCountThreshold
Bin016428461
Bin106444441

Signal:

 TX_NO_SOF_VAL(0)
FromToCountThreshold
Bin016444441
Bin106428461

Signal:

 DATA_HALT_Q
FromToCountThreshold
Bin013171291
Bin103187291

Signal:

 DATA_HALT_D
FromToCountThreshold
Bin019447351
Bin109463351

Signal:

 FIXED_REG_Q
FromToCountThreshold
Bin0181981
Bin1097981

Signal:

 FIXED_REG_D
FromToCountThreshold
Bin0181981
Bin1097981

Signal:

 BST_CTR_Q(2)
FromToCountThreshold
Bin01333341
Bin10349341

Signal:

 BST_CTR_Q(1)
FromToCountThreshold
Bin01702251
Bin10718231

Signal:

 BST_CTR_Q(0)
FromToCountThreshold
Bin011407001
Bin101422981

Signal:

 BST_CTR_ADD(2)
FromToCountThreshold
Bin01374601
Bin10390591

Signal:

 BST_CTR_ADD(1)
FromToCountThreshold
Bin01768531
Bin10784511

Signal:

 BST_CTR_ADD(0)
FromToCountThreshold
Bin011422981
Bin101407001

Signal:

 BST_CTR_D(2)
FromToCountThreshold
Bin01920921
Bin10936921

Signal:

 BST_CTR_D(1)
FromToCountThreshold
Bin011997351
Bin102013351

Signal:

 BST_CTR_D(0)
FromToCountThreshold
Bin014117251
Bin104133251

Signal:

 ENABLE_PREV
FromToCountThreshold
Bin01248161
Bin10264161

Signal:

 NON_FIX_TO_FIX_CHNG
FromToCountThreshold
Bin01134661
Bin10150661

Signal:

 STUFF_LVL_REACHED
FromToCountThreshold
Bin013104771
Bin103120771

Signal:

 SAME_BITS_RST_TRIG
FromToCountThreshold
Bin0112222431
Bin1012238431

Signal:

 SAME_BITS_RST
FromToCountThreshold
Bin0114548101
Bin1014548101

Signal:

 INSERT_STUFF_BIT
FromToCountThreshold
Bin013230531
Bin103246531

Signal:

 DATA_OUT_D_ENA
FromToCountThreshold
Bin0121435211
Bin1021419231

Signal:

 DATA_OUT_D
FromToCountThreshold
Bin0119996751
Bin1019980771

Signal:

 DATA_OUT_CE
FromToCountThreshold
Bin0182611911
Bin1082627901

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

227:    non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_reg_q = '0') 
Evaluated toCountThreshold
BinFalse264641
BinTrue216641

"=" expression

227:    non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_reg_q = '0'
Evaluated toCountThreshold
BinFalse195961
BinTrue285321

"and" expression

227:    non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_reg_q = '0'
                                         <------LHS------>     <------RHS------>  

LHSRHSCountThreshold
BinFalseTrue150661
BinTrueFalse81981
BinTrueTrue134661

"=" expression

236:    fixed_reg_d <= '0'         when (enable_prev = '0') else 
Evaluated toCountThreshold
BinFalse56796971
BinTrue165068211

"=" expression

237:                   fixed_stuff when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinFalse28520251
BinTrue28276721

"=" expression

269:    bst_ctr_d <=        "000" when (enable_prev = '0') else 
Evaluated toCountThreshold
BinFalse65734551
BinTrue165169871

"=" expression

270:                  bst_ctr_add when (bst_trigger = '1' and stuff_lvl_reached = '1' and 
Evaluated toCountThreshold
BinFalse28714681
BinTrue37019871

"=" expression

270:                  bst_ctr_add when (bst_trigger = '1' and stuff_lvl_reached = '1' and 
Evaluated toCountThreshold
BinFalse53718651
BinTrue12015901

"and" expression

270:                  bst_ctr_add when (bst_trigger = '1' and stuff_lvl_reached = '1' and 
                                        <------LHS------>     <---------RHS--------->     

LHSRHSCountThreshold
BinFalseTrue3115231
BinTrueFalse28119201
BinTrueTrue8900671

"=" expression

271:                                    fixed_stuff = '0') else 
Evaluated toCountThreshold
BinFalse5198841
BinTrue60535711

"and" expression

270:                  bst_ctr_add when (bst_trigger = '1' and stuff_lvl_reached = '1' and 
271:                                    fixed_stuff = '0') else 

LHSRHSCountThreshold
BinFalseTrue52434561
BinTrueFalse799521
BinTrueTrue8101151

"=" expression

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

"=" expression

282:            if (stuff_enable = '1') then 
Evaluated toCountThreshold
BinFalse3712082711
BinTrue1551660291

"=" expression

294:    same_bits_rst_trig <= '1' when (non_fix_to_fix_chng = '1') or 
Evaluated toCountThreshold
BinFalse32037461
BinTrue269321

"=" expression

295:                                   (stuff_lvl_reached = '1') or 
Evaluated toCountThreshold
BinFalse23588361
BinTrue8718421

"or" expression

294:    same_bits_rst_trig <= '1' when (non_fix_to_fix_chng = '1') or 
295:                                   (stuff_lvl_reached = '1') or 

LHSRHSCountThreshold
BinFalseFalse23336841
BinFalseTrue8700621
BinTrueFalse251521

"/=" expression

296:                                   (data_in /= data_out_i and fixed_stuff = '0') 
Evaluated toCountThreshold
BinFalse18717431
BinTrue13589351

"=" expression

296:                                   (data_in /= data_out_i and fixed_stuff = '0'
Evaluated toCountThreshold
BinFalse3365491
BinTrue28941291

"and" expression

296:                                   (data_in /= data_out_i and fixed_stuff = '0'
                                        <--------LHS-------->     <------RHS------>  

LHSRHSCountThreshold
BinFalseTrue16759461
BinTrueFalse1407521
BinTrueTrue12181831

"or" expression

294:    same_bits_rst_trig <= '1' when (non_fix_to_fix_chng = '1') or 
295:                                   (stuff_lvl_reached = '1') or 
296:                                   (data_in /= data_out_i and fixed_stuff = '0') 

LHSRHSCountThreshold
BinFalseFalse13870661
BinFalseTrue9466181
BinTrueFalse6254291

"=" expression

305:    same_bits_rst <= '1' when (enable_prev = '0') or 
Evaluated toCountThreshold
BinFalse72331381
BinTrue166823021

"=" expression

306:                              (bst_trigger = '1' and same_bits_rst_trig = '1') 
Evaluated toCountThreshold
BinFalse114201541
BinTrue124952861

"=" expression

306:                              (bst_trigger = '1' and same_bits_rst_trig = '1'
Evaluated toCountThreshold
BinFalse208333171
BinTrue30821231

"and" expression

306:                              (bst_trigger = '1' and same_bits_rst_trig = '1'
                                   <------LHS------>     <---------RHS---------->  

LHSRHSCountThreshold
BinFalseTrue14424171
BinTrueFalse108555801
BinTrueTrue16397061

"or" expression

305:    same_bits_rst <= '1' when (enable_prev = '0') or 
306:                              (bst_trigger = '1' and same_bits_rst_trig = '1') 

LHSRHSCountThreshold
BinFalseFalse58025281
BinFalseTrue14306101
BinTrueFalse164732061

"=" expression

321:    tx_no_sof_val <= "10" when (data_in = DOMINANT) else 
Evaluated toCountThreshold
BinFalse6460441
BinTrue6428461

"=" expression

331:    same_bits_d <= ('0' & tx_no_sof_val) when (tx_frame_no_sof = '1') else 
Evaluated toCountThreshold
BinFalse298684731
BinTrue16421

"=" expression

332:                                   "001" when (same_bits_rst = '1') else 
Evaluated toCountThreshold
BinFalse103113671
BinTrue195571061

"=" expression

333:                           same_bits_add when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinFalse30493921
BinTrue72619751

"=" expression

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

"=" expression

358:            if (stuff_enable = '1') then 
Evaluated toCountThreshold
BinFalse3712082711
BinTrue1551660291

"=" expression

371:    insert_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1') 
Evaluated toCountThreshold
BinFalse6367301
BinTrue134661

"=" expression

371:    insert_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1'
Evaluated toCountThreshold
BinFalse3388291
BinTrue3113671

"or" expression

371:    insert_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1'
                                      <----------LHS---------->    <---------RHS--------->  

LHSRHSCountThreshold
BinFalseFalse3262531
BinFalseTrue3104771
BinTrueFalse125761

"=" expression

382:    data_out_d_ena <= (not data_out_i) when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Evaluated toCountThreshold
BinFalse113808271
BinTrue139144731

"=" expression

382:    data_out_d_ena <= (not data_out_i) when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Evaluated toCountThreshold
BinFalse234901971
BinTrue18051031

"and" expression

382:    data_out_d_ena <= (not data_out_i) when (bst_trigger = '1' and insert_stuff_bit = '1') else 
                                                 <------LHS------>     <--------RHS--------->       

LHSRHSCountThreshold
BinFalseTrue4780101
BinTrueFalse125873801
BinTrueTrue13270931

"=" expression

383:                              data_in  when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinFalse113808271
BinTrue125873801

"=" expression

386:    data_out_d <= data_out_d_ena when (stuff_enable = '1') else 
Evaluated toCountThreshold
BinFalse170256211
BinTrue109819571

"=" expression

387:                         data_in when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinFalse85143601
BinTrue85112611

"=" expression

390:    data_out_ce <= '1' when (stuff_enable = '1' or bst_trigger = '1') else 
Evaluated toCountThreshold
BinFalse165023651
BinTrue56400721

"=" expression

390:    data_out_ce <= '1' when (stuff_enable = '1' or bst_trigger = '1') else 
Evaluated toCountThreshold
BinFalse110984341
BinTrue110440031

"or" expression

390:    data_out_ce <= '1' when (stuff_enable = '1' or bst_trigger = '1') else 
                                 <------LHS------->    <------RHS------>       

LHSRHSCountThreshold
BinFalseFalse82659901
BinFalseTrue82363751
BinTrueFalse28324441

"=" expression

421:    data_halt_d <= '0' when (enable_prev = '0' or stuff_enable = '0') else 
Evaluated toCountThreshold
BinFalse69362781
BinTrue165322051

"=" expression

421:    data_halt_d <= '0' when (enable_prev = '0' or stuff_enable = '0') else 
Evaluated toCountThreshold
BinFalse69317201
BinTrue165367631

"or" expression

421:    data_halt_d <= '0' when (enable_prev = '0' or stuff_enable = '0') else 
                                 <------LHS------>    <------RHS------->       

LHSRHSCountThreshold
BinFalseFalse69068891
BinFalseTrue293891
BinTrueFalse248311

"=" expression

422:                   '1' when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Evaluated toCountThreshold
BinFalse28429371
BinTrue40639521

"=" expression

422:                   '1' when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Evaluated toCountThreshold
BinFalse56443691
BinTrue12625201

"and" expression

422:                   '1' when (bst_trigger = '1' and insert_stuff_bit = '1') else 
                                 <------LHS------>     <--------RHS--------->       

LHSRHSCountThreshold
BinFalseTrue3177851
BinTrueFalse31192171
BinTrueTrue9447351

"=" expression

423:                   '0' when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinFalse28429371
BinTrue31192171

"=" expression

432:    data_halt <= data_halt_q when (data_halt_q = data_halt_d) else 
Evaluated toCountThreshold
BinFalse12634641
BinTrue12650641

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: