NVC code coverage report

Hierarchy

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

Nested Instances 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 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 % (63/63) 100.0 % (56/56) 100.0 % (92/92) 100.0 % (115/115) N.A. N.A. 100.0 % (326/326)

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 227 to 229:

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

Count: 47225
Threshold: 1

Signal assignment statement on line 227:

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

Signal assignment statement on line 229:

229:                           '0'
Count: 33713
Threshold: 1

If statement on lines 236 to 238:

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

Count: 22880682
Threshold: 1

Signal assignment statement on line 236:

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

Signal assignment statement on line 237:

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

Signal assignment statement on line 238:

238:                   fixed_reg_q
Count: 2849550
Threshold: 1

Signal assignment statement on line 261:

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

If statement on lines 269 to 272:

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

Signal assignment statement on line 269:

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

Signal assignment statement on line 270:

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

Signal assignment statement on line 272:

272:                    bst_ctr_q
Count: 5754345
Threshold: 1

If statement on lines 279 to 285:

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

Count: 1090018206
Threshold: 1

Signal assignment statement on line 280:

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

If statement on lines 282 to 284:

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

Count: 543791678
Threshold: 1

Signal assignment statement on line 283:

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

If statement on lines 294 to 298:

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

Signal assignment statement on line 294:

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

Signal assignment statement on line 298:

298:                          '0'
Count: 1382002
Threshold: 1

If statement on lines 305 to 308:

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

Signal assignment statement on line 305:

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

Signal assignment statement on line 308:

308:                     '0'
Count: 5799556
Threshold: 1

Signal assignment statement on line 313:

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

If statement on lines 321 to 322:

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

Count: 1290280
Threshold: 1

Signal assignment statement on line 321:

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

Signal assignment statement on line 322:

322:                     "01"
Count: 646739
Threshold: 1

If statement on lines 331 to 334:

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

Signal assignment statement on line 331:

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

Signal assignment statement on line 332:

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

Signal assignment statement on line 333:

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

Signal assignment statement on line 334:

334:                             same_bits_q
Count: 3048633
Threshold: 1

If statement on lines 346 to 348:

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

Count: 2280466
Threshold: 1

Signal assignment statement on line 346:

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

Signal assignment statement on line 348:

348:                         '0'
Count: 1971270
Threshold: 1

If statement on lines 355 to 363:

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

Count: 1090018206
Threshold: 1

Signal assignment statement on line 356:

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

If statement on lines 358 to 362:

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

Count: 543791678
Threshold: 1

Signal assignment statement on line 359:

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

Signal assignment statement on line 361:

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

If statement on lines 371 to 373:

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

Count: 647872
Threshold: 1

Signal assignment statement on line 371:

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

Signal assignment statement on line 373:

373:                        '0'
Count: 325164
Threshold: 1

If statement on lines 382 to 384:

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

Signal assignment statement on line 382:

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

Signal assignment statement on line 383:

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

Signal assignment statement on line 384:

384:                           data_out_i
Count: 11729726
Threshold: 1

If statement on lines 386 to 388:

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

Signal assignment statement on line 386:

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

Signal assignment statement on line 387:

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

Signal assignment statement on line 388:

388:                      data_out_i
Count: 8877939
Threshold: 1

If statement on lines 390 to 391:

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

Count: 22837506
Threshold: 1

Signal assignment statement on line 390:

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

Signal assignment statement on line 391:

391:                     '0'
Count: 8615464
Threshold: 1

If statement on lines 421 to 424:

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

Signal assignment statement on line 421:

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

Signal assignment statement on line 422:

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

Signal assignment statement on line 423:

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

Signal assignment statement on line 424:

424:                   data_halt_q
Count: 2841105
Threshold: 1

If statement on lines 432 to 433:

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

Count: 2515295
Threshold: 1

Signal assignment statement on line 432:

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

Signal assignment statement on line 433:

433:                 data_halt_d
Count: 1256847
Threshold: 1

Signal assignment statement on line 454:

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

Signal assignment statement on line 455:

455:    data_out <= data_out_i
Count: 1267628
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

227:    non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_reg_q = '0'
Evaluated toCountThreshold
BinTrue135121
BinFalse337131

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

236:    fixed_reg_d <= '0'         when (enable_prev = '0') else 
Evaluated toCountThreshold
BinTrue172061251
BinFalse56745571

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

237:                   fixed_stuff when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue28250071
BinFalse28495501

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

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

