Unified Coverage Report :: Module :: edn_main_sm

Module : edn_main_sm

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.60	100.00	94.44		95.95	97.62	100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_08_31/edn-sim-vcs/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_main_sm.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_edn_core.u_edn_main_sm	97.60	100.00	94.44		95.95	97.62	100.00

---

Module Instance : tb.dut.u_edn_core.u_edn_main_sm

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.60	100.00	94.44		95.95	97.62	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.62	100.00	94.44		95.95	97.73	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
97.20	100.00	90.59			98.23	100.00	u_edn_core

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_state_regs	100.00	100.00				100.00	100.00

---

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

Line Coverage for Module : edn_main_sm

	Line No.	Total	Covered	Percent
TOTAL		108	108	100.00
ALWAYS	42	3	3	100.00
CONT_ASSIGN	44	1	1	100.00
ALWAYS	47	104	104	100.00

41                      
42         3/3            `PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, state_e, Idle)
           Tests:       T1 T2 T3  | T1 T2 T3  | T1 T2 T3 
PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, state_e, Idle):
42.1                    `ifdef SIMULATION                                   
42.2                        prim_sparse_fsm_flop #(                           
42.3                          .StateEnumT(state_e),                            
42.4                          .Width($bits(state_e)),                          
42.5                          .ResetValue($bits(state_e)'(Idle)),          
42.6                          .EnableAlertTriggerSVA(1), 
42.7                          .CustomForceName("state_q")          
42.8                        ) u_state_regs (                                        
42.9                          .clk_i   ( clk_i   ),                           
42.10                         .rst_ni  ( rst_ni ),                           
42.11                         .state_i ( state_d     ),                           
42.12                         .state_o (         )                            
42.13                       );                                                
42.14                       always_ff @(posedge clk_i or negedge rst_ni) begin 
42.15      1/1              if (!rst_ni) begin                               
           Tests:       T1 T2 T3 
42.16      1/1                state_q <= Idle;                                
           Tests:       T1 T2 T3 
42.17                       end else begin                                    
42.18      1/1                state_q <= state_d;                                     
           Tests:       T1 T2 T3 
