Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / billowitch / compliant / tc1321.json @ 3fd18385

History | View | Annotate | Download (19.5 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c08s04b00x00p09n03i01321ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c08s04b00x00p09n03i01321arch"], "entity" : ["IDENTIFIER", "c08s04b00x00p09n03i01321ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "S1"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "BIT"]}
13
            , "init_val" : ["EXPRESSION", {
14
              "args" : [["EXPRESSION", {
15
                "args" : [["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["CONSTANT_VALUE", {
18
                      "value" : ["CST_LITERAL", "'1'"]}
19
                    ]]}
20
                  ]]}
21
                ]]}
22
              ]]}
23
            ]}
24
          ]}
25
        , {
26
          "declaration" : ["SIGNAL_DECLARATION", {
27
            "names" : [["IDENTIFIER", "S2"]], "typ" : {
28
              "name" : ["SIMPLE_NAME", "BIT"]}
29
            , "init_val" : ["EXPRESSION", {
30
              "args" : [["EXPRESSION", {
31
                "args" : [["EXPRESSION", {
32
                  "args" : [["EXPRESSION", {
33
                    "args" : [["CONSTANT_VALUE", {
34
                      "value" : ["CST_LITERAL", "'1'"]}
35
                    ]]}
36
                  ]]}
37
                ]]}
38
              ]]}
39
            ]}
40
          ]}
41
        , {
42
          "declaration" : ["SIGNAL_DECLARATION", {
43
            "names" : [["IDENTIFIER", "S"]], "typ" : {
44
              "name" : ["SIMPLE_NAME", "BIT"]}
45
            , "init_val" : ["EXPRESSION", {
46
              "args" : [["EXPRESSION", {
47
                "args" : [["EXPRESSION", {
48
                  "args" : [["EXPRESSION", {
49
                    "args" : [["CONSTANT_VALUE", {
50
                      "value" : ["CST_LITERAL", "'1'"]}
51
                    ]]}
52
                  ]]}
53
                ]]}
54
              ]]}
55
            ]}
56
          ]}
57
        ], "ARCHITECTURE_STATEMENT_PART" : [["CONDITIONAL_SIGNAL_ASSIGNMENT", {
58
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "S1"], "rhs" : [{
59
            "expr" : [{
60
              "value" : ["EXPRESSION", {
61
                "args" : [["EXPRESSION", {
62
                  "args" : [["EXPRESSION", {
63
                    "args" : [["EXPRESSION", {
64
                      "args" : [["CONSTANT_VALUE", {
65
                        "value" : ["CST_LITERAL", "'0'"]}
66
                      ]]}
67
                    ]]}
68
                  ]]}
69
                ]]}
70
              ], "delay" : ["EXPRESSION", {
71
                "args" : [["EXPRESSION", {
72
                  "args" : [["EXPRESSION", {
73
                    "args" : [["EXPRESSION", {
74
                      "args" : [["CONSTANT_VALUE", {
75
                        "value" : ["CST_LITERAL", "5"], "unit_name" : ["SIMPLE_NAME", "ns"]}
76
                      ]]}
77
                    ]]}
78
                  ]]}
79
                ]]}
80
              ]}
81
            , {
82
              "value" : ["EXPRESSION", {
83
                "args" : [["EXPRESSION", {
84
                  "args" : [["EXPRESSION", {
85
                    "args" : [["EXPRESSION", {
86
                      "args" : [["CONSTANT_VALUE", {
87
                        "value" : ["CST_LITERAL", "'1'"]}
88
                      ]]}
89
                    ]]}
90
                  ]]}
91
                ]]}
92
              ], "delay" : ["EXPRESSION", {
93
                "args" : [["EXPRESSION", {
94
                  "args" : [["EXPRESSION", {
95
                    "args" : [["EXPRESSION", {
96
                      "args" : [["CONSTANT_VALUE", {
97
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
98
                      ]]}
99
                    ]]}
100
                  ]]}
101
                ]]}
102
              ]}
103
            ]}
104
          ]}
105
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
106
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "S2"], "rhs" : [{
107
            "expr" : [{
108
              "value" : ["EXPRESSION", {
109
                "args" : [["EXPRESSION", {
110
                  "args" : [["EXPRESSION", {
111
                    "args" : [["EXPRESSION", {
112
                      "args" : [["CALL", ["SIMPLE_NAME", "S1"]]]}
113
                    ]]}
114
                  ]]}
115
                ]]}
116
              ], "delay" : ["EXPRESSION", {
117
                "args" : [["EXPRESSION", {
118
                  "args" : [["EXPRESSION", {
119
                    "args" : [["EXPRESSION", {
120
                      "args" : [["CONSTANT_VALUE", {
121
                        "value" : ["CST_LITERAL", "15"], "unit_name" : ["SIMPLE_NAME", "ns"]}
122
                      ]]}
123
                    ]]}
124
                  ]]}
125
                ]]}
126
              ]}
127
            ]}
128
          ]}
129
        ], ["PROCESS_STATEMENT", {
130
          "id" : ["IDENTIFIER", "TEST"], "PROCESS_DECLARATIVE_PART" : [{
131
            "declaration" : ["VARIABLE_DECLARATION", {
132
              "names" : [["IDENTIFIER", "k"]], "typ" : {
133
                "name" : ["SIMPLE_NAME", "integer"]}
134
              , "init_val" : ["EXPRESSION", {
135
                "args" : [["EXPRESSION", {
136
                  "args" : [["EXPRESSION", {
137
                    "args" : [["EXPRESSION", {
138
                      "args" : [["CONSTANT_VALUE", {
139
                        "value" : ["CST_LITERAL", "0"]}
140
                      ]]}
141
                    ]]}
142
                  ]]}
143
                ]]}
144
              ]}
145
            ]}
146
          ], "active_sigs" : [["SIMPLE_NAME", "S2"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
147
            "if_cases" : [{
148
              "if_cond" : ["EXPRESSION", {
149
                "args" : [["EXPRESSION", {
150
                  "args" : [["EXPRESSION", {
151
                    "args" : [["EXPRESSION", {
152
                      "args" : [["EXPRESSION", {
153
                        "id" : "and", "args" : [["EXPRESSION", {
154
                          "args" : [["EXPRESSION", {
155
                            "args" : [["EXPRESSION", {
156
                              "args" : [["EXPRESSION", {
157
                                "args" : [["EXPRESSION", {
158
                                  "id" : "=", "args" : [["EXPRESSION", {
159
                                    "args" : [["EXPRESSION", {
160
                                      "args" : [["EXPRESSION", {
161
                                        "args" : [["CALL", ["SIMPLE_NAME", "S2"]]]}
162
                                      ]]}
163
                                    ]]}
164
                                  ], ["EXPRESSION", {
165
                                    "args" : [["EXPRESSION", {
166
                                      "args" : [["EXPRESSION", {
167
                                        "args" : [["CONSTANT_VALUE", {
168
                                          "value" : ["CST_LITERAL", "'0'"]}
169
                                        ]]}
170
                                      ]]}
171
                                    ]]}
172
                                  ]]}
173
                                ]]}
174
                              ]]}
175
                            ]]}
176
                          ]]}
177
                        ], ["EXPRESSION", {
178
                          "args" : [["EXPRESSION", {
179
                            "args" : [["EXPRESSION", {
180
                              "args" : [["EXPRESSION", {
181
                                "args" : [["EXPRESSION", {
182
                                  "id" : "=", "args" : [["EXPRESSION", {
183
                                    "args" : [["EXPRESSION", {
184
                                      "args" : [["EXPRESSION", {
185
                                        "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
186
                                      ]]}
187
                                    ]]}
188
                                  ], ["EXPRESSION", {
189
                                    "args" : [["EXPRESSION", {
190
                                      "args" : [["EXPRESSION", {
191
                                        "args" : [["CONSTANT_VALUE", {
192
                                          "value" : ["CST_LITERAL", "20"], "unit_name" : ["SIMPLE_NAME", "ns"]}
193
                                        ]]}
194
                                      ]]}
195
                                    ]]}
196
                                  ]]}
197
                                ]]}
198
                              ]]}
199
                            ]]}
200
                          ]]}
201
                        ]]}
202
                      ]]}
203
                    ]]}
204
                  ]]}
205
                ]]}
206
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
207
                "lhs" : ["SIMPLE_NAME", "k"], "rhs" : ["EXPRESSION", {
208
                  "args" : [["EXPRESSION", {
209
                    "args" : [["EXPRESSION", {
210
                      "args" : [["EXPRESSION", {
211
                        "args" : [["CONSTANT_VALUE", {
212
                          "value" : ["CST_LITERAL", "1"]}
213
                        ]]}
214
                      ]]}
215
                    ]]}
216
                  ]]}
217
                ]}
218
              ]]}
219
            ]}
220
          ], ["IF_STATEMENT", {
221
            "if_cases" : [{
222
              "if_cond" : ["EXPRESSION", {
223
                "args" : [["EXPRESSION", {
224
                  "args" : [["EXPRESSION", {
225
                    "args" : [["EXPRESSION", {
226
                      "args" : [["EXPRESSION", {
227
                        "id" : "and", "args" : [["EXPRESSION", {
228
                          "id" : "and", "args" : [["EXPRESSION", {
229
                            "args" : [["EXPRESSION", {
230
                              "args" : [["EXPRESSION", {
231
                                "args" : [["EXPRESSION", {
232
                                  "args" : [["EXPRESSION", {
233
                                    "id" : "=", "args" : [["EXPRESSION", {
234
                                      "args" : [["EXPRESSION", {
235
                                        "args" : [["EXPRESSION", {
236
                                          "args" : [["CALL", ["SIMPLE_NAME", "S2"]]]}
237
                                        ]]}
238
                                      ]]}
239
                                    ], ["EXPRESSION", {
240
                                      "args" : [["EXPRESSION", {
241
                                        "args" : [["EXPRESSION", {
242
                                          "args" : [["CONSTANT_VALUE", {
243
                                            "value" : ["CST_LITERAL", "'1'"]}
244
                                          ]]}
245
                                        ]]}
246
                                      ]]}
247
                                    ]]}
248
                                  ]]}
249
                                ]]}
250
                              ]]}
251
                            ]]}
252
                          ], ["EXPRESSION", {
253
                            "args" : [["EXPRESSION", {
254
                              "args" : [["EXPRESSION", {
255
                                "args" : [["EXPRESSION", {
256
                                  "args" : [["EXPRESSION", {
257
                                    "id" : "=", "args" : [["EXPRESSION", {
258
                                      "args" : [["EXPRESSION", {
259
                                        "args" : [["EXPRESSION", {
260
                                          "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
261
                                        ]]}
262
                                      ]]}
263
                                    ], ["EXPRESSION", {
264
                                      "args" : [["EXPRESSION", {
265
                                        "args" : [["EXPRESSION", {
266
                                          "args" : [["CONSTANT_VALUE", {
267
                                            "value" : ["CST_LITERAL", "25"], "unit_name" : ["SIMPLE_NAME", "ns"]}
268
                                          ]]}
269
                                        ]]}
270
                                      ]]}
271
                                    ]]}
272
                                  ]]}
273
                                ]]}
274
                              ]]}
275
                            ]]}
276
                          ]]}
277
                        ], ["EXPRESSION", {
278
                          "args" : [["EXPRESSION", {
279
                            "args" : [["EXPRESSION", {
280
                              "args" : [["EXPRESSION", {
281
                                "args" : [["EXPRESSION", {
282
                                  "id" : "=", "args" : [["EXPRESSION", {
283
                                    "args" : [["EXPRESSION", {
284
                                      "args" : [["EXPRESSION", {
285
                                        "args" : [["CALL", ["SIMPLE_NAME", "k"]]]}
286
                                      ]]}
287
                                    ]]}
288
                                  ], ["EXPRESSION", {
289
                                    "args" : [["EXPRESSION", {
290
                                      "args" : [["EXPRESSION", {
291
                                        "args" : [["CONSTANT_VALUE", {
292
                                          "value" : ["CST_LITERAL", "1"]}
293
                                        ]]}
294
                                      ]]}
295
                                    ]]}
296
                                  ]]}
297
                                ]]}
298
                              ]]}
299
                            ]]}
300
                          ]]}
301
                        ]]}
302
                      ]]}
303
                    ]]}
304
                  ]]}
305
                ]]}
306
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
307
                "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
308
                  "value" : ["EXPRESSION", {
309
                    "args" : [["EXPRESSION", {
310
                      "args" : [["EXPRESSION", {
311
                        "args" : [["EXPRESSION", {
312
                          "args" : [["CONSTANT_VALUE", {
313
                            "value" : ["CST_LITERAL", "'0'"]}
314
                          ]]}
315
                        ]]}
316
                      ]]}
317
                    ]]}
318
                  ], "delay" : ["EXPRESSION", {
319
                    "args" : [["EXPRESSION", {
320
                      "args" : [["EXPRESSION", {
321
                        "args" : [["EXPRESSION", {
322
                          "args" : [["CONSTANT_VALUE", {
323
                            "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
324
                          ]]}
325
                        ]]}
326
                      ]]}
327
                    ]]}
328
                  ]}
329
                ]}
330
              ]]}
331
            ]}
