Line Coverage for Module :
dm_sba
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 77 | 77 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 72 | 7 | 7 | 100.00 |
| CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
| ALWAYS | 101 | 54 | 54 | 100.00 |
| ALWAYS | 193 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 203 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 204 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 205 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 206 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 207 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 208 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 209 | 1 | 1 | 100.00 |
68
69 1/1 assign sbbusy_o = logic'(state_q != dm::Idle);
Tests: T1 T2 T3
70
71 always_comb begin : p_be_mask
72 1/1 be_mask = '0;
Tests: T1 T2 T3
73
74 // generate byte enable mask
75 1/1 unique case (sbaccess_i)
Tests: T1 T2 T3
76 3'b000: begin
77 1/1 be_mask[be_idx] = '1;
Tests: T18 T19 T40
78 end
79 3'b001: begin
80 1/1 be_mask[int'({be_idx[$high(be_idx):1], 1'b0}) +: 2] = '1;
Tests: T18 T19 T40
81 end
82 3'b010: begin
83 1/1(1 unreachable) if (BusWidth == 32'd64) be_mask[int'({be_idx[$high(be_idx)], 2'h0}) +: 4] = '1;
Tests: T1 T2 T3
84 1/1 else be_mask = '1;
Tests: T1 T2 T3
85 end
86 1/1 3'b011: be_mask = '1;
Tests: T40 T183 T115
87 default: ;
88 endcase
89 end
90
91 logic [BusWidth-1:0] sbaccess_mask;
92 1/1 assign sbaccess_mask = {BusWidth{1'b1}} << sbaccess_i;
Tests: T1 T2 T3
93
94 logic addr_incr_en;
95 logic [BusWidth-1:0] addr_incr;
96 1/1 assign addr_incr = (addr_incr_en) ? (BusWidth'(1'b1) << sbaccess_i) : '0;
Tests: T1 T2 T3
97 1/1 assign sbaddress_o = sbaddress_i + addr_incr;
Tests: T1 T2 T3
98
99
100 always_comb begin : p_fsm
101 1/1 req = 1'b0;
Tests: T1 T2 T3
102 1/1 address = sbaddress_i;
Tests: T1 T2 T3
103 1/1 we = 1'b0;
Tests: T1 T2 T3
104 1/1 be = '0;
Tests: T1 T2 T3
105 1/1 be_idx = sbaddress_i[BeIdxWidth-1:0];
Tests: T1 T2 T3
106
107 1/1 sberror_o = '0;
Tests: T1 T2 T3
108 1/1 sberror_valid_o = 1'b0;
Tests: T1 T2 T3
109
110 1/1 addr_incr_en = 1'b0;
Tests: T1 T2 T3
111
112 1/1 state_d = state_q;
Tests: T1 T2 T3
113
114 1/1 unique case (state_q)
Tests: T1 T2 T3
115 dm::Idle: begin
116 // debugger requested a read
117 2/2 if (sbaddress_write_valid_i && sbreadonaddr_i) state_d = dm::Read;
Tests: T1 T2 T3 | T17 T18 T19
MISSING_ELSE
118 // debugger requested a write
119 2/2 if (sbdata_write_valid_i) state_d = dm::Write;
Tests: T1 T2 T3 | T18 T19 T40
MISSING_ELSE
120 // perform another read
121 2/2 if (sbdata_read_valid_i && sbreadondata_i) state_d = dm::Read;
Tests: T1 T2 T3 | T18 T19 T40
MISSING_ELSE
122 end
123
124 dm::Read: begin
125 1/1 req = 1'b1;
Tests: T17 T18 T19
126 2/2 if (ReadByteEnable) be = be_mask;
Tests: T17 T18 T19 | T17 T18 T19
==> MISSING_ELSE
127 2/2 if (gnt) state_d = dm::WaitRead;
Tests: T17 T18 T19 | T17 T18 T19
MISSING_ELSE
128 end
129
130 dm::Write: begin
131 1/1 req = 1'b1;
Tests: T18 T19 T40
132 1/1 we = 1'b1;
Tests: T18 T19 T40
133 1/1 be = be_mask;
Tests: T18 T19 T40
134 2/2 if (gnt) state_d = dm::WaitWrite;
Tests: T18 T19 T40 | T18 T19 T40
MISSING_ELSE
135 end
136
137 dm::WaitRead: begin
138 1/1 if (sbdata_valid_o) begin
Tests: T17 T18 T19
139 1/1 state_d = dm::Idle;
Tests: T17 T18 T19
140 // auto-increment address
141 1/1 addr_incr_en = sbautoincrement_i;
Tests: T17 T18 T19
142 // check whether an "other" error has been encountered.
143 1/1 if (master_r_other_err_i) begin
Tests: T17 T18 T19
144 1/1 sberror_valid_o = 1'b1;
Tests: T40 T115 T20
145 1/1 sberror_o = 3'd7;
Tests: T40 T115 T20
146 // check whether there was a bus error (== bad address).
147 1/1 end else if (master_r_err_i) begin
Tests: T17 T18 T19
148 1/1 sberror_valid_o = 1'b1;
Tests: T17 T45 T40
149 1/1 sberror_o = 3'd2;
Tests: T17 T45 T40
150 end
MISSING_ELSE
151 end
MISSING_ELSE
152 end
153
154 dm::WaitWrite: begin
155 1/1 if (sbdata_valid_o) begin
Tests: T18 T19 T40
156 1/1 state_d = dm::Idle;
Tests: T18 T19 T40
157 // auto-increment address
158 1/1 addr_incr_en = sbautoincrement_i;
Tests: T18 T19 T40
159 // check whether an "other" error has been encountered.
160 1/1 if (master_r_other_err_i) begin
Tests: T18 T19 T40
161 1/1 sberror_valid_o = 1'b1;
Tests: T40 T115 T20
162 1/1 sberror_o = 3'd7;
Tests: T40 T115 T20
163 // check whether there was a bus error (== bad address).
164 1/1 end else if (master_r_err_i) begin
Tests: T18 T19 T40
165 1/1 sberror_valid_o = 1'b1;
Tests: T40 T184 T116
166 1/1 sberror_o = 3'd2;
Tests: T40 T184 T116
167 end
MISSING_ELSE
168 end
MISSING_ELSE
169 end
170
171 default: state_d = dm::Idle; // catch parasitic state
172 endcase
173
174 // handle error case
175 1/1 if (32'(sbaccess_i) > BeIdxWidth && state_q != dm::Idle) begin
Tests: T1 T2 T3
176 1/1 req = 1'b0;
Tests: T40 T183 T115
177 1/1 state_d = dm::Idle;
Tests: T40 T183 T115
178 1/1 sberror_valid_o = 1'b1;
Tests: T40 T183 T115
179 1/1 sberror_o = 3'd4; // unsupported size was requested
Tests: T40 T183 T115
180 end
MISSING_ELSE
181
182 //if sbaccess_i lsbs of address are not 0 - report misalignment error
183 1/1 if (|(sbaddress_i & ~sbaccess_mask) && state_q != dm::Idle) begin
Tests: T1 T2 T3
184 1/1 req = 1'b0;
Tests: T40 T183 T115
185 1/1 state_d = dm::Idle;
Tests: T40 T183 T115
186 1/1 sberror_valid_o = 1'b1;
Tests: T40 T183 T115
187 1/1 sberror_o = 3'd3; // alignment error
Tests: T40 T183 T115
188 end
MISSING_ELSE
189 // further error handling should go here ...
190 end
191
192 always_ff @(posedge clk_i or negedge rst_ni) begin : p_regs
193 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
194 1/1 state_q <= dm::Idle;
Tests: T1 T2 T3
195 end else begin
196 1/1 state_q <= state_d;
Tests: T1 T2 T3
197 end
198 end
199
200 logic [BeIdxWidth-1:0] be_idx_masked;
201 1/1 assign be_idx_masked = be_idx & BeIdxWidth'(sbaccess_mask);
Tests: T1 T2 T3
202 1/1 assign master_req_o = req;
Tests: T1 T2 T3
203 1/1 assign master_add_o = address[BusWidth-1:0];
Tests: T1 T2 T3
204 1/1 assign master_we_o = we;
Tests: T1 T2 T3
205 1/1 assign master_wdata_o = sbdata_i[BusWidth-1:0] << (8 * be_idx_masked);
Tests: T1 T2 T3
206 1/1 assign master_be_o = be[BusWidth/8-1:0];
Tests: T1 T2 T3
207 1/1 assign gnt = master_gnt_i;
Tests: T1 T2 T3
208 1/1 assign sbdata_valid_o = master_r_valid_i;
Tests: T1 T2 T3
209 1/1 assign sbdata_o = master_r_rdata_i[BusWidth-1:0] >> (8 * be_idx_masked);
Tests: T1 T2 T3
Cond Coverage for Module :
dm_sba
| Total | Covered | Percent |
|---|
| Conditions | 18 | 18 | 100.00 |
| Logical | 18 | 18 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 96
EXPRESSION (addr_incr_en ? ((32'(1'b1) << sbaccess_i)) : '0)
------1-----
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T20,T21,T22 |
LINE 117
EXPRESSION (sbaddress_write_valid_i && sbreadonaddr_i)
-----------1----------- -------2------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T17,T18,T19 |
| 1 | 0 | Covered | T18,T19,T40 |
| 1 | 1 | Covered | T17,T18,T19 |
LINE 121
EXPRESSION (sbdata_read_valid_i && sbreadondata_i)
---------1--------- -------2------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T18,T19,T40 |
| 1 | 0 | Covered | T17,T18,T19 |
| 1 | 1 | Covered | T18,T19,T40 |
LINE 175
EXPRESSION ((32'(sbaccess_i) > BeIdxWidth) && (state_q != Idle))
---------------1-------------- --------2--------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T17,T18,T19 |
| 1 | 0 | Covered | T40,T183,T115 |
| 1 | 1 | Covered | T40,T183,T115 |
LINE 175
SUB-EXPRESSION (state_q != Idle)
--------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T17,T18,T19 |
LINE 183
EXPRESSION (((|(sbaddress_i & (~sbaccess_mask)))) && (state_q != Idle))
------------------1------------------ --------2--------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T17,T18,T19 |
| 1 | 0 | Covered | T18,T19,T40 |
| 1 | 1 | Covered | T40,T183,T115 |
LINE 183
SUB-EXPRESSION (state_q != Idle)
--------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T17,T18,T19 |
FSM Coverage for Module :
dm_sba
Summary for FSM :: state_q
| Total | Covered | Percent | |
| States |
5 |
5 |
100.00 |
(Not included in score) |
| Transitions |
8 |
8 |
100.00 |
|
| Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests |
| Idle |
139 |
Covered |
T1,T2,T3 |
| Read |
117 |
Covered |
T17,T18,T19 |
| WaitRead |
127 |
Covered |
T17,T18,T19 |
| WaitWrite |
134 |
Covered |
T18,T19,T40 |
| Write |
119 |
Covered |
T18,T19,T40 |
| transitions | Line No. | Covered | Tests |
| Idle->Read |
117 |
Covered |
T17,T18,T19 |
| Idle->Write |
119 |
Covered |
T18,T19,T40 |
| Read->Idle |
177 |
Covered |
T40,T183,T115 |
| Read->WaitRead |
127 |
Covered |
T17,T18,T19 |
| WaitRead->Idle |
139 |
Covered |
T17,T18,T19 |
| WaitWrite->Idle |
156 |
Covered |
T18,T19,T40 |
| Write->Idle |
177 |
Covered |
T40,T183,T115 |
| Write->WaitWrite |
134 |
Covered |
T18,T19,T40 |
Branch Coverage for Module :
dm_sba
| Line No. | Total | Covered | Percent |
| Branches |
|
34 |
32 |
94.12 |
| TERNARY |
96 |
2 |
2 |
100.00 |
| CASE |
75 |
5 |
5 |
100.00 |
| CASE |
114 |
21 |
19 |
90.48 |
| IF |
175 |
2 |
2 |
100.00 |
| IF |
183 |
2 |
2 |
100.00 |
| IF |
193 |
2 |
2 |
100.00 |
96 assign addr_incr = (addr_incr_en) ? (BusWidth'(1'b1) << sbaccess_i) : '0;
-1-
==>
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T20,T21,T22 |
| 0 |
Covered |
T1,T2,T3 |
75 unique case (sbaccess_i)
-1-
76 3'b000: begin
77 be_mask[be_idx] = '1;
==>
78 end
79 3'b001: begin
80 be_mask[int'({be_idx[$high(be_idx):1], 1'b0}) +: 2] = '1;
==>
81 end
82 3'b010: begin
83 if (BusWidth == 32'd64) be_mask[int'({be_idx[$high(be_idx)], 2'h0}) +: 4] = '1;
-2-
==> (Unreachable)
84 else be_mask = '1;
==>
85 end
86 3'b011: be_mask = '1;
==>
87 default: ;
==>
Branches:
| -1- | -2- | Status | Tests |
| 3'b000 |
- |
Covered |
T18,T19,T40 |
| 3'b001 |
- |
Covered |
T18,T19,T40 |
| 3'b010 |
1 |
Unreachable |
|
| 3'b010 |
0 |
Covered |
T1,T2,T3 |
| 3'b011 |
- |
Covered |
T40,T183,T115 |
| default |
- |
Covered |
T40,T183,T115 |
114 unique case (state_q)
-1-
115 dm::Idle: begin
116 // debugger requested a read
117 if (sbaddress_write_valid_i && sbreadonaddr_i) state_d = dm::Read;
-2-
==>
MISSING_ELSE
==>
118 // debugger requested a write
119 if (sbdata_write_valid_i) state_d = dm::Write;
-3-
==>
MISSING_ELSE
==>
120 // perform another read
121 if (sbdata_read_valid_i && sbreadondata_i) state_d = dm::Read;
-4-
==>
MISSING_ELSE
==>
122 end
123
124 dm::Read: begin
125 req = 1'b1;
126 if (ReadByteEnable) be = be_mask;
-5-
==>
MISSING_ELSE
==>
127 if (gnt) state_d = dm::WaitRead;
-6-
==>
MISSING_ELSE
==>
128 end
129
130 dm::Write: begin
131 req = 1'b1;
132 we = 1'b1;
133 be = be_mask;
134 if (gnt) state_d = dm::WaitWrite;
-7-
==>
MISSING_ELSE
==>
135 end
136
137 dm::WaitRead: begin
138 if (sbdata_valid_o) begin
-8-
139 state_d = dm::Idle;
140 // auto-increment address
141 addr_incr_en = sbautoincrement_i;
142 // check whether an "other" error has been encountered.
143 if (master_r_other_err_i) begin
-9-
144 sberror_valid_o = 1'b1;
==>
145 sberror_o = 3'd7;
146 // check whether there was a bus error (== bad address).
147 end else if (master_r_err_i) begin
-10-
148 sberror_valid_o = 1'b1;
==>
149 sberror_o = 3'd2;
150 end
MISSING_ELSE
==>
151 end
MISSING_ELSE
==>
152 end
153
154 dm::WaitWrite: begin
155 if (sbdata_valid_o) begin
-11-
156 state_d = dm::Idle;
157 // auto-increment address
158 addr_incr_en = sbautoincrement_i;
159 // check whether an "other" error has been encountered.
160 if (master_r_other_err_i) begin
-12-
161 sberror_valid_o = 1'b1;
==>
162 sberror_o = 3'd7;
163 // check whether there was a bus error (== bad address).
164 end else if (master_r_err_i) begin
-13-
165 sberror_valid_o = 1'b1;
==>
166 sberror_o = 3'd2;
167 end
MISSING_ELSE
==>
168 end
MISSING_ELSE
==>
169 end
170
171 default: state_d = dm::Idle; // catch parasitic state
==>
Branches:
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | Status | Tests |
| Idle |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T17,T18,T19 |
| Idle |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| Idle |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T40 |
| Idle |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| Idle |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T40 |
| Idle |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| Read |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T17,T18,T19 |
| Read |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
| Read |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T17,T18,T19 |
| Read |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T84 |
| Write |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T40 |
| Write |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T84 |
| WaitRead |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
Covered |
T40,T115,T20 |
| WaitRead |
- |
- |
- |
- |
- |
- |
1 |
0 |
1 |
- |
- |
- |
Covered |
T17,T45,T40 |
| WaitRead |
- |
- |
- |
- |
- |
- |
1 |
0 |
0 |
- |
- |
- |
Covered |
T18,T19,T40 |
| WaitRead |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T18,T19,T40 |
| WaitWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
Covered |
T40,T115,T20 |
| WaitWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
1 |
Covered |
T40,T184,T116 |
| WaitWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
0 |
Covered |
T18,T19,T40 |
| WaitWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
Covered |
T18,T19,T40 |
| default |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
175 if (32'(sbaccess_i) > BeIdxWidth && state_q != dm::Idle) begin
-1-
176 req = 1'b0;
==>
177 state_d = dm::Idle;
178 sberror_valid_o = 1'b1;
179 sberror_o = 3'd4; // unsupported size was requested
180 end
MISSING_ELSE
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T40,T183,T115 |
| 0 |
Covered |
T1,T2,T3 |
183 if (|(sbaddress_i & ~sbaccess_mask) && state_q != dm::Idle) begin
-1-
184 req = 1'b0;
==>
185 state_d = dm::Idle;
186 sberror_valid_o = 1'b1;
187 sberror_o = 3'd3; // alignment error
188 end
MISSING_ELSE
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T40,T183,T115 |
| 0 |
Covered |
T1,T2,T3 |
193 if (!rst_ni) begin
-1-
194 state_q <= dm::Idle;
==>
195 end else begin
196 state_q <= state_d;
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Line Coverage for Instance : tb.dut.u_dm_top.i_dm_sba
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 77 | 77 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 72 | 7 | 7 | 100.00 |
| CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 96 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
| ALWAYS | 101 | 54 | 54 | 100.00 |
| ALWAYS | 193 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 201 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 203 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 204 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 205 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 206 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 207 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 208 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 209 | 1 | 1 | 100.00 |
68
69 1/1 assign sbbusy_o = logic'(state_q != dm::Idle);
Tests: T1 T2 T3
70
71 always_comb begin : p_be_mask
72 1/1 be_mask = '0;
Tests: T1 T2 T3
73
74 // generate byte enable mask
75 1/1 unique case (sbaccess_i)
Tests: T1 T2 T3
76 3'b000: begin
77 1/1 be_mask[be_idx] = '1;
Tests: T18 T19 T40
78 end
79 3'b001: begin
80 1/1 be_mask[int'({be_idx[$high(be_idx):1], 1'b0}) +: 2] = '1;
Tests: T18 T19 T40
81 end
82 3'b010: begin
83 1/1(1 unreachable) if (BusWidth == 32'd64) be_mask[int'({be_idx[$high(be_idx)], 2'h0}) +: 4] = '1;
Tests: T1 T2 T3
84 1/1 else be_mask = '1;
Tests: T1 T2 T3
85 end
86 1/1 3'b011: be_mask = '1;
Tests: T40 T183 T115
87 default: ;
88 endcase
89 end
90
91 logic [BusWidth-1:0] sbaccess_mask;
92 1/1 assign sbaccess_mask = {BusWidth{1'b1}} << sbaccess_i;
Tests: T1 T2 T3
93
94 logic addr_incr_en;
95 logic [BusWidth-1:0] addr_incr;
96 1/1 assign addr_incr = (addr_incr_en) ? (BusWidth'(1'b1) << sbaccess_i) : '0;
Tests: T1 T2 T3
97 1/1 assign sbaddress_o = sbaddress_i + addr_incr;
Tests: T1 T2 T3
98
99
100 always_comb begin : p_fsm
101 1/1 req = 1'b0;
Tests: T1 T2 T3
102 1/1 address = sbaddress_i;
Tests: T1 T2 T3
103 1/1 we = 1'b0;
Tests: T1 T2 T3
104 1/1 be = '0;
Tests: T1 T2 T3
105 1/1 be_idx = sbaddress_i[BeIdxWidth-1:0];
Tests: T1 T2 T3
106
107 1/1 sberror_o = '0;
Tests: T1 T2 T3
108 1/1 sberror_valid_o = 1'b0;
Tests: T1 T2 T3
109
110 1/1 addr_incr_en = 1'b0;
Tests: T1 T2 T3
111
112 1/1 state_d = state_q;
Tests: T1 T2 T3
113
114 1/1 unique case (state_q)
Tests: T1 T2 T3
115 dm::Idle: begin
116 // debugger requested a read
117 2/2 if (sbaddress_write_valid_i && sbreadonaddr_i) state_d = dm::Read;
Tests: T1 T2 T3 | T17 T18 T19
MISSING_ELSE
118 // debugger requested a write
119 2/2 if (sbdata_write_valid_i) state_d = dm::Write;
Tests: T1 T2 T3 | T18 T19 T40
MISSING_ELSE
120 // perform another read
121 2/2 if (sbdata_read_valid_i && sbreadondata_i) state_d = dm::Read;
Tests: T1 T2 T3 | T18 T19 T40
MISSING_ELSE
122 end
123
124 dm::Read: begin
125 1/1 req = 1'b1;
Tests: T17 T18 T19
126 2/2 if (ReadByteEnable) be = be_mask;
Tests: T17 T18 T19 | T17 T18 T19
==> MISSING_ELSE
127 2/2 if (gnt) state_d = dm::WaitRead;
Tests: T17 T18 T19 | T17 T18 T19
MISSING_ELSE
128 end
129
130 dm::Write: begin
131 1/1 req = 1'b1;
Tests: T18 T19 T40
132 1/1 we = 1'b1;
Tests: T18 T19 T40
133 1/1 be = be_mask;
Tests: T18 T19 T40
134 2/2 if (gnt) state_d = dm::WaitWrite;
Tests: T18 T19 T40 | T18 T19 T40
MISSING_ELSE
135 end
136
137 dm::WaitRead: begin
138 1/1 if (sbdata_valid_o) begin
Tests: T17 T18 T19
139 1/1 state_d = dm::Idle;
Tests: T17 T18 T19
140 // auto-increment address
141 1/1 addr_incr_en = sbautoincrement_i;
Tests: T17 T18 T19
142 // check whether an "other" error has been encountered.
143 1/1 if (master_r_other_err_i) begin
Tests: T17 T18 T19
144 1/1 sberror_valid_o = 1'b1;
Tests: T40 T115 T20
145 1/1 sberror_o = 3'd7;
Tests: T40 T115 T20
146 // check whether there was a bus error (== bad address).
147 1/1 end else if (master_r_err_i) begin
Tests: T17 T18 T19
148 1/1 sberror_valid_o = 1'b1;
Tests: T17 T45 T40
149 1/1 sberror_o = 3'd2;
Tests: T17 T45 T40
150 end
MISSING_ELSE
151 end
MISSING_ELSE
152 end
153
154 dm::WaitWrite: begin
155 1/1 if (sbdata_valid_o) begin
Tests: T18 T19 T40
156 1/1 state_d = dm::Idle;
Tests: T18 T19 T40
157 // auto-increment address
158 1/1 addr_incr_en = sbautoincrement_i;
Tests: T18 T19 T40
159 // check whether an "other" error has been encountered.
160 1/1 if (master_r_other_err_i) begin
Tests: T18 T19 T40
161 1/1 sberror_valid_o = 1'b1;
Tests: T40 T115 T20
162 1/1 sberror_o = 3'd7;
Tests: T40 T115 T20
163 // check whether there was a bus error (== bad address).
164 1/1 end else if (master_r_err_i) begin
Tests: T18 T19 T40
165 1/1 sberror_valid_o = 1'b1;
Tests: T40 T184 T116
166 1/1 sberror_o = 3'd2;
Tests: T40 T184 T116
167 end
MISSING_ELSE
168 end
MISSING_ELSE
169 end
170
171 default: state_d = dm::Idle; // catch parasitic state
Exclude Annotation: VC_COV_UNR
172 endcase
173
174 // handle error case
175 1/1 if (32'(sbaccess_i) > BeIdxWidth && state_q != dm::Idle) begin
Tests: T1 T2 T3
176 1/1 req = 1'b0;
Tests: T40 T183 T115
177 1/1 state_d = dm::Idle;
Tests: T40 T183 T115
178 1/1 sberror_valid_o = 1'b1;
Tests: T40 T183 T115
179 1/1 sberror_o = 3'd4; // unsupported size was requested
Tests: T40 T183 T115
180 end
MISSING_ELSE
181
182 //if sbaccess_i lsbs of address are not 0 - report misalignment error
183 1/1 if (|(sbaddress_i & ~sbaccess_mask) && state_q != dm::Idle) begin
Tests: T1 T2 T3
184 1/1 req = 1'b0;
Tests: T40 T183 T115
185 1/1 state_d = dm::Idle;
Tests: T40 T183 T115
186 1/1 sberror_valid_o = 1'b1;
Tests: T40 T183 T115
187 1/1 sberror_o = 3'd3; // alignment error
Tests: T40 T183 T115
188 end
MISSING_ELSE
189 // further error handling should go here ...
190 end
191
192 always_ff @(posedge clk_i or negedge rst_ni) begin : p_regs
193 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
194 1/1 state_q <= dm::Idle;
Tests: T1 T2 T3
195 end else begin
196 1/1 state_q <= state_d;
Tests: T1 T2 T3
197 end
198 end
199
200 logic [BeIdxWidth-1:0] be_idx_masked;
201 1/1 assign be_idx_masked = be_idx & BeIdxWidth'(sbaccess_mask);
Tests: T1 T2 T3
202 1/1 assign master_req_o = req;
Tests: T1 T2 T3
203 1/1 assign master_add_o = address[BusWidth-1:0];
Tests: T1 T2 T3
204 1/1 assign master_we_o = we;
Tests: T1 T2 T3
205 1/1 assign master_wdata_o = sbdata_i[BusWidth-1:0] << (8 * be_idx_masked);
Tests: T1 T2 T3
206 1/1 assign master_be_o = be[BusWidth/8-1:0];
Tests: T1 T2 T3
207 1/1 assign gnt = master_gnt_i;
Tests: T1 T2 T3
208 1/1 assign sbdata_valid_o = master_r_valid_i;
Tests: T1 T2 T3
209 1/1 assign sbdata_o = master_r_rdata_i[BusWidth-1:0] >> (8 * be_idx_masked);
Tests: T1 T2 T3
Cond Coverage for Instance : tb.dut.u_dm_top.i_dm_sba
| Total | Covered | Percent |
|---|
| Conditions | 18 | 18 | 100.00 |
| Logical | 18 | 18 | 100.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 96
EXPRESSION (addr_incr_en ? ((32'(1'b1) << sbaccess_i)) : '0)
------1-----
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T20,T21,T22 |
LINE 117
EXPRESSION (sbaddress_write_valid_i && sbreadonaddr_i)
-----------1----------- -------2------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T17,T18,T19 |
| 1 | 0 | Covered | T18,T19,T40 |
| 1 | 1 | Covered | T17,T18,T19 |
LINE 121
EXPRESSION (sbdata_read_valid_i && sbreadondata_i)
---------1--------- -------2------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T18,T19,T40 |
| 1 | 0 | Covered | T17,T18,T19 |
| 1 | 1 | Covered | T18,T19,T40 |
LINE 175
EXPRESSION ((32'(sbaccess_i) > BeIdxWidth) && (state_q != Idle))
---------------1-------------- --------2--------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T17,T18,T19 |
| 1 | 0 | Covered | T40,T183,T115 |
| 1 | 1 | Covered | T40,T183,T115 |
LINE 175
SUB-EXPRESSION (state_q != Idle)
--------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T17,T18,T19 |
LINE 183
EXPRESSION (((|(sbaddress_i & (~sbaccess_mask)))) && (state_q != Idle))
------------------1------------------ --------2--------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T17,T18,T19 |
| 1 | 0 | Covered | T18,T19,T40 |
| 1 | 1 | Covered | T40,T183,T115 |
LINE 183
SUB-EXPRESSION (state_q != Idle)
--------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T17,T18,T19 |
FSM Coverage for Instance : tb.dut.u_dm_top.i_dm_sba
Summary for FSM :: state_q
| Total | Covered | Percent | |
| States |
5 |
5 |
100.00 |
(Not included in score) |
| Transitions |
8 |
8 |
100.00 |
|
| Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests |
| Idle |
139 |
Covered |
T1,T2,T3 |
| Read |
117 |
Covered |
T17,T18,T19 |
| WaitRead |
127 |
Covered |
T17,T18,T19 |
| WaitWrite |
134 |
Covered |
T18,T19,T40 |
| Write |
119 |
Covered |
T18,T19,T40 |
| transitions | Line No. | Covered | Tests |
| Idle->Read |
117 |
Covered |
T17,T18,T19 |
| Idle->Write |
119 |
Covered |
T18,T19,T40 |
| Read->Idle |
177 |
Covered |
T40,T183,T115 |
| Read->WaitRead |
127 |
Covered |
T17,T18,T19 |
| WaitRead->Idle |
139 |
Covered |
T17,T18,T19 |
| WaitWrite->Idle |
156 |
Covered |
T18,T19,T40 |
| Write->Idle |
177 |
Covered |
T40,T183,T115 |
| Write->WaitWrite |
134 |
Covered |
T18,T19,T40 |
Branch Coverage for Instance : tb.dut.u_dm_top.i_dm_sba
| Line No. | Total | Covered | Percent |
| Branches |
|
32 |
32 |
100.00 |
| TERNARY |
96 |
2 |
2 |
100.00 |
| CASE |
75 |
5 |
5 |
100.00 |
| CASE |
114 |
19 |
19 |
100.00 |
| IF |
175 |
2 |
2 |
100.00 |
| IF |
183 |
2 |
2 |
100.00 |
| IF |
193 |
2 |
2 |
100.00 |
96 assign addr_incr = (addr_incr_en) ? (BusWidth'(1'b1) << sbaccess_i) : '0;
-1-
==>
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T20,T21,T22 |
| 0 |
Covered |
T1,T2,T3 |
75 unique case (sbaccess_i)
-1-
76 3'b000: begin
77 be_mask[be_idx] = '1;
==>
78 end
79 3'b001: begin
80 be_mask[int'({be_idx[$high(be_idx):1], 1'b0}) +: 2] = '1;
==>
81 end
82 3'b010: begin
83 if (BusWidth == 32'd64) be_mask[int'({be_idx[$high(be_idx)], 2'h0}) +: 4] = '1;
-2-
==> (Unreachable)
84 else be_mask = '1;
==>
85 end
86 3'b011: be_mask = '1;
==>
87 default: ;
==>
Branches:
| -1- | -2- | Status | Tests |
| 3'b000 |
- |
Covered |
T18,T19,T40 |
| 3'b001 |
- |
Covered |
T18,T19,T40 |
| 3'b010 |
1 |
Unreachable |
|
| 3'b010 |
0 |
Covered |
T1,T2,T3 |
| 3'b011 |
- |
Covered |
T40,T183,T115 |
| default |
- |
Covered |
T40,T183,T115 |
114 unique case (state_q)
-1-
115 dm::Idle: begin
116 // debugger requested a read
117 if (sbaddress_write_valid_i && sbreadonaddr_i) state_d = dm::Read;
-2-
==>
MISSING_ELSE
==>
118 // debugger requested a write
119 if (sbdata_write_valid_i) state_d = dm::Write;
-3-
==>
MISSING_ELSE
==>
120 // perform another read
121 if (sbdata_read_valid_i && sbreadondata_i) state_d = dm::Read;
-4-
==>
MISSING_ELSE
==>
122 end
123
124 dm::Read: begin
125 req = 1'b1;
126 if (ReadByteEnable) be = be_mask;
-5-
==>
MISSING_ELSE
==> (Excluded)
Exclude Annotation: VC_COV_UNR
127 if (gnt) state_d = dm::WaitRead;
-6-
==>
MISSING_ELSE
==>
128 end
129
130 dm::Write: begin
131 req = 1'b1;
132 we = 1'b1;
133 be = be_mask;
134 if (gnt) state_d = dm::WaitWrite;
-7-
==>
MISSING_ELSE
==>
135 end
136
137 dm::WaitRead: begin
138 if (sbdata_valid_o) begin
-8-
139 state_d = dm::Idle;
140 // auto-increment address
141 addr_incr_en = sbautoincrement_i;
142 // check whether an "other" error has been encountered.
143 if (master_r_other_err_i) begin
-9-
144 sberror_valid_o = 1'b1;
==>
145 sberror_o = 3'd7;
146 // check whether there was a bus error (== bad address).
147 end else if (master_r_err_i) begin
-10-
148 sberror_valid_o = 1'b1;
==>
149 sberror_o = 3'd2;
150 end
MISSING_ELSE
==>
151 end
MISSING_ELSE
==>
152 end
153
154 dm::WaitWrite: begin
155 if (sbdata_valid_o) begin
-11-
156 state_d = dm::Idle;
157 // auto-increment address
158 addr_incr_en = sbautoincrement_i;
159 // check whether an "other" error has been encountered.
160 if (master_r_other_err_i) begin
-12-
161 sberror_valid_o = 1'b1;
==>
162 sberror_o = 3'd7;
163 // check whether there was a bus error (== bad address).
164 end else if (master_r_err_i) begin
-13-
165 sberror_valid_o = 1'b1;
==>
166 sberror_o = 3'd2;
167 end
MISSING_ELSE
==>
168 end
MISSING_ELSE
==>
169 end
170
171 default: state_d = dm::Idle; // catch parasitic state
==> (Excluded)
Exclude Annotation: VC_COV_UNR
Branches:
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | Status | Tests | Exclude Annotation |
| Idle |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T17,T18,T19 |
|
| Idle |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
|
| Idle |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T40 |
|
| Idle |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
|
| Idle |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T40 |
|
| Idle |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
|
| Read |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T17,T18,T19 |
|
| Read |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
Excluded |
|
VC_COV_UNR |
| Read |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T17,T18,T19 |
|
| Read |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T84 |
|
| Write |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T40 |
|
| Write |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T18,T19,T84 |
|
| WaitRead |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
Covered |
T40,T115,T20 |
|
| WaitRead |
- |
- |
- |
- |
- |
- |
1 |
0 |
1 |
- |
- |
- |
Covered |
T17,T45,T40 |
|
| WaitRead |
- |
- |
- |
- |
- |
- |
1 |
0 |
0 |
- |
- |
- |
Covered |
T18,T19,T40 |
|
| WaitRead |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T18,T19,T40 |
|
| WaitWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
1 |
- |
Covered |
T40,T115,T20 |
|
| WaitWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
1 |
Covered |
T40,T184,T116 |
|
| WaitWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
0 |
0 |
Covered |
T18,T19,T40 |
|
| WaitWrite |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
Covered |
T18,T19,T40 |
|
| default |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Excluded |
|
VC_COV_UNR |
175 if (32'(sbaccess_i) > BeIdxWidth && state_q != dm::Idle) begin
-1-
176 req = 1'b0;
==>
177 state_d = dm::Idle;
178 sberror_valid_o = 1'b1;
179 sberror_o = 3'd4; // unsupported size was requested
180 end
MISSING_ELSE
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T40,T183,T115 |
| 0 |
Covered |
T1,T2,T3 |
183 if (|(sbaddress_i & ~sbaccess_mask) && state_q != dm::Idle) begin
-1-
184 req = 1'b0;
==>
185 state_d = dm::Idle;
186 sberror_valid_o = 1'b1;
187 sberror_o = 3'd3; // alignment error
188 end
MISSING_ELSE
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T40,T183,T115 |
| 0 |
Covered |
T1,T2,T3 |
193 if (!rst_ni) begin
-1-
194 state_q <= dm::Idle;
==>
195 end else begin
196 state_q <= state_d;
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |