Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / ashenden / compliant / ch_06_mact-bv.json @ 3fd18385

History | View | Annotate | Download (52.8 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"]]]]]], "library" : ["ARCHITECTURE_BODY", {
5
        "name" : ["IDENTIFIER", "bench_verify"], "entity" : ["IDENTIFIER", "mac_test"], "ARCHITECTURE_DECLARATIVE_PART" : [{
6
          "declaration" : ["SIGNAL_DECLARATION", {
7
            "names" : [["IDENTIFIER", "clk"], ["IDENTIFIER", "clr"], ["IDENTIFIER", "behavioral_ovf"], ["IDENTIFIER", "rtl_ovf"]], "typ" : {
8
              "name" : ["SIMPLE_NAME", "std_ulogic"]}
9
            , "init_val" : ["EXPRESSION", {
10
              "args" : [["EXPRESSION", {
11
                "args" : [["EXPRESSION", {
12
                  "args" : [["EXPRESSION", {
13
                    "args" : [["CONSTANT_VALUE", {
14
                      "value" : ["CST_LITERAL", "'0'"]}
15
                    ]]}
16
                  ]]}
17
                ]]}
18
              ]]}
19
            ]}
20
          ]}
21
        , {
22
          "declaration" : ["SIGNAL_DECLARATION", {
23
            "names" : [["IDENTIFIER", "x_real"], ["IDENTIFIER", "x_imag"], ["IDENTIFIER", "y_real"], ["IDENTIFIER", "y_imag"], ["IDENTIFIER", "behavioral_s_real"], ["IDENTIFIER", "behavioral_s_imag"], ["IDENTIFIER", "rtl_s_real"], ["IDENTIFIER", "rtl_s_imag"]], "typ" : {
24
              "name" : ["SIMPLE_NAME", "std_ulogic_vector"], "const" : ["INDEX_CONSTRAINT", {
25
                "ranges" : [["RANGE_WITH_DIRECTION", {
26
                  "direction" : "downto", "from" : ["EXPRESSION", {
27
                    "args" : [["EXPRESSION", {
28
                      "args" : [["CONSTANT_VALUE", {
29
                        "value" : ["CST_LITERAL", "15"]}
30
                      ]]}
31
                    ]]}
32
                  ], "_to" : ["EXPRESSION", {
33
                    "args" : [["EXPRESSION", {
34
                      "args" : [["CONSTANT_VALUE", {
35
                        "value" : ["CST_LITERAL", "0"]}
36
                      ]]}
37
                    ]]}
38
                  ]}
39
                ]]}
40
              ]}
41
            }
42
          ]}
43
        , {
44
          "definition" : ["TYPE_DECLARATION", {
45
            "name" : ["IDENTIFIER", "complex"], "definition" : ["RECORD_TYPE_DEFINITION", [{
46
              "names" : [["IDENTIFIER", "re"], ["IDENTIFIER", "im"]], "definition" : {
47
                "name" : ["SIMPLE_NAME", "real"]}
48
              }
49
            ]]}
50
          ]}
51
        , {
52
          "declaration" : ["SIGNAL_DECLARATION", {
53
            "names" : [["IDENTIFIER", "x"], ["IDENTIFIER", "y"], ["IDENTIFIER", "behavioral_s"], ["IDENTIFIER", "rtl_s"]], "typ" : {
54
              "name" : ["SIMPLE_NAME", "complex"]}
55
            , "init_val" : ["EXPRESSION", {
56
              "args" : [["EXPRESSION", {
57
                "args" : [["EXPRESSION", {
58
                  "args" : [["EXPRESSION", {
59
                    "args" : [["AGGREGATE", {
60
                      "elems" : [{
61
                        "expr" : ["EXPRESSION", {
62
                          "args" : [["EXPRESSION", {
63
                            "args" : [["EXPRESSION", {
64
                              "args" : [["EXPRESSION", {
65
                                "args" : [["CONSTANT_VALUE", {
66
                                  "value" : ["CST_LITERAL", "0.0"]}
67
                                ]]}
68
                              ]]}
69
                            ]]}
70
                          ]]}
71
                        ]}
72
                      , {
73
                        "expr" : ["EXPRESSION", {
74
                          "args" : [["EXPRESSION", {
75
                            "args" : [["EXPRESSION", {
76
                              "args" : [["EXPRESSION", {
77
                                "args" : [["CONSTANT_VALUE", {
78
                                  "value" : ["CST_LITERAL", "0.0"]}
79
                                ]]}
80
                              ]]}
81
                            ]]}
82
                          ]]}
83
                        ]}
84
                      ]}
85
                    ]]}
86
                  ]]}
87
                ]]}
88
              ]]}
89
            ]}
90
          ]}
91
        , {
92
          "declaration" : ["CONSTANT_DECLARATION", {
93
            "names" : [["IDENTIFIER", "Tpw_clk"]], "typ" : {
94
              "name" : ["SIMPLE_NAME", "time"]}
95
            , "init_val" : ["EXPRESSION", {
96
              "args" : [["EXPRESSION", {
97
                "args" : [["EXPRESSION", {
98
                  "args" : [["EXPRESSION", {
99
                    "args" : [["CONSTANT_VALUE", {
100
                      "value" : ["CST_LITERAL", "50"], "unit_name" : ["SIMPLE_NAME", "ns"]}
101
                    ]]}
102
                  ]]}
103
                ]]}
104
              ]]}
105
            ]}
106
          ]}
107
        ], "ARCHITECTURE_STATEMENT_PART" : [["COMPONENT_INSTANTIATION_STATEMENT", {
108
          "name" : ["IDENTIFIER", "x_real_converter"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "to_vector"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
109
            "actual_designator" : ["SELECTED_NAME", [["SIMPLE_NAME", "x"], ["IDENTIFIER", "re"]]]}
110
          , {
111
            "actual_designator" : ["SIMPLE_NAME", "x_real"]}
112
          ]}
113
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
114
          "name" : ["IDENTIFIER", "x_imag_converter"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "to_vector"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
115
            "actual_designator" : ["SELECTED_NAME", [["SIMPLE_NAME", "x"], ["IDENTIFIER", "im"]]]}
116
          , {
117
            "actual_designator" : ["SIMPLE_NAME", "x_imag"]}
118
          ]}
119
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
120
          "name" : ["IDENTIFIER", "y_real_converter"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "to_vector"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
121
            "actual_designator" : ["SELECTED_NAME", [["SIMPLE_NAME", "y"], ["IDENTIFIER", "re"]]]}
122
          , {
123
            "actual_designator" : ["SIMPLE_NAME", "y_real"]}
124
          ]}
125
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
126
          "name" : ["IDENTIFIER", "y_imag_converter"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "to_vector"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
127
            "actual_designator" : ["SELECTED_NAME", [["SIMPLE_NAME", "y"], ["IDENTIFIER", "im"]]]}
128
          , {
129
            "actual_designator" : ["SIMPLE_NAME", "y_imag"]}
130
          ]}
131
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
132
          "name" : ["IDENTIFIER", "dut_behavioral"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "mac"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
133
            "actual_designator" : ["SIMPLE_NAME", "clk"]}
134
          , {
135
            "actual_designator" : ["SIMPLE_NAME", "clr"]}
136
          , {
137
            "actual_designator" : ["SIMPLE_NAME", "x_real"]}
138
          , {
139
            "actual_designator" : ["SIMPLE_NAME", "x_imag"]}
140
          , {
141
            "actual_designator" : ["SIMPLE_NAME", "y_real"]}
142
          , {
143
            "actual_designator" : ["SIMPLE_NAME", "y_imag"]}
144
          , {
145
            "actual_designator" : ["SIMPLE_NAME", "behavioral_s_real"]}
146
          , {
147
            "actual_designator" : ["SIMPLE_NAME", "behavioral_s_imag"]}
148
          , {
149
            "actual_designator" : ["SIMPLE_NAME", "behavioral_ovf"]}
150
          ]}
151
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
152
          "name" : ["IDENTIFIER", "dut_rtl"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "mac"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "rtl"], "port_map" : [{
153
            "actual_designator" : ["SIMPLE_NAME", "clk"]}
154
          , {
155
            "actual_designator" : ["SIMPLE_NAME", "clr"]}
156
          , {
157
            "actual_designator" : ["SIMPLE_NAME", "x_real"]}
158
          , {
159
            "actual_designator" : ["SIMPLE_NAME", "x_imag"]}
160
          , {
161
            "actual_designator" : ["SIMPLE_NAME", "y_real"]}
162
          , {
163
            "actual_designator" : ["SIMPLE_NAME", "y_imag"]}
164
          , {
165
            "actual_designator" : ["SIMPLE_NAME", "rtl_s_real"]}
166
          , {
167
            "actual_designator" : ["SIMPLE_NAME", "rtl_s_imag"]}
168
          , {
169
            "actual_designator" : ["SIMPLE_NAME", "rtl_ovf"]}
170
          ]}
171
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
172
          "name" : ["IDENTIFIER", "behavioral_s_real_converter"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "to_fp"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
173
            "actual_designator" : ["SIMPLE_NAME", "behavioral_s_real"]}
174
          , {
175
            "actual_designator" : ["SELECTED_NAME", [["SIMPLE_NAME", "behavioral_s"], ["IDENTIFIER", "re"]]]}
176
          ]}
177
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
178
          "name" : ["IDENTIFIER", "behavioral_s_imag_converter"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "to_fp"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
179
            "actual_designator" : ["SIMPLE_NAME", "behavioral_s_imag"]}
180
          , {
181
            "actual_designator" : ["SELECTED_NAME", [["SIMPLE_NAME", "behavioral_s"], ["IDENTIFIER", "im"]]]}
182
          ]}
183
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
184
          "name" : ["IDENTIFIER", "rtl_s_real_converter"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "to_fp"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
185
            "actual_designator" : ["SIMPLE_NAME", "rtl_s_real"]}
186
          , {
187
            "actual_designator" : ["SELECTED_NAME", [["SIMPLE_NAME", "rtl_s"], ["IDENTIFIER", "re"]]]}
188
          ]}
189
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
190
          "name" : ["IDENTIFIER", "rtl_s_imag_converter"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "to_fp"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavioral"], "port_map" : [{
191
            "actual_designator" : ["SIMPLE_NAME", "rtl_s_imag"]}
192
          , {
193
            "actual_designator" : ["SELECTED_NAME", [["SIMPLE_NAME", "rtl_s"], ["IDENTIFIER", "im"]]]}
194
          ]}
195
        ], ["PROCESS_STATEMENT", {
196
          "id" : ["IDENTIFIER", "clock_gen"], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
197
            "lhs" : ["SIMPLE_NAME", "clk"], "rhs" : [{
198
              "value" : ["EXPRESSION", {
199
                "args" : [["EXPRESSION", {
200
                  "args" : [["EXPRESSION", {
201
                    "args" : [["EXPRESSION", {
202
                      "args" : [["CONSTANT_VALUE", {
203
                        "value" : ["CST_LITERAL", "'1'"]}
204
                      ]]}
205
                    ]]}
206
                  ]]}
207
                ]]}
208
              ], "delay" : ["EXPRESSION", {
209
                "args" : [["EXPRESSION", {
210
                  "args" : [["EXPRESSION", {
211
                    "args" : [["EXPRESSION", {
212
                      "args" : [["CALL", ["SIMPLE_NAME", "Tpw_clk"]]]}
213
                    ]]}
214
                  ]]}
215
                ]]}
216
              ]}
217
            , {
218
              "value" : ["EXPRESSION", {
219
                "args" : [["EXPRESSION", {
220
                  "args" : [["EXPRESSION", {
221
                    "args" : [["EXPRESSION", {
222
                      "args" : [["CONSTANT_VALUE", {
223
                        "value" : ["CST_LITERAL", "'0'"]}
224
                      ]]}
225
                    ]]}
226
                  ]]}
227
                ]]}
228
              ], "delay" : ["EXPRESSION", {
229
                "args" : [["EXPRESSION", {
230
                  "args" : [["EXPRESSION", {
231
                    "args" : [["EXPRESSION", {
232
                      "id" : "*", "args" : [["EXPRESSION", {
233
                        "args" : [["CONSTANT_VALUE", {
234
                          "value" : ["CST_LITERAL", "2"]}
235
                        ]]}
236
                      ], ["EXPRESSION", {
237
                        "args" : [["CALL", ["SIMPLE_NAME", "Tpw_clk"]]]}
238
                      ]]}
239
                    ]]}
240
                  ]]}
241
                ]]}
242
              ]}
243
            ]}
244
          ], ["WAIT_STATEMENT"]]}
245
        ], ["PROCESS_STATEMENT", {
246
          "id" : ["IDENTIFIER", "stimulus"], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
247
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
248
              "value" : ["EXPRESSION", {
249
                "args" : [["EXPRESSION", {
250
                  "args" : [["EXPRESSION", {
251
                    "args" : [["EXPRESSION", {
252
                      "args" : [["CONSTANT_VALUE", {
253
                        "value" : ["CST_LITERAL", "'1'"]}
254
                      ]]}
255
                    ]]}
256
                  ]]}
257
                ]]}
258
              ]}
259
            ]}
