Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : prim_filter
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_08_24/chip_earlgrey_asic-sim-vcs/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_filter.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[6].u_pinmux_wkup.u_prim_filter 59.84 63.64 44.44 71.43
tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[1].u_pinmux_wkup.u_prim_filter 71.33 72.73 55.56 85.71
tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[4].u_pinmux_wkup.u_prim_filter 71.33 72.73 55.56 85.71
tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[0].u_pinmux_wkup.u_prim_filter 91.53 100.00 88.89 85.71
tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[3].u_pinmux_wkup.u_prim_filter 91.53 100.00 88.89 85.71
tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[7].u_pinmux_wkup.u_prim_filter 91.53 100.00 88.89 85.71
tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_activity 100.00 100.00 100.00 100.00
tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_bus_reset 100.00 100.00 100.00 100.00
tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_sense 100.00 100.00 100.00 100.00
tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[2].u_pinmux_wkup.u_prim_filter 100.00 100.00 100.00 100.00
tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[5].u_pinmux_wkup.u_prim_filter 100.00 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[6].u_pinmux_wkup.u_prim_filter

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
59.84 63.64 44.44 71.43


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
67.58 76.47 44.44 81.82


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
25.56 26.32 23.08 27.27 gen_wkup_detect[6].u_pinmux_wkup


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[1].u_pinmux_wkup.u_prim_filter

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
71.33 72.73 55.56 85.71


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
76.27 82.35 55.56 90.91


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
45.52 52.63 38.46 45.45 gen_wkup_detect[1].u_pinmux_wkup


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[4].u_pinmux_wkup.u_prim_filter

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
71.33 72.73 55.56 85.71


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
76.27 82.35 55.56 90.91


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
45.52 52.63 38.46 45.45 gen_wkup_detect[4].u_pinmux_wkup


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[0].u_pinmux_wkup.u_prim_filter

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
91.53 100.00 88.89 85.71


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.27 100.00 88.89 90.91


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
81.33 78.95 92.31 72.73 gen_wkup_detect[0].u_pinmux_wkup


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[3].u_pinmux_wkup.u_prim_filter

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
91.53 100.00 88.89 85.71


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.27 100.00 88.89 90.91


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
59.28 63.16 69.23 45.45 gen_wkup_detect[3].u_pinmux_wkup


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[7].u_pinmux_wkup.u_prim_filter

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
91.53 100.00 88.89 85.71


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.27 100.00 88.89 90.91


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
61.50 68.42 61.54 54.55 gen_wkup_detect[7].u_pinmux_wkup


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_activity

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
96.98 100.00 93.18 94.74 100.00 u_usbdev_aon_wake


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_bus_reset

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
96.98 100.00 93.18 94.74 100.00 u_usbdev_aon_wake


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_sense

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
96.98 100.00 93.18 94.74 100.00 u_usbdev_aon_wake


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[2].u_pinmux_wkup.u_prim_filter

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
61.50 68.42 61.54 54.55 gen_wkup_detect[2].u_pinmux_wkup


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[5].u_pinmux_wkup.u_prim_filter

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
64.07 68.42 69.23 54.55 gen_wkup_detect[5].u_pinmux_wkup


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_async.prim_flop_2sync 100.00 100.00 100.00

Line Coverage for Module : prim_filter
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T1 T2 T3 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T1 T2 T3 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T1 T2 T3 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T1 T2 T3 
Cond Coverage for Module : prim_filter
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3
Branch Coverage for Module : prim_filter
Line No.TotalCoveredPercent
Branches 7 7 100.00
TERNARY 70 2 2 100.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[6].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
TOTAL11763.64
ALWAYS4844100.00
CONT_ASSIGN55100.00
CONT_ASSIGN56100.00
ALWAYS5933100.00
CONT_ASSIGN66100.00
CONT_ASSIGN70100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                   ==>  MISSING_ELSE
53                        end
54                      
55         0/1     ==>    assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
56         0/1     ==>    assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         0/1     ==>    assign update_stored_value =
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         0/1     ==>    assign filter_o = enable_i ? stored_value_q : filter_synced;
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[6].u_pinmux_wkup.u_prim_filter
TotalCoveredPercent
Conditions9444.44
Logical9444.44
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00Not Covered
01Not Covered
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0Not Covered
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[6].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
Branches 7 5 71.43
TERNARY 70 2 1 50.00
IF 48 3 2 66.67
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Not Covered
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Not Covered 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[1].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
TOTAL11872.73
ALWAYS4844100.00
CONT_ASSIGN55100.00
CONT_ASSIGN56100.00
ALWAYS5933100.00
CONT_ASSIGN66100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                   ==>  MISSING_ELSE
53                        end
54                      
55         0/1     ==>    assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
56         0/1     ==>    assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         0/1     ==>    assign update_stored_value =
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T71 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[1].u_pinmux_wkup.u_prim_filter
TotalCoveredPercent
Conditions9555.56
Logical9555.56
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00Not Covered
01Not Covered
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0Not Covered
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT71
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[1].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
Branches 7 6 85.71
TERNARY 70 2 2 100.00
IF 48 3 2 66.67
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Covered T71
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Not Covered 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[4].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
TOTAL11872.73
ALWAYS4844100.00
CONT_ASSIGN55100.00
CONT_ASSIGN56100.00
ALWAYS5933100.00
CONT_ASSIGN66100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                   ==>  MISSING_ELSE
53                        end
54                      
55         0/1     ==>    assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
56         0/1     ==>    assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         0/1     ==>    assign update_stored_value =
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T71 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[4].u_pinmux_wkup.u_prim_filter
TotalCoveredPercent
Conditions9555.56
Logical9555.56
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00Not Covered
01Not Covered
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0Not Covered
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT71
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[4].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
Branches 7 6 85.71
TERNARY 70 2 2 100.00
IF 48 3 2 66.67
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Covered T71
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Not Covered 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[0].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T4 T13 T73 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T4 T13 T73 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T4 T13 T73 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T4 T13 T73 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[0].u_pinmux_wkup.u_prim_filter
TotalCoveredPercent
Conditions9888.89
Logical9888.89
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT4,T13,T73
01CoveredT4,T13,T73
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT4,T13,T73
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T13,T73 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[0].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
Branches 7 6 85.71
TERNARY 70 2 1 50.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Not Covered
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T4,T13,T73 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[3].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T71 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T71 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T71 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T71 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[3].u_pinmux_wkup.u_prim_filter
TotalCoveredPercent
Conditions9888.89
Logical9888.89
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT71
01CoveredT71
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT71
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT71 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[3].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
Branches 7 6 85.71
TERNARY 70 2 1 50.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Not Covered
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T71 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[7].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T25 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T25 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T25 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T25 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[7].u_pinmux_wkup.u_prim_filter
TotalCoveredPercent
Conditions9888.89
Logical9888.89
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT25
01CoveredT25
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT25
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT25 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[7].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
Branches 7 6 85.71
TERNARY 70 2 1 50.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Not Covered
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T25 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_activity
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T1 T2 T3 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T1 T2 T3 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T1 T2 T3 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T1 T2 T3 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_activity
TotalCoveredPercent
Conditions88100.00
Logical88100.00
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0Unreachable
1CoveredT1,T2,T3
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_activity
Line No.TotalCoveredPercent
Branches 6 6 100.00
TERNARY 70 1 1 100.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==> (Unreachable)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Unreachable 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_bus_reset
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T6 T7 T8 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T6 T7 T8 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T6 T7 T8 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T6 T7 T8 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_bus_reset
TotalCoveredPercent
Conditions88100.00
Logical88100.00
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT6,T7,T8
01CoveredT6,T7,T8
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT6,T7,T8
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT6,T7,T8 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0Unreachable
1CoveredT1,T2,T3
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_bus_reset
Line No.TotalCoveredPercent
Branches 6 6 100.00
TERNARY 70 1 1 100.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==> (Unreachable)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Unreachable 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T6,T7,T8 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_sense
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T1 T2 T3 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T1 T2 T3 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T1 T2 T3 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T1 T2 T3 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_sense
TotalCoveredPercent
Conditions88100.00
Logical88100.00
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0Unreachable
1CoveredT1,T2,T3
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake.filter_sense
Line No.TotalCoveredPercent
Branches 6 6 100.00
TERNARY 70 1 1 100.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==> (Unreachable)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Unreachable 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T1,T2,T3 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[2].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T24 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T24 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T24 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T24 T71 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[2].u_pinmux_wkup.u_prim_filter
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT24
01CoveredT24
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT24
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT24 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT71
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[2].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
Branches 7 7 100.00
TERNARY 70 2 2 100.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Covered T71
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T24 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[5].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
TOTAL1111100.00
ALWAYS4844100.00
CONT_ASSIGN5511100.00
CONT_ASSIGN5611100.00
ALWAYS5933100.00
CONT_ASSIGN6611100.00
CONT_ASSIGN7011100.00