42.19                       end                                               
42.20                     end  
42.21                       u_state_regs_A: assert property (@(posedge clk_i) disable iff ((!rst_ni) !== '0) (state_q === u_state_regs.state_o))       
42.22                       else begin                                                                           
42.23                         `ifdef UVM                                                                               
42.24                     uvm_pkg::uvm_report_error("ASSERT FAILED", "u_state_regs_A", uvm_pkg::UVM_NONE, 
42.25                                               "../src/lowrisc_ip_edn_0.1/rtl/edn_main_sm.sv", 42, "", 1);                                
42.26                   `else                                                                                    
42.27                     $error("%0t: (%0s:%0d) [%m] [ASSERT FAILED] %0s", $time, `__FILE__, `__LINE__,         
42.28                            `PRIM_STRINGIFY(u_state_regs_A));                                                       
42.29                   `endif                                                              
42.30                       end 
42.31                     `else                                               
42.32                       prim_sparse_fsm_flop #(                           
42.33                         .StateEnumT(state_e),                            
42.34                         .Width($bits(state_e)),                          
42.35                         .ResetValue($bits(state_e)'(Idle)),          
42.36                         .EnableAlertTriggerSVA(1)  
42.37                       ) u_state_regs (                                        
42.38                         .clk_i   ( `PRIM_FLOP_CLK   ),                           
42.39                         .rst_ni  ( `PRIM_FLOP_RST ),                           
42.40                         .state_i ( state_d     ),                           
42.41                         .state_o ( state_q     )                            
42.42                       );                                                
42.43                     `endif43                      
44         1/1            assign main_sm_state_o = state_q;
           Tests:       T1 T2 T3 
45                      
46                        always_comb begin
47         1/1              state_d                = state_q;
           Tests:       T1 T2 T3 
48         1/1              boot_wr_ins_cmd_o      = 1'b0;
           Tests:       T1 T2 T3 
49         1/1              boot_send_ins_cmd_o    = 1'b0;
           Tests:       T1 T2 T3 
50         1/1              boot_wr_gen_cmd_o      = 1'b0;
           Tests:       T1 T2 T3 
51         1/1              boot_wr_uni_cmd_o      = 1'b0;
           Tests:       T1 T2 T3 
52         1/1              accept_sw_cmds_pulse_o = 1'b0;
           Tests:       T1 T2 T3 
53         1/1              auto_req_mode_busy_o   = 1'b0;
           Tests:       T1 T2 T3 
54         1/1              capt_gencmd_fifo_cnt_o = 1'b0;
           Tests:       T1 T2 T3 
55         1/1              send_gencmd_o          = 1'b0;
           Tests:       T1 T2 T3 
56         1/1              capt_rescmd_fifo_cnt_o = 1'b0;
           Tests:       T1 T2 T3 
57         1/1              send_rescmd_o          = 1'b0;
           Tests:       T1 T2 T3 
58         1/1              main_sm_done_pulse_o   = 1'b0;
           Tests:       T1 T2 T3 
59         1/1              main_sm_err_o          = 1'b0;
           Tests:       T1 T2 T3 
60         1/1              reject_csrng_entropy_o = 1'b0;
           Tests:       T1 T2 T3 
61         1/1              sw_cmd_mode_o         = 1'b0;
           Tests:       T1 T2 T3 
62         1/1              unique case (state_q)
           Tests:       T1 T2 T3 
63                            Idle: begin
64         1/1                  if (boot_req_mode_i && edn_enable_i) begin
           Tests:       T1 T2 T3 
65         1/1                    state_d = BootLoadIns;
           Tests:       T23 T17 T28 
66         1/1                  end else if (auto_req_mode_i && edn_enable_i) begin
           Tests:       T1 T2 T3 
67         1/1                    accept_sw_cmds_pulse_o = 1'b1;
           Tests:       T10 T17 T11 
68         1/1                    sw_cmd_mode_o = 1'b1;
           Tests:       T10 T17 T11 
69         1/1                    state_d = AutoLoadIns;
           Tests:       T10 T17 T11 
70         1/1                  end else if (edn_enable_i) begin
           Tests:       T1 T2 T3 
71         1/1                    main_sm_done_pulse_o = 1'b1;
           Tests:       T1 T2 T3 
72         1/1                    accept_sw_cmds_pulse_o = 1'b1;
           Tests:       T1 T2 T3 
73         1/1                    sw_cmd_mode_o = 1'b1;
           Tests:       T1 T2 T3 
74         1/1                    state_d = SWPortMode;
           Tests:       T1 T2 T3 
75                              end
                        MISSING_ELSE
76                            end
77                            BootLoadIns: begin
78         1/1                  boot_wr_ins_cmd_o = 1'b1;
           Tests:       T23 T17 T28 
79         1/1                  boot_send_ins_cmd_o = 1'b1;
           Tests:       T23 T17 T28 
80         1/1                  state_d = BootInsAckWait;
           Tests:       T23 T17 T28 
81                            end
82                            BootInsAckWait: begin
83         1/1                  boot_send_ins_cmd_o = 1'b1;
           Tests:       T23 T17 T28 
84         1/1                  if (csrng_cmd_ack_i) begin
           Tests:       T23 T17 T28 
85         1/1                    state_d = BootLoadGen;
           Tests:       T23 T17 T28 
86                              end
                        MISSING_ELSE
87                            end
88                            BootLoadGen: begin
89         1/1                  boot_wr_gen_cmd_o = 1'b1;
           Tests:       T23 T17 T28 
90         1/1                  state_d = BootGenAckWait;
           Tests:       T23 T17 T28 
91                            end
92                            BootGenAckWait: begin
93         1/1                  if (csrng_cmd_ack_i) begin
           Tests:       T23 T17 T28 
94         1/1                    state_d = BootPulse;
           Tests:       T23 T17 T28 
95                              end
                        MISSING_ELSE
96                            end
97                            BootPulse: begin
98         1/1                  state_d = BootDone;
           Tests:       T23 T17 T28 
99                            end
100                           BootDone: begin
101        1/1                  if (!boot_req_mode_i) begin
           Tests:       T23 T17 T28 
102        1/1                    state_d = BootLoadUni;
           Tests:       T45 T46 T43 
103                             end
                        MISSING_ELSE
104                           end
105                           BootLoadUni: begin
106        1/1                  boot_wr_uni_cmd_o = 1'b1;
           Tests:       T45 T46 T43 
107        1/1                  state_d = BootUniAckWait;
           Tests:       T45 T46 T43 
108                           end
109                           BootUniAckWait: begin
110        1/1                  if (csrng_cmd_ack_i) begin
           Tests:       T45 T46 T43 
111        1/1                    main_sm_done_pulse_o = 1'b1;
           Tests:       T45 T46 T43 
112        1/1                    state_d = Idle;
           Tests:       T45 T46 T43 
113                             end
                        MISSING_ELSE
114                           end
115                           //-----------------------------------
116                           AutoLoadIns: begin
117        1/1                  sw_cmd_mode_o = 1'b1;
           Tests:       T10 T17 T11 
118        1/1                  if (sw_cmd_req_load_i) begin
           Tests:       T10 T17 T11 
119        1/1                    state_d = AutoFirstAckWait;
           Tests:       T10 T11 T12 
120                             end
                        MISSING_ELSE
121                           end
122                           AutoFirstAckWait: begin
123        1/1                  sw_cmd_mode_o = 1'b1;
           Tests:       T10 T11 T12 
124        1/1                  if (csrng_cmd_ack_i) begin
           Tests:       T10 T11 T12 
125        1/1                    state_d = AutoDispatch;
           Tests:       T10 T11 T12 
126                             end
                        MISSING_ELSE
127                           end
128                           AutoAckWait: begin
129        1/1                  auto_req_mode_busy_o = 1'b1;
           Tests:       T10 T11 T12 
130        1/1                  if (csrng_cmd_ack_i) begin
           Tests:       T10 T11 T12 
131        1/1                    state_d = AutoDispatch;
           Tests:       T10 T11 T12 
132                             end
                        MISSING_ELSE
133                           end
134                           AutoDispatch: begin
135        1/1                  auto_req_mode_busy_o = 1'b1;
           Tests:       T10 T11 T12 
136        1/1                  if (!auto_req_mode_i) begin
           Tests:       T10 T11 T12 
137        1/1                    main_sm_done_pulse_o = 1'b1;
           Tests:       T11 T22 T48 
138        1/1                    state_d = Idle;
           Tests:       T11 T22 T48 
139                             end else begin
140        1/1                    if (max_reqs_cnt_zero_i) begin
           Tests:       T10 T11 T12 
141        1/1                      state_d = AutoCaptReseedCnt;
           Tests:       T10 T11 T12 
142                               end else begin
143        1/1                      state_d = AutoCaptGenCnt;
           Tests:       T10 T11 T12 
144                               end
145                             end
146                           end
147                           AutoCaptGenCnt: begin
148        1/1                  auto_req_mode_busy_o = 1'b1;
           Tests:       T10 T11 T12 
149        1/1                  capt_gencmd_fifo_cnt_o = 1'b1;
           Tests:       T10 T11 T12 
150        1/1                  state_d = AutoSendGenCmd;
           Tests:       T10 T11 T12 
151                           end
152                           AutoSendGenCmd: begin
153        1/1                  auto_req_mode_busy_o = 1'b1;
           Tests:       T10 T11 T12 
154        1/1                  send_gencmd_o = 1'b1;
           Tests:       T10 T11 T12 
155        1/1                  if (cmd_sent_i) begin
           Tests:       T10 T11 T12 
156        1/1                    state_d = AutoAckWait;
           Tests:       T10 T11 T12 
157                             end
                        MISSING_ELSE
158                           end
159                           AutoCaptReseedCnt: begin
160        1/1                  auto_req_mode_busy_o = 1'b1;
           Tests:       T10 T11 T12 
161        1/1                  capt_rescmd_fifo_cnt_o = 1'b1;
           Tests:       T10 T11 T12 
162        1/1                  state_d = AutoSendReseedCmd;
           Tests:       T10 T11 T12 
163                           end
164                           AutoSendReseedCmd: begin
165        1/1                  auto_req_mode_busy_o = 1'b1;
           Tests:       T10 T11 T12 
166        1/1                  send_rescmd_o = 1'b1;
           Tests:       T10 T11 T12 
167        1/1                  if (cmd_sent_i) begin
           Tests:       T10 T11 T12 
168        1/1                    state_d = AutoAckWait;
           Tests:       T10 T11 T12 
169                             end
                        MISSING_ELSE
170                           end
171                           SWPortMode: begin
172        1/1                  sw_cmd_mode_o = 1'b1;
           Tests:       T1 T2 T3 
173                           end
174                           RejectCsrngEntropy: begin
175        1/1                  reject_csrng_entropy_o = 1'b1;
           Tests:       T17 T12 T30 
176                           end
177                           Error: begin
178        1/1                  main_sm_err_o = 1'b1;
           Tests:       T4 T5 T33 
179                           end
180                           default: begin
181                             state_d = Error;
182                             main_sm_err_o = 1'b1;
183                           end
184                         endcase
185                     
186        1/1              if (local_escalate_i || csrng_ack_err_i) begin
           Tests:       T1 T2 T3 
187                           // Either move into RejectCsrngEntropy or Error but don't move out of Error as it's terminal.
188        1/1                state_d = local_escalate_i ? Error :
           Tests:       T4 T5 T17 
189                                     state_q == Error ? Error : RejectCsrngEntropy;
190                           // Tie off outputs, except for main_sm_err_o, auto_req_mode_busy_o, boot_send_ins_cmd_o,
191                           // sw_cmd_mode_o and reject_csrng_entropy_o.
192        1/1                boot_wr_ins_cmd_o      = 1'b0;
           Tests:       T4 T5 T17 
193        1/1                boot_wr_gen_cmd_o      = 1'b0;
           Tests:       T4 T5 T17 
194        1/1                boot_wr_uni_cmd_o      = 1'b0;
           Tests:       T4 T5 T17 
195        1/1                accept_sw_cmds_pulse_o = 1'b0;
           Tests:       T4 T5 T17 
196        1/1                capt_gencmd_fifo_cnt_o = 1'b0;
           Tests:       T4 T5 T17 
197        1/1                send_gencmd_o          = 1'b0;
           Tests:       T4 T5 T17 
198        1/1                capt_rescmd_fifo_cnt_o = 1'b0;
           Tests:       T4 T5 T17 
199        1/1                send_rescmd_o          = 1'b0;
           Tests:       T4 T5 T17 
200        1/1                main_sm_done_pulse_o   = 1'b0;
           Tests:       T4 T5 T17 
201        1/1              end else if (!edn_enable_i && state_q inside {BootLoadIns, BootInsAckWait, BootLoadGen,
           Tests:       T1 T2 T3 
202                                                                       BootGenAckWait, BootLoadUni, BootUniAckWait,
203                                                                       BootPulse, BootDone,
204                                                                       AutoLoadIns, AutoFirstAckWait, AutoAckWait,
205                                                                       AutoDispatch, AutoCaptGenCnt, AutoSendGenCmd,
206                                                                       AutoCaptReseedCnt, AutoSendReseedCmd,
207                                                                       SWPortMode, RejectCsrngEntropy
208                                                                      }) begin
209                           // Only go to idle if the state is legal and not Idle or Error.
210                           // Even when disabled, illegal states must result in a transition to Error.
211        1/1                state_d = Idle;
           Tests:       T23 T10 T17 
212                           // Tie off outputs, except for main_sm_err_o.
213        1/1                boot_wr_ins_cmd_o      = 1'b0;
           Tests:       T23 T10 T17 
214        1/1                boot_send_ins_cmd_o    = 1'b0;
           Tests:       T23 T10 T17 
215        1/1                boot_wr_gen_cmd_o      = 1'b0;
           Tests:       T23 T10 T17 
216        1/1                boot_wr_uni_cmd_o      = 1'b0;
           Tests:       T23 T10 T17 
217        1/1                accept_sw_cmds_pulse_o = 1'b0;
           Tests:       T23 T10 T17 
218        1/1                auto_req_mode_busy_o   = 1'b0;
           Tests:       T23 T10 T17 
219        1/1                capt_gencmd_fifo_cnt_o = 1'b0;
           Tests:       T23 T10 T17 
220        1/1                send_gencmd_o          = 1'b0;
           Tests:       T23 T10 T17 
221        1/1                capt_rescmd_fifo_cnt_o = 1'b0;
           Tests:       T23 T10 T17 
222        1/1                send_rescmd_o          = 1'b0;
           Tests:       T23 T10 T17 
223        1/1                sw_cmd_mode_o          = 1'b0;
           Tests:       T23 T10 T17 
224        1/1                reject_csrng_entropy_o = 1'b0;
           Tests:       T23 T10 T17 
225        1/1                main_sm_done_pulse_o   = 1'b1;
           Tests:       T23 T10 T17 
226                         end
                        MISSING_ELSE

---

Cond Coverage for Module : edn_main_sm

	Total	Covered	Percent
Conditions	18	17	94.44
Logical	18	17	94.44
Non-Logical	0	0
Event	0	0

 LINE       64
 EXPRESSION (boot_req_mode_i && edn_enable_i)
             -------1-------    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T23,T28,T29
1	1	Covered	T23,T17,T28

 LINE       66
 EXPRESSION (auto_req_mode_i && edn_enable_i)
             -------1-------    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T10,T7,T20
1	1	Covered	T10,T17,T11

 LINE       186
 EXPRESSION (local_escalate_i || csrng_ack_err_i)
             --------1-------    -------2-------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T17,T12,T30
1	0	Covered	T4,T5,T33

 LINE       188
 EXPRESSION (local_escalate_i ? Error : ((state_q == Error) ? Error : RejectCsrngEntropy))
             --------1-------

-1-	Status	Tests
0	Covered	T17,T12,T30
1	Covered	T4,T5,T33

 LINE       188
 SUB-EXPRESSION ((state_q == Error) ? Error : RejectCsrngEntropy)
                 ---------1--------

-1-	Status	Tests
0	Covered	T17,T12,T30
1	Not Covered

 LINE       188
 SUB-EXPRESSION (state_q == Error)
                ---------1--------

-1-	Status	Tests
0	Covered	T4,T5,T17
1	Covered	T4,T5,T33

 LINE       201
 EXPRESSION 
 Number  Term
      1  ((!edn_enable_i)) && 
      2  (state_q inside {BootLoadIns, BootInsAckWait, BootLoadGen, BootGenAckWait, BootLoadUni, BootUniAckWait, BootPulse, BootDone, AutoLoadIns, AutoFirstAckWait, AutoAckWait, AutoDispatch, AutoCaptGenCnt, AutoSendGenCmd, AutoCaptReseedCnt, AutoSendReseedCmd, SWPortMode, RejectCsrngEntropy}))

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T23,T10,T17

---

FSM Coverage for Module : edn_main_sm

Summary for FSM :: state_q

	Total	Covered	Percent
States	20	20	100.00	(Not included in score)
Transitions	74	71	95.95
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
AutoAckWait	156	Covered	T10,T11,T12
AutoCaptGenCnt	143	Covered	T10,T11,T12
AutoCaptReseedCnt	141	Covered	T10,T11,T12
AutoDispatch	125	Covered	T10,T11,T12
AutoFirstAckWait	119	Covered	T10,T11,T12
AutoLoadIns	69	Covered	T10,T17,T11
AutoSendGenCmd	150	Covered	T10,T11,T12
AutoSendReseedCmd	162	Covered	T10,T11,T12
BootDone	98	Covered	T23,T17,T28
BootGenAckWait	90	Covered	T23,T17,T28
BootInsAckWait	80	Covered	T23,T17,T28
BootLoadGen	85	Covered	T23,T17,T28
BootLoadIns	65	Covered	T23,T17,T28
BootLoadUni	102	Covered	T45,T46,T43
BootPulse	94	Covered	T23,T17,T28
BootUniAckWait	107	Covered	T45,T46,T43
Error	188	Covered	T4,T5,T33
Idle	112	Covered	T1,T2,T3
RejectCsrngEntropy	188	Covered	T17,T12,T30
SWPortMode	74	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
AutoAckWait->AutoDispatch	131	Covered	T10,T11,T12
AutoAckWait->Error	188	Covered	T142
AutoAckWait->Idle	211	Covered	T10,T20,T41
AutoAckWait->RejectCsrngEntropy	188	Covered	T12,T132,T143
AutoCaptGenCnt->AutoSendGenCmd	150	Covered	T10,T11,T12
AutoCaptGenCnt->Error	188	Covered	T144,T145,T146
AutoCaptGenCnt->Idle	211	Covered	T147,T148,T149
AutoCaptGenCnt->RejectCsrngEntropy	188	Covered	T150,T151,T152
AutoCaptReseedCnt->AutoSendReseedCmd	162	Covered	T10,T11,T12
AutoCaptReseedCnt->Error	188	Covered	T70,T153
AutoCaptReseedCnt->Idle	211	Covered	T154,T103,T155
AutoCaptReseedCnt->RejectCsrngEntropy	188	Covered	T111,T92,T156
AutoDispatch->AutoCaptGenCnt	143	Covered	T10,T11,T12
AutoDispatch->AutoCaptReseedCnt	141	Covered	T10,T11,T12
AutoDispatch->Error	188	Covered	T157,T158,T159
AutoDispatch->Idle	138	Covered	T11,T22,T48
AutoDispatch->RejectCsrngEntropy	188	Covered	T160,T161
AutoFirstAckWait->AutoDispatch	125	Covered	T10,T11,T12
AutoFirstAckWait->Error	188	Covered	T162
AutoFirstAckWait->Idle	211	Covered	T41,T51,T163
AutoFirstAckWait->RejectCsrngEntropy	188	Covered	T85,T164,T165
AutoLoadIns->AutoFirstAckWait	119	Covered	T10,T11,T12
AutoLoadIns->Error	188	Covered	T8,T166,T167
AutoLoadIns->Idle	211	Covered	T10,T17,T7
AutoLoadIns->RejectCsrngEntropy	188	Covered	T86,T168,T169
AutoSendGenCmd->AutoAckWait	156	Covered	T10,T11,T12
AutoSendGenCmd->Error	188	Covered	T170,T171,T135
AutoSendGenCmd->Idle	211	Covered	T20,T88,T112
AutoSendGenCmd->RejectCsrngEntropy	188	Covered	T172,T173,T174
AutoSendReseedCmd->AutoAckWait	168	Covered	T10,T11,T12
AutoSendReseedCmd->Error	188	Covered	T7,T136,T175
AutoSendReseedCmd->Idle	211	Covered	T78,T176,T177
AutoSendReseedCmd->RejectCsrngEntropy	188	Covered	T178,T179,T180
BootDone->BootLoadUni	102	Covered	T45,T46,T43
BootDone->Error	188	Covered	T181,T182,T183
BootDone->Idle	211	Covered	T184,T185,T186
BootDone->RejectCsrngEntropy	188	Covered	T17,T114,T187
BootGenAckWait->BootPulse	94	Covered	T23,T17,T28
BootGenAckWait->Error	188	Covered	T188,T189
BootGenAckWait->Idle	211	Covered	T58,T125,T89
BootGenAckWait->RejectCsrngEntropy	188	Covered	T131,T190,T191
BootInsAckWait->BootLoadGen	85	Covered	T23,T17,T28
BootInsAckWait->Error	188	Covered	T192,T186,T193
BootInsAckWait->Idle	211	Covered	T23,T28,T59
BootInsAckWait->RejectCsrngEntropy	188	Covered	T30,T194,T195
BootLoadGen->BootGenAckWait	90	Covered	T23,T17,T28
BootLoadGen->Error	188	Covered	T196
BootLoadGen->Idle	211	Covered	T82,T197,T198
BootLoadGen->RejectCsrngEntropy	188	Covered	T133,T199,T109
BootLoadIns->BootInsAckWait	80	Covered	T23,T17,T28
BootLoadIns->Error	188	Not Covered
BootLoadIns->Idle	211	Covered	T90,T101,T200
BootLoadIns->RejectCsrngEntropy	188	Covered	T201,T202,T203
BootLoadUni->BootUniAckWait	107	Covered	T45,T46,T43
BootLoadUni->Error	188	Not Covered
BootLoadUni->Idle	211	Not Covered
BootLoadUni->RejectCsrngEntropy	188	Covered	T204,T205,T206
BootPulse->BootDone	98	Covered	T23,T17,T28
BootPulse->Error	188	Covered	T207,T208
BootPulse->Idle	211	Covered	T29,T209,T210
BootPulse->RejectCsrngEntropy	188	Covered	T211,T212
BootUniAckWait->Error	188	Covered	T213,T214,T215
BootUniAckWait->Idle	112	Covered	T43,T133,T216
BootUniAckWait->RejectCsrngEntropy	188	Covered	T45,T46,T127
Idle->AutoLoadIns	69	Covered	T10,T17,T11
Idle->BootLoadIns	65	Covered	T23,T17,T28
Idle->Error	188	Covered	T16,T18,T19
Idle->RejectCsrngEntropy	188	Covered	T17,T30,T45
Idle->SWPortMode	74	Covered	T1,T2,T3
RejectCsrngEntropy->Error	188	Covered	T65,T141,T217
RejectCsrngEntropy->Idle	211	Covered	T17,T12,T30
SWPortMode->Error	188	Covered	T4,T5,T16
SWPortMode->Idle	211	Covered	T6,T12,T64
SWPortMode->RejectCsrngEntropy	188	Covered	T12,T46,T65

---

Branch Coverage for Module : edn_main_sm

	Line No.	Total	Covered	Percent
Branches		42	41	97.62
IF	42	2	2	100.00
CASE	62	35	35	100.00
IF	186	5	4	80.00

42           `PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, state_e, Idle)
             -1-                                                                    
             ==>                                                                    
             ==>                                                                    

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

62             unique case (state_q)
                      -1-  
63               Idle: begin
64                 if (boot_req_mode_i && edn_enable_i) begin
                   -2-  
65                   state_d = BootLoadIns;
                     ==>
66                 end else if (auto_req_mode_i && edn_enable_i) begin
                            -3-  
67                   accept_sw_cmds_pulse_o = 1'b1;
                     ==>
68                   sw_cmd_mode_o = 1'b1;
69                   state_d = AutoLoadIns;
70                 end else if (edn_enable_i) begin
                            -4-  
71                   main_sm_done_pulse_o = 1'b1;
                     ==>
72                   accept_sw_cmds_pulse_o = 1'b1;
73                   sw_cmd_mode_o = 1'b1;
74                   state_d = SWPortMode;
75                 end
                   MISSING_ELSE
                   ==>
76               end
77               BootLoadIns: begin
78                 boot_wr_ins_cmd_o = 1'b1;
                   ==>
79                 boot_send_ins_cmd_o = 1'b1;
80                 state_d = BootInsAckWait;
81               end
82               BootInsAckWait: begin
83                 boot_send_ins_cmd_o = 1'b1;
84                 if (csrng_cmd_ack_i) begin
                   -5-  
85                   state_d = BootLoadGen;
                     ==>
86                 end
                   MISSING_ELSE
                   ==>
87               end
88               BootLoadGen: begin
89                 boot_wr_gen_cmd_o = 1'b1;
                   ==>
90                 state_d = BootGenAckWait;
91               end
92               BootGenAckWait: begin
93                 if (csrng_cmd_ack_i) begin
                   -6-  
94                   state_d = BootPulse;
                     ==>
95                 end
                   MISSING_ELSE
                   ==>
96               end
97               BootPulse: begin
98                 state_d = BootDone;
                   ==>
99               end
100              BootDone: begin
101                if (!boot_req_mode_i) begin
                   -7-  
102                  state_d = BootLoadUni;
                     ==>
103                end
                   MISSING_ELSE
                   ==>
104              end
105              BootLoadUni: begin
106                boot_wr_uni_cmd_o = 1'b1;
                   ==>
107                state_d = BootUniAckWait;
108              end
109              BootUniAckWait: begin
110                if (csrng_cmd_ack_i) begin
                   -8-  
111                  main_sm_done_pulse_o = 1'b1;
                     ==>
112                  state_d = Idle;
113                end
                   MISSING_ELSE
                   ==>
114              end
115              //-----------------------------------
116              AutoLoadIns: begin
117                sw_cmd_mode_o = 1'b1;
118                if (sw_cmd_req_load_i) begin
                   -9-  
119                  state_d = AutoFirstAckWait;
                     ==>
120                end
                   MISSING_ELSE
                   ==>
121              end
122              AutoFirstAckWait: begin
123                sw_cmd_mode_o = 1'b1;
124                if (csrng_cmd_ack_i) begin
                   -10-  
125                  state_d = AutoDispatch;
                     ==>
126                end
                   MISSING_ELSE
                   ==>
127              end
128              AutoAckWait: begin
129                auto_req_mode_busy_o = 1'b1;
130                if (csrng_cmd_ack_i) begin
                   -11-  
131                  state_d = AutoDispatch;
                     ==>
132                end
                   MISSING_ELSE
                   ==>
133              end
134              AutoDispatch: begin
135                auto_req_mode_busy_o = 1'b1;
136                if (!auto_req_mode_i) begin
                   -12-  
137                  main_sm_done_pulse_o = 1'b1;
                     ==>
138                  state_d = Idle;
139                end else begin
140                  if (max_reqs_cnt_zero_i) begin
                     -13-  
141                    state_d = AutoCaptReseedCnt;
                       ==>
142                  end else begin
143                    state_d = AutoCaptGenCnt;
                       ==>
144                  end
145                end
146              end
147              AutoCaptGenCnt: begin
148                auto_req_mode_busy_o = 1'b1;
                   ==>
149                capt_gencmd_fifo_cnt_o = 1'b1;
150                state_d = AutoSendGenCmd;
151              end
152              AutoSendGenCmd: begin
153                auto_req_mode_busy_o = 1'b1;
154                send_gencmd_o = 1'b1;
155                if (cmd_sent_i) begin
                   -14-  
156                  state_d = AutoAckWait;
                     ==>
157                end
                   MISSING_ELSE
                   ==>
158              end
159              AutoCaptReseedCnt: begin
160                auto_req_mode_busy_o = 1'b1;
                   ==>
161                capt_rescmd_fifo_cnt_o = 1'b1;
162                state_d = AutoSendReseedCmd;
163              end
164              AutoSendReseedCmd: begin
165                auto_req_mode_busy_o = 1'b1;
166                send_rescmd_o = 1'b1;
167                if (cmd_sent_i) begin
                   -15-  
168                  state_d = AutoAckWait;
                     ==>
169                end
                   MISSING_ELSE
                   ==>
170              end
171              SWPortMode: begin
172                sw_cmd_mode_o = 1'b1;
                   ==>
173              end
174              RejectCsrngEntropy: begin
175                reject_csrng_entropy_o = 1'b1;
                   ==>
176              end
177              Error: begin
178                main_sm_err_o = 1'b1;
                   ==>
179              end
180              default: begin
181                state_d = Error;
                   ==>

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	Status	Tests
Idle	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
Idle	0	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T10,T17,T11
Idle	0	0	1	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
Idle	0	0	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
BootLoadIns	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
BootInsAckWait	-	-	-	1	-	-	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
BootInsAckWait	-	-	-	0	-	-	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
BootLoadGen	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
BootGenAckWait	-	-	-	-	1	-	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
BootGenAckWait	-	-	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
BootPulse	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
BootDone	-	-	-	-	-	1	-	-	-	-	-	-	-	-	Covered	T45,T46,T43
BootDone	-	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T23,T17,T28
BootLoadUni	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T45,T46,T43
BootUniAckWait	-	-	-	-	-	-	1	-	-	-	-	-	-	-	Covered	T45,T46,T43
BootUniAckWait	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T45,T46,T43
AutoLoadIns	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T10,T11,T12
AutoLoadIns	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T10,T17,T11
AutoFirstAckWait	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Covered	T10,T11,T12
AutoFirstAckWait	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T10,T11,T12
AutoAckWait	-	-	-	-	-	-	-	-	-	1	-	-	-	-	Covered	T10,T11,T12
AutoAckWait	-	-	-	-	-	-	-	-	-	0	-	-	-	-	Covered	T10,T11,T12
AutoDispatch	-	-	-	-	-	-	-	-	-	-	1	-	-	-	Covered	T11,T22,T48
AutoDispatch	-	-	-	-	-	-	-	-	-	-	0	1	-	-	Covered	T10,T11,T12
AutoDispatch	-	-	-	-	-	-	-	-	-	-	0	0	-	-	Covered	T10,T11,T12
AutoCaptGenCnt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T10,T11,T12
AutoSendGenCmd	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Covered	T10,T11,T12
AutoSendGenCmd	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T10,T11,T20
AutoCaptReseedCnt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T10,T11,T12
AutoSendReseedCmd	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T10,T11,T12
AutoSendReseedCmd	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T10,T11,T7
SWPortMode	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
RejectCsrngEntropy	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T17,T12,T30
Error	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T33
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T33,T16,T18

186            if (local_escalate_i || csrng_ack_err_i) begin
               -1-  
187              // Either move into RejectCsrngEntropy or Error but don't move out of Error as it's terminal.
188              state_d = local_escalate_i ? Error :
                                            -2-  
                                            ==>  
189                        state_q == Error ? Error : RejectCsrngEntropy;
                                            -3-  
                                            ==>  
                                            ==>  
190              // Tie off outputs, except for main_sm_err_o, auto_req_mode_busy_o, boot_send_ins_cmd_o,
191              // sw_cmd_mode_o and reject_csrng_entropy_o.
192              boot_wr_ins_cmd_o      = 1'b0;
193              boot_wr_gen_cmd_o      = 1'b0;
194              boot_wr_uni_cmd_o      = 1'b0;
195              accept_sw_cmds_pulse_o = 1'b0;
196              capt_gencmd_fifo_cnt_o = 1'b0;
197              send_gencmd_o          = 1'b0;
198              capt_rescmd_fifo_cnt_o = 1'b0;
199              send_rescmd_o          = 1'b0;
200              main_sm_done_pulse_o   = 1'b0;
201            end else if (!edn_enable_i && state_q inside {BootLoadIns, BootInsAckWait, BootLoadGen,
                        -4-  
202                                                          BootGenAckWait, BootLoadUni, BootUniAckWait,
203                                                          BootPulse, BootDone,
204                                                          AutoLoadIns, AutoFirstAckWait, AutoAckWait,
205                                                          AutoDispatch, AutoCaptGenCnt, AutoSendGenCmd,
206                                                          AutoCaptReseedCnt, AutoSendReseedCmd,
207                                                          SWPortMode, RejectCsrngEntropy
208                                                         }) begin
209              // Only go to idle if the state is legal and not Idle or Error.
210              // Even when disabled, illegal states must result in a transition to Error.
211              state_d = Idle;
                 ==>
212              // Tie off outputs, except for main_sm_err_o.
213              boot_wr_ins_cmd_o      = 1'b0;
214              boot_send_ins_cmd_o    = 1'b0;
215              boot_wr_gen_cmd_o      = 1'b0;
216              boot_wr_uni_cmd_o      = 1'b0;
217              accept_sw_cmds_pulse_o = 1'b0;
218              auto_req_mode_busy_o   = 1'b0;
219              capt_gencmd_fifo_cnt_o = 1'b0;
220              send_gencmd_o          = 1'b0;
221              capt_rescmd_fifo_cnt_o = 1'b0;
222              send_rescmd_o          = 1'b0;
223              sw_cmd_mode_o          = 1'b0;
224              reject_csrng_entropy_o = 1'b0;
225              main_sm_done_pulse_o   = 1'b1;
226            end
               MISSING_ELSE
               ==>

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	1	-	-	Covered	T4,T5,T33
1	0	1	-	Not Covered
1	0	0	-	Covered	T17,T12,T30
0	-	-	1	Covered	T23,T10,T17
0	-	-	0	Covered	T1,T2,T3

---

Assert Coverage for Module : edn_main_sm

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	3	3	100.00	3	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	3	3	100.00	3	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
ErrorStStable_A	11489854	149892	0	0
FpvSecCmErrorStEscalate_A	11489854	150939	0	0
u_state_regs_A	11445850	11266595	0	0

ErrorStStable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11489854	149892	0	0
T4	552	246	0	0
T5	2236	1151	0	0
T6	20548	0	0	0
T7	0	1118	0	0
T8	0	626	0	0
T9	0	1046	0	0
T10	2557	0	0	0
T11	3833	0	0	0
T16	0	8733	0	0
T17	2935	0	0	0
T18	0	9371	0	0
T24	1187	0	0	0
T25	914	0	0	0
T26	1783	0	0	0
T33	1483	568	0	0
T65	0	656	0	0
T71	0	1100	0	0

FpvSecCmErrorStEscalate_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11489854	150939	0	0
T4	552	247	0	0
T5	2236	1152	0	0
T6	20548	0	0	0
T7	0	1119	0	0
T8	0	627	0	0
T9	0	1047	0	0
T10	2557	0	0	0
T11	3833	0	0	0
T16	0	8863	0	0
T17	2935	0	0	0
T18	0	9501	0	0
T24	1187	0	0	0
T25	914	0	0	0
T26	1783	0	0	0
T33	1483	569	0	0
T65	0	657	0	0
T71	0	1101	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11445850	11266595	0	0
T1	1123	1045	0	0
T2	1591	1513	0	0
T3	2549	2461	0	0
T4	385	188	0	0
T5	2068	1920	0	0
T10	2557	2488	0	0
T17	2935	2865	0	0
T23	980	920	0	0
T24	1187	1120	0	0
T25	914	850	0	0