"if" / "when" / "else" condition on lines 270 to 271:

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

Evaluated toCountThreshold
BinTrue8139211
BinFalse57543451

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

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

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

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

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

282:            if (stuff_enable = '1') then 
Evaluated toCountThreshold
BinTrue1548788841
BinFalse3889127941

"if" / "when" / "else" condition on lines 294 to 296:

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
BinTrue18447401
BinFalse13820021

"if" / "when" / "else" condition on lines 305 to 306:

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

Evaluated toCountThreshold
BinTrue188133031
BinFalse57995561

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

321:    tx_no_sof_val <= "10" when (data_in = DOMINANT) else 
Evaluated toCountThreshold
BinTrue6435411
BinFalse6467391

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

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

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

332:                                   "001" when (same_bits_rst = '1') else 
Evaluated toCountThreshold
BinTrue202509341
BinFalse103038171

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

333:                           same_bits_add when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue72551841
BinFalse30486331

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

346:    stuff_lvl_reached <= '1' when (same_bits_q = "101"
Evaluated toCountThreshold
BinTrue3091961
BinFalse19712701

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

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

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

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

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

358:            if (stuff_enable = '1') then 
Evaluated toCountThreshold
BinTrue1548788841
BinFalse3889127941

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

371:    insert_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1'
Evaluated toCountThreshold
BinTrue3227081
BinFalse3251641

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

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

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

383:                              data_in  when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue129202431
BinFalse117297261

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

386:    data_out_d <= data_out_d_ena when (stuff_enable = '1') else 
Evaluated toCountThreshold
BinTrue109692341
BinFalse177525511

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

387:                         data_in when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue88746121
BinFalse88779391

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

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

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

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

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

422:                   '1' when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Evaluated toCountThreshold
BinTrue9398961
BinFalse59564281

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

423:                   '0' when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue31153231
BinFalse28411051

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

432:    data_halt <= data_halt_q when (data_halt_q = data_halt_d) else 
Evaluated toCountThreshold
BinTrue12584481
BinFalse12568471

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:

 DATA_IN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 BST_TRIGGER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 STUFF_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 FIXED_STUFF
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TX_FRAME_NO_SOF
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 DATA_OUT
FromToCountThreshold
Bin016338121
Bin106322151

Port:

 BST_CTR
ElementFromToCountThreshold
Bin(2)01334521
Bin(2)10350531
Bin(1)01709401
Bin(1)10725381
Bin(0)011413151
Bin(0)101429141

Port:

 DATA_HALT
FromToCountThreshold
Bin019398961
Bin109414971

Signal:

 DATA_OUT_I
FromToCountThreshold
Bin016338121
Bin106322151

Signal:

 SAME_BITS_Q
ElementFromToCountThreshold
Bin(2)013532281
Bin(2)103548291
Bin(1)015912301
Bin(1)105928311
Bin(0)019460591
Bin(0)109444581

Signal:

 SAME_BITS_ADD
ElementFromToCountThreshold
Bin(2)014323801
Bin(2)104339811
Bin(1)014339811
Bin(1)104323801
Bin(0)019444581
Bin(0)109460591

Signal:

 SAME_BITS_D
ElementFromToCountThreshold
Bin(2)0111684981
Bin(2)1011700991
Bin(1)0132556911
Bin(1)1032572921
Bin(0)0146286161
Bin(0)1046270151

Signal:

 TX_NO_SOF_VAL
ElementFromToCountThreshold
Bin(1)016435411
Bin(1)106451381
Bin(0)016451381
Bin(0)106435411

Signal:

 DATA_HALT_Q
FromToCountThreshold
Bin013153501
Bin103169511

Signal:

 DATA_HALT_D
FromToCountThreshold
Bin019398961
Bin109414971

Signal:

 FIXED_REG_Q
FromToCountThreshold
Bin0176991
Bin1093001

Signal:

 FIXED_REG_D
FromToCountThreshold
Bin0176991
Bin1093001

Signal:

 BST_CTR_Q
ElementFromToCountThreshold
Bin(2)01334521
Bin(2)10350531
Bin(1)01709401
Bin(1)10725381
Bin(0)011413151
Bin(0)101429141

Signal:

 BST_CTR_ADD
ElementFromToCountThreshold
Bin(2)01376601
Bin(2)10392601
Bin(1)01773631
Bin(1)10789611
Bin(0)011429141
Bin(0)101413151

Signal:

 BST_CTR_D
ElementFromToCountThreshold
Bin(2)01922091
Bin(2)10938101
Bin(1)012010691
Bin(1)102026701
Bin(0)014136171
Bin(0)104152181

Signal:

 ENABLE_PREV
FromToCountThreshold
Bin01252751
Bin10268761

Signal:

 NON_FIX_TO_FIX_CHNG
FromToCountThreshold
Bin01135121
Bin10151131

Signal:

 STUFF_LVL_REACHED
FromToCountThreshold
Bin013091961
Bin103107971

Signal:

 SAME_BITS_RST_TRIG
FromToCountThreshold
Bin0112257331
Bin1012273341

Signal:

 SAME_BITS_RST
FromToCountThreshold
Bin0114554731
Bin1014554731

Signal:

 INSERT_STUFF_BIT
FromToCountThreshold
Bin013219621
Bin103235631

Signal:

 DATA_OUT_D_ENA
FromToCountThreshold
Bin0121541631
Bin1021525661

Signal:

 DATA_OUT_D
FromToCountThreshold
Bin0119962391
Bin1019946421

Signal:

 DATA_OUT_CE
FromToCountThreshold
Bin0186106621
Bin1086122621

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 227:

 fixed_stuff = '1' and fixed_reg_q = '0' 
 <------LHS------>     <------RHS------> 

LHSRHSCountThreshold
BinFalseTrue151131
BinTrueFalse76991
BinTrueTrue135121

"=" expression on line 227:

 fixed_stuff = '1' 
Evaluated toCountThreshold
BinFalse260141
BinTrue212111

"=" expression on line 227:

 fixed_reg_q = '0' 
Evaluated toCountThreshold
BinFalse186001
BinTrue286251

"=" expression on line 236:

 enable_prev = '0' 
Evaluated toCountThreshold
BinFalse56745571
BinTrue172061251

"=" expression on line 237:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse28495501
BinTrue28250071

"=" expression on line 269:

 enable_prev = '0' 
Evaluated toCountThreshold
BinFalse65682661
BinTrue172164331

"and" expression on lines 270 to 271:

 bst_trigger = '1' and stuff_lvl_reached = '1' and fixed_stuff = '0' 
 <--------------------LHS-------------------->     <------RHS------> 

LHSRHSCountThreshold
BinFalseTrue52677321
BinTrueFalse747021
BinTrueTrue8139211

"and" expression on line 270:

 bst_trigger = '1' and stuff_lvl_reached = '1' 
 <------LHS------>     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue3100961
BinTrueFalse28102481
BinTrueTrue8886231

"=" expression on line 270:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse28693951
BinTrue36988711

"=" expression on line 270:

 stuff_lvl_reached = '1' 
Evaluated toCountThreshold
BinFalse53695471
BinTrue11987191

"=" expression on line 271:

 fixed_stuff = '0' 
Evaluated toCountThreshold
BinFalse4866131
BinTrue60816531

"=" expression on line 279:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 282:

 stuff_enable = '1' 
Evaluated toCountThreshold
BinFalse3889127941
BinTrue1548788841

"or" expression on lines 294 to 296:

 (non_fix_to_fix_chng = '1') or (stuff_lvl_reached = '1') or (data_in /= data_out_i and fixed_stuff = '0') 
 <-------------------------LHS-------------------------->     <-------------------RHS------------------->  

LHSRHSCountThreshold
BinFalseFalse13820021
BinFalseTrue9510591
BinTrueFalse6209481

"or" expression on lines 294 to 295:

 (non_fix_to_fix_chng = '1') or (stuff_lvl_reached = '1') 
  <----------LHS---------->      <---------RHS--------->  

LHSRHSCountThreshold
BinFalseFalse23330611
BinFalseTrue8666571
BinTrueFalse255321

"=" expression on line 294:

 non_fix_to_fix_chng = '1' 
Evaluated toCountThreshold
BinFalse31997181
BinTrue270241

"=" expression on line 295:

 stuff_lvl_reached = '1' 
Evaluated toCountThreshold
BinFalse23585931
BinTrue8681491

"and" expression on line 296:

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

LHSRHSCountThreshold
BinFalseTrue16850041
BinTrueFalse1330021
BinTrueTrue12237921

"/=" expression on line 296:

 data_in /= data_out_i 
Evaluated toCountThreshold
BinFalse18699481
BinTrue13567941

"=" expression on line 296:

 fixed_stuff = '0' 
Evaluated toCountThreshold
BinFalse3179461
BinTrue29087961

"or" expression on lines 305 to 306:

 (enable_prev = '0') or (bst_trigger = '1' and same_bits_rst_trig = '1') 
  <------LHS------>      <--------------------RHS--------------------->  

LHSRHSCountThreshold
BinFalseFalse57995561
BinFalseTrue14309141
BinTrueFalse171590641

"=" expression on line 305:

 enable_prev = '0' 
Evaluated toCountThreshold
BinFalse72304701
BinTrue173823891

"and" expression on line 306:

 bst_trigger = '1' and same_bits_rst_trig = '1' 
 <------LHS------>     <---------RHS----------> 

LHSRHSCountThreshold
BinFalseTrue14604861
BinTrueFalse111888871
BinTrueTrue16542391

"=" expression on line 306:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse117697331
BinTrue128431261

"=" expression on line 306:

 same_bits_rst_trig = '1' 
Evaluated toCountThreshold
BinFalse214981341
BinTrue31147251

"=" expression on line 321:

 data_in = DOMINANT 
Evaluated toCountThreshold
BinFalse6467391
BinTrue6435411

"=" expression on line 331:

 tx_frame_no_sof = '1' 
Evaluated toCountThreshold
BinFalse305547511
BinTrue16341

"=" expression on line 332:

 same_bits_rst = '1' 
Evaluated toCountThreshold
BinFalse103038171
BinTrue202509341

"=" expression on line 333:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse30486331
BinTrue72551841

"=" expression on line 355:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 358:

 stuff_enable = '1' 
Evaluated toCountThreshold
BinFalse3889127941
BinTrue1548788841

"or" expression on line 371:

 non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1' 
 <----------LHS---------->    <---------RHS---------> 

LHSRHSCountThreshold
BinFalseFalse3251641
BinFalseTrue3091961
BinTrueFalse127661

"=" expression on line 371:

 non_fix_to_fix_chng = '1' 
Evaluated toCountThreshold
BinFalse6343601
BinTrue135121

"=" expression on line 371:

 stuff_lvl_reached = '1' 
Evaluated toCountThreshold
BinFalse3379301
BinTrue3099421

"and" expression on line 382:

 bst_trigger = '1' and insert_stuff_bit = '1' 
 <------LHS------>     <--------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue4910151
BinTrueFalse129202431
BinTrueTrue13356111

"=" expression on line 382:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse117297261
BinTrue142558541

"=" expression on line 382:

 insert_stuff_bit = '1' 
Evaluated toCountThreshold
BinFalse241589541
BinTrue18266261

"=" expression on line 383:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse117297261
BinTrue129202431

"=" expression on line 386:

 stuff_enable = '1' 
Evaluated toCountThreshold
BinFalse177525511
BinTrue109692341

"=" expression on line 387:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse88779391
BinTrue88746121

"or" expression on line 390:

 stuff_enable = '1' or bst_trigger = '1' 
 <------LHS------->    <------RHS------> 

LHSRHSCountThreshold
BinFalseFalse86154641
BinFalseTrue85853871
BinTrueFalse28309651

"=" expression on line 390:

 stuff_enable = '1' 
Evaluated toCountThreshold
BinFalse172008511
BinTrue56366551

"=" expression on line 390:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse114464291
BinTrue113910771

"or" expression on line 421:

 enable_prev = '0' or stuff_enable = '0' 
 <------LHS------>    <------RHS-------> 

LHSRHSCountThreshold
BinFalseFalse68963241
BinFalseTrue301031
BinTrueFalse252901

"=" expression on line 421:

 enable_prev = '0' 
Evaluated toCountThreshold
BinFalse69264271
BinTrue172321271

"=" expression on line 421:

 stuff_enable = '0' 
Evaluated toCountThreshold
BinFalse69216141
BinTrue172369401

"and" expression on line 422:

 bst_trigger = '1' and insert_stuff_bit = '1' 
 <------LHS------>     <--------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue3161491
BinTrueFalse31153231
BinTrueTrue9398961

"=" expression on line 422:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse28411051
BinTrue40552191

"=" expression on line 422:

 insert_stuff_bit = '1' 
Evaluated toCountThreshold
BinFalse56402791
BinTrue12560451

"=" expression on line 423:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse28411051
BinTrue31153231

"=" expression on line 432:

 data_halt_q = data_halt_d 
Evaluated toCountThreshold
BinFalse12568471
BinTrue12584481

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: