NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_BIT_STUFFING

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_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)
I_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)
I_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)
I_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.I_DUT.I_MAC_TOP.I_MAC_BIT_STUFFING 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: 46247
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: 13027
Threshold: 1

Signal assignment statement on line 229:

229:                           '0'
Count: 33220
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: 22962071
Threshold: 1

Signal assignment statement on line 236:

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

Signal assignment statement on line 237:

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

Signal assignment statement on line 238:

238:                   fixed_reg_q
Count: 2877509
Threshold: 1

Signal assignment statement on line 261:

261:    bst_ctr_add <= (bst_ctr_q + 1) mod 8
Count: 298951
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: 23873888
Threshold: 1

Signal assignment statement on line 269:

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

Signal assignment statement on line 270:

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

Signal assignment statement on line 272:

272:                    bst_ctr_q
Count: 5810291
Threshold: 1

If statement on lines 279 to 285:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 280:

280:            bst_ctr_q <= (others => '0'); 
Count: 2422674
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: 547174334
Threshold: 1

Signal assignment statement on line 283:

283:                bst_ctr_q <= bst_ctr_d; 
Count: 157839379
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: 3245872
Threshold: 1

Signal assignment statement on line 294:

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

Signal assignment statement on line 298:

298:                          '0'
Count: 1388300
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: 24707888
Threshold: 1

Signal assignment statement on line 305:

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

Signal assignment statement on line 308:

308:                     '0'
Count: 5856231
Threshold: 1

Signal assignment statement on line 313:

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

If statement on lines 321 to 322:

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

Count: 1296894
Threshold: 1

Signal assignment statement on line 321:

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

Signal assignment statement on line 322:

322:                     "01"
Count: 650047
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: 30720272
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: 1656
Threshold: 1

Signal assignment statement on line 332:

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

Signal assignment statement on line 333:

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

Signal assignment statement on line 334:

334:                             same_bits_q
Count: 3080461
Threshold: 1

If statement on lines 346 to 348:

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

Count: 2306679
Threshold: 1

Signal assignment statement on line 346:

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

Signal assignment statement on line 348:

348:                         '0'
Count: 1994985
Threshold: 1

If statement on lines 355 to 363:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 356:

356:            same_bits_q <= "001"; 
Count: 2422674
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: 547174334
Threshold: 1

Signal assignment statement on line 359:

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

Signal assignment statement on line 361:

361:                same_bits_q <= "001"; 
Count: 389334955
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: 651882
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: 324721
Threshold: 1

Signal assignment statement on line 373:

373:                        '0'
Count: 327161
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: 26087472
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: 1330833
Threshold: 1

Signal assignment statement on line 383:

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

Signal assignment statement on line 384:

384:                           data_out_i
Count: 11774018
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: 28816014
Threshold: 1

Signal assignment statement on line 386:

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

Signal assignment statement on line 387:

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

Signal assignment statement on line 388:

388:                      data_out_i
Count: 8879123
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: 22919878
Threshold: 1

Signal assignment statement on line 390:

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

Signal assignment statement on line 391:

391:                     '0'
Count: 8628908
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: 24250720
Threshold: 1

Signal assignment statement on line 421:

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

Signal assignment statement on line 422:

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

Signal assignment statement on line 423:

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

Signal assignment statement on line 424:

424:                   data_halt_q
Count: 2869052
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: 2535855
Threshold: 1

Signal assignment statement on line 432:

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

Signal assignment statement on line 433:

433:                 data_halt_d
Count: 1267127
Threshold: 1

Signal assignment statement on line 454:

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

Signal assignment statement on line 455:

455:    data_out <= data_out_i
Count: 1276992
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
BinTrue130271
BinFalse332201

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

236:    fixed_reg_d <= '0'         when (enable_prev = '0') else 
Evaluated toCountThreshold
BinTrue172316801
BinFalse57303911

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

237:                   fixed_stuff when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue28528821
BinFalse28775091

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

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

"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
BinTrue8216771
BinFalse58102911

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

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

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

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

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

282:            if (stuff_enable = '1') then 
Evaluated toCountThreshold
BinTrue1578393791
BinFalse3893349551

"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
BinTrue18575721
BinFalse13883001

"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
BinTrue188516571
BinFalse58562311

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

321:    tx_no_sof_val <= "10" when (data_in = DOMINANT) else 
Evaluated toCountThreshold
BinTrue6468471
BinFalse6500471

"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
BinTrue16561
BinFalse307186161

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

332:                                   "001" when (same_bits_rst = '1') else 
Evaluated toCountThreshold
BinTrue203121971
BinFalse104064191

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

333:                           same_bits_add when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue73259581
BinFalse30804611

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

346:    stuff_lvl_reached <= '1' when (same_bits_q = "101"
Evaluated toCountThreshold
BinTrue3116941
BinFalse19949851

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

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

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

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

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

358:            if (stuff_enable = '1') then 
Evaluated toCountThreshold
BinTrue1578393791
BinFalse3893349551

"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
BinTrue3247211
BinFalse3271611

"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
BinTrue13308331
BinFalse247566391

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

383:                              data_in  when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue129826211
BinFalse117740181

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

386:    data_out_d <= data_out_d_ena when (stuff_enable = '1') else 
Evaluated toCountThreshold
BinTrue110612221
BinFalse177547921

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

387:                         data_in when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue88756691
BinFalse88791231

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

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

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

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

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

422:                   '1' when (bst_trigger = '1' and insert_stuff_bit = '1') else 
Evaluated toCountThreshold
BinTrue9475821
BinFalse60148701

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

423:                   '0' when (bst_trigger = '1') else 
Evaluated toCountThreshold
BinTrue31458181
BinFalse28690521

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

432:    data_halt <= data_halt_q when (data_halt_q = data_halt_d) else 
Evaluated toCountThreshold
BinTrue12687281
BinFalse12671271

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:

 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
Bin016384951
Bin106368961

Port:

 BST_CTR
ElementFromToCountThreshold
Bin(2)01337931
Bin(2)10353931
Bin(1)01717461
Bin(1)10733461
Bin(0)011424711
Bin(0)101440711

Port:

 DATA_HALT
FromToCountThreshold
Bin019475821
Bin109491831

Signal:

 DATA_OUT_I
FromToCountThreshold
Bin016384951
Bin106368961

Signal:

 SAME_BITS_Q
ElementFromToCountThreshold
Bin(2)013564331
Bin(2)103580341
Bin(1)015994331
Bin(1)106010341
Bin(0)019574671
Bin(0)109558661

Signal:

 SAME_BITS_ADD
ElementFromToCountThreshold
Bin(2)014364841
Bin(2)104380851
Bin(1)014380851
Bin(1)104364841
Bin(0)019558661
Bin(0)109574671

Signal:

 SAME_BITS_D
ElementFromToCountThreshold
Bin(2)0111793961
Bin(2)1011809971
Bin(1)0132813901
Bin(1)1032829911
Bin(0)0146700151
Bin(0)1046684141

Signal:

 TX_NO_SOF_VAL
ElementFromToCountThreshold
Bin(1)016468471
Bin(1)106484461
Bin(0)016484461
Bin(0)106468471

Signal:

 DATA_HALT_Q
FromToCountThreshold
Bin013179441
Bin103195451

Signal:

 DATA_HALT_D
FromToCountThreshold
Bin019475821
Bin109491831

Signal:

 FIXED_REG_Q
FromToCountThreshold
Bin0176951
Bin1092961

Signal:

 FIXED_REG_D
FromToCountThreshold
Bin0176951
Bin1092961

Signal:

 BST_CTR_Q
ElementFromToCountThreshold
Bin(2)01337931
Bin(2)10353931
Bin(1)01717461
Bin(1)10733461
Bin(0)011424711
Bin(0)101440711

Signal:

 BST_CTR_ADD
ElementFromToCountThreshold
Bin(2)01379171
Bin(2)10395171
Bin(1)01780351
Bin(1)10796341
Bin(0)011440711
Bin(0)101424711

Signal:

 BST_CTR_D
ElementFromToCountThreshold
Bin(2)01931671
Bin(2)10947681
Bin(1)012032961
Bin(1)102048971
Bin(0)014172881
Bin(0)104188891

Signal:

 ENABLE_PREV
FromToCountThreshold
Bin01255011
Bin10271021

Signal:

 NON_FIX_TO_FIX_CHNG
FromToCountThreshold
Bin01130271
Bin10146281

Signal:

 STUFF_LVL_REACHED
FromToCountThreshold
Bin013116941
Bin103132951

Signal:

 SAME_BITS_RST_TRIG
FromToCountThreshold
Bin0112333151
Bin1012349161

Signal:

 SAME_BITS_RST
FromToCountThreshold
Bin0114679311
Bin1014679311

Signal:

 INSERT_STUFF_BIT
FromToCountThreshold
Bin013239591
Bin103255601

Signal:

 DATA_OUT_D_ENA
FromToCountThreshold
Bin0121531931
Bin1021515941

Signal:

 DATA_OUT_D
FromToCountThreshold
Bin0120079681
Bin1020063691

Signal:

 DATA_OUT_CE
FromToCountThreshold
Bin0186241081
Bin1086257061

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 227:

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

LHSRHSCountThreshold
BinFalseTrue146281
BinTrueFalse76951
BinTrueTrue130271

"=" expression on line 227:

 fixed_stuff = '1' 
Evaluated toCountThreshold
BinFalse255251
BinTrue207221

"=" expression on line 227:

 fixed_reg_q = '0' 
Evaluated toCountThreshold
BinFalse185921
BinTrue276551

"=" expression on line 236:

 enable_prev = '0' 
Evaluated toCountThreshold
BinFalse57303911
BinTrue172316801

"=" expression on line 237:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse28775091
BinTrue28528821

"=" expression on line 269:

 enable_prev = '0' 
Evaluated toCountThreshold
BinFalse66319681
BinTrue172419201

"and" expression on lines 270 to 271:

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

LHSRHSCountThreshold
BinFalseTrue53239091
BinTrueFalse746791
BinTrueTrue8216771

"and" expression on line 270:

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

LHSRHSCountThreshold
BinFalseTrue3126091
BinTrueFalse28381401
BinTrueTrue8963561

"=" expression on line 270:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse28974721
BinTrue37344961

"=" expression on line 270:

 stuff_lvl_reached = '1' 
Evaluated toCountThreshold
BinFalse54230031
BinTrue12089651

"=" expression on line 271:

 fixed_stuff = '0' 
Evaluated toCountThreshold
BinFalse4863821
BinTrue61455861

"=" expression on line 279:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 282:

 stuff_enable = '1' 
Evaluated toCountThreshold
BinFalse3893349551
BinTrue1578393791

"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
BinFalseFalse13883001
BinFalseTrue9595301
BinTrueFalse6225671

"or" expression on lines 294 to 295:

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

LHSRHSCountThreshold
BinFalseFalse23478301
BinFalseTrue8719881
BinTrueFalse245301

"=" expression on line 294:

 non_fix_to_fix_chng = '1' 
Evaluated toCountThreshold
BinFalse32198181
BinTrue260541

"=" expression on line 295:

 stuff_lvl_reached = '1' 
Evaluated toCountThreshold
BinFalse23723601
BinTrue8735121

"and" expression on line 296:

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

LHSRHSCountThreshold
BinFalseTrue16948901
BinTrueFalse1318311
BinTrueTrue12350051

"/=" expression on line 296:

 data_in /= data_out_i 
Evaluated toCountThreshold
BinFalse18790361
BinTrue13668361

"=" expression on line 296:

 fixed_stuff = '0' 
Evaluated toCountThreshold
BinFalse3159771
BinTrue29298951

"or" expression on lines 305 to 306:

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

LHSRHSCountThreshold
BinFalseFalse58562311
BinFalseTrue14432151
BinTrueFalse171975601

"=" expression on line 305:

 enable_prev = '0' 
Evaluated toCountThreshold
BinFalse72994461
BinTrue174084421

"and" expression on line 306:

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

LHSRHSCountThreshold
BinFalseTrue14584561
BinTrueFalse112397311
BinTrueTrue16540971

"=" expression on line 306:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse118140601
BinTrue128938281

"=" expression on line 306:

 same_bits_rst_trig = '1' 
Evaluated toCountThreshold
BinFalse215953351
BinTrue31125531

"=" expression on line 321:

 data_in = DOMINANT 
Evaluated toCountThreshold
BinFalse6500471
BinTrue6468471

"=" expression on line 331:

 tx_frame_no_sof = '1' 
Evaluated toCountThreshold
BinFalse307186161
BinTrue16561

"=" expression on line 332:

 same_bits_rst = '1' 
Evaluated toCountThreshold
BinFalse104064191
BinTrue203121971

"=" expression on line 333:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse30804611
BinTrue73259581

"=" expression on line 355:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 358:

 stuff_enable = '1' 
Evaluated toCountThreshold
BinFalse3893349551
BinTrue1578393791

"or" expression on line 371:

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

LHSRHSCountThreshold
BinFalseFalse3271611
BinFalseTrue3116941
BinTrueFalse122651

"=" expression on line 371:

 non_fix_to_fix_chng = '1' 
Evaluated toCountThreshold
BinFalse6388551
BinTrue130271

"=" expression on line 371:

 stuff_lvl_reached = '1' 
Evaluated toCountThreshold
BinFalse3394261
BinTrue3124561

"and" expression on line 382:

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

LHSRHSCountThreshold
BinFalseTrue4803451
BinTrueFalse129826211
BinTrueTrue13308331

"=" expression on line 382:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse117740181
BinTrue143134541

"=" expression on line 382:

 insert_stuff_bit = '1' 
Evaluated toCountThreshold
BinFalse242762941
BinTrue18111781

"=" expression on line 383:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse117740181
BinTrue129826211

"=" expression on line 386:

 stuff_enable = '1' 
Evaluated toCountThreshold
BinFalse177547921
BinTrue110612221

"=" expression on line 387:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse88791231
BinTrue88756691

"or" expression on line 390:

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

LHSRHSCountThreshold
BinFalseFalse86289081
BinFalseTrue85986071
BinTrueFalse28589321

"=" expression on line 390:

 stuff_enable = '1' 
Evaluated toCountThreshold
BinFalse172275151
BinTrue56923631

"=" expression on line 390:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse114878401
BinTrue114320381

"or" expression on line 421:

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

LHSRHSCountThreshold
BinFalseFalse69624521
BinFalseTrue304841
BinTrueFalse255161

"=" expression on line 421:

 enable_prev = '0' 
Evaluated toCountThreshold
BinFalse69929361
BinTrue172577841

"=" expression on line 421:

 stuff_enable = '0' 
Evaluated toCountThreshold
BinFalse69879681
BinTrue172627521

"and" expression on line 422:

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

LHSRHSCountThreshold
BinFalseTrue3186271
BinTrueFalse31458181
BinTrueTrue9475821

"=" expression on line 422:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse28690521
BinTrue40934001

"=" expression on line 422:

 insert_stuff_bit = '1' 
Evaluated toCountThreshold
BinFalse56962431
BinTrue12662091

"=" expression on line 423:

 bst_trigger = '1' 
Evaluated toCountThreshold
BinFalse28690521
BinTrue31458181

"=" expression on line 432:

 data_halt_q = data_halt_d 
Evaluated toCountThreshold
BinFalse12671271
BinTrue12687281

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: