forked from lowRISC/opentitan
-
Notifications
You must be signed in to change notification settings - Fork 0
/
adc_ctrl_testplan.hjson
270 lines (229 loc) · 7.89 KB
/
adc_ctrl_testplan.hjson
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
{
name: "adc_ctrl"
import_testplans: ["hw/dv/tools/dvsim/testplans/csr_testplan.hjson",
"hw/dv/tools/dvsim/testplans/alert_test_testplan.hjson",
"hw/dv/tools/dvsim/testplans/intr_test_testplan.hjson",
"hw/dv/tools/dvsim/testplans/tl_device_access_types_testplan.hjson",
"hw/dv/tools/dvsim/testplans/stress_all_with_reset_testplan.hjson",
"adc_ctrl_sec_cm_testplan.hjson"]
testpoints: [
{
name: smoke
desc: '''
Verify datapath between AST ADC interface and ADC sample registers.
**Stimulus**:
For a number of iterations:
- Configure DUT no filters or events.
- Generate ADC data.
- Sample into capture registers using oneshot mode.
**Checks:**
- From monitored ADC data predict the value of the ADC sample register
- Compare sample registers against expected.
- Check oneshot bit of interrupt status register works as expected.
'''
stage: V1
tests: ["adc_ctrl_smoke"]
}
{
name: filters_polled
desc: '''
Verify filter functionality by polling filter status register.
**Stimulus**:
For a number of iterations:
- Configure DUT with randomized filter parameters, filters enabled
but no interrupts or wake events.
- Generate ADC data stream.
**Checks**:
- From monitored ADC data predict when filters should be triggered.
- Confirm this by reading the filter status register.
- Ensure that only one ADC channel is selected at a time.
'''
stage: V2
tests: ["adc_ctrl_filters_polled"]
}
{
name: filters_polled_fixed
desc: '''
As filters_polled but with filter parameters fixed during the test.
'''
stage: V2
tests: ["adc_ctrl_filters_polled_fixed"]
}
{
name: filters_interrupt
desc: '''
Verify filter interrupt functionality.
**Stimulus**:
For a number of iterations:
- Configure DUT with randomized filter parameters, filters and interrupts enabled.
- Generate ADC data stream.
**Checks**:
- From monitored ADC data predict when filters should be triggered.
- Confirm this by reading the filter status register and interrupt status register.
- Confirm correct interrupt sample value has been captured in ADC sample registers(s)
- Check interrupt signal operates as expected.
'''
stage: V2
tests: ["adc_ctrl_filters_interrupt"]
}
{
name: filters_interrupt_fixed
desc: '''
As filters_interrupt but with filter parameters fixed during the test.
'''
stage: V2
tests: ["adc_ctrl_filters_interrupt_fixed"]
}
{
name: filters_wakeup
desc: '''
Verify filter wakeup functionality
**Stimulus**:
For a number of iterations:
- Configure DUT with randomized filter parameters,
filters and wakeup enabled, low power sampling mode.
- Generate ADC data stream.
**Checks**:
- From monitored ADC data predict when filters should be triggered.
- Confirm this by reading the filter status register.
- Check wakeup signal operates as expected.
'''
stage: V2
tests: ["adc_ctrl_filters_wakeup"]
}
{
name: filters_wakeup_fixed
desc: '''
As filters_wakeup but with filter parameters fixed during the test.
'''
stage: V2
tests: ["adc_ctrl_filters_wakeup_fixed"]
}
{
name: filters_both
desc: '''
Verify filter wakeup and interrupt function correctly together
**Stimulus**:
For a number of iterations:
- Configure DUT with randomized filter parameters, filters,
interrupt and wakeup enabled, randomized low/high power sampling mode.
- Generate ADC data stream.
**Checks**:
- From monitored ADC data predict when filters should be triggered.
- Confirm this by reading the filter status register and interrupt status register.
- Check wakeup signal operates as expected.
- Check interrupt signal operates as expected.
'''
stage: V2
tests: ["adc_ctrl_filters_both"]
}
{
name: clock_gating
desc: '''
Verify filter wakeup and interrupts function correctly when fast clock is
turned off as would occur in the system.
**Stimulus**:
For a number of iterations:
- Configure DUT with randomized filter parameters, filters,
interrupt and wakeup enabled, low power sampling mode.
- Turn off fast clock.
- Generate ADC data stream.
- When wakeup occurs after a further random period turn fast clock back on.
**Checks**:
- From monitored ADC data predict when filters should be triggered.
- Confirm this by reading the filter status register and interrupt status register.
- Check wakeup signal operates as expected.
- Check interrupt signal operates as expected.
'''
stage: V2
tests: ["adc_ctrl_clock_gating"]
}
{
name: poweron_counter
desc: '''
Verify ADC power on counter
**Stimulus**:
For a number of iterations:
- Configure DUT with a random ADC power on count.
- Enable ADC.
- Generate ADC data stream.
**Checks**:
- Confirm timing of power down and channel select signals to ADC.
'''
stage: V2
tests: ["adc_ctrl_poweron_counter"]
}
{
name: lowpower_counter
desc: '''
Verify ADC low power counter
**Stimulus**:
For a number of iterations:
- Configure DUT with a random low power sample count.
- Enable ADC in low power mode.
- Generate ADC data stream.
**Checks**:
- Confirm return to fast sampling happens as expected.
'''
stage: V2
tests: ["adc_ctrl_lowpower_counter"]
}
{
name: fsm_reset
desc: '''
Verify ADC controller FSM software reset
**Stimulus**:
For a number of iterations:
- Configure DUT with a random low power sample count.
- Enable ADC randomly in low or high power mode.
- Generate ADC data stream.
- Trigger a software reset by writing to adc_fsm_rst register.
**Checks**:
- Ensure ADC controller FSM and counters are reset.
'''
stage: V2
tests: ["adc_ctrl_fsm_reset"]
}
{
name: stress_all
desc: '''
Combine above sequences in one test then randomly select for running
Stimulus:
- Start sequences and randomly add reset between each sequence
Checking:
- All sequences should be finished and checked by the scoreboard
'''
stage: V2
tests: ["adc_ctrl_stress_all"]
}
]
covergroups: [
{
name: adc_ctrl_testmode_cg
desc: '''
Cover all operation modes of adc controller
'''
}
{
name: adc_ctrl_filter_cg
desc: '''
Cover filter configuration (one instance per filter)
'''
}
{
name: adc_ctrl_fsm_reset_cg
desc: '''
Cover FSM state and counter values when fsm_reset is triggered
'''
}
{
name: adc_ctrl_hw_reset_cg
desc: '''
Cover FSM state and counter values when hardware reset is asserted
'''
}
]
}