47                        always_ff @(posedge clk_i or negedge rst_ni) begin
48         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
49         1/1                stored_value_q <= 1'b0;
           Tests:       T1 T2 T3 
50         1/1              end else if (update_stored_value) begin
           Tests:       T1 T2 T3 
51         1/1                stored_value_q <= filter_synced;
           Tests:       T1 T2 T3 
52                          end
                        MISSING_ELSE
53                        end
54                      
55         1/1            assign stored_vector_d = {stored_vector_q[Cycles-2:0],filter_synced};
           Tests:       T74 T38 T75 
56         1/1            assign unused_stored_vector_q_msb = stored_vector_q[Cycles-1];
           Tests:       T74 T38 T75 
57                      
58                        always_ff @(posedge clk_i or negedge rst_ni) begin
59         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
60         1/1                stored_vector_q <= '0;
           Tests:       T1 T2 T3 
61                          end else begin
62         1/1                stored_vector_q <= stored_vector_d;
           Tests:       T1 T2 T3 
63                          end
64                        end
65                      
66         1/1            assign update_stored_value =
           Tests:       T74 T38 T75 
67                                   (stored_vector_d == {Cycles{1'b0}}) |
68                                   (stored_vector_d == {Cycles{1'b1}});
69                      
70         1/1            assign filter_o = enable_i ? stored_value_q : filter_synced;
           Tests:       T74 T38 T75 
Cond Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[5].u_pinmux_wkup.u_prim_filter
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       66
 EXPRESSION ((stored_vector_d == {Cycles {1'b0}}) | (stored_vector_d == {Cycles {1'b1}}))
             ------------------1-----------------   ------------------2-----------------
-1--2-StatusTests
00CoveredT74,T38,T75
01CoveredT74,T38,T75
10CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b0}})
                ------------------1-----------------
-1-StatusTests
0CoveredT74,T38,T75
1CoveredT1,T2,T3 

 LINE       66
 SUB-EXPRESSION (stored_vector_d == {Cycles {1'b1}})
                ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT74,T38,T75 

 LINE       70
 EXPRESSION (enable_i ? stored_value_q : filter_synced)
             ----1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT71
Branch Coverage for Instance : tb.dut.top_earlgrey.u_pinmux_aon.gen_wkup_detect[5].u_pinmux_wkup.u_prim_filter
Line No.TotalCoveredPercent
Branches 7 7 100.00
TERNARY 70 2 2 100.00
IF 48 3 3 100.00
IF 59 2 2 100.00 



70           assign filter_o = enable_i ? stored_value_q : filter_synced;
                                        -1-  
                                        ==>  
                                        ==>

Branches:
-1-StatusTests
1 Covered T71
0 Covered T1,T2,T3 



48             if (!rst_ni) begin
               -1-  
49               stored_value_q <= 1'b0;
                 ==>
50             end else if (update_stored_value) begin
                        -2-  
51               stored_value_q <= filter_synced;
                 ==>
52             end
               MISSING_ELSE
               ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T1,T2,T3
0 0 Covered T74,T38,T75 



59             if (!rst_ni) begin
               -1-  
60               stored_vector_q <= '0;
                 ==>
61             end else begin
62               stored_vector_q <= stored_vector_d;
                 ==>

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%