lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / cnes_guidelines / rule / data / CNE_04500_bad.json @ 3fd18385
History | View | Annotate | Download (22.6 KB)
1 |
{ |
---|---|
2 |
"DESIGN_FILE" : {
|
3 |
"design_units" : [{
|
4 |
"contexts" : [["LIBRARY_CLAUSE", [["IDENTIFIER", "IEEE"]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "IEEE"], ["SIMPLE_NAME", "std_logic_1164"]]]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "IEEE"], ["SIMPLE_NAME", "numeric_std"]]]]]], "library" : ["ENTITY_DECLARATION", { |
5 |
"name" : ["IDENTIFIER", "CNE_04500_bad"], "generics" : [{ |
6 |
"names" : [["IDENTIFIER", "g_Width"]], "typ" : { |
7 |
"name" : ["SIMPLE_NAME", "positive"]} |
8 |
, "expr" : ["EXPRESSION", { |
9 |
"args" : [["EXPRESSION", { |
10 |
"args" : [["EXPRESSION", { |
11 |
"args" : [["EXPRESSION", { |
12 |
"args" : [["CONSTANT_VALUE", { |
13 |
"value" : ["CST_LITERAL", "4"]} |
14 |
]]} |
15 |
]]} |
16 |
]]} |
17 |
]]} |
18 |
]} |
19 |
], "ports" : [{
|
20 |
"names" : [["IDENTIFIER", "i_Clock"]], "mode" : ["in"], "typ" : { |
21 |
"name" : ["SIMPLE_NAME", "std_logic"]} |
22 |
} |
23 |
, { |
24 |
"names" : [["IDENTIFIER", "i_Reset_n"]], "mode" : ["in"], "typ" : { |
25 |
"name" : ["SIMPLE_NAME", "std_logic"]} |
26 |
} |
27 |
, { |
28 |
"names" : [["IDENTIFIER", "i_Data"]], "mode" : ["in"], "typ" : { |
29 |
"name" : ["SIMPLE_NAME", "std_logic_vector"], "const" : ["INDEX_CONSTRAINT", { |
30 |
"ranges" : [["RANGE_WITH_DIRECTION", { |
31 |
"direction" : "downto", "from" : ["EXPRESSION", { |
32 |
"args" : [["EXPRESSION", { |
33 |
"id" : "-", "args" : [["EXPRESSION", { |
34 |
"args" : [["CALL", ["SIMPLE_NAME", "g_Width"]]]} |
35 |
], ["EXPRESSION", {
|
36 |
"args" : [["CONSTANT_VALUE", { |
37 |
"value" : ["CST_LITERAL", "1"]} |
38 |
]]} |
39 |
]]} |
40 |
]]} |
41 |
], "_to" : ["EXPRESSION", { |
42 |
"args" : [["EXPRESSION", { |
43 |
"args" : [["CONSTANT_VALUE", { |
44 |
"value" : ["CST_LITERAL", "0"]} |
45 |
]]} |
46 |
]]} |
47 |
]} |
48 |
]]} |
49 |
]} |
50 |
} |
51 |
, { |
52 |
"names" : [["IDENTIFIER", "o_Sum"]], "mode" : ["out"], "typ" : { |
53 |
"name" : ["SIMPLE_NAME", "std_logic_vector"], "const" : ["INDEX_CONSTRAINT", { |
54 |
"ranges" : [["RANGE_WITH_DIRECTION", { |
55 |
"direction" : "downto", "from" : ["EXPRESSION", { |
56 |
"args" : [["EXPRESSION", { |
57 |
"args" : [["CALL", ["SIMPLE_NAME", "g_Width"]]]} |
58 |
]]} |
59 |
], "_to" : ["EXPRESSION", { |
60 |
"args" : [["EXPRESSION", { |
61 |
"args" : [["CONSTANT_VALUE", { |
62 |
"value" : ["CST_LITERAL", "0"]} |
63 |
]]} |
64 |
]]} |
65 |
]} |
66 |
]]} |
67 |
]} |
68 |
} |
69 |
], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []} |
70 |
]} |
71 |
, { |
72 |
"contexts" : [], "library" : ["ARCHITECTURE_BODY", { |
73 |
"name" : ["IDENTIFIER", "Behavioral"], "entity" : ["IDENTIFIER", "CNE_04500_bad"], "ARCHITECTURE_DECLARATIVE_PART" : [{ |
74 |
"definition" : ["TYPE_DECLARATION", { |
75 |
"name" : ["IDENTIFIER", "Data_4_Reg"], "definition" : ["ARRAY_TYPE_DEFINITION", { |
76 |
"const" : ["INDEX_CONSTRAINT", { |
77 |
"ranges" : [["RANGE_WITH_DIRECTION", { |
78 |
"direction" : "to", "from" : ["EXPRESSION", { |
79 |
"args" : [["EXPRESSION", { |
80 |
"args" : [["CONSTANT_VALUE", { |
81 |
"value" : ["CST_LITERAL", "0"]} |
82 |
]]} |
83 |
]]} |
84 |
], "_to" : ["EXPRESSION", { |
85 |
"args" : [["EXPRESSION", { |
86 |
"args" : [["CONSTANT_VALUE", { |
87 |
"value" : ["CST_LITERAL", "3"]} |
88 |
]]} |
89 |
]]} |
90 |
]} |
91 |
]]} |
92 |
], "definition" : {
|
93 |
"name" : ["SIMPLE_NAME", "std_logic_vector"], "const" : ["INDEX_CONSTRAINT", { |
94 |
"ranges" : [["RANGE_WITH_DIRECTION", { |
95 |
"direction" : "downto", "from" : ["EXPRESSION", { |
96 |
"args" : [["EXPRESSION", { |
97 |
"id" : "-", "args" : [["EXPRESSION", { |
98 |
"args" : [["CALL", ["SIMPLE_NAME", "g_Width"]]]} |
99 |
], ["EXPRESSION", {
|
100 |
"args" : [["CONSTANT_VALUE", { |
101 |
"value" : ["CST_LITERAL", "1"]} |
102 |
]]} |
103 |
]]} |
104 |
]]} |
105 |
], "_to" : ["EXPRESSION", { |
106 |
"args" : [["EXPRESSION", { |
107 |
"args" : [["CONSTANT_VALUE", { |
108 |
"value" : ["CST_LITERAL", "0"]} |
109 |
]]} |
110 |
]]} |
111 |
]} |
112 |
]]} |
113 |
]} |
114 |
} |
115 |
]} |
116 |
]} |
117 |
, { |
118 |
"declaration" : ["SIGNAL_DECLARATION", { |
119 |
"names" : [["IDENTIFIER", "Data_Reg"]], "typ" : { |
120 |
"name" : ["SIMPLE_NAME", "Data_4_Reg"]} |
121 |
} |
122 |
]} |
123 |
, { |
124 |
"declaration" : ["SIGNAL_DECLARATION", { |
125 |
"names" : [["IDENTIFIER", "Sum"]], "typ" : { |
126 |
"name" : ["SIMPLE_NAME", "std_logic_vector"], "const" : ["INDEX_CONSTRAINT", { |
127 |
"ranges" : [["RANGE_WITH_DIRECTION", { |
128 |
"direction" : "downto", "from" : ["EXPRESSION", { |
129 |
"args" : [["EXPRESSION", { |
130 |
"args" : [["CALL", ["SIMPLE_NAME", "g_Width"]]]} |
131 |
]]} |
132 |
], "_to" : ["EXPRESSION", { |
133 |
"args" : [["EXPRESSION", { |
134 |
"args" : [["CONSTANT_VALUE", { |
135 |
"value" : ["CST_LITERAL", "0"]} |
136 |
]]} |
137 |
]]} |
138 |
]} |
139 |
]]} |
140 |
]} |
141 |
} |
142 |
]} |
143 |
, { |
144 |
"declaration" : ["SIGNAL_DECLARATION", { |
145 |
"names" : [["IDENTIFIER", "Sum_r"]], "typ" : { |
146 |
"name" : ["SIMPLE_NAME", "std_logic_vector"], "const" : ["INDEX_CONSTRAINT", { |
147 |
"ranges" : [["RANGE_WITH_DIRECTION", { |
148 |
"direction" : "downto", "from" : ["EXPRESSION", { |
149 |
"args" : [["EXPRESSION", { |
150 |
"args" : [["CALL", ["SIMPLE_NAME", "g_Width"]]]} |
151 |
]]} |
152 |
], "_to" : ["EXPRESSION", { |
153 |
"args" : [["EXPRESSION", { |
154 |
"args" : [["CONSTANT_VALUE", { |
155 |
"value" : ["CST_LITERAL", "0"]} |
156 |
]]} |
157 |
]]} |
158 |
]} |
159 |
]]} |
160 |
]} |
161 |
} |
162 |
]} |
163 |
], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", { |
164 |
"id" : ["IDENTIFIER", "p_Reg"], "active_sigs" : [["SIMPLE_NAME", "i_Reset_n"], ["SIMPLE_NAME", "i_Clock"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", { |
165 |
"if_cases" : [{
|
166 |
"if_cond" : ["EXPRESSION", { |
167 |
"args" : [["EXPRESSION", { |
168 |
"args" : [["EXPRESSION", { |
169 |
"args" : [["EXPRESSION", { |
170 |
"args" : [["EXPRESSION", { |
171 |
"id" : "=", "args" : [["EXPRESSION", { |
172 |
"args" : [["EXPRESSION", { |
173 |
"args" : [["EXPRESSION", { |
174 |
"args" : [["CALL", ["SIMPLE_NAME", "i_Reset_n"]]]} |
175 |
]]} |
176 |
]]} |
177 |
], ["EXPRESSION", {
|
178 |
"args" : [["EXPRESSION", { |
179 |
"args" : [["EXPRESSION", { |
180 |
"args" : [["CONSTANT_VALUE", { |
181 |
"value" : ["CST_LITERAL", "'0'"]} |
182 |
]]} |
183 |
]]} |
184 |
]]} |
185 |
]]} |
186 |
]]} |
187 |
]]} |
188 |
]]} |
189 |
]]} |
190 |
], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", { |
191 |
"lhs" : ["SIMPLE_NAME", "Data_Reg"], "rhs" : [{ |
192 |
"value" : ["EXPRESSION", { |
193 |
"args" : [["EXPRESSION", { |
194 |
"args" : [["EXPRESSION", { |
195 |
"args" : [["EXPRESSION", { |
196 |
"args" : [["AGGREGATE", { |
197 |
"elems" : [{
|
198 |
"choices" : [["OTHERS"]], "expr" : ["EXPRESSION", { |
199 |
"args" : [["EXPRESSION", { |
200 |
"args" : [["EXPRESSION", { |
201 |
"args" : [["EXPRESSION", { |
202 |
"args" : [["AGGREGATE", { |
203 |
"elems" : [{
|
204 |
"choices" : [["OTHERS"]], "expr" : ["EXPRESSION", { |
205 |
"args" : [["EXPRESSION", { |
206 |
"args" : [["EXPRESSION", { |
207 |
"args" : [["EXPRESSION", { |
208 |
"args" : [["CONSTANT_VALUE", { |
209 |
"value" : ["CST_LITERAL", "'0'"]} |
210 |
]]} |
211 |
]]} |
212 |
]]} |
213 |
]]} |
214 |
]} |
215 |
]} |
216 |
]]} |
217 |
]]} |
218 |
]]} |
219 |
]]} |
220 |
]} |
221 |
]} |
222 |
]]} |
223 |
]]} |
224 |
]]} |
225 |
]]} |
226 |
]} |
227 |
]} |
228 |
]]} |
229 |
, { |
230 |
"if_cond" : ["EXPRESSION", { |
231 |
"args" : [["EXPRESSION", { |
232 |
"args" : [["EXPRESSION", { |
233 |
"args" : [["EXPRESSION", { |
234 |
"args" : [["EXPRESSION", { |
235 |
"args" : [["EXPRESSION", { |
236 |
"args" : [["EXPRESSION", { |
237 |
"args" : [["EXPRESSION", { |
238 |
"args" : [["CALL", ["INDEXED_NAME", { |
239 |
"id" : ["SIMPLE_NAME", "rising_edge"], "exprs" : [["EXPRESSION", { |
240 |
"args" : [["EXPRESSION", { |
241 |
"args" : [["EXPRESSION", { |
242 |
"args" : [["EXPRESSION", { |
243 |
"args" : [["CALL", ["SIMPLE_NAME", "i_Clock"]]]} |
244 |
]]} |
245 |
]]} |
246 |
]]} |
247 |
]]} |
248 |
]]]} |
249 |
]]} |
250 |
]]} |
251 |
]]} |
252 |
]]} |
253 |
]]} |
254 |
]]} |
255 |
]]} |
256 |
], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", { |
257 |
"lhs" : ["INDEXED_NAME", { |
258 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
259 |
"args" : [["EXPRESSION", { |
260 |
"args" : [["EXPRESSION", { |
261 |
"args" : [["EXPRESSION", { |
262 |
"args" : [["CONSTANT_VALUE", { |
263 |
"value" : ["CST_LITERAL", "3"]} |
264 |
]]} |
265 |
]]} |
266 |
]]} |
267 |
]]} |
268 |
]]} |
269 |
], "rhs" : [{
|
270 |
"value" : ["EXPRESSION", { |
271 |
"args" : [["EXPRESSION", { |
272 |
"args" : [["EXPRESSION", { |
273 |
"args" : [["EXPRESSION", { |
274 |
"args" : [["CALL", ["INDEXED_NAME", { |
275 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
276 |
"args" : [["EXPRESSION", { |
277 |
"args" : [["EXPRESSION", { |
278 |
"args" : [["EXPRESSION", { |
279 |
"args" : [["CONSTANT_VALUE", { |
280 |
"value" : ["CST_LITERAL", "2"]} |
281 |
]]} |
282 |
]]} |
283 |
]]} |
284 |
]]} |
285 |
]]} |
286 |
]]]} |
287 |
]]} |
288 |
]]} |
289 |
]]} |
290 |
]} |
291 |
]} |
292 |
], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
293 |
"lhs" : ["INDEXED_NAME", { |
294 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
295 |
"args" : [["EXPRESSION", { |
296 |
"args" : [["EXPRESSION", { |
297 |
"args" : [["EXPRESSION", { |
298 |
"args" : [["CONSTANT_VALUE", { |
299 |
"value" : ["CST_LITERAL", "2"]} |
300 |
]]} |
301 |
]]} |
302 |
]]} |
303 |
]]} |
304 |
]]} |
305 |
], "rhs" : [{
|
306 |
"value" : ["EXPRESSION", { |
307 |
"args" : [["EXPRESSION", { |
308 |
"args" : [["EXPRESSION", { |
309 |
"args" : [["EXPRESSION", { |
310 |
"args" : [["CALL", ["INDEXED_NAME", { |
311 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
312 |
"args" : [["EXPRESSION", { |
313 |
"args" : [["EXPRESSION", { |
314 |
"args" : [["EXPRESSION", { |
315 |
"args" : [["CONSTANT_VALUE", { |
316 |
"value" : ["CST_LITERAL", "1"]} |
317 |
]]} |
318 |
]]} |
319 |
]]} |
320 |
]]} |
321 |
]]} |
322 |
]]]} |
323 |
]]} |
324 |
]]} |
325 |
]]} |
326 |
]} |
327 |
]} |
328 |
], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
329 |
"lhs" : ["INDEXED_NAME", { |
330 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
331 |
"args" : [["EXPRESSION", { |
332 |
"args" : [["EXPRESSION", { |
333 |
"args" : [["EXPRESSION", { |
334 |
"args" : [["CONSTANT_VALUE", { |
335 |
"value" : ["CST_LITERAL", "1"]} |
336 |
]]} |
337 |
]]} |
338 |
]]} |
339 |
]]} |
340 |
]]} |
341 |
], "rhs" : [{
|
342 |
"value" : ["EXPRESSION", { |
343 |
"args" : [["EXPRESSION", { |
344 |
"args" : [["EXPRESSION", { |
345 |
"args" : [["EXPRESSION", { |
346 |
"args" : [["CALL", ["INDEXED_NAME", { |
347 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
348 |
"args" : [["EXPRESSION", { |
349 |
"args" : [["EXPRESSION", { |
350 |
"args" : [["EXPRESSION", { |
351 |
"args" : [["CONSTANT_VALUE", { |
352 |
"value" : ["CST_LITERAL", "0"]} |
353 |
]]} |
354 |
]]} |
355 |
]]} |
356 |
]]} |
357 |
]]} |
358 |
]]]} |
359 |
]]} |
360 |
]]} |
361 |
]]} |
362 |
]} |
363 |
]} |
364 |
], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
365 |
"lhs" : ["INDEXED_NAME", { |
366 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
367 |
"args" : [["EXPRESSION", { |
368 |
"args" : [["EXPRESSION", { |
369 |
"args" : [["EXPRESSION", { |
370 |
"args" : [["CONSTANT_VALUE", { |
371 |
"value" : ["CST_LITERAL", "0"]} |
372 |
]]} |
373 |
]]} |
374 |
]]} |
375 |
]]} |
376 |
]]} |
377 |
], "rhs" : [{
|
378 |
"value" : ["EXPRESSION", { |
379 |
"args" : [["EXPRESSION", { |
380 |
"args" : [["EXPRESSION", { |
381 |
"args" : [["EXPRESSION", { |
382 |
"args" : [["CALL", ["SIMPLE_NAME", "i_Data"]]]} |
383 |
]]} |
384 |
]]} |
385 |
]]} |
386 |
]} |
387 |
]} |
388 |
], ["SIGNAL_ASSIGNMENT_STATEMENT", {
|
389 |
"lhs" : ["SIMPLE_NAME", "Sum_r"], "rhs" : [{ |
390 |
"value" : ["EXPRESSION", { |
391 |
"args" : [["EXPRESSION", { |
392 |
"args" : [["EXPRESSION", { |
393 |
"args" : [["EXPRESSION", { |
394 |
"args" : [["CALL", ["SIMPLE_NAME", "Sum"]]]} |
395 |
]]} |
396 |
]]} |
397 |
]]} |
398 |
]} |
399 |
]} |
400 |
]]} |
401 |
]} |
402 |
]]} |
403 |
], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
|
404 |
"postponed" : false, "lhs" : ["SIMPLE_NAME", "Sum"], "rhs" : [{ |
405 |
"expr" : [{
|
406 |
"value" : ["EXPRESSION", { |
407 |
"args" : [["EXPRESSION", { |
408 |
"args" : [["EXPRESSION", { |
409 |
"args" : [["EXPRESSION", { |
410 |
"args" : [["CALL", ["INDEXED_NAME", { |
411 |
"id" : ["SIMPLE_NAME", "std_logic_vector"], "exprs" : [["EXPRESSION", { |
412 |
"args" : [["EXPRESSION", { |
413 |
"args" : [["EXPRESSION", { |
414 |
"args" : [["EXPRESSION", { |
415 |
"id" : "+", "args" : [["EXPRESSION", { |
416 |
"args" : [["CALL", ["INDEXED_NAME", { |
417 |
"id" : ["SIMPLE_NAME", "unsigned"], "exprs" : [["EXPRESSION", { |
418 |
"args" : [["EXPRESSION", { |
419 |
"args" : [["EXPRESSION", { |
420 |
"args" : [["EXPRESSION", { |
421 |
"id" : "&", "args" : [["EXPRESSION", { |
422 |
"args" : [["CONSTANT_VALUE", { |
423 |
"value" : ["CST_LITERAL", "'0'"]} |
424 |
]]} |
425 |
], ["EXPRESSION", {
|
426 |
"args" : [["CALL", ["INDEXED_NAME", { |
427 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
428 |
"args" : [["EXPRESSION", { |
429 |
"args" : [["EXPRESSION", { |
430 |
"args" : [["EXPRESSION", { |
431 |
"args" : [["CONSTANT_VALUE", { |
432 |
"value" : ["CST_LITERAL", "3"]} |
433 |
]]} |
434 |
]]} |
435 |
]]} |
436 |
]]} |
437 |
]]} |
438 |
]]]} |
439 |
]]} |
440 |
]]} |
441 |
]]} |
442 |
]]} |
443 |
]]} |
444 |
]]]} |
445 |
], ["EXPRESSION", {
|
446 |
"args" : [["CALL", ["INDEXED_NAME", { |
447 |
"id" : ["SIMPLE_NAME", "unsigned"], "exprs" : [["EXPRESSION", { |
448 |
"args" : [["EXPRESSION", { |
449 |
"args" : [["EXPRESSION", { |
450 |
"args" : [["EXPRESSION", { |
451 |
"id" : "&", "args" : [["EXPRESSION", { |
452 |
"args" : [["CONSTANT_VALUE", { |
453 |
"value" : ["CST_LITERAL", "'0'"]} |
454 |
]]} |
455 |
], ["EXPRESSION", {
|
456 |
"args" : [["CALL", ["INDEXED_NAME", { |
457 |
"id" : ["SIMPLE_NAME", "Data_Reg"], "exprs" : [["EXPRESSION", { |
458 |
"args" : [["EXPRESSION", { |
459 |
"args" : [["EXPRESSION", { |
460 |
"args" : [["EXPRESSION", { |
461 |
"args" : [["CONSTANT_VALUE", { |
462 |
"value" : ["CST_LITERAL", "2"]} |
463 |
]]} |
464 |
]]} |
465 |
]]} |
466 |
]]} |
467 |
]]} |
468 |
]]]} |
469 |
]]} |
470 |
]]} |
471 |
]]} |
472 |
]]} |
473 |
]]} |
474 |
]]]} |
475 |
]]} |
476 |
]]} |
477 |
]]} |
478 |
]]} |
479 |
]]} |
480 |
]]]} |
481 |
]]} |
482 |
]]} |
483 |
]]} |
484 |
]} |
485 |
]} |
486 |
]} |
487 |
], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
|
488 |
"postponed" : false, "lhs" : ["SIMPLE_NAME", "o_Sum"], "rhs" : [{ |
489 |
"expr" : [{
|
490 |
"value" : ["EXPRESSION", { |
491 |
"args" : [["EXPRESSION", { |
492 |
"args" : [["EXPRESSION", { |
493 |
"args" : [["EXPRESSION", { |
494 |
"args" : [["CALL", ["SIMPLE_NAME", "Sum_r"]]]} |
495 |
]]} |
496 |
]]} |
497 |
]]} |
498 |
]} |
499 |
]} |
500 |
]} |
501 |
]]} |
502 |
]} |
503 |
]} |
504 |
} |