260
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
261
            "lhs" : ["SIMPLE_NAME", "x"], "rhs" : [{
262
              "value" : ["EXPRESSION", {
263
                "args" : [["EXPRESSION", {
264
                  "args" : [["EXPRESSION", {
265
                    "args" : [["EXPRESSION", {
266
                      "args" : [["AGGREGATE", {
267
                        "elems" : [{
268
                          "expr" : ["EXPRESSION", {
269
                            "args" : [["EXPRESSION", {
270
                              "args" : [["EXPRESSION", {
271
                                "id" : "+", "args" : [["EXPRESSION", {
272
                                  "args" : [["CONSTANT_VALUE", {
273
                                    "value" : ["CST_LITERAL", "0.5"]}
274
                                  ]]}
275
                                ]]}
276
                              ]]}
277
                            ]]}
278
                          ]}
279
                        , {
280
                          "expr" : ["EXPRESSION", {
281
                            "args" : [["EXPRESSION", {
282
                              "args" : [["EXPRESSION", {
283
                                "id" : "+", "args" : [["EXPRESSION", {
284
                                  "args" : [["CONSTANT_VALUE", {
285
                                    "value" : ["CST_LITERAL", "0.5"]}
286
                                  ]]}
287
                                ]]}
288
                              ]]}
289
                            ]]}
290
                          ]}
291
                        ]}
292
                      ]]}
293
                    ]]}
294
                  ]]}
295
                ]]}
296
              ]}
297
            ]}
298
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
299
            "lhs" : ["SIMPLE_NAME", "y"], "rhs" : [{
300
              "value" : ["EXPRESSION", {
301
                "args" : [["EXPRESSION", {
302
                  "args" : [["EXPRESSION", {
303
                    "args" : [["EXPRESSION", {
304
                      "args" : [["AGGREGATE", {
305
                        "elems" : [{
306
                          "expr" : ["EXPRESSION", {
307
                            "args" : [["EXPRESSION", {
308
                              "args" : [["EXPRESSION", {
309
                                "id" : "+", "args" : [["EXPRESSION", {
310
                                  "args" : [["CONSTANT_VALUE", {
311
                                    "value" : ["CST_LITERAL", "0.5"]}
312
                                  ]]}
313
                                ]]}
314
                              ]]}
315
                            ]]}
316
                          ]}
317
                        , {
318
                          "expr" : ["EXPRESSION", {
319
                            "args" : [["EXPRESSION", {
320
                              "args" : [["EXPRESSION", {
321
                                "id" : "+", "args" : [["EXPRESSION", {
322
                                  "args" : [["CONSTANT_VALUE", {
323
                                    "value" : ["CST_LITERAL", "0.5"]}
324
                                  ]]}
325
                                ]]}
326
                              ]]}
327
                            ]]}
328
                          ]}
329
                        ]}
330
                      ]]}
331
                    ]]}
332
                  ]]}
333
                ]]}
334
              ]}
335
            ]}
336
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
337
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
338
              "value" : ["EXPRESSION", {
339
                "args" : [["EXPRESSION", {
340
                  "args" : [["EXPRESSION", {
341
                    "args" : [["EXPRESSION", {
342
                      "args" : [["CONSTANT_VALUE", {
343
                        "value" : ["CST_LITERAL", "'1'"]}
344
                      ]]}
345
                    ]]}
346
                  ]]}
347
                ]]}
348
              ]}
349
            ]}
350
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
351
            "lhs" : ["SIMPLE_NAME", "x"], "rhs" : [{
352
              "value" : ["EXPRESSION", {
353
                "args" : [["EXPRESSION", {
354
                  "args" : [["EXPRESSION", {
355
                    "args" : [["EXPRESSION", {
356
                      "args" : [["AGGREGATE", {
357
                        "elems" : [{
358
                          "expr" : ["EXPRESSION", {
359
                            "args" : [["EXPRESSION", {
360
                              "args" : [["EXPRESSION", {
361
                                "id" : "+", "args" : [["EXPRESSION", {
362
                                  "args" : [["CONSTANT_VALUE", {
363
                                    "value" : ["CST_LITERAL", "0.2"]}
364
                                  ]]}
365
                                ]]}
366
                              ]]}
367
                            ]]}
368
                          ]}
369
                        , {
370
                          "expr" : ["EXPRESSION", {
371
                            "args" : [["EXPRESSION", {
372
                              "args" : [["EXPRESSION", {
373
                                "id" : "+", "args" : [["EXPRESSION", {
374
                                  "args" : [["CONSTANT_VALUE", {
375
                                    "value" : ["CST_LITERAL", "0.2"]}
376
                                  ]]}
377
                                ]]}
378
                              ]]}
379
                            ]]}
380
                          ]}
381
                        ]}
382
                      ]]}
383
                    ]]}
384
                  ]]}
385
                ]]}
386
              ]}
387
            ]}
388
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
389
            "lhs" : ["SIMPLE_NAME", "y"], "rhs" : [{
390
              "value" : ["EXPRESSION", {
391
                "args" : [["EXPRESSION", {
392
                  "args" : [["EXPRESSION", {
393
                    "args" : [["EXPRESSION", {
394
                      "args" : [["AGGREGATE", {
395
                        "elems" : [{
396
                          "expr" : ["EXPRESSION", {
397
                            "args" : [["EXPRESSION", {
398
                              "args" : [["EXPRESSION", {
399
                                "id" : "+", "args" : [["EXPRESSION", {
400
                                  "args" : [["CONSTANT_VALUE", {
401
                                    "value" : ["CST_LITERAL", "0.2"]}
402
                                  ]]}
403
                                ]]}
404
                              ]]}
405
                            ]]}
406
                          ]}
407
                        , {
408
                          "expr" : ["EXPRESSION", {
409
                            "args" : [["EXPRESSION", {
410
                              "args" : [["EXPRESSION", {
411
                                "id" : "+", "args" : [["EXPRESSION", {
412
                                  "args" : [["CONSTANT_VALUE", {
413
                                    "value" : ["CST_LITERAL", "0.2"]}
414
                                  ]]}
415
                                ]]}
416
                              ]]}
417
                            ]]}
418
                          ]}
419
                        ]}
420
                      ]]}
421
                    ]]}
422
                  ]]}
423
                ]]}
424
              ]}
425
            ]}
426
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
427
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
428
              "value" : ["EXPRESSION", {
429
                "args" : [["EXPRESSION", {
430
                  "args" : [["EXPRESSION", {
431
                    "args" : [["EXPRESSION", {
432
                      "args" : [["CONSTANT_VALUE", {
433
                        "value" : ["CST_LITERAL", "'1'"]}
434
                      ]]}
435
                    ]]}
436
                  ]]}
437
                ]]}
438
              ]}
439
            ]}
440
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
441
            "lhs" : ["SIMPLE_NAME", "x"], "rhs" : [{
442
              "value" : ["EXPRESSION", {
443
                "args" : [["EXPRESSION", {
444
                  "args" : [["EXPRESSION", {
445
                    "args" : [["EXPRESSION", {
446
                      "args" : [["AGGREGATE", {
447
                        "elems" : [{
448
                          "expr" : ["EXPRESSION", {
449
                            "args" : [["EXPRESSION", {
450
                              "args" : [["EXPRESSION", {
451
                                "id" : "+", "args" : [["EXPRESSION", {
452
                                  "args" : [["CONSTANT_VALUE", {
453
                                    "value" : ["CST_LITERAL", "0.1"]}
454
                                  ]]}
455
                                ]]}
456
                              ]]}
457
                            ]]}
458
                          ]}
459
                        , {
460
                          "expr" : ["EXPRESSION", {
461
                            "args" : [["EXPRESSION", {
462
                              "args" : [["EXPRESSION", {
463
                                "id" : "-", "args" : [["EXPRESSION", {
464
                                  "args" : [["CONSTANT_VALUE", {
465
                                    "value" : ["CST_LITERAL", "0.1"]}
466
                                  ]]}
467
                                ]]}
468
                              ]]}
469
                            ]]}
470
                          ]}
471
                        ]}
472
                      ]]}
473
                    ]]}
474
                  ]]}
475
                ]]}
476
              ]}
477
            ]}
478
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
479
            "lhs" : ["SIMPLE_NAME", "y"], "rhs" : [{
480
              "value" : ["EXPRESSION", {
481
                "args" : [["EXPRESSION", {
482
                  "args" : [["EXPRESSION", {
483
                    "args" : [["EXPRESSION", {
484
                      "args" : [["AGGREGATE", {
485
                        "elems" : [{
486
                          "expr" : ["EXPRESSION", {
487
                            "args" : [["EXPRESSION", {
488
                              "args" : [["EXPRESSION", {
489
                                "id" : "+", "args" : [["EXPRESSION", {
490
                                  "args" : [["CONSTANT_VALUE", {
491
                                    "value" : ["CST_LITERAL", "0.1"]}
492
                                  ]]}
493
                                ]]}
494
                              ]]}
495
                            ]]}
496
                          ]}
497
                        , {
498
                          "expr" : ["EXPRESSION", {
499
                            "args" : [["EXPRESSION", {
500
                              "args" : [["EXPRESSION", {
501
                                "id" : "+", "args" : [["EXPRESSION", {
502
                                  "args" : [["CONSTANT_VALUE", {
503
                                    "value" : ["CST_LITERAL", "0.1"]}
504
                                  ]]}
505
                                ]]}
506
                              ]]}
507
                            ]]}
508
                          ]}
509
                        ]}
510
                      ]]}
511
                    ]]}
512
                  ]]}
513
                ]]}
514
              ]}
515
            ]}
516
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
517
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
518
              "value" : ["EXPRESSION", {
519
                "args" : [["EXPRESSION", {
520
                  "args" : [["EXPRESSION", {
521
                    "args" : [["EXPRESSION", {
522
                      "args" : [["CONSTANT_VALUE", {
523
                        "value" : ["CST_LITERAL", "'1'"]}
524
                      ]]}
525
                    ]]}
526
                  ]]}
527
                ]]}
528
              ]}
529
            ]}
530
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
531
            "lhs" : ["SIMPLE_NAME", "x"], "rhs" : [{
532
              "value" : ["EXPRESSION", {
533
                "args" : [["EXPRESSION", {
534
                  "args" : [["EXPRESSION", {
535
                    "args" : [["EXPRESSION", {
536
                      "args" : [["AGGREGATE", {
537
                        "elems" : [{
538
                          "expr" : ["EXPRESSION", {
539
                            "args" : [["EXPRESSION", {
540
                              "args" : [["EXPRESSION", {
541
                                "id" : "+", "args" : [["EXPRESSION", {
542
                                  "args" : [["CONSTANT_VALUE", {
543
                                    "value" : ["CST_LITERAL", "0.1"]}
544
                                  ]]}
545
                                ]]}
546
                              ]]}
547
                            ]]}
548
                          ]}
549
                        , {
550
                          "expr" : ["EXPRESSION", {
551
                            "args" : [["EXPRESSION", {
552
                              "args" : [["EXPRESSION", {
553
                                "id" : "-", "args" : [["EXPRESSION", {
554
                                  "args" : [["CONSTANT_VALUE", {
555
                                    "value" : ["CST_LITERAL", "0.1"]}
556
                                  ]]}
557
                                ]]}
558
                              ]]}
559
                            ]]}
560
                          ]}
561
                        ]}
562
                      ]]}
563
                    ]]}
564
                  ]]}
565
                ]]}
566
              ]}
567
            ]}
568
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
569
            "lhs" : ["SIMPLE_NAME", "y"], "rhs" : [{
570
              "value" : ["EXPRESSION", {
571
                "args" : [["EXPRESSION", {
572
                  "args" : [["EXPRESSION", {
573
                    "args" : [["EXPRESSION", {
574
                      "args" : [["AGGREGATE", {
575
                        "elems" : [{
576
                          "expr" : ["EXPRESSION", {
577
                            "args" : [["EXPRESSION", {
578
                              "args" : [["EXPRESSION", {
579
                                "id" : "+", "args" : [["EXPRESSION", {
580
                                  "args" : [["CONSTANT_VALUE", {
581
                                    "value" : ["CST_LITERAL", "0.1"]}
582
                                  ]]}
583
                                ]]}
584
                              ]]}
585
                            ]]}
586
                          ]}
587
                        , {
588
                          "expr" : ["EXPRESSION", {
589
                            "args" : [["EXPRESSION", {
590
                              "args" : [["EXPRESSION", {
591
                                "id" : "+", "args" : [["EXPRESSION", {
592
                                  "args" : [["CONSTANT_VALUE", {
593
                                    "value" : ["CST_LITERAL", "0.1"]}
594
                                  ]]}
595
                                ]]}
596
                              ]]}
597
                            ]]}
598
                          ]}
599
                        ]}
600
                      ]]}
601
                    ]]}
602
                  ]]}
603
                ]]}
604
              ]}
605
            ]}
606
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
607
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
608
              "value" : ["EXPRESSION", {
609
                "args" : [["EXPRESSION", {
610
                  "args" : [["EXPRESSION", {
611
                    "args" : [["EXPRESSION", {
612
                      "args" : [["CONSTANT_VALUE", {
613
                        "value" : ["CST_LITERAL", "'0'"]}
614
                      ]]}
615
                    ]]}
616
                  ]]}
617
                ]]}
618
              ]}
619
            ]}
620
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
621
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
622
              "value" : ["EXPRESSION", {
623
                "args" : [["EXPRESSION", {
624
                  "args" : [["EXPRESSION", {
625
                    "args" : [["EXPRESSION", {
626
                      "args" : [["CONSTANT_VALUE", {
627
                        "value" : ["CST_LITERAL", "'0'"]}
628
                      ]]}
629
                    ]]}
630
                  ]]}
631
                ]]}
632
              ]}
633
            ]}
634
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
635
            "lhs" : ["SIMPLE_NAME", "x"], "rhs" : [{
636
              "value" : ["EXPRESSION", {
637
                "args" : [["EXPRESSION", {
638
                  "args" : [["EXPRESSION", {
639
                    "args" : [["EXPRESSION", {
640
                      "args" : [["AGGREGATE", {
641
                        "elems" : [{
642
                          "expr" : ["EXPRESSION", {
643
                            "args" : [["EXPRESSION", {
644
                              "args" : [["EXPRESSION", {
645
                                "id" : "+", "args" : [["EXPRESSION", {
646
                                  "args" : [["CONSTANT_VALUE", {
647
                                    "value" : ["CST_LITERAL", "0.5"]}
648
                                  ]]}
649
                                ]]}
650
                              ]]}
651
                            ]]}
652
                          ]}
653
                        , {
654
                          "expr" : ["EXPRESSION", {
655
                            "args" : [["EXPRESSION", {
656
                              "args" : [["EXPRESSION", {
657
                                "id" : "+", "args" : [["EXPRESSION", {
658
                                  "args" : [["CONSTANT_VALUE", {
659
                                    "value" : ["CST_LITERAL", "0.5"]}
660
                                  ]]}
661
                                ]]}
662
                              ]]}
663
                            ]]}
664
                          ]}
665
                        ]}
666
                      ]]}
667
                    ]]}
668
                  ]]}
669
                ]]}
670
              ]}
671
            ]}
672
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
673
            "lhs" : ["SIMPLE_NAME", "y"], "rhs" : [{
674
              "value" : ["EXPRESSION", {
675
                "args" : [["EXPRESSION", {
676
                  "args" : [["EXPRESSION", {
677
                    "args" : [["EXPRESSION", {
678
                      "args" : [["AGGREGATE", {
679
                        "elems" : [{
680
                          "expr" : ["EXPRESSION", {
681
                            "args" : [["EXPRESSION", {
682
                              "args" : [["EXPRESSION", {
683
                                "id" : "+", "args" : [["EXPRESSION", {
684
                                  "args" : [["CONSTANT_VALUE", {
685
                                    "value" : ["CST_LITERAL", "0.5"]}
686
                                  ]]}
687
                                ]]}
688
                              ]]}
689
                            ]]}
690
                          ]}
691
                        , {
692
                          "expr" : ["EXPRESSION", {
693
                            "args" : [["EXPRESSION", {
694
                              "args" : [["EXPRESSION", {
695
                                "id" : "+", "args" : [["EXPRESSION", {
696
                                  "args" : [["CONSTANT_VALUE", {
697
                                    "value" : ["CST_LITERAL", "0.5"]}
698
                                  ]]}
699
                                ]]}
700
                              ]]}
701
                            ]]}
702
                          ]}
703
                        ]}
704
                      ]]}
705
                    ]]}
706
                  ]]}
707
                ]]}
708
              ]}
709
            ]}
710
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
711
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
712
              "value" : ["EXPRESSION", {
713
                "args" : [["EXPRESSION", {
714
                  "args" : [["EXPRESSION", {
715
                    "args" : [["EXPRESSION", {
716
                      "args" : [["CONSTANT_VALUE", {
717
                        "value" : ["CST_LITERAL", "'0'"]}
718
                      ]]}
719
                    ]]}
720
                  ]]}
721
                ]]}
722
              ]}
723
            ]}
724
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
725
            "lhs" : ["SIMPLE_NAME", "x"], "rhs" : [{
726
              "value" : ["EXPRESSION", {
727
                "args" : [["EXPRESSION", {
728
                  "args" : [["EXPRESSION", {
729
                    "args" : [["EXPRESSION", {
730
                      "args" : [["AGGREGATE", {
731
                        "elems" : [{
732
                          "expr" : ["EXPRESSION", {
733
                            "args" : [["EXPRESSION", {
734
                              "args" : [["EXPRESSION", {
735
                                "id" : "+", "args" : [["EXPRESSION", {
736
                                  "args" : [["CONSTANT_VALUE", {
737
                                    "value" : ["CST_LITERAL", "0.5"]}
738
                                  ]]}
739
                                ]]}
740
                              ]]}
741
                            ]]}
742
                          ]}
743
                        , {
744
                          "expr" : ["EXPRESSION", {
745
                            "args" : [["EXPRESSION", {
746
                              "args" : [["EXPRESSION", {
747
                                "id" : "+", "args" : [["EXPRESSION", {
748
                                  "args" : [["CONSTANT_VALUE", {
749
                                    "value" : ["CST_LITERAL", "0.5"]}
750
                                  ]]}
751
                                ]]}
752
                              ]]}
753
                            ]]}
754
                          ]}
755
                        ]}
756
                      ]]}
757
                    ]]}
758
                  ]]}
759
                ]]}
760
              ]}
761
            ]}
762
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
763
            "lhs" : ["SIMPLE_NAME", "y"], "rhs" : [{
764
              "value" : ["EXPRESSION", {
765
                "args" : [["EXPRESSION", {
766
                  "args" : [["EXPRESSION", {
767
                    "args" : [["EXPRESSION", {
768
                      "args" : [["AGGREGATE", {
769
                        "elems" : [{
770
                          "expr" : ["EXPRESSION", {
771
                            "args" : [["EXPRESSION", {
772
                              "args" : [["EXPRESSION", {
773
                                "id" : "+", "args" : [["EXPRESSION", {
774
                                  "args" : [["CONSTANT_VALUE", {
775
                                    "value" : ["CST_LITERAL", "0.1"]}
776
                                  ]]}
777
                                ]]}
778
                              ]]}
779
                            ]]}
780
                          ]}
781
                        , {
782
                          "expr" : ["EXPRESSION", {
783
                            "args" : [["EXPRESSION", {
784
                              "args" : [["EXPRESSION", {
785
                                "id" : "+", "args" : [["EXPRESSION", {
786
                                  "args" : [["CONSTANT_VALUE", {
787
                                    "value" : ["CST_LITERAL", "0.1"]}
788
                                  ]]}
789
                                ]]}
790
                              ]]}
791
                            ]]}
792
                          ]}
793
                        ]}
794
                      ]]}
795
                    ]]}
796
                  ]]}
797
                ]]}
798
              ]}
799
            ]}
800
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
801
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
802
              "value" : ["EXPRESSION", {
803
                "args" : [["EXPRESSION", {
804
                  "args" : [["EXPRESSION", {
805
                    "args" : [["EXPRESSION", {
806
                      "args" : [["CONSTANT_VALUE", {
807
                        "value" : ["CST_LITERAL", "'0'"]}
808
                      ]]}
809
                    ]]}
810
                  ]]}
811
                ]]}
812
              ]}
813
            ]}
814
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
815
            "lhs" : ["SIMPLE_NAME", "x"], "rhs" : [{
816
              "value" : ["EXPRESSION", {
817
                "args" : [["EXPRESSION", {
818
                  "args" : [["EXPRESSION", {
819
                    "args" : [["EXPRESSION", {
820
                      "args" : [["AGGREGATE", {
821
                        "elems" : [{
822
                          "expr" : ["EXPRESSION", {
823
                            "args" : [["EXPRESSION", {
824
                              "args" : [["EXPRESSION", {
825
                                "id" : "+", "args" : [["EXPRESSION", {
826
                                  "args" : [["CONSTANT_VALUE", {
827
                                    "value" : ["CST_LITERAL", "0.5"]}
828
                                  ]]}
829
                                ]]}
830
                              ]]}
831
                            ]]}
832
                          ]}
833
                        , {
834
                          "expr" : ["EXPRESSION", {
835
                            "args" : [["EXPRESSION", {
836
                              "args" : [["EXPRESSION", {
837
                                "id" : "+", "args" : [["EXPRESSION", {
838
                                  "args" : [["CONSTANT_VALUE", {
839
                                    "value" : ["CST_LITERAL", "0.5"]}
840
                                  ]]}
841
                                ]]}
842
                              ]]}
843
                            ]]}
844
                          ]}
845
                        ]}
846
                      ]]}
847
                    ]]}
848
                  ]]}
849
                ]]}
850
              ]}
851
            ]}
852
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
853
            "lhs" : ["SIMPLE_NAME", "y"], "rhs" : [{
854
              "value" : ["EXPRESSION", {
855
                "args" : [["EXPRESSION", {
856
                  "args" : [["EXPRESSION", {
857
                    "args" : [["EXPRESSION", {
858
                      "args" : [["AGGREGATE", {
859
                        "elems" : [{
860
                          "expr" : ["EXPRESSION", {
861
                            "args" : [["EXPRESSION", {
862
                              "args" : [["EXPRESSION", {
863
                                "id" : "+", "args" : [["EXPRESSION", {
864
                                  "args" : [["CONSTANT_VALUE", {
865
                                    "value" : ["CST_LITERAL", "0.5"]}
866
                                  ]]}
867
                                ]]}
868
                              ]]}
869
                            ]]}
870
                          ]}
871
                        , {
872
                          "expr" : ["EXPRESSION", {
873
                            "args" : [["EXPRESSION", {
874
                              "args" : [["EXPRESSION", {
875
                                "id" : "+", "args" : [["EXPRESSION", {
876
                                  "args" : [["CONSTANT_VALUE", {
877
                                    "value" : ["CST_LITERAL", "0.5"]}
878
                                  ]]}
879
                                ]]}
880
                              ]]}
881
                            ]]}
882
                          ]}
883
                        ]}
884
                      ]]}
885
                    ]]}
886
                  ]]}
887
                ]]}
888
              ]}
889
            ]}
890
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
891
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
892
              "value" : ["EXPRESSION", {
893
                "args" : [["EXPRESSION", {
894
                  "args" : [["EXPRESSION", {
895
                    "args" : [["EXPRESSION", {
896
                      "args" : [["CONSTANT_VALUE", {
897
                        "value" : ["CST_LITERAL", "'1'"]}
898
                      ]]}
899
                    ]]}
900
                  ]]}
901
                ]]}
902
              ]}
903
            ]}
904
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
905
            "lhs" : ["SIMPLE_NAME", "x"], "rhs" : [{
906
              "value" : ["EXPRESSION", {
907
                "args" : [["EXPRESSION", {
908
                  "args" : [["EXPRESSION", {
909
                    "args" : [["EXPRESSION", {
910
                      "args" : [["AGGREGATE", {
911
                        "elems" : [{
912
                          "expr" : ["EXPRESSION", {
913
                            "args" : [["EXPRESSION", {
914
                              "args" : [["EXPRESSION", {
915
                                "id" : "-", "args" : [["EXPRESSION", {
916
                                  "args" : [["CONSTANT_VALUE", {
917
                                    "value" : ["CST_LITERAL", "0.5"]}
918
                                  ]]}
919
                                ]]}
920
                              ]]}
921
                            ]]}
922
                          ]}
923
                        , {
924
                          "expr" : ["EXPRESSION", {
925
                            "args" : [["EXPRESSION", {
926
                              "args" : [["EXPRESSION", {
927
                                "id" : "+", "args" : [["EXPRESSION", {
928
                                  "args" : [["CONSTANT_VALUE", {
929
                                    "value" : ["CST_LITERAL", "0.5"]}
930
                                  ]]}
931
                                ]]}
932
                              ]]}
933
                            ]]}
934
                          ]}
935
                        ]}
936
                      ]]}
937
                    ]]}
938
                  ]]}
939
                ]]}
940
              ]}
941
            ]}
942
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
943
            "lhs" : ["SIMPLE_NAME", "y"], "rhs" : [{
944
              "value" : ["EXPRESSION", {
945
                "args" : [["EXPRESSION", {
946
                  "args" : [["EXPRESSION", {
947
                    "args" : [["EXPRESSION", {
948
                      "args" : [["AGGREGATE", {
949
                        "elems" : [{
950
                          "expr" : ["EXPRESSION", {
951
                            "args" : [["EXPRESSION", {
952
                              "args" : [["EXPRESSION", {
953
                                "id" : "-", "args" : [["EXPRESSION", {
954
                                  "args" : [["CONSTANT_VALUE", {
955
                                    "value" : ["CST_LITERAL", "0.5"]}
956
                                  ]]}
957
                                ]]}
958
                              ]]}
959
                            ]]}
960
                          ]}
961
                        , {
962
                          "expr" : ["EXPRESSION", {
963
                            "args" : [["EXPRESSION", {
964
                              "args" : [["EXPRESSION", {
965
                                "id" : "+", "args" : [["EXPRESSION", {
966
                                  "args" : [["CONSTANT_VALUE", {
967
                                    "value" : ["CST_LITERAL", "0.5"]}
968
                                  ]]}
969
                                ]]}
970
                              ]]}
971
                            ]]}
972
                          ]}
973
                        ]}
974
                      ]]}
975
                    ]]}
976
                  ]]}
977
                ]]}
978
              ]}
979
            ]}
980
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
981
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
982
              "value" : ["EXPRESSION", {
983
                "args" : [["EXPRESSION", {
984
                  "args" : [["EXPRESSION", {
985
                    "args" : [["EXPRESSION", {
986
                      "args" : [["CONSTANT_VALUE", {
987
                        "value" : ["CST_LITERAL", "'0'"]}
988
                      ]]}
989
                    ]]}
990
                  ]]}
991
                ]]}
992
              ]}
993
            ]}
994
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
995
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
996
              "value" : ["EXPRESSION", {
997
                "args" : [["EXPRESSION", {
998
                  "args" : [["EXPRESSION", {
999
                    "args" : [["EXPRESSION", {
1000
                      "args" : [["CONSTANT_VALUE", {
1001
                        "value" : ["CST_LITERAL", "'0'"]}
1002
                      ]]}
1003
                    ]]}
1004
                  ]]}
1005
                ]]}
1006
              ]}
1007
            ]}
1008
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1009
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
1010
              "value" : ["EXPRESSION", {
1011
                "args" : [["EXPRESSION", {
1012
                  "args" : [["EXPRESSION", {
1013
                    "args" : [["EXPRESSION", {
1014
                      "args" : [["CONSTANT_VALUE", {
1015
                        "value" : ["CST_LITERAL", "'0'"]}
1016
                      ]]}
1017
                    ]]}
1018
                  ]]}
1019
                ]]}
1020
              ]}
1021
            ]}
1022
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1023
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
1024
              "value" : ["EXPRESSION", {
1025
                "args" : [["EXPRESSION", {
1026
                  "args" : [["EXPRESSION", {
1027
                    "args" : [["EXPRESSION", {
1028
                      "args" : [["CONSTANT_VALUE", {
1029
                        "value" : ["CST_LITERAL", "'0'"]}
1030
                      ]]}
1031
                    ]]}
1032
                  ]]}
1033
                ]]}
1034
              ]}
1035
            ]}
1036
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1037
            "lhs" : ["SIMPLE_NAME", "clr"], "rhs" : [{
1038
              "value" : ["EXPRESSION", {
1039
                "args" : [["EXPRESSION", {
1040
                  "args" : [["EXPRESSION", {
1041
                    "args" : [["EXPRESSION", {
1042
                      "args" : [["CONSTANT_VALUE", {
1043
                        "value" : ["CST_LITERAL", "'1'"]}
1044
                      ]]}
1045
                    ]]}
1046
                  ]]}
1047
                ]]}
1048
              ]}
1049
            ]}
1050
          ], ["WAIT_STATEMENT"], ["WAIT_STATEMENT"]]}