332
          ]]}
333
        ], ["PROCESS_STATEMENT", {
334
          "id" : ["IDENTIFIER", "TESTING"], "active_sigs" : [["SIMPLE_NAME", "S"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
335
            "if_cases" : [{
336
              "if_cond" : ["EXPRESSION", {
337
                "args" : [["EXPRESSION", {
338
                  "args" : [["EXPRESSION", {
339
                    "args" : [["EXPRESSION", {
340
                      "args" : [["EXPRESSION", {
341
                        "id" : ">", "args" : [["EXPRESSION", {
342
                          "args" : [["EXPRESSION", {
343
                            "args" : [["EXPRESSION", {
344
                              "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
345
                            ]]}
346
                          ]]}
347
                        ], ["EXPRESSION", {
348
                          "args" : [["EXPRESSION", {
349
                            "args" : [["EXPRESSION", {
350
                              "args" : [["CONSTANT_VALUE", {
351
                                "value" : ["CST_LITERAL", "1"], "unit_name" : ["SIMPLE_NAME", "ns"]}
352
                              ]]}
353
                            ]]}
354
                          ]]}
355
                        ]]}
356
                      ]]}
357
                    ]]}
358
                  ]]}
359
                ]]}
360
              ], "if_block" : [["ASSERTION_STATEMENT", {
361
                "cond" : ["EXPRESSION", {
362
                  "args" : [["EXPRESSION", {
363
                    "args" : [["EXPRESSION", {
364
                      "args" : [["EXPRESSION", {
365
                        "id" : "NOT", "args" : [["EXPRESSION", {
366
                          "id" : "=", "args" : [["EXPRESSION", {
367
                            "args" : [["EXPRESSION", {
368
                              "args" : [["EXPRESSION", {
369
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
370
                              ]]}
371
                            ]]}
372
                          ], ["EXPRESSION", {
373
                            "args" : [["EXPRESSION", {
374
                              "args" : [["EXPRESSION", {
375
                                "args" : [["CONSTANT_VALUE", {
376
                                  "value" : ["CST_LITERAL", "'0'"]}
377
                                ]]}
378
                              ]]}
379
                            ]]}
380
                          ]]}
381
                        ]]}
382
                      ]]}
383
                    ]]}
384
                  ]]}
385
                ], "report" : ["EXPRESSION", {
386
                  "args" : [["EXPRESSION", {
387
                    "args" : [["EXPRESSION", {
388
                      "args" : [["EXPRESSION", {
389
                        "args" : [["CONSTANT_VALUE", {
390
                          "value" : ["CST_LITERAL", "\"***PASSED TEST: c08s04b00x00p09n03i01321\""]}
391
                        ]]}
392
                      ]]}
393
                    ]]}
394
                  ]]}
395
                ], "severity" : ["EXPRESSION", {
396
                  "args" : [["EXPRESSION", {
397
                    "args" : [["EXPRESSION", {
398
                      "args" : [["EXPRESSION", {
399
                        "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
400
                      ]]}
401
                    ]]}
402
                  ]]}
403
                ]}
404
              ], ["ASSERTION_STATEMENT", {
405
                "cond" : ["EXPRESSION", {
406
                  "args" : [["EXPRESSION", {
407
                    "args" : [["EXPRESSION", {
408
                      "args" : [["EXPRESSION", {
409
                        "args" : [["EXPRESSION", {
410
                          "id" : "=", "args" : [["EXPRESSION", {
411
                            "args" : [["EXPRESSION", {
412
                              "args" : [["EXPRESSION", {
413
                                "args" : [["CALL", ["SIMPLE_NAME", "S"]]]}
414
                              ]]}
415
                            ]]}
416
                          ], ["EXPRESSION", {
417
                            "args" : [["EXPRESSION", {
418
                              "args" : [["EXPRESSION", {
419
                                "args" : [["CONSTANT_VALUE", {
420
                                  "value" : ["CST_LITERAL", "'0'"]}
421
                                ]]}
422
                              ]]}
423
                            ]]}
424
                          ]]}
425
                        ]]}
426
                      ]]}
427
                    ]]}
428
                  ]]}
429
                ], "report" : ["EXPRESSION", {
430
                  "args" : [["EXPRESSION", {
431
                    "args" : [["EXPRESSION", {
432
                      "args" : [["EXPRESSION", {
433
                        "args" : [["CONSTANT_VALUE", {
434
                          "value" : ["CST_LITERAL", "\"***FAILED TEST: c08s04b00x00p09n03i01321 - Any pulse is transmitted, not matter how short its durtion\""]}
435
                        ]]}
436
                      ]]}
437
                    ]]}
438
                  ]]}
439
                ], "severity" : ["EXPRESSION", {
440
                  "args" : [["EXPRESSION", {
441
                    "args" : [["EXPRESSION", {
442
                      "args" : [["EXPRESSION", {
443
                        "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
444
                      ]]}
445
                    ]]}
446
                  ]]}
447
                ]}
448
              ]]}
449
            ]}
450
          ]]}
451
        ]]}
452
      ]}
453
    ]}
454
  }