Unified Coverage Report :: Module :: sysrst_ctrl_combo

Module : sysrst_ctrl_combo

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.15	100.00	92.31

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_08_24/sysrst_ctrl-sim-vcs/default/sim-vcs/../src/lowrisc_ip_sysrst_ctrl_1.0/rtl/sysrst_ctrl_combo.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_sysrst_ctrl_combo	96.15	100.00	92.31

---

Module Instance : tb.dut.u_sysrst_ctrl_combo

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.15	100.00	92.31

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.12	100.00	97.61		100.00	98.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.02	100.00	96.08	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_combo_trigger[0].u_combo_act	99.19	100.00	97.56			100.00
gen_combo_trigger[0].u_sysrst_ctrl_detect	100.00	100.00	100.00		100.00	100.00	100.00
gen_combo_trigger[0].u_sysrst_ctrl_detect_pre	99.05	100.00	100.00		100.00	95.24	100.00
gen_combo_trigger[1].u_combo_act	99.19	100.00	97.56			100.00
gen_combo_trigger[1].u_sysrst_ctrl_detect	100.00	100.00	100.00		100.00	100.00	100.00
gen_combo_trigger[1].u_sysrst_ctrl_detect_pre	99.05	100.00	100.00		100.00	95.24	100.00
gen_combo_trigger[2].u_combo_act	99.19	100.00	97.56			100.00
gen_combo_trigger[2].u_sysrst_ctrl_detect	100.00	100.00	100.00		100.00	100.00	100.00
gen_combo_trigger[2].u_sysrst_ctrl_detect_pre	99.05	100.00	100.00		100.00	95.24	100.00
gen_combo_trigger[3].u_combo_act	99.19	100.00	97.56			100.00
gen_combo_trigger[3].u_sysrst_ctrl_detect	100.00	100.00	100.00		100.00	100.00	100.00
gen_combo_trigger[3].u_sysrst_ctrl_detect_pre	97.99	100.00	94.74		100.00	95.24	100.00

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : sysrst_ctrl_combo

	Line No.	Total	Covered	Percent
TOTAL		28	28	100.00
CONT_ASSIGN	43	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	66	1	1	100.00
CONT_ASSIGN	66	1	1	100.00
CONT_ASSIGN	66	1	1	100.00
CONT_ASSIGN	66	1	1	100.00
CONT_ASSIGN	70	1	1	100.00
CONT_ASSIGN	70	1	1	100.00
CONT_ASSIGN	70	1	1	100.00
CONT_ASSIGN	70	1	1	100.00
CONT_ASSIGN	92	1	1	100.00
CONT_ASSIGN	92	1	1	100.00
CONT_ASSIGN	92	1	1	100.00
CONT_ASSIGN	92	1	1	100.00
CONT_ASSIGN	106	1	1	100.00
CONT_ASSIGN	106	1	1	100.00
CONT_ASSIGN	106	1	1	100.00
CONT_ASSIGN	106	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	155	1	1	100.00

42                        logic [NumInputs-1:0] in;
43         1/1            assign in = {
           Tests:       T4 T5 T1 
44                          pwrb_int_i,
45                          key0_int_i,
46                          key1_int_i,
47                          key2_int_i,
48                          ac_present_int_i
49                        };
50                      
51                        for (genvar k = 0; k < NumCombo; k++) begin : gen_combo_trigger
52                          // Generate the pre-condition
53                          logic [NumInputs-1:0] cfg_in_pre;
54         4/4              assign cfg_in_pre = {
           Tests:       T1 T29 T10  | T11 T30 T31  | T11 T30 T31  | T11 T30 T31 
55                            com_pre_sel_ctl_i[k].pwrb_in_sel.q,
56                            com_pre_sel_ctl_i[k].key0_in_sel.q,
57                            com_pre_sel_ctl_i[k].key1_in_sel.q,
58                            com_pre_sel_ctl_i[k].key2_in_sel.q,
59                            com_pre_sel_ctl_i[k].ac_present_sel.q
60                          };
61                      
62                          // Combo pre-condition is enabled if any of the keys is selected for this
63                          // pre-condition. Note that if no key is selected for this pre-condition,
64                          // the precondition is automatically valid - see cfg_combo_en below.
65                          logic cfg_combo_pre_en;
66         4/4              assign cfg_combo_pre_en = |cfg_in_pre;
           Tests:       T1 T29 T10  | T11 T30 T31  | T11 T30 T31  | T11 T30 T31 
67                      
68                          // Config trigger is asserted if all configured keys are pressed (== 0)
69                          logic precond;
70         4/4              assign precond = (in & cfg_in_pre) == '0;
           Tests:       T4 T5 T1  | T4 T5 T1  | T4 T5 T1  | T4 T5 T1 
71                      
72                          logic precond_valid;
73                          sysrst_ctrl_detect #(
74                            .DebounceTimerWidth(TimerWidth),
75                            .DetectTimerWidth(DetTimerWidth),
76                            // This detects a high level.
77                            .EventType(HighLevel),
78                            .Sticky(0)
79                          ) u_sysrst_ctrl_detect_pre (
80                            .clk_i,
81                            .rst_ni,
82                            .trigger_i             (precond),
83                            .cfg_debounce_timer_i  (key_intr_debounce_ctl_i.q),
84                            .cfg_detect_timer_i    (com_pre_det_ctl_i[k].q),
85                            .cfg_enable_i          (cfg_combo_pre_en),
86                            .event_detected_o      (precond_valid),
87                            .event_detected_pulse_o()
88                          );
89                      
90                          // Generate the trigger for each combo
91                          logic [NumInputs-1:0] cfg_in_sel;
92         4/4              assign cfg_in_sel = {
           Tests:       T1 T18 T7  | T11 T30 T31  | T11 T30 T31  | T11 T30 T31 
93                            com_sel_ctl_i[k].pwrb_in_sel.q,
94                            com_sel_ctl_i[k].key0_in_sel.q,
95                            com_sel_ctl_i[k].key1_in_sel.q,
96                            com_sel_ctl_i[k].key2_in_sel.q,
97                            com_sel_ctl_i[k].ac_present_sel.q
98                          };
99                      
100                         // Combo detection is enabled if
101                         // - the pre-condition is valid and at least one of the keys is selected
102                         //   for this combo.
103                         // - the pre-condition is disabled and at least one of the keys is
104                         //   selected for this combo.
105                         logic cfg_combo_en;
106        4/4              assign cfg_combo_en = (|cfg_in_sel) && (precond_valid && cfg_combo_pre_en ||
           Tests:       T1 T18 T7  | T11 T30 T31  | T11 T30 T31  | T11 T30 T31 
107                                                                 !cfg_combo_pre_en);
108                     
109                         // Config trigger is asserted if all configured keys are pressed (== 0)
110                         logic trigger;
111        4/4              assign trigger = (in & cfg_in_sel) == '0;
           Tests:       T4 T5 T1  | T4 T5 T1  | T4 T5 T1  | T4 T5 T1 
112                     
113                         logic combo_det_pulse;
114                         sysrst_ctrl_detect #(
115                           .DebounceTimerWidth(TimerWidth),
116                           .DetectTimerWidth(DetTimerWidth),
117                           // This detects a positive edge
118                           .EventType(EdgeToHigh),
119                           .Sticky(0)
120                         ) u_sysrst_ctrl_detect (
121                           .clk_i,
122                           .rst_ni,
123                           .trigger_i             (trigger),
124                           .cfg_debounce_timer_i  (key_intr_debounce_ctl_i.q),
125                           .cfg_detect_timer_i    (com_det_ctl_i[k].q),
126                           .cfg_enable_i          (cfg_combo_en),
127                           .event_detected_o      (),
128                           .event_detected_pulse_o(combo_det_pulse)
129                         );
130                     
131                         //Instantiate the combo action module
132                         sysrst_ctrl_comboact u_combo_act (
133                           .clk_i,
134                           .rst_ni,
135                           .cfg_intr_en_i(com_out_ctl_i[k].interrupt.q),
136                           .cfg_bat_disable_en_i(com_out_ctl_i[k].bat_disable.q),
137                           .cfg_ec_rst_en_i(com_out_ctl_i[k].ec_rst.q),
138                           .cfg_rst_req_en_i(com_out_ctl_i[k].rst_req.q),
139                           .combo_det_pulse_i(combo_det_pulse),
140                           .ec_rst_l_i(ec_rst_l_int_i),
141                           .ec_rst_ctl_i(ec_rst_ctl_i),
142                           .combo_intr_pulse_o(combo_intr_o[k]),
143                           .bat_disable_o(combo_bat_disable[k]),
144                           .rst_req_o(combo_rst_req[k]),
145                           .ec_rst_l_o(combo_ec_rst_l[k])
146                         );
147                       end
148                     
149                       // bat_disable
150                       // If any combo triggers bat_disable, assert the signal
151        1/1            assign bat_disable_hw_o = |(combo_bat_disable);
           Tests:       T31 T39 T37 
152                     
153                       // If any combo triggers OT or EC RST(active low), assert the signal
154        1/1            assign rst_req_o = |(combo_rst_req);
           Tests:       T39 T37 T40 
155        1/1            assign ec_rst_l_hw_o = &(combo_ec_rst_l);
           Tests:       T1 T18 T24 

---

Cond Coverage for Module : sysrst_ctrl_combo

	Total	Covered	Percent
Conditions	52	48	92.31
Logical	52	48	92.31
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION ((in & gen_combo_trigger[0].cfg_in_pre) == '0)
            -----------------------1----------------------

-1-	Status	Tests
0	Covered	T11,T30,T31
1	Covered	T4,T5,T1

 LINE       70
 EXPRESSION ((in & gen_combo_trigger[1].cfg_in_pre) == '0)
            -----------------------1----------------------

-1-	Status	Tests
0	Covered	T11,T30,T31
1	Covered	T4,T5,T1

 LINE       70
 EXPRESSION ((in & gen_combo_trigger[2].cfg_in_pre) == '0)
            -----------------------1----------------------

-1-	Status	Tests
0	Covered	T11,T30,T31
1	Covered	T4,T5,T1

 LINE       70
 EXPRESSION ((in & gen_combo_trigger[3].cfg_in_pre) == '0)
            -----------------------1----------------------

-1-	Status	Tests
0	Covered	T11,T30,T31
1	Covered	T4,T5,T1

 LINE       106
 EXPRESSION 
 Number  Term
      1  ((|gen_combo_trigger[0].cfg_in_sel)) && 
      2  ((gen_combo_trigger[0].precond_valid && gen_combo_trigger[0].cfg_combo_pre_en) || ((!gen_combo_trigger[0].cfg_combo_pre_en))))

-1-	-2-	Status	Tests
0	1	Covered	T4,T5,T1
1	0	Covered	T1,T29,T10
1	1	Covered	T1,T18,T7

 LINE       106
 SUB-EXPRESSION ((gen_combo_trigger[0].precond_valid && gen_combo_trigger[0].cfg_combo_pre_en) || ((!gen_combo_trigger[0].cfg_combo_pre_en)))
                 --------------------------------------1--------------------------------------    ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T1,T29,T10
0	1	Covered	T4,T5,T1
1	0	Covered	T1,T29,T10

 LINE       106
 SUB-EXPRESSION (gen_combo_trigger[0].precond_valid && gen_combo_trigger[0].cfg_combo_pre_en)
                 -----------------1----------------    ------------------2------------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T29,T10
1	0	Not Covered
1	1	Covered	T1,T29,T10

 LINE       106
 EXPRESSION 
 Number  Term
      1  ((|gen_combo_trigger[1].cfg_in_sel)) && 
      2  ((gen_combo_trigger[1].precond_valid && gen_combo_trigger[1].cfg_combo_pre_en) || ((!gen_combo_trigger[1].cfg_combo_pre_en))))

-1-	-2-	Status	Tests
0	1	Covered	T4,T5,T1
1	0	Covered	T11,T30,T31
1	1	Covered	T11,T30,T31

 LINE       106
 SUB-EXPRESSION ((gen_combo_trigger[1].precond_valid && gen_combo_trigger[1].cfg_combo_pre_en) || ((!gen_combo_trigger[1].cfg_combo_pre_en)))
                 --------------------------------------1--------------------------------------    ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T11,T30,T31
0	1	Covered	T4,T5,T1
1	0	Covered	T11,T30,T31

 LINE       106
 SUB-EXPRESSION (gen_combo_trigger[1].precond_valid && gen_combo_trigger[1].cfg_combo_pre_en)
                 -----------------1----------------    ------------------2------------------

-1-	-2-	Status	Tests
0	1	Covered	T11,T30,T31
1	0	Not Covered
1	1	Covered	T11,T30,T31

 LINE       106
 EXPRESSION 
 Number  Term
      1  ((|gen_combo_trigger[2].cfg_in_sel)) && 
      2  ((gen_combo_trigger[2].precond_valid && gen_combo_trigger[2].cfg_combo_pre_en) || ((!gen_combo_trigger[2].cfg_combo_pre_en))))

-1-	-2-	Status	Tests
0	1	Covered	T4,T5,T1
1	0	Covered	T11,T30,T31
1	1	Covered	T11,T30,T31

 LINE       106
 SUB-EXPRESSION ((gen_combo_trigger[2].precond_valid && gen_combo_trigger[2].cfg_combo_pre_en) || ((!gen_combo_trigger[2].cfg_combo_pre_en)))
                 --------------------------------------1--------------------------------------    ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T11,T30,T31
0	1	Covered	T4,T5,T1
1	0	Covered	T11,T30,T31

 LINE       106
 SUB-EXPRESSION (gen_combo_trigger[2].precond_valid && gen_combo_trigger[2].cfg_combo_pre_en)
                 -----------------1----------------    ------------------2------------------

-1-	-2-	Status	Tests
0	1	Covered	T11,T30,T31
1	0	Not Covered
1	1	Covered	T11,T30,T31

 LINE       106
 EXPRESSION 
 Number  Term
      1  ((|gen_combo_trigger[3].cfg_in_sel)) && 
      2  ((gen_combo_trigger[3].precond_valid && gen_combo_trigger[3].cfg_combo_pre_en) || ((!gen_combo_trigger[3].cfg_combo_pre_en))))