1051
        ], ["PROCESS_STATEMENT", {
1052
          "id" : ["IDENTIFIER", "verifier"], "PROCESS_DECLARATIVE_PART" : [{
1053
            "declaration" : ["CONSTANT_DECLARATION", {
1054
              "names" : [["IDENTIFIER", "epsilon"]], "typ" : {
1055
                "name" : ["SIMPLE_NAME", "real"]}
1056
              , "init_val" : ["EXPRESSION", {
1057
                "args" : [["EXPRESSION", {
1058
                  "args" : [["EXPRESSION", {
1059
                    "args" : [["EXPRESSION", {
1060
                      "id" : "-", "args" : [["EXPRESSION", {
1061
                        "args" : [["CONSTANT_VALUE", {
1062
                          "value" : ["CST_LITERAL", "4.0"], "unit_name" : ["SIMPLE_NAME", "E"]}
1063
                        ]]}
1064
                      ], ["EXPRESSION", {
1065
                        "args" : [["CONSTANT_VALUE", {
1066
                          "value" : ["CST_LITERAL", "5"]}
1067
                        ]]}
1068
                      ]]}
1069
                    ]]}
1070
                  ]]}
1071
                ]]}
1072
              ]}
1073
            ]}
1074
          ], "PROCESS_STATEMENT_PART" : [["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
1075
            "cond" : ["EXPRESSION", {
1076
              "id" : "=", "args" : [["EXPRESSION", {
1077
                "args" : [["EXPRESSION", {
1078
                  "args" : [["EXPRESSION", {
1079
                    "args" : [["CALL", ["SIMPLE_NAME", "behavioral_ovf"]]]}
1080
                  ]]}
1081
                ]]}
1082
              ], ["EXPRESSION", {
1083
                "args" : [["EXPRESSION", {
1084
                  "args" : [["EXPRESSION", {
1085
                    "args" : [["CALL", ["SIMPLE_NAME", "rtl_ovf"]]]}
1086
                  ]]}
1087
                ]]}
1088
              ]]}
1089
            ], "report" : ["EXPRESSION", {
1090
              "args" : [["EXPRESSION", {
1091
                "args" : [["EXPRESSION", {
1092
                  "args" : [["EXPRESSION", {
1093
                    "args" : [["CONSTANT_VALUE", {
1094
                      "value" : ["CST_LITERAL", "\"Overflow flags differ\""]}
1095
                    ]]}
1096
                  ]]}
1097
                ]]}
1098
              ]]}
1099
            ], "severity" : ["EXPRESSION", {
1100
              "args" : [["EXPRESSION", {
1101
                "args" : [["EXPRESSION", {
1102
                  "args" : [["EXPRESSION", {
1103
                    "args" : [["CALL", ["SIMPLE_NAME", "error"]]]}
1104
                  ]]}
1105
                ]]}
1106
              ]]}
1107
            ]}
1108
          ], ["IF_STATEMENT", {
1109
            "if_cases" : [{
1110
              "if_cond" : ["EXPRESSION", {
1111
                "id" : "and", "args" : [["EXPRESSION", {
1112
                  "id" : "=", "args" : [["EXPRESSION", {
1113
                    "args" : [["EXPRESSION", {
1114
                      "args" : [["EXPRESSION", {
1115
                        "args" : [["CALL", ["SIMPLE_NAME", "behavioral_ovf"]]]}
1116
                      ]]}
1117
                    ]]}
1118
                  ], ["EXPRESSION", {
1119
                    "args" : [["EXPRESSION", {
1120
                      "args" : [["EXPRESSION", {
1121
                        "args" : [["CONSTANT_VALUE", {
1122
                          "value" : ["CST_LITERAL", "'0'"]}
1123
                        ]]}
1124
                      ]]}
1125
                    ]]}
1126
                  ]]}
1127
                ], ["EXPRESSION", {
1128
                  "id" : "=", "args" : [["EXPRESSION", {
1129
                    "args" : [["EXPRESSION", {
1130
                      "args" : [["EXPRESSION", {
1131
                        "args" : [["CALL", ["SIMPLE_NAME", "rtl_ovf"]]]}
1132
                      ]]}
1133
                    ]]}
1134
                  ], ["EXPRESSION", {
1135
                    "args" : [["EXPRESSION", {
1136
                      "args" : [["EXPRESSION", {
1137
                        "args" : [["CONSTANT_VALUE", {
1138
                          "value" : ["CST_LITERAL", "'0'"]}
1139
                        ]]}
1140
                      ]]}
1141
                    ]]}
1142
                  ]]}
1143
                ]]}
1144
              ], "if_block" : [["ASSERTION_STATEMENT", {
1145
                "cond" : ["EXPRESSION", {
1146
                  "id" : "<", "args" : [["EXPRESSION", {
1147
                    "args" : [["EXPRESSION", {
1148
                      "args" : [["EXPRESSION", {
1149
                        "id" : "abs", "args" : [["EXPRESSION", {
1150
                          "args" : [["EXPRESSION", {
1151
                            "args" : [["EXPRESSION", {
1152
                              "args" : [["EXPRESSION", {
1153
                                "id" : "-", "args" : [["EXPRESSION", {
1154
                                  "args" : [["CALL", ["SELECTED_NAME", [["SIMPLE_NAME", "behavioral_s"], ["IDENTIFIER", "re"]]]]]}
1155
                                ], ["EXPRESSION", {
1156
                                  "args" : [["CALL", ["SELECTED_NAME", [["SIMPLE_NAME", "rtl_s"], ["IDENTIFIER", "re"]]]]]}
1157
                                ]]}
1158
                              ]]}
1159
                            ]]}
1160
                          ]]}
1161
                        ]]}
1162
                      ]]}
1163
                    ]]}
1164
                  ], ["EXPRESSION", {
1165
                    "args" : [["EXPRESSION", {
1166
                      "args" : [["EXPRESSION", {
1167
                        "args" : [["CALL", ["SIMPLE_NAME", "epsilon"]]]}
1168
                      ]]}
1169
                    ]]}
1170
                  ]]}
1171
                ], "report" : ["EXPRESSION", {
1172
                  "args" : [["EXPRESSION", {
1173
                    "args" : [["EXPRESSION", {
1174
                      "args" : [["EXPRESSION", {
1175
                        "args" : [["CONSTANT_VALUE", {
1176
                          "value" : ["CST_LITERAL", "\"Real sums differ\""]}
1177
                        ]]}
1178
                      ]]}
1179
                    ]]}
1180
                  ]]}
1181
                ], "severity" : ["EXPRESSION", {
1182
                  "args" : [["EXPRESSION", {
1183
                    "args" : [["EXPRESSION", {
1184
                      "args" : [["EXPRESSION", {
1185
                        "args" : [["CALL", ["SIMPLE_NAME", "error"]]]}
1186
                      ]]}
1187
                    ]]}
1188
                  ]]}
1189
                ]}
1190
              ], ["ASSERTION_STATEMENT", {
1191
                "cond" : ["EXPRESSION", {
1192
                  "id" : "<", "args" : [["EXPRESSION", {
1193
                    "args" : [["EXPRESSION", {
1194
                      "args" : [["EXPRESSION", {
1195
                        "id" : "abs", "args" : [["EXPRESSION", {
1196
                          "args" : [["EXPRESSION", {
1197
                            "args" : [["EXPRESSION", {
1198
                              "args" : [["EXPRESSION", {
1199
                                "id" : "-", "args" : [["EXPRESSION", {
1200
                                  "args" : [["CALL", ["SELECTED_NAME", [["SIMPLE_NAME", "behavioral_s"], ["IDENTIFIER", "im"]]]]]}
1201
                                ], ["EXPRESSION", {
1202
                                  "args" : [["CALL", ["SELECTED_NAME", [["SIMPLE_NAME", "rtl_s"], ["IDENTIFIER", "im"]]]]]}
1203
                                ]]}
1204
                              ]]}
1205
                            ]]}
1206
                          ]]}
1207
                        ]]}
1208
                      ]]}
1209
                    ]]}
1210
                  ], ["EXPRESSION", {
1211
                    "args" : [["EXPRESSION", {
1212
                      "args" : [["EXPRESSION", {
1213
                        "args" : [["CALL", ["SIMPLE_NAME", "epsilon"]]]}
1214
                      ]]}
1215
                    ]]}
1216
                  ]]}
1217
                ], "report" : ["EXPRESSION", {
1218
                  "args" : [["EXPRESSION", {
1219
                    "args" : [["EXPRESSION", {
1220
                      "args" : [["EXPRESSION", {
1221
                        "args" : [["CONSTANT_VALUE", {
1222
                          "value" : ["CST_LITERAL", "\"Imag sums differ\""]}
1223
                        ]]}
1224
                      ]]}
1225
                    ]]}
1226
                  ]]}
1227
                ], "severity" : ["EXPRESSION", {
1228
                  "args" : [["EXPRESSION", {
1229
                    "args" : [["EXPRESSION", {
1230
                      "args" : [["EXPRESSION", {
1231
                        "args" : [["CALL", ["SIMPLE_NAME", "error"]]]}
1232
                      ]]}
1233
                    ]]}
1234
                  ]]}
1235
                ]}
1236
              ]]}
1237
            ]}
1238
          ]]}
1239
        ]]}
1240
      ]}
1241
    ]}
1242
  }