rcp_inner.tdxinit
14.3 KB
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
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
--probable 10
--probable
hypertrophic 20
--vcd on
--vcd_dumpvars (net)if_logic.* (net)if_logic.*.* (net)syn_clk_net
--vcd_dumpvars (net)syn_clk_net
--vcd /hosts/rayden.engr/var/tmp/tonyd/attest.dump.4
-------- bus definition --------------------------------
bus sys_ad_pad_bus binary sys_ad_pad[31] \
sys_ad_pad[30] \
sys_ad_pad[29] \
sys_ad_pad[28] \
sys_ad_pad[27] \
sys_ad_pad[26] \
sys_ad_pad[25] \
sys_ad_pad[24] \
sys_ad_pad[23] \
sys_ad_pad[22] \
sys_ad_pad[21] \
sys_ad_pad[20] \
sys_ad_pad[19] \
sys_ad_pad[18] \
sys_ad_pad[17] \
sys_ad_pad[16] \
sys_ad_pad[15] \
sys_ad_pad[14] \
sys_ad_pad[13] \
sys_ad_pad[12] \
sys_ad_pad[11] \
sys_ad_pad[10] \
sys_ad_pad[9] \
sys_ad_pad[8] \
sys_ad_pad[7] \
sys_ad_pad[6] \
sys_ad_pad[5] \
sys_ad_pad[4] \
sys_ad_pad[3] \
sys_ad_pad[2] \
sys_ad_pad[1] \
sys_ad_pad[0]
bus sys_cmd_pad_bus binary sys_cmd_pad[4] \
sys_cmd_pad[3] \
sys_cmd_pad[2] \
sys_cmd_pad[1] \
sys_cmd_pad[0]
bus ad16_data_pad_bus binary ad16_data_pad[15] \
ad16_data_pad[14] \
ad16_data_pad[13] \
ad16_data_pad[12] \
ad16_data_pad[11] \
ad16_data_pad[10] \
ad16_data_pad[9] \
ad16_data_pad[8] \
ad16_data_pad[7] \
ad16_data_pad[6] \
ad16_data_pad[5] \
ad16_data_pad[4] \
ad16_data_pad[3] \
ad16_data_pad[2] \
ad16_data_pad[1] \
ad16_data_pad[0]
bus vbus_data_pad_bus binary vbus_data_pad[6] \
vbus_data_pad[5] \
vbus_data_pad[4] \
vbus_data_pad[3] \
vbus_data_pad[2] \
vbus_data_pad[1] \
vbus_data_pad[0]
bus rbus_data_inAAA_bus binary rbus_data_inAAA63 \
rbus_data_inAAA62 \
rbus_data_inAAA61 \
rbus_data_inAAA60 \
rbus_data_inAAA59 \
rbus_data_inAAA58 \
rbus_data_inAAA57 \
rbus_data_inAAA56 \
rbus_data_inAAA55 \
rbus_data_inAAA54 \
rbus_data_inAAA53 \
rbus_data_inAAA52 \
rbus_data_inAAA51 \
rbus_data_inAAA50 \
rbus_data_inAAA49 \
rbus_data_inAAA48 \
rbus_data_inAAA47 \
rbus_data_inAAA46 \
rbus_data_inAAA45 \
rbus_data_inAAA44 \
rbus_data_inAAA43 \
rbus_data_inAAA42 \
rbus_data_inAAA41 \
rbus_data_inAAA40 \
rbus_data_inAAA39 \
rbus_data_inAAA38 \
rbus_data_inAAA37 \
rbus_data_inAAA36 \
rbus_data_inAAA35 \
rbus_data_inAAA34 \
rbus_data_inAAA33 \
rbus_data_inAAA32 \
rbus_data_inAAA31 \
rbus_data_inAAA30 \
rbus_data_inAAA29 \
rbus_data_inAAA28 \
rbus_data_inAAA27 \
rbus_data_inAAA26 \
rbus_data_inAAA25 \
rbus_data_inAAA24 \
rbus_data_inAAA23 \
rbus_data_inAAA22 \
rbus_data_inAAA21 \
rbus_data_inAAA20 \
rbus_data_inAAA19 \
rbus_data_inAAA18 \
rbus_data_inAAA17 \
rbus_data_inAAA16 \
rbus_data_inAAA15 \
rbus_data_inAAA14 \
rbus_data_inAAA13 \
rbus_data_inAAA12 \
rbus_data_inAAA11 \
rbus_data_inAAA10 \
rbus_data_inAAA9 \
rbus_data_inAAA8 \
rbus_data_inAAA7 \
rbus_data_inAAA6 \
rbus_data_inAAA5 \
rbus_data_inAAA4 \
rbus_data_inAAA3 \
rbus_data_inAAA2 \
rbus_data_inAAA1 \
rbus_data_inAAA0
bus rbus_extend_inAAA_bus binary rbus_extend_inAAA7 \
rbus_extend_inAAA6 \
rbus_extend_inAAA5 \
rbus_extend_inAAA4 \
rbus_extend_inAAA3 \
rbus_extend_inAAA2 \
rbus_extend_inAAA1 \
rbus_extend_inAAA0
bus rbus_control_inAAA_bus binary rbus_control_inAAA7 \
pad_0_rbus_control_in_6_ \
pad_0_rbus_control_in_5_ \
pad_0_rbus_control_in_4_ \
pad_0_rbus_control_in_3_ \
rbus_control_inAAA6 \
pad_0_rbus_control_in_1_ \
pad_0_rbus_control_in_0_
bus rac_sel_inAAA_bus binary rac_sel_inAAA3 \
rac_sel_inAAA2 \
rac_sel_inAAA1 \
rac_sel_inAAA0
bus rac_sel_outAAA_bus binary rac_sel_outAAA3 \
rac_sel_outAAA2 \
rac_sel_outAAA1 \
rac_sel_outAAA0
bus rbus_data_outAAA_bus binary rbus_data_outAAA63 \
rbus_data_outAAA62 \
rbus_data_outAAA61 \
rbus_data_outAAA60 \
rbus_data_outAAA59 \
rbus_data_outAAA58 \
rbus_data_outAAA57 \
rbus_data_outAAA56 \
rbus_data_outAAA55 \
rbus_data_outAAA54 \
rbus_data_outAAA53 \
rbus_data_outAAA52 \
rbus_data_outAAA51 \
rbus_data_outAAA50 \
rbus_data_outAAA49 \
rbus_data_outAAA48 \
rbus_data_outAAA47 \
rbus_data_outAAA46 \
rbus_data_outAAA45 \
rbus_data_outAAA44 \
rbus_data_outAAA43 \
rbus_data_outAAA42 \
rbus_data_outAAA41 \
rbus_data_outAAA40 \
rbus_data_outAAA39 \
rbus_data_outAAA38 \
rbus_data_outAAA37 \
rbus_data_outAAA36 \
rbus_data_outAAA35 \
rbus_data_outAAA34 \
rbus_data_outAAA33 \
rbus_data_outAAA32 \
rbus_data_outAAA31 \
rbus_data_outAAA30 \
rbus_data_outAAA29 \
rbus_data_outAAA28 \
rbus_data_outAAA27 \
rbus_data_outAAA26 \
rbus_data_outAAA25 \
rbus_data_outAAA24 \
rbus_data_outAAA23 \
rbus_data_outAAA22 \
rbus_data_outAAA21 \
rbus_data_outAAA20 \
rbus_data_outAAA19 \
rbus_data_outAAA18 \
rbus_data_outAAA17 \
rbus_data_outAAA16 \
rbus_data_outAAA15 \
rbus_data_outAAA14 \
rbus_data_outAAA13 \
rbus_data_outAAA12 \
rbus_data_outAAA11 \
rbus_data_outAAA10 \
rbus_data_outAAA9 \
rbus_data_outAAA8 \
rbus_data_outAAA7 \
rbus_data_outAAA6 \
rbus_data_outAAA5 \
rbus_data_outAAA4 \
rbus_data_outAAA3 \
rbus_data_outAAA2 \
rbus_data_outAAA1 \
rbus_data_outAAA0
bus c_ctl_iAAA_bus binary c_ctl_iAAA5 \
c_ctl_iAAA4 \
c_ctl_iAAA3 \
c_ctl_iAAA2 \
c_ctl_iAAA1 \
c_ctl_iAAA0
bus rbus_extend_outAAA_bus binary rbus_extend_outAAA7 \
rbus_extend_outAAA6 \
rbus_extend_outAAA5 \
rbus_extend_outAAA4 \
rbus_extend_outAAA3 \
rbus_extend_outAAA2 \
rbus_extend_outAAA1 \
rbus_extend_outAAA0
bus rbus_control_outAAA_bus binary rbus_control_outAAA7 \
rbus_control_outAAA6 \
rbus_control_outAAA5 \
rbus_control_outAAA4 \
rbus_control_outAAA3 \
rbus_control_outAAA2 \
rbus_control_outAAA1 \
rbus_control_outAAA0
bus rbus_enable_outAAA_bus binary rbus_enable_outAAA7 \
rbus_enable_outAAA6 \
rbus_enable_outAAA5 \
rbus_enable_outAAA4 \
rbus_enable_outAAA3 \
rbus_enable_outAAA2 \
rbus_enable_outAAA1 \
rbus_enable_outAAA0
-------- timeplate -------------------------------------
timeplate tplate1 period 100ns
syn_clk_net := input [ 0ns:U, 50ns:D ]; -- RZ format(force)
syn_clk_fd_net := input [ 0ns:U, 50ns:D ]; -- RZ format(force)
vclk_pad := input [ 0ns:D, 50ns:U ]; -- RZ format(force)
-- all other inputs
reset_l_pad := input [ 0ns:P, 20ns:S ]; -- NRZ format
test_pad := input [ 0ns:P, 20ns:S ]; -- NRZ format
p_valid_pad := input [ 0ns:P, 20ns:S ]; -- NRZ format
pif_rsp_pad := input [ 0ns:P, 20ns:S ]; -- NRZ format
testckt_clk_pad := input [ 0ns:P, 20ns:S ]; -- NRZ format
testckt_dir_pad := input [ 0ns:P, 20ns:S ]; -- NRZ format
rbus_data_inAAA_bus := input [ 0ns:P, 20ns:S ]; -- NRZ format
rbus_extend_inAAA_bus := input [ 0ns:P, 20ns:S ]; -- NRZ format
rbus_control_inAAA_bus := input [ 0ns:P, 20ns:S ]; -- NRZ format
bist_flag := input [ 0ns:P, 20ns:S ]; -- NRZ format
alloutput := output [ 0ns:X, 90ns:Q'edge ]; -- edge strobe 90ns
allbidir := input [ 0ns:P, 20ns:S ]; -- NRZ format
allbidir := output [ 0ns:X, 90ns:Q'edge ]; -- edge strobe 90ns
end
use_timeplate tplate1
-------- vector input -----------------------------------------
bus all jedec
vector in all
-------- simulation control -----------------------------------
compare_outputs on
stable_conflict bidir
--dct null
-- don't print the ram x-address report
xaddr 9 0
-------- vector output ----------------------------------------
--vector testvec all
--tvc on
--tvc rcp_inner.out.vec
--tvc null
--vector print all
--spt rcp_inner.result
----- turn off output ----
spt null
--run
--stop on vector 10
--stop on vector 84000
--quit
-------- toggles ---------------------------------------------
--toggle_count on
toggle_count on net_names