-1-	-2-	Status	Tests
0	1	Covered	T4,T5,T1
1	0	Covered	T11,T30,T31
1	1	Covered	T11,T30,T39

 LINE       106
 SUB-EXPRESSION ((gen_combo_trigger[3].precond_valid && gen_combo_trigger[3].cfg_combo_pre_en) || ((!gen_combo_trigger[3].cfg_combo_pre_en)))
                 --------------------------------------1--------------------------------------    ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T11,T30,T31
0	1	Covered	T4,T5,T1
1	0	Covered	T11,T30,T37

 LINE       106
 SUB-EXPRESSION (gen_combo_trigger[3].precond_valid && gen_combo_trigger[3].cfg_combo_pre_en)
                 -----------------1----------------    ------------------2------------------

-1-	-2-	Status	Tests
0	1	Covered	T11,T30,T31
1	0	Not Covered
1	1	Covered	T11,T30,T37

 LINE       111
 EXPRESSION ((in & gen_combo_trigger[0].cfg_in_sel) == '0)
            -----------------------1----------------------

-1-	Status	Tests
0	Covered	T1,T18,T7
1	Covered	T4,T5,T1

 LINE       111
 EXPRESSION ((in & gen_combo_trigger[1].cfg_in_sel) == '0)
            -----------------------1----------------------

-1-	Status	Tests
0	Covered	T11,T30,T31
1	Covered	T4,T5,T1

 LINE       111
 EXPRESSION ((in & gen_combo_trigger[2].cfg_in_sel) == '0)
            -----------------------1----------------------

-1-	Status	Tests
0	Covered	T11,T30,T31
1	Covered	T4,T5,T1

 LINE       111
 EXPRESSION ((in & gen_combo_trigger[3].cfg_in_sel) == '0)
            -----------------------1----------------------

-1-	Status	Tests
0	Covered	T11,T30,T31
1	Covered	T4,T5,T1