Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / gna / issue50 / vector.d / assert_uut.json @ 3fd18385

History | View | Annotate | Download (86 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"]]]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "std"], ["SIMPLE_NAME", "textio"]]]]], ["LIBRARY_CLAUSE", [["IDENTIFIER", "work"]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["SIMPLE_NAME", "pkg_tb"]]]]]], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "assert_uut"], "ports" : [{
6
          "names" : [["IDENTIFIER", "clock"]], "mode" : ["in"], "typ" : {
7
            "name" : ["SIMPLE_NAME", "std_logic"]}
8
          }
9
        , {
10
          "names" : [["IDENTIFIER", "reset"]], "mode" : ["in"], "typ" : {
11
            "name" : ["SIMPLE_NAME", "std_logic"]}
12
          }
13
        , {
14
          "names" : [["IDENTIFIER", "context_uut"]], "mode" : ["in"], "typ" : {
15
            "name" : ["SIMPLE_NAME", "context_t"]}
16
          }
17
        , {
18
          "names" : [["IDENTIFIER", "en_feed"]], "mode" : ["in"], "typ" : {
19
            "name" : ["SIMPLE_NAME", "std_logic"]}
20
          }
21
        , {
22
          "names" : [["IDENTIFIER", "stdin_rdy"]], "mode" : ["in"], "typ" : {
23
            "name" : ["SIMPLE_NAME", "std_logic"]}
24
          }
25
        , {
26
          "names" : [["IDENTIFIER", "stdin_ack"]], "mode" : ["out"], "typ" : {
27
            "name" : ["SIMPLE_NAME", "std_logic"]}
28
          }
29
        , {
30
          "names" : [["IDENTIFIER", "stdin_data"]], "mode" : ["out"], "typ" : {
31
            "name" : ["SIMPLE_NAME", "stdin_vector"]}
32
          }
33
        , {
34
          "names" : [["IDENTIFIER", "en_check"]], "mode" : ["in"], "typ" : {
35
            "name" : ["SIMPLE_NAME", "std_logic"]}
36
          }
37
        , {
38
          "names" : [["IDENTIFIER", "stdout_rdy"]], "mode" : ["in"], "typ" : {
39
            "name" : ["SIMPLE_NAME", "std_logic"]}
40
          }
41
        , {
42
          "names" : [["IDENTIFIER", "stdout_ack"]], "mode" : ["out"], "typ" : {
43
            "name" : ["SIMPLE_NAME", "std_logic"]}
44
          }
45
        , {
46
          "names" : [["IDENTIFIER", "stdout_data"]], "mode" : ["in"], "typ" : {
47
            "name" : ["SIMPLE_NAME", "stdout_vector"]}
48
          }
49
        , {
50
          "names" : [["IDENTIFIER", "vecs_found"]], "mode" : ["out"], "typ" : {
51
            "name" : ["SIMPLE_NAME", "std_logic"]}
52
          }
53
        , {
54
          "names" : [["IDENTIFIER", "vec_read"]], "mode" : ["out"], "typ" : {
55
            "name" : ["SIMPLE_NAME", "std_logic"]}
56
          }
57
        , {
58
          "names" : [["IDENTIFIER", "n_error"]], "mode" : ["out"], "typ" : {
59
            "name" : ["SIMPLE_NAME", "std_logic"]}
60
          }
61
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
62
      ]}
63
    , {
64
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
65
        "name" : ["IDENTIFIER", "rtl"], "entity" : ["IDENTIFIER", "assert_uut"], "ARCHITECTURE_DECLARATIVE_PART" : [{
66
          "definition" : ["TYPE_DECLARATION", {
67
            "name" : ["IDENTIFIER", "vin_table"], "definition" : ["ARRAY_TYPE_DEFINITION", {
68
              "const" : ["INDEX_CONSTRAINT", {
69
                "ranges" : [["RANGE_WITH_DIRECTION", {
70
                  "direction" : "to", "from" : ["EXPRESSION", {
71
                    "args" : [["EXPRESSION", {
72
                      "args" : [["CONSTANT_VALUE", {
73
                        "value" : ["CST_LITERAL", "0"]}
74
                      ]]}
75
                    ]]}
76
                  ], "_to" : ["EXPRESSION", {
77
                    "args" : [["EXPRESSION", {
78
                      "id" : "-", "args" : [["EXPRESSION", {
79
                        "id" : "**", "args" : [["CONSTANT_VALUE", {
80
                          "value" : ["CST_LITERAL", "2"]}
81
                        ], ["CALL", ["SIMPLE_NAME", "VEC_NO_SIZE"]]]}
82
                      ], ["EXPRESSION", {
83
                        "args" : [["CONSTANT_VALUE", {
84
                          "value" : ["CST_LITERAL", "1"]}
85
                        ]]}
86
                      ]]}
87
                    ]]}
88
                  ]}
89
                ]]}
90
              ], "definition" : {
91
                "name" : ["SIMPLE_NAME", "stdin_vector"]}
92
              }
93
            ]}
94
          ]}
95
        , {
96
          "definition" : ["TYPE_DECLARATION", {
97
            "name" : ["IDENTIFIER", "vout_table"], "definition" : ["ARRAY_TYPE_DEFINITION", {
98
              "const" : ["INDEX_CONSTRAINT", {
99
                "ranges" : [["RANGE_WITH_DIRECTION", {
100
                  "direction" : "to", "from" : ["EXPRESSION", {
101
                    "args" : [["EXPRESSION", {
102
                      "args" : [["CONSTANT_VALUE", {
103
                        "value" : ["CST_LITERAL", "0"]}
104
                      ]]}
105
                    ]]}
106
                  ], "_to" : ["EXPRESSION", {
107
                    "args" : [["EXPRESSION", {
108
                      "id" : "-", "args" : [["EXPRESSION", {
109
                        "id" : "**", "args" : [["CONSTANT_VALUE", {
110
                          "value" : ["CST_LITERAL", "2"]}
111
                        ], ["CALL", ["SIMPLE_NAME", "VEC_NO_SIZE"]]]}
112
                      ], ["EXPRESSION", {
113
                        "args" : [["CONSTANT_VALUE", {
114
                          "value" : ["CST_LITERAL", "1"]}
115
                        ]]}
116
                      ]]}
117
                    ]]}
118
                  ]}
119
                ]]}
120
              ], "definition" : {
121
                "name" : ["SIMPLE_NAME", "stdout_vector"]}
122
              }
123
            ]}
124
          ]}
125
        , {
126
          "declaration" : ["CONSTANT_DECLARATION", {
127
            "names" : [["IDENTIFIER", "input_vectors_1"]], "typ" : {
128
              "name" : ["SIMPLE_NAME", "vin_table"]}
129
            , "init_val" : ["EXPRESSION", {
130
              "args" : [["EXPRESSION", {
131
                "args" : [["EXPRESSION", {
132
                  "args" : [["EXPRESSION", {
133
                    "args" : [["AGGREGATE", {
134
                      "elems" : [{
135
                        "choices" : [["EXPRESSION", {
136
                          "args" : [["EXPRESSION", {
137
                            "args" : [["CONSTANT_VALUE", {
138
                              "value" : ["CST_LITERAL", "0"]}
139
                            ]]}
140
                          ]]}
141
                        ]], "expr" : ["EXPRESSION", {
142
                          "args" : [["EXPRESSION", {
143
                            "args" : [["EXPRESSION", {
144
                              "args" : [["EXPRESSION", {
145
                                "args" : [["CONSTANT_VALUE", {
146
                                  "value" : ["CST_LITERAL", "x\"00_00_00_07\""]}
147
                                ]]}
148
                              ]]}
149
                            ]]}
150
                          ]]}
151
                        ]}
152
                      , {
153
                        "choices" : [["EXPRESSION", {
154
                          "args" : [["EXPRESSION", {
155
                            "args" : [["CONSTANT_VALUE", {
156
                              "value" : ["CST_LITERAL", "1"]}
157
                            ]]}
158
                          ]]}
159
                        ]], "expr" : ["EXPRESSION", {
160
                          "args" : [["EXPRESSION", {
161
                            "args" : [["EXPRESSION", {
162
                              "args" : [["EXPRESSION", {
163
                                "args" : [["CONSTANT_VALUE", {
164
                                  "value" : ["CST_LITERAL", "x\"00_00_00_03\""]}
165
                                ]]}
166
                              ]]}
167
                            ]]}
168
                          ]]}
169
                        ]}
170
                      , {
171
                        "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
172
                          "args" : [["EXPRESSION", {
173
                            "args" : [["EXPRESSION", {
174
                              "args" : [["EXPRESSION", {
175
                                "args" : [["AGGREGATE", {
176
                                  "elems" : [{
177
                                    "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
178
                                      "args" : [["EXPRESSION", {
179
                                        "args" : [["EXPRESSION", {
180
                                          "args" : [["EXPRESSION", {
181
                                            "args" : [["CONSTANT_VALUE", {
182
                                              "value" : ["CST_LITERAL", "'0'"]}
183
                                            ]]}
184
                                          ]]}
185
                                        ]]}
186
                                      ]]}
187
                                    ]}
188
                                  ]}
189
                                ]]}
190
                              ]]}
191
                            ]]}
192
                          ]]}
193
                        ]}
194
                      ]}
195
                    ]]}
196
                  ]]}
197
                ]]}
198
              ]]}
199
            ]}
200
          ]}
201
        , {
202
          "declaration" : ["CONSTANT_DECLARATION", {
203
            "names" : [["IDENTIFIER", "output_vectors_1"]], "typ" : {
204
              "name" : ["SIMPLE_NAME", "vout_table"]}
205
            , "init_val" : ["EXPRESSION", {
206
              "args" : [["EXPRESSION", {
207
                "args" : [["EXPRESSION", {
208
                  "args" : [["EXPRESSION", {
209
                    "args" : [["AGGREGATE", {
210
                      "elems" : [{
211
                        "choices" : [["EXPRESSION", {
212
                          "args" : [["EXPRESSION", {
213
                            "args" : [["CONSTANT_VALUE", {
214
                              "value" : ["CST_LITERAL", "0"]}
215
                            ]]}
216
                          ]]}
217
                        ]], "expr" : ["EXPRESSION", {
218
                          "args" : [["EXPRESSION", {
219
                            "args" : [["EXPRESSION", {
220
                              "args" : [["EXPRESSION", {
221
                                "args" : [["CONSTANT_VALUE", {
222
                                  "value" : ["CST_LITERAL", "x\"00_00_00_16\""]}
223
                                ]]}
224
                              ]]}
225
                            ]]}
226
                          ]]}
227
                        ]}
228
                      , {
229
                        "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
230
                          "args" : [["EXPRESSION", {
231
                            "args" : [["EXPRESSION", {
232
                              "args" : [["EXPRESSION", {
233
                                "args" : [["AGGREGATE", {
234
                                  "elems" : [{
235
                                    "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
236
                                      "args" : [["EXPRESSION", {
237
                                        "args" : [["EXPRESSION", {
238
                                          "args" : [["EXPRESSION", {
239
                                            "args" : [["CONSTANT_VALUE", {
240
                                              "value" : ["CST_LITERAL", "'0'"]}
241
                                            ]]}
242
                                          ]]}
243
                                        ]]}
244
                                      ]]}
245
                                    ]}
246
                                  ]}
247
                                ]]}
248
                              ]]}
249
                            ]]}
250
                          ]]}
251
                        ]}
252
                      ]}
253
                    ]]}
254
                  ]]}
255
                ]]}
256
              ]]}
257
            ]}
258
          ]}
259
        , {
260
          "declaration" : ["CONSTANT_DECLARATION", {
261
            "names" : [["IDENTIFIER", "input_vectors_2"]], "typ" : {
262
              "name" : ["SIMPLE_NAME", "vin_table"]}
263
            , "init_val" : ["EXPRESSION", {
264
              "args" : [["EXPRESSION", {
265
                "args" : [["EXPRESSION", {
266
                  "args" : [["EXPRESSION", {
267
                    "args" : [["AGGREGATE", {
268
                      "elems" : [{
269
                        "choices" : [["EXPRESSION", {
270
                          "args" : [["EXPRESSION", {
271
                            "args" : [["CONSTANT_VALUE", {
272
                              "value" : ["CST_LITERAL", "0"]}
273
                            ]]}
274
                          ]]}
275
                        ]], "expr" : ["EXPRESSION", {
276
                          "args" : [["EXPRESSION", {
277
                            "args" : [["EXPRESSION", {
278
                              "args" : [["EXPRESSION", {
279
                                "args" : [["CONSTANT_VALUE", {
280
                                  "value" : ["CST_LITERAL", "x\"00_00_00_07\""]}
281
                                ]]}
282
                              ]]}
283
                            ]]}
284
                          ]]}
285
                        ]}
286
                      , {
287
                        "choices" : [["EXPRESSION", {
288
                          "args" : [["EXPRESSION", {
289
                            "args" : [["CONSTANT_VALUE", {
290
                              "value" : ["CST_LITERAL", "1"]}
291
                            ]]}
292
                          ]]}
293
                        ]], "expr" : ["EXPRESSION", {
294
                          "args" : [["EXPRESSION", {
295
                            "args" : [["EXPRESSION", {
296
                              "args" : [["EXPRESSION", {
297
                                "args" : [["CONSTANT_VALUE", {
298
                                  "value" : ["CST_LITERAL", "x\"00_00_00_03\""]}
299
                                ]]}
300
                              ]]}
301
                            ]]}
302
                          ]]}
303
                        ]}
304
                      , {
305
                        "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
306
                          "args" : [["EXPRESSION", {
307
                            "args" : [["EXPRESSION", {
308
                              "args" : [["EXPRESSION", {
309
                                "args" : [["AGGREGATE", {
310
                                  "elems" : [{
311
                                    "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
312
                                      "args" : [["EXPRESSION", {
313
                                        "args" : [["EXPRESSION", {
314
                                          "args" : [["EXPRESSION", {
315
                                            "args" : [["CONSTANT_VALUE", {
316
                                              "value" : ["CST_LITERAL", "'0'"]}
317
                                            ]]}
318
                                          ]]}
319
                                        ]]}
320
                                      ]]}
321
                                    ]}
322
                                  ]}
323
                                ]]}
324
                              ]]}
325
                            ]]}
326
                          ]]}
327
                        ]}
328
                      ]}
329
                    ]]}
330
                  ]]}
331
                ]]}
332
              ]]}
333
            ]}
334
          ]}
335
        , {
336
          "declaration" : ["CONSTANT_DECLARATION", {
337
            "names" : [["IDENTIFIER", "output_vectors_2"]], "typ" : {
338
              "name" : ["SIMPLE_NAME", "vout_table"]}
339
            , "init_val" : ["EXPRESSION", {
340
              "args" : [["EXPRESSION", {
341
                "args" : [["EXPRESSION", {
342
                  "args" : [["EXPRESSION", {
343
                    "args" : [["AGGREGATE", {
344
                      "elems" : [{
345
                        "choices" : [["EXPRESSION", {
346
                          "args" : [["EXPRESSION", {
347
                            "args" : [["CONSTANT_VALUE", {
348
                              "value" : ["CST_LITERAL", "0"]}
349
                            ]]}
350
                          ]]}
351
                        ]], "expr" : ["EXPRESSION", {
352
                          "args" : [["EXPRESSION", {
353
                            "args" : [["EXPRESSION", {
354
                              "args" : [["EXPRESSION", {
355
                                "args" : [["CONSTANT_VALUE", {
356
                                  "value" : ["CST_LITERAL", "x\"00_00_00_16\""]}
357
                                ]]}
358
                              ]]}
359
                            ]]}
360
                          ]]}
361
                        ]}
362
                      , {
363
                        "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
364
                          "args" : [["EXPRESSION", {
365
                            "args" : [["EXPRESSION", {
366
                              "args" : [["EXPRESSION", {
367
                                "args" : [["AGGREGATE", {
368
                                  "elems" : [{
369
                                    "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
370
                                      "args" : [["EXPRESSION", {
371
                                        "args" : [["EXPRESSION", {
372
                                          "args" : [["EXPRESSION", {
373
                                            "args" : [["CONSTANT_VALUE", {
374
                                              "value" : ["CST_LITERAL", "'0'"]}
375
                                            ]]}
376
                                          ]]}
377
                                        ]]}
378
                                      ]]}
379
                                    ]}
380
                                  ]}
381
                                ]]}
382
                              ]]}
383
                            ]]}
384
                          ]]}
385
                        ]}
386
                      ]}
387
                    ]]}
388
                  ]]}
389
                ]]}
390
              ]]}
391
            ]}
392
          ]}
393
        , {
394
          "declaration" : ["SIGNAL_DECLARATION", {
395
            "names" : [["IDENTIFIER", "out_vec_counter_1"]], "typ" : {
396
              "name" : ["SIMPLE_NAME", "unsigned"], "const" : ["INDEX_CONSTRAINT", {
397
                "ranges" : [["RANGE_WITH_DIRECTION", {
398
                  "direction" : "downto", "from" : ["EXPRESSION", {
399
                    "args" : [["EXPRESSION", {
400
                      "id" : "-", "args" : [["EXPRESSION", {
401
                        "args" : [["CALL", ["SIMPLE_NAME", "VEC_NO_SIZE"]]]}
402
                      ], ["EXPRESSION", {
403
                        "args" : [["CONSTANT_VALUE", {
404
                          "value" : ["CST_LITERAL", "1"]}
405
                        ]]}
406
                      ]]}
407
                    ]]}
408
                  ], "_to" : ["EXPRESSION", {
409
                    "args" : [["EXPRESSION", {
410
                      "args" : [["CONSTANT_VALUE", {
411
                        "value" : ["CST_LITERAL", "0"]}
412
                      ]]}
413
                    ]]}
414
                  ]}
415
                ]]}
416
              ]}
417
            }
418
          ]}
419
        , {
420
          "declaration" : ["SIGNAL_DECLARATION", {
421
            "names" : [["IDENTIFIER", "out_vec_counter_2"]], "typ" : {
422
              "name" : ["SIMPLE_NAME", "unsigned"], "const" : ["INDEX_CONSTRAINT", {
423
                "ranges" : [["RANGE_WITH_DIRECTION", {
424
                  "direction" : "downto", "from" : ["EXPRESSION", {
425
                    "args" : [["EXPRESSION", {
426
                      "id" : "-", "args" : [["EXPRESSION", {
427
                        "args" : [["CALL", ["SIMPLE_NAME", "VEC_NO_SIZE"]]]}
428
                      ], ["EXPRESSION", {
429
                        "args" : [["CONSTANT_VALUE", {
430
                          "value" : ["CST_LITERAL", "1"]}
431
                        ]]}
432
                      ]]}
433
                    ]]}
434
                  ], "_to" : ["EXPRESSION", {
435
                    "args" : [["EXPRESSION", {
436
                      "args" : [["CONSTANT_VALUE", {
437
                        "value" : ["CST_LITERAL", "0"]}
438
                      ]]}
439
                    ]]}
440
                  ]}
441
                ]]}
442
              ]}
443
            }
444
          ]}
445
        , {
446
          "declaration" : ["SIGNAL_DECLARATION", {
447
            "names" : [["IDENTIFIER", "stdin_ack_sig"]], "typ" : {
448
              "name" : ["SIMPLE_NAME", "std_logic"]}
449
            }
450
          ]}
451
        , {
452
          "declaration" : ["SIGNAL_DECLARATION", {
453
            "names" : [["IDENTIFIER", "vector_read"]], "typ" : {
454
              "name" : ["SIMPLE_NAME", "std_logic"]}
455
            }
456
          ]}
457
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
458
          "id" : ["IDENTIFIER", "feed"], "PROCESS_DECLARATIVE_PART" : [{
459
            "declaration" : ["VARIABLE_DECLARATION", {
460
              "names" : [["IDENTIFIER", "in_vec_counter_1"]], "typ" : {
461
                "name" : ["SIMPLE_NAME", "unsigned"], "const" : ["INDEX_CONSTRAINT", {
462
                  "ranges" : [["RANGE_WITH_DIRECTION", {
463
                    "direction" : "downto", "from" : ["EXPRESSION", {
464
                      "args" : [["EXPRESSION", {
465
                        "id" : "-", "args" : [["EXPRESSION", {
466
                          "args" : [["CALL", ["SIMPLE_NAME", "VEC_NO_SIZE"]]]}
467
                        ], ["EXPRESSION", {
468
                          "args" : [["CONSTANT_VALUE", {
469
                            "value" : ["CST_LITERAL", "1"]}
470
                          ]]}
471
                        ]]}
472
                      ]]}
473
                    ], "_to" : ["EXPRESSION", {
474
                      "args" : [["EXPRESSION", {
475
                        "args" : [["CONSTANT_VALUE", {
476
                          "value" : ["CST_LITERAL", "0"]}
477
                        ]]}
478
                      ]]}
479
                    ]}
480
                  ]]}
481
                ]}
482
              }
483
            ]}
484
          , {
485
            "declaration" : ["VARIABLE_DECLARATION", {
486
              "names" : [["IDENTIFIER", "in_vec_counter_2"]], "typ" : {
487
                "name" : ["SIMPLE_NAME", "unsigned"], "const" : ["INDEX_CONSTRAINT", {
488
                  "ranges" : [["RANGE_WITH_DIRECTION", {
489
                    "direction" : "downto", "from" : ["EXPRESSION", {
490
                      "args" : [["EXPRESSION", {
491
                        "id" : "-", "args" : [["EXPRESSION", {
492
                          "args" : [["CALL", ["SIMPLE_NAME", "VEC_NO_SIZE"]]]}
493
                        ], ["EXPRESSION", {
494
                          "args" : [["CONSTANT_VALUE", {
495
                            "value" : ["CST_LITERAL", "1"]}
496
                          ]]}
497
                        ]]}
498
                      ]]}
499
                    ], "_to" : ["EXPRESSION", {
500
                      "args" : [["EXPRESSION", {
501
                        "args" : [["CONSTANT_VALUE", {
502
                          "value" : ["CST_LITERAL", "0"]}
503
                        ]]}
504
                      ]]}
505
                    ]}
506
                  ]]}
507
                ]}
508
              }
509
            ]}
510
          ], "active_sigs" : [["SIMPLE_NAME", "reset"], ["SIMPLE_NAME", "clock"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
511
            "if_cases" : [{
512
              "if_cond" : ["EXPRESSION", {
513
                "args" : [["EXPRESSION", {
514
                  "args" : [["EXPRESSION", {
515
                    "args" : [["EXPRESSION", {
516
                      "args" : [["EXPRESSION", {
517
                        "id" : "=", "args" : [["EXPRESSION", {
518
                          "args" : [["EXPRESSION", {
519
                            "args" : [["EXPRESSION", {
520
                              "args" : [["CALL", ["SIMPLE_NAME", "reset"]]]}
521
                            ]]}
522
                          ]]}
523
                        ], ["EXPRESSION", {
524
                          "args" : [["EXPRESSION", {
525
                            "args" : [["EXPRESSION", {
526
                              "args" : [["CONSTANT_VALUE", {
527
                                "value" : ["CST_LITERAL", "'1'"]}
528
                              ]]}
529
                            ]]}
530
                          ]]}
531
                        ]]}
532
                      ]]}
533
                    ]]}
534
                  ]]}
535
                ]]}
536
              ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
537
                "lhs" : ["SIMPLE_NAME", "in_vec_counter_1"], "rhs" : ["EXPRESSION", {
538
                  "args" : [["EXPRESSION", {
539
                    "args" : [["EXPRESSION", {
540
                      "args" : [["EXPRESSION", {
541
                        "args" : [["AGGREGATE", {
542
                          "elems" : [{
543
                            "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
544
                              "args" : [["EXPRESSION", {
545
                                "args" : [["EXPRESSION", {
546
                                  "args" : [["EXPRESSION", {
547
                                    "args" : [["CONSTANT_VALUE", {
548
                                      "value" : ["CST_LITERAL", "'0'"]}
549
                                    ]]}
550
                                  ]]}
551
                                ]]}
552
                              ]]}
553
                            ]}
554
                          ]}
555
                        ]]}
556
                      ]]}
557
                    ]]}
558
                  ]]}
559
                ]}
560
              ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
561
                "lhs" : ["SIMPLE_NAME", "in_vec_counter_2"], "rhs" : ["EXPRESSION", {
562
                  "args" : [["EXPRESSION", {
563
                    "args" : [["EXPRESSION", {
564
                      "args" : [["EXPRESSION", {
565
                        "args" : [["AGGREGATE", {
566
                          "elems" : [{
567
                            "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
568
                              "args" : [["EXPRESSION", {
569
                                "args" : [["EXPRESSION", {
570
                                  "args" : [["EXPRESSION", {
571
                                    "args" : [["CONSTANT_VALUE", {
572
                                      "value" : ["CST_LITERAL", "'0'"]}
573
                                    ]]}
574
                                  ]]}
575
                                ]]}
576
                              ]]}
577
                            ]}
578
                          ]}
579
                        ]]}
580
                      ]]}
581
                    ]]}
582
                  ]]}
583
                ]}
584
              ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
585
                "lhs" : ["SIMPLE_NAME", "stdin_data"], "rhs" : [{
586
                  "value" : ["EXPRESSION", {
587
                    "args" : [["EXPRESSION", {
588
                      "args" : [["EXPRESSION", {
589
                        "args" : [["EXPRESSION", {
590
                          "args" : [["AGGREGATE", {
591
                            "elems" : [{
592
                              "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
593
                                "args" : [["EXPRESSION", {
594
                                  "args" : [["EXPRESSION", {
595
                                    "args" : [["EXPRESSION", {
596
                                      "args" : [["CONSTANT_VALUE", {
597
                                        "value" : ["CST_LITERAL", "'0'"]}
598
                                      ]]}
599
                                    ]]}
600
                                  ]]}
601
                                ]]}
602
                              ]}
603
                            ]}
604
                          ]]}
605
                        ]]}
606
                      ]]}
607
                    ]]}
608
                  ]}
609
                ]}
610
              ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
611
                "lhs" : ["SIMPLE_NAME", "stdin_ack_sig"], "rhs" : [{
612
                  "value" : ["EXPRESSION", {
613
                    "args" : [["EXPRESSION", {
614
                      "args" : [["EXPRESSION", {
615
                        "args" : [["EXPRESSION", {
616
                          "args" : [["CONSTANT_VALUE", {
617
                            "value" : ["CST_LITERAL", "'0'"]}
618
                          ]]}
619
                        ]]}
620
                      ]]}
621
                    ]]}
622
                  ]}
623
                ]}
624
              ]]}
625
            , {
626
              "if_cond" : ["EXPRESSION", {
627
                "args" : [["EXPRESSION", {
628
                  "args" : [["EXPRESSION", {
629
                    "args" : [["EXPRESSION", {
630
                      "args" : [["CALL", ["INDEXED_NAME", {
631
                        "id" : ["SIMPLE_NAME", "rising_edge"], "exprs" : [["EXPRESSION", {
632
                          "args" : [["EXPRESSION", {
633
                            "args" : [["EXPRESSION", {
634
                              "args" : [["EXPRESSION", {
635
                                "args" : [["CALL", ["SIMPLE_NAME", "clock"]]]}
636
                              ]]}
637
                            ]]}
638
                          ]]}
639
                        ]]}
640
                      ]]]}
641
                    ]]}
642
                  ]]}
643
                ]]}
644
              ], "if_block" : [["CASE_STATEMENT_TREE", {
645
                "guard" : ["EXPRESSION", {
646
                  "args" : [["EXPRESSION", {
647
                    "args" : [["EXPRESSION", {
648
                      "args" : [["EXPRESSION", {
649
                        "args" : [["CALL", ["SIMPLE_NAME", "context_uut"]]]}
650
                      ]]}
651
                    ]]}
652
                  ]]}
653
                ], "branches" : [{
654
                  "when_cond" : [["EXPRESSION", {
655
                    "args" : [["EXPRESSION", {
656
                      "args" : [["CONSTANT_VALUE", {
657
                        "value" : ["CST_LITERAL", "\"01\""]}
658
                      ]]}
659
                    ]]}
660
                  ]], "when_stmt" : [["IF_STATEMENT", {
661
                    "if_cases" : [{
662
                      "if_cond" : ["EXPRESSION", {
663
                        "args" : [["EXPRESSION", {
664
                          "args" : [["EXPRESSION", {
665
                            "args" : [["EXPRESSION", {
666
                              "args" : [["EXPRESSION", {
667
                                "id" : "=", "args" : [["EXPRESSION", {
668
                                  "args" : [["EXPRESSION", {
669
                                    "args" : [["EXPRESSION", {
670
                                      "args" : [["CALL", ["SIMPLE_NAME", "en_feed"]]]}
671
                                    ]]}
672
                                  ]]}
673
                                ], ["EXPRESSION", {
674
                                  "args" : [["EXPRESSION", {
675
                                    "args" : [["EXPRESSION", {
676
                                      "args" : [["CONSTANT_VALUE", {
677
                                        "value" : ["CST_LITERAL", "'1'"]}
678
                                      ]]}
679
                                    ]]}
680
                                  ]]}
681
                                ]]}
682
                              ]]}
683
                            ]]}
684
                          ]]}
685
                        ]]}
686
                      ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
687
                        "lhs" : ["SIMPLE_NAME", "stdin_data"], "rhs" : [{
688
                          "value" : ["EXPRESSION", {
689
                            "args" : [["EXPRESSION", {
690
                              "args" : [["EXPRESSION", {
691
                                "args" : [["EXPRESSION", {
692
                                  "args" : [["CALL", ["INDEXED_NAME", {
693
                                    "id" : ["SIMPLE_NAME", "input_vectors_1"], "exprs" : [["EXPRESSION", {
694
                                      "args" : [["EXPRESSION", {
695
                                        "args" : [["EXPRESSION", {
696
                                          "args" : [["EXPRESSION", {
697
                                            "args" : [["CALL", ["INDEXED_NAME", {
698
                                              "id" : ["SIMPLE_NAME", "to_integer"], "exprs" : [["EXPRESSION", {
699
                                                "args" : [["EXPRESSION", {
700
                                                  "args" : [["EXPRESSION", {
701
                                                    "args" : [["EXPRESSION", {
702
                                                      "args" : [["CALL", ["SIMPLE_NAME", "in_vec_counter_1"]]]}
703
                                                    ]]}
704
                                                  ]]}
705
                                                ]]}
706
                                              ]]}
707
                                            ]]]}
708
                                          ]]}
709
                                        ]]}
710
                                      ]]}
711
                                    ]]}
712
                                  ]]]}
713
                                ]]}
714
                              ]]}
715
                            ]]}
716
                          ]}
717
                        ]}
718
                      ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
719
                        "lhs" : ["SIMPLE_NAME", "stdin_ack_sig"], "rhs" : [{
720
                          "value" : ["EXPRESSION", {
721
                            "args" : [["EXPRESSION", {
722
                              "args" : [["EXPRESSION", {
723
                                "args" : [["EXPRESSION", {
724
                                  "args" : [["CONSTANT_VALUE", {
725
                                    "value" : ["CST_LITERAL", "'1'"]}
726
                                  ]]}
727
                                ]]}
728
                              ]]}
729
                            ]]}
730
                          ]}
731
                        ]}
732
                      ], ["IF_STATEMENT", {
733
                        "if_cases" : [{
734
                          "if_cond" : ["EXPRESSION", {
735
                            "args" : [["EXPRESSION", {
736
                              "args" : [["EXPRESSION", {
737
                                "args" : [["EXPRESSION", {
738
                                  "args" : [["EXPRESSION", {
739
                                    "id" : "and", "args" : [["EXPRESSION", {
740
                                      "id" : "=", "args" : [["EXPRESSION", {
741
                                        "args" : [["EXPRESSION", {
742
                                          "args" : [["EXPRESSION", {
743
                                            "args" : [["CALL", ["SIMPLE_NAME", "stdin_rdy"]]]}
744
                                          ]]}
745
                                        ]]}
746
                                      ], ["EXPRESSION", {
747
                                        "args" : [["EXPRESSION", {
748
                                          "args" : [["EXPRESSION", {
749
                                            "args" : [["CONSTANT_VALUE", {
750
                                              "value" : ["CST_LITERAL", "'1'"]}
751
                                            ]]}
752
                                          ]]}
753
                                        ]]}
754
                                      ]]}
755
                                    ], ["EXPRESSION", {
756
                                      "id" : "=", "args" : [["EXPRESSION", {
757
                                        "args" : [["EXPRESSION", {
758
                                          "args" : [["EXPRESSION", {
759
                                            "args" : [["CALL", ["SIMPLE_NAME", "stdin_ack_sig"]]]}
760
                                          ]]}
761
                                        ]]}
762
                                      ], ["EXPRESSION", {
763
                                        "args" : [["EXPRESSION", {
764
                                          "args" : [["EXPRESSION", {
765
                                            "args" : [["CONSTANT_VALUE", {
766
                                              "value" : ["CST_LITERAL", "'1'"]}
767
                                            ]]}
768
                                          ]]}
769
                                        ]]}
770
                                      ]]}
771
                                    ]]}
772
                                  ]]}
773
                                ]]}
774
                              ]]}
775
                            ]]}
776
                          ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
777
                            "lhs" : ["SIMPLE_NAME", "in_vec_counter_1"], "rhs" : ["EXPRESSION", {
778
                              "args" : [["EXPRESSION", {
779
                                "args" : [["EXPRESSION", {
780
                                  "args" : [["EXPRESSION", {
781
                                    "id" : "+", "args" : [["EXPRESSION", {
782
                                      "args" : [["CALL", ["SIMPLE_NAME", "in_vec_counter_1"]]]}
783
                                    ], ["EXPRESSION", {
784
                                      "args" : [["CONSTANT_VALUE", {
785
                                        "value" : ["CST_LITERAL", "1"]}
786
                                      ]]}
787
                                    ]]}
788
                                  ]]}
789
                                ]]}
790
                              ]]}
791
                            ]}
792
                          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
793
                            "lhs" : ["SIMPLE_NAME", "stdin_ack_sig"], "rhs" : [{
794
                              "value" : ["EXPRESSION", {
795
                                "args" : [["EXPRESSION", {
796
                                  "args" : [["EXPRESSION", {
797
                                    "args" : [["EXPRESSION", {
798
                                      "args" : [["CONSTANT_VALUE", {
799
                                        "value" : ["CST_LITERAL", "'0'"]}
800
                                      ]]}
801
                                    ]]}
802
                                  ]]}
803
                                ]]}
804
                              ]}
805
                            ]}
806
                          ]]}
807
                        ]}
808
                      ]]}
809
                    ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
810
                      "lhs" : ["SIMPLE_NAME", "stdin_data"], "rhs" : [{
811
                        "value" : ["EXPRESSION", {
812
                          "args" : [["EXPRESSION", {
813
                            "args" : [["EXPRESSION", {
814
                              "args" : [["EXPRESSION", {
815
                                "args" : [["AGGREGATE", {
816
                                  "elems" : [{
817
                                    "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
818
                                      "args" : [["EXPRESSION", {
819
                                        "args" : [["EXPRESSION", {
820
                                          "args" : [["EXPRESSION", {
821
                                            "args" : [["CONSTANT_VALUE", {
822
                                              "value" : ["CST_LITERAL", "'0'"]}
823
                                            ]]}
824
                                          ]]}
825
                                        ]]}
826
                                      ]]}
827
                                    ]}
828
                                  ]}
829
                                ]]}
830
                              ]]}
831
                            ]]}
832
                          ]]}
833
                        ]}
834
                      ]}
835
                    ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
836
                      "lhs" : ["SIMPLE_NAME", "stdin_ack_sig"], "rhs" : [{
837
                        "value" : ["EXPRESSION", {
838
                          "args" : [["EXPRESSION", {
839
                            "args" : [["EXPRESSION", {
840
                              "args" : [["EXPRESSION", {
841
                                "args" : [["CONSTANT_VALUE", {
842
                                  "value" : ["CST_LITERAL", "'0'"]}
843
                                ]]}
844
                              ]]}
845
                            ]]}
846
                          ]]}
847
                        ]}
848
                      ]}
849
                    ]]}
850
                  ]]}
851
                , {
852
                  "when_cond" : [["EXPRESSION", {
853
                    "args" : [["EXPRESSION", {
854
                      "args" : [["CONSTANT_VALUE", {
855
                        "value" : ["CST_LITERAL", "\"10\""]}
856
                      ]]}
857
                    ]]}
858
                  ]], "when_stmt" : [["IF_STATEMENT", {
859
                    "if_cases" : [{
860
                      "if_cond" : ["EXPRESSION", {
861
                        "args" : [["EXPRESSION", {
862
                          "args" : [["EXPRESSION", {
863
                            "args" : [["EXPRESSION", {
864
                              "args" : [["EXPRESSION", {
865
                                "id" : "=", "args" : [["EXPRESSION", {
866
                                  "args" : [["EXPRESSION", {
867
                                    "args" : [["EXPRESSION", {
868
                                      "args" : [["CALL", ["SIMPLE_NAME", "en_feed"]]]}
869
                                    ]]}
870
                                  ]]}
871
                                ], ["EXPRESSION", {
872
                                  "args" : [["EXPRESSION", {
873
                                    "args" : [["EXPRESSION", {
874
                                      "args" : [["CONSTANT_VALUE", {
875
                                        "value" : ["CST_LITERAL", "'1'"]}
876
                                      ]]}
877
                                    ]]}
878
                                  ]]}
879
                                ]]}
880
                              ]]}
881
                            ]]}
882
                          ]]}
883
                        ]]}
884
                      ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
885
                        "lhs" : ["SIMPLE_NAME", "stdin_data"], "rhs" : [{
886
                          "value" : ["EXPRESSION", {
887
                            "args" : [["EXPRESSION", {
888
                              "args" : [["EXPRESSION", {
889
                                "args" : [["EXPRESSION", {
890
                                  "args" : [["CALL", ["INDEXED_NAME", {
891
                                    "id" : ["SIMPLE_NAME", "input_vectors_2"], "exprs" : [["EXPRESSION", {
892
                                      "args" : [["EXPRESSION", {
893
                                        "args" : [["EXPRESSION", {
894
                                          "args" : [["EXPRESSION", {
895
                                            "args" : [["CALL", ["INDEXED_NAME", {
896
                                              "id" : ["SIMPLE_NAME", "to_integer"], "exprs" : [["EXPRESSION", {
897
                                                "args" : [["EXPRESSION", {
898
                                                  "args" : [["EXPRESSION", {
899
                                                    "args" : [["EXPRESSION", {
900
                                                      "args" : [["CALL", ["SIMPLE_NAME", "in_vec_counter_2"]]]}
901
                                                    ]]}
902
                                                  ]]}
903
                                                ]]}
904
                                              ]]}
905
                                            ]]]}
906
                                          ]]}
907
                                        ]]}
908
                                      ]]}
909
                                    ]]}
910
                                  ]]]}
911
                                ]]}
912
                              ]]}
913
                            ]]}
914
                          ]}
915
                        ]}
916
                      ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
917
                        "lhs" : ["SIMPLE_NAME", "stdin_ack_sig"], "rhs" : [{
918
                          "value" : ["EXPRESSION", {
919
                            "args" : [["EXPRESSION", {
920
                              "args" : [["EXPRESSION", {
921
                                "args" : [["EXPRESSION", {
922
                                  "args" : [["CONSTANT_VALUE", {
923
                                    "value" : ["CST_LITERAL", "'1'"]}
924
                                  ]]}
925
                                ]]}
926
                              ]]}
927
                            ]]}
928
                          ]}
929
                        ]}
930
                      ], ["IF_STATEMENT", {
931
                        "if_cases" : [{
932
                          "if_cond" : ["EXPRESSION", {
933
                            "args" : [["EXPRESSION", {
934
                              "args" : [["EXPRESSION", {
935
                                "args" : [["EXPRESSION", {
936
                                  "args" : [["EXPRESSION", {
937
                                    "id" : "and", "args" : [["EXPRESSION", {
938
                                      "id" : "=", "args" : [["EXPRESSION", {
939
                                        "args" : [["EXPRESSION", {
940
                                          "args" : [["EXPRESSION", {
941
                                            "args" : [["CALL", ["SIMPLE_NAME", "stdin_rdy"]]]}
942
                                          ]]}
943
                                        ]]}
944
                                      ], ["EXPRESSION", {
945
                                        "args" : [["EXPRESSION", {
946
                                          "args" : [["EXPRESSION", {
947
                                            "args" : [["CONSTANT_VALUE", {
948
                                              "value" : ["CST_LITERAL", "'1'"]}
949
                                            ]]}
950
                                          ]]}
951
                                        ]]}
952
                                      ]]}
953
                                    ], ["EXPRESSION", {
954
                                      "id" : "=", "args" : [["EXPRESSION", {
955
                                        "args" : [["EXPRESSION", {
956
                                          "args" : [["EXPRESSION", {
957
                                            "args" : [["CALL", ["SIMPLE_NAME", "stdin_ack_sig"]]]}
958
                                          ]]}
959
                                        ]]}
960
                                      ], ["EXPRESSION", {
961
                                        "args" : [["EXPRESSION", {
962
                                          "args" : [["EXPRESSION", {
963
                                            "args" : [["CONSTANT_VALUE", {
964
                                              "value" : ["CST_LITERAL", "'1'"]}
965
                                            ]]}
966
                                          ]]}
967
                                        ]]}
968
                                      ]]}
969
                                    ]]}
970
                                  ]]}
971
                                ]]}
972
                              ]]}
973
                            ]]}
974
                          ], "if_block" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
975
                            "lhs" : ["SIMPLE_NAME", "in_vec_counter_2"], "rhs" : ["EXPRESSION", {
976
                              "args" : [["EXPRESSION", {
977
                                "args" : [["EXPRESSION", {
978
                                  "args" : [["EXPRESSION", {
979
                                    "id" : "+", "args" : [["EXPRESSION", {
980
                                      "args" : [["CALL", ["SIMPLE_NAME", "in_vec_counter_2"]]]}
981
                                    ], ["EXPRESSION", {
982
                                      "args" : [["CONSTANT_VALUE", {
983
                                        "value" : ["CST_LITERAL", "1"]}
984
                                      ]]}
985
                                    ]]}
986
                                  ]]}
987
                                ]]}
988
                              ]]}
989
                            ]}
990
                          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
991
                            "lhs" : ["SIMPLE_NAME", "stdin_ack_sig"], "rhs" : [{
992
                              "value" : ["EXPRESSION", {
993
                                "args" : [["EXPRESSION", {
994
                                  "args" : [["EXPRESSION", {
995
                                    "args" : [["EXPRESSION", {
996
                                      "args" : [["CONSTANT_VALUE", {
997
                                        "value" : ["CST_LITERAL", "'0'"]}
998
                                      ]]}
999
                                    ]]}
1000
                                  ]]}
1001
                                ]]}
1002
                              ]}
1003
                            ]}
1004
                          ]]}
1005
                        ]}
1006
                      ]]}
1007
                    ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1008
                      "lhs" : ["SIMPLE_NAME", "stdin_data"], "rhs" : [{
1009
                        "value" : ["EXPRESSION", {
1010
                          "args" : [["EXPRESSION", {
1011
                            "args" : [["EXPRESSION", {
1012
                              "args" : [["EXPRESSION", {
1013
                                "args" : [["AGGREGATE", {
1014
                                  "elems" : [{
1015
                                    "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
1016
                                      "args" : [["EXPRESSION", {
1017
                                        "args" : [["EXPRESSION", {
1018
                                          "args" : [["EXPRESSION", {
1019
                                            "args" : [["CONSTANT_VALUE", {
1020
                                              "value" : ["CST_LITERAL", "'0'"]}
1021
                                            ]]}
1022
                                          ]]}
1023
                                        ]]}
1024
                                      ]]}
1025
                                    ]}
1026
                                  ]}
1027
                                ]]}
1028
                              ]]}
1029
                            ]]}
1030
                          ]]}
1031
                        ]}
1032
                      ]}
1033
                    ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1034
                      "lhs" : ["SIMPLE_NAME", "stdin_ack_sig"], "rhs" : [{
1035
                        "value" : ["EXPRESSION", {
1036
                          "args" : [["EXPRESSION", {
1037
                            "args" : [["EXPRESSION", {
1038
                              "args" : [["EXPRESSION", {
1039
                                "args" : [["CONSTANT_VALUE", {
1040
                                  "value" : ["CST_LITERAL", "'0'"]}
1041
                                ]]}
1042
                              ]]}
1043
                            ]]}
1044
                          ]]}
1045
                        ]}
1046
                      ]}
1047
                    ]]}
1048
                  ]]}
1049
                , {
1050
                  "when_cond" : [["OTHERS"]], "when_stmt" : []}
1051
                ]}
1052
              ]]}
1053
            ]}
1054
          ]]}
1055
        ], ["PROCESS_STATEMENT", {
1056
          "id" : ["IDENTIFIER", "check"], "active_sigs" : [["SIMPLE_NAME", "reset"], ["SIMPLE_NAME", "clock"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
1057
            "if_cases" : [{
1058
              "if_cond" : ["EXPRESSION", {
1059
                "args" : [["EXPRESSION", {
1060
                  "args" : [["EXPRESSION", {
1061
                    "args" : [["EXPRESSION", {
1062
                      "args" : [["EXPRESSION", {
1063
                        "id" : "=", "args" : [["EXPRESSION", {
1064
                          "args" : [["EXPRESSION", {
1065
                            "args" : [["EXPRESSION", {
1066
                              "args" : [["CALL", ["SIMPLE_NAME", "reset"]]]}
1067
                            ]]}
1068
                          ]]}
1069
                        ], ["EXPRESSION", {
1070
                          "args" : [["EXPRESSION", {
1071
                            "args" : [["EXPRESSION", {
1072
                              "args" : [["CONSTANT_VALUE", {
1073
                                "value" : ["CST_LITERAL", "'1'"]}
1074
                              ]]}
1075
                            ]]}
1076
                          ]]}
1077
                        ]]}
1078
                      ]]}
1079
                    ]]}
1080
                  ]]}
1081
                ]]}
1082
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1083
                "lhs" : ["SIMPLE_NAME", "n_error"], "rhs" : [{
1084
                  "value" : ["EXPRESSION", {
1085
                    "args" : [["EXPRESSION", {
1086
                      "args" : [["EXPRESSION", {
1087
                        "args" : [["EXPRESSION", {
1088
                          "args" : [["CONSTANT_VALUE", {
1089
                            "value" : ["CST_LITERAL", "'1'"]}
1090
                          ]]}
1091
                        ]]}
1092
                      ]]}
1093
                    ]]}
1094
                  ]}
1095
                ]}
1096
              ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1097
                "lhs" : ["SIMPLE_NAME", "vec_read"], "rhs" : [{
1098
                  "value" : ["EXPRESSION", {
1099
                    "args" : [["EXPRESSION", {
1100
                      "args" : [["EXPRESSION", {
1101
                        "args" : [["EXPRESSION", {
1102
                          "args" : [["CONSTANT_VALUE", {
1103
                            "value" : ["CST_LITERAL", "'0'"]}
1104
                          ]]}
1105
                        ]]}
1106
                      ]]}
1107
                    ]]}
1108
                  ]}
1109
                ]}
1110
              ]]}
1111
            , {
1112
              "if_cond" : ["EXPRESSION", {
1113
                "args" : [["EXPRESSION", {
1114
                  "args" : [["EXPRESSION", {
1115
                    "args" : [["EXPRESSION", {
1116
                      "args" : [["CALL", ["INDEXED_NAME", {
1117
                        "id" : ["SIMPLE_NAME", "rising_edge"], "exprs" : [["EXPRESSION", {
1118
                          "args" : [["EXPRESSION", {
1119
                            "args" : [["EXPRESSION", {
1120
                              "args" : [["EXPRESSION", {
1121
                                "args" : [["CALL", ["SIMPLE_NAME", "clock"]]]}
1122
                              ]]}
1123
                            ]]}
1124
                          ]]}
1125
                        ]]}
1126
                      ]]]}
1127
                    ]]}
1128
                  ]]}
1129
                ]]}
1130
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1131
                "lhs" : ["SIMPLE_NAME", "vec_read"], "rhs" : [{
1132
                  "value" : ["EXPRESSION", {
1133
                    "args" : [["EXPRESSION", {
1134
                      "args" : [["EXPRESSION", {
1135
                        "args" : [["EXPRESSION", {
1136
                          "args" : [["CONSTANT_VALUE", {
1137
                            "value" : ["CST_LITERAL", "'0'"]}
1138
                          ]]}
1139
                        ]]}
1140
                      ]]}
1141
                    ]]}
1142
                  ]}
1143
                ]}
1144
              ], ["IF_STATEMENT", {
1145
                "if_cases" : [{
1146
                  "if_cond" : ["EXPRESSION", {
1147
                    "args" : [["EXPRESSION", {
1148
                      "args" : [["EXPRESSION", {
1149
                        "args" : [["EXPRESSION", {
1150
                          "args" : [["EXPRESSION", {
1151
                            "id" : "=", "args" : [["EXPRESSION", {
1152
                              "args" : [["EXPRESSION", {
1153
                                "args" : [["EXPRESSION", {
1154
                                  "args" : [["CALL", ["SIMPLE_NAME", "en_check"]]]}
1155
                                ]]}
1156
                              ]]}
1157
                            ], ["EXPRESSION", {
1158
                              "args" : [["EXPRESSION", {
1159
                                "args" : [["EXPRESSION", {
1160
                                  "args" : [["CONSTANT_VALUE", {
1161
                                    "value" : ["CST_LITERAL", "'1'"]}
1162
                                  ]]}
1163
                                ]]}
1164
                              ]]}
1165
                            ]]}
1166
                          ]]}
1167
                        ]]}
1168
                      ]]}
1169
                    ]]}
1170
                  ], "if_block" : [["IF_STATEMENT", {
1171
                    "if_cases" : [{
1172
                      "if_cond" : ["EXPRESSION", {
1173
                        "args" : [["EXPRESSION", {
1174
                          "args" : [["EXPRESSION", {
1175
                            "args" : [["EXPRESSION", {
1176
                              "args" : [["EXPRESSION", {
1177
                                "id" : "=", "args" : [["EXPRESSION", {
1178
                                  "args" : [["EXPRESSION", {
1179
                                    "args" : [["EXPRESSION", {
1180
                                      "args" : [["CALL", ["SIMPLE_NAME", "stdout_rdy"]]]}
1181
                                    ]]}
1182
                                  ]]}
1183
                                ], ["EXPRESSION", {
1184
                                  "args" : [["EXPRESSION", {
1185
                                    "args" : [["EXPRESSION", {
1186
                                      "args" : [["CONSTANT_VALUE", {
1187
                                        "value" : ["CST_LITERAL", "'1'"]}
1188
                                      ]]}
1189
                                    ]]}
1190
                                  ]]}
1191
                                ]]}
1192
                              ]]}
1193
                            ]]}
1194
                          ]]}
1195
                        ]]}
1196
                      ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1197
                        "lhs" : ["SIMPLE_NAME", "vec_read"], "rhs" : [{
1198
                          "value" : ["EXPRESSION", {
1199
                            "args" : [["EXPRESSION", {
1200
                              "args" : [["EXPRESSION", {
1201
                                "args" : [["EXPRESSION", {
1202
                                  "args" : [["CONSTANT_VALUE", {
1203
                                    "value" : ["CST_LITERAL", "'1'"]}
1204
                                  ]]}
1205
                                ]]}
1206
                              ]]}
1207
                            ]]}
1208
                          ]}
1209
                        ]}
1210
                      ], ["CASE_STATEMENT_TREE", {
1211
                        "guard" : ["EXPRESSION", {
1212
                          "args" : [["EXPRESSION", {
1213
                            "args" : [["EXPRESSION", {
1214
                              "args" : [["EXPRESSION", {
1215
                                "args" : [["CALL", ["SIMPLE_NAME", "context_uut"]]]}
1216
                              ]]}
1217
                            ]]}
1218
                          ]]}
1219
                        ], "branches" : [{
1220
                          "when_cond" : [["EXPRESSION", {
1221
                            "args" : [["EXPRESSION", {
1222
                              "args" : [["CONSTANT_VALUE", {
1223
                                "value" : ["CST_LITERAL", "\"01\""]}
1224
                              ]]}
1225
                            ]]}
1226
                          ]], "when_stmt" : [["ASSERTION_STATEMENT", {
1227
                            "cond" : ["EXPRESSION", {
1228
                              "args" : [["EXPRESSION", {
1229
                                "args" : [["EXPRESSION", {
1230
                                  "args" : [["EXPRESSION", {
1231
                                    "args" : [["EXPRESSION", {
1232
                                      "id" : "=", "args" : [["EXPRESSION", {
1233
                                        "args" : [["EXPRESSION", {
1234
                                          "args" : [["EXPRESSION", {
1235
                                            "args" : [["CALL", ["SIMPLE_NAME", "stdout_data"]]]}
1236
                                          ]]}
1237
                                        ]]}
1238
                                      ], ["EXPRESSION", {
1239
                                        "args" : [["EXPRESSION", {
1240
                                          "args" : [["EXPRESSION", {
1241
                                            "args" : [["CALL", ["INDEXED_NAME", {
1242
                                              "id" : ["SIMPLE_NAME", "output_vectors_1"], "exprs" : [["EXPRESSION", {
1243
                                                "args" : [["EXPRESSION", {
1244
                                                  "args" : [["EXPRESSION", {
1245
                                                    "args" : [["EXPRESSION", {
1246
                                                      "args" : [["CALL", ["INDEXED_NAME", {
1247
                                                        "id" : ["SIMPLE_NAME", "to_integer"], "exprs" : [["EXPRESSION", {
1248
                                                          "args" : [["EXPRESSION", {
1249
                                                            "args" : [["EXPRESSION", {
1250
                                                              "args" : [["EXPRESSION", {
1251
                                                                "args" : [["CALL", ["SIMPLE_NAME", "out_vec_counter_1"]]]}
1252
                                                              ]]}
1253
                                                            ]]}
1254
                                                          ]]}
1255
                                                        ]]}
1256
                                                      ]]]}
1257
                                                    ]]}
1258
                                                  ]]}
1259
                                                ]]}
1260
                                              ]]}
1261
                                            ]]]}
1262
                                          ]]}
1263
                                        ]]}
1264
                                      ]]}
1265
                                    ]]}
1266
                                  ]]}
1267
                                ]]}
1268
                              ]]}
1269
                            ], "report" : ["EXPRESSION", {
1270
                              "args" : [["EXPRESSION", {
1271
                                "args" : [["EXPRESSION", {
1272
                                  "args" : [["EXPRESSION", {
1273
                                    "args" : [["CONSTANT_VALUE", {
1274
                                      "value" : ["CST_LITERAL", "\"ERROR ---> Bad output vector found\""]}
1275
                                    ]]}
1276
                                  ]]}
1277
                                ]]}
1278
                              ]]}
1279
                            ]}
1280
                          ], ["IF_STATEMENT", {
1281
                            "if_cases" : [{
1282
                              "if_cond" : ["EXPRESSION", {
1283
                                "args" : [["EXPRESSION", {
1284
                                  "args" : [["EXPRESSION", {
1285
                                    "args" : [["EXPRESSION", {
1286
                                      "args" : [["EXPRESSION", {
1287
                                        "id" : "/=", "args" : [["EXPRESSION", {
1288
                                          "args" : [["EXPRESSION", {
1289
                                            "args" : [["EXPRESSION", {
1290
                                              "args" : [["CALL", ["SIMPLE_NAME", "stdout_data"]]]}
1291
                                            ]]}
1292
                                          ]]}
1293
                                        ], ["EXPRESSION", {
1294
                                          "args" : [["EXPRESSION", {
1295
                                            "args" : [["EXPRESSION", {
1296
                                              "args" : [["CALL", ["INDEXED_NAME", {
1297
                                                "id" : ["SIMPLE_NAME", "output_vectors_1"], "exprs" : [["EXPRESSION", {
1298
                                                  "args" : [["EXPRESSION", {
1299
                                                    "args" : [["EXPRESSION", {
1300
                                                      "args" : [["EXPRESSION", {
1301
                                                        "args" : [["CALL", ["INDEXED_NAME", {
1302
                                                          "id" : ["SIMPLE_NAME", "to_integer"], "exprs" : [["EXPRESSION", {
1303
                                                            "args" : [["EXPRESSION", {
1304
                                                              "args" : [["EXPRESSION", {
1305
                                                                "args" : [["EXPRESSION", {
1306
                                                                  "args" : [["CALL", ["SIMPLE_NAME", "out_vec_counter_1"]]]}
1307
                                                                ]]}
1308
                                                              ]]}
1309
                                                            ]]}
1310
                                                          ]]}
1311
                                                        ]]]}
1312
                                                      ]]}
1313
                                                    ]]}
1314
                                                  ]]}
1315
                                                ]]}
1316
                                              ]]]}
1317
                                            ]]}
1318
                                          ]]}
1319
                                        ]]}
1320
                                      ]]}
1321
                                    ]]}
1322
                                  ]]}
1323
                                ]]}
1324
                              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1325
                                "lhs" : ["SIMPLE_NAME", "n_error"], "rhs" : [{
1326
                                  "value" : ["EXPRESSION", {
1327
                                    "args" : [["EXPRESSION", {
1328
                                      "args" : [["EXPRESSION", {
1329
                                        "args" : [["EXPRESSION", {
1330
                                          "args" : [["CONSTANT_VALUE", {
1331
                                            "value" : ["CST_LITERAL", "'0'"]}
1332
                                          ]]}
1333
                                        ]]}
1334
                                      ]]}
1335
                                    ]]}
1336
                                  ]}
1337
                                ]}
1338
                              ]]}
1339
                            ]}
1340
                          ]]}
1341
                        , {
1342
                          "when_cond" : [["EXPRESSION", {
1343
                            "args" : [["EXPRESSION", {
1344
                              "args" : [["CONSTANT_VALUE", {
1345
                                "value" : ["CST_LITERAL", "\"10\""]}
1346
                              ]]}
1347
                            ]]}
1348
                          ]], "when_stmt" : [["ASSERTION_STATEMENT", {
1349
                            "cond" : ["EXPRESSION", {
1350
                              "args" : [["EXPRESSION", {
1351
                                "args" : [["EXPRESSION", {
1352
                                  "args" : [["EXPRESSION", {
1353
                                    "args" : [["EXPRESSION", {
1354
                                      "id" : "=", "args" : [["EXPRESSION", {
1355
                                        "args" : [["EXPRESSION", {
1356
                                          "args" : [["EXPRESSION", {
1357
                                            "args" : [["CALL", ["SIMPLE_NAME", "stdout_data"]]]}
1358
                                          ]]}
1359
                                        ]]}
1360
                                      ], ["EXPRESSION", {
1361
                                        "args" : [["EXPRESSION", {
1362
                                          "args" : [["EXPRESSION", {
1363
                                            "args" : [["CALL", ["INDEXED_NAME", {
1364
                                              "id" : ["SIMPLE_NAME", "output_vectors_2"], "exprs" : [["EXPRESSION", {
1365
                                                "args" : [["EXPRESSION", {
1366
                                                  "args" : [["EXPRESSION", {
1367
                                                    "args" : [["EXPRESSION", {
1368
                                                      "args" : [["CALL", ["INDEXED_NAME", {
1369
                                                        "id" : ["SIMPLE_NAME", "to_integer"], "exprs" : [["EXPRESSION", {
1370
                                                          "args" : [["EXPRESSION", {
1371
                                                            "args" : [["EXPRESSION", {
1372
                                                              "args" : [["EXPRESSION", {
1373
                                                                "args" : [["CALL", ["SIMPLE_NAME", "out_vec_counter_2"]]]}
1374
                                                              ]]}
1375
                                                            ]]}
1376
                                                          ]]}
1377
                                                        ]]}
1378
                                                      ]]]}
1379
                                                    ]]}
1380
                                                  ]]}
1381
                                                ]]}
1382
                                              ]]}
1383
                                            ]]]}
1384
                                          ]]}
1385
                                        ]]}
1386
                                      ]]}
1387
                                    ]]}
1388
                                  ]]}
1389
                                ]]}
1390
                              ]]}
1391
                            ], "report" : ["EXPRESSION", {
1392
                              "args" : [["EXPRESSION", {
1393
                                "args" : [["EXPRESSION", {
1394
                                  "args" : [["EXPRESSION", {
1395
                                    "args" : [["CONSTANT_VALUE", {
1396
                                      "value" : ["CST_LITERAL", "\"ERROR ---> Bad output vector found\""]}
1397
                                    ]]}
1398
                                  ]]}
1399
                                ]]}
1400
                              ]]}
1401
                            ]}
1402
                          ], ["IF_STATEMENT", {
1403
                            "if_cases" : [{
1404
                              "if_cond" : ["EXPRESSION", {
1405
                                "args" : [["EXPRESSION", {
1406
                                  "args" : [["EXPRESSION", {
1407
                                    "args" : [["EXPRESSION", {
1408
                                      "args" : [["EXPRESSION", {
1409
                                        "id" : "/=", "args" : [["EXPRESSION", {
1410
                                          "args" : [["EXPRESSION", {
1411
                                            "args" : [["EXPRESSION", {
1412
                                              "args" : [["CALL", ["SIMPLE_NAME", "stdout_data"]]]}
1413
                                            ]]}
1414
                                          ]]}
1415
                                        ], ["EXPRESSION", {
1416
                                          "args" : [["EXPRESSION", {
1417
                                            "args" : [["EXPRESSION", {
1418
                                              "args" : [["CALL", ["INDEXED_NAME", {
1419
                                                "id" : ["SIMPLE_NAME", "output_vectors_2"], "exprs" : [["EXPRESSION", {
1420
                                                  "args" : [["EXPRESSION", {
1421
                                                    "args" : [["EXPRESSION", {
1422
                                                      "args" : [["EXPRESSION", {
1423
                                                        "args" : [["CALL", ["INDEXED_NAME", {
1424
                                                          "id" : ["SIMPLE_NAME", "to_integer"], "exprs" : [["EXPRESSION", {
1425
                                                            "args" : [["EXPRESSION", {
1426
                                                              "args" : [["EXPRESSION", {
1427
                                                                "args" : [["EXPRESSION", {
1428
                                                                  "args" : [["CALL", ["SIMPLE_NAME", "out_vec_counter_2"]]]}
1429
                                                                ]]}
1430
                                                              ]]}
1431
                                                            ]]}
1432
                                                          ]]}
1433
                                                        ]]]}
1434
                                                      ]]}
1435
                                                    ]]}
1436
                                                  ]]}
1437
                                                ]]}
1438
                                              ]]]}
1439
                                            ]]}
1440
                                          ]]}
1441
                                        ]]}
1442
                                      ]]}
1443
                                    ]]}
1444
                                  ]]}
1445
                                ]]}
1446
                              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1447
                                "lhs" : ["SIMPLE_NAME", "n_error"], "rhs" : [{
1448
                                  "value" : ["EXPRESSION", {
1449
                                    "args" : [["EXPRESSION", {
1450
                                      "args" : [["EXPRESSION", {
1451
                                        "args" : [["EXPRESSION", {
1452
                                          "args" : [["CONSTANT_VALUE", {
1453
                                            "value" : ["CST_LITERAL", "'0'"]}
1454
                                          ]]}
1455
                                        ]]}
1456
                                      ]]}
1457
                                    ]]}
1458
                                  ]}
1459
                                ]}
1460
                              ]]}
1461
                            ]}
1462
                          ]]}
1463
                        , {
1464
                          "when_cond" : [["OTHERS"]], "when_stmt" : []}
1465
                        ]}
1466
                      ]]}
1467
                    ]}
1468
                  ]]}
1469
                ]}
1470
              ]]}
1471
            ]}
1472
          ]]}
1473
        ], ["PROCESS_STATEMENT", {
1474
          "id" : ["IDENTIFIER", "read_counter"], "active_sigs" : [["SIMPLE_NAME", "reset"], ["SIMPLE_NAME", "clock"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
1475
            "if_cases" : [{
1476
              "if_cond" : ["EXPRESSION", {
1477
                "args" : [["EXPRESSION", {
1478
                  "args" : [["EXPRESSION", {
1479
                    "args" : [["EXPRESSION", {
1480
                      "args" : [["EXPRESSION", {
1481
                        "id" : "=", "args" : [["EXPRESSION", {
1482
                          "args" : [["EXPRESSION", {
1483
                            "args" : [["EXPRESSION", {
1484
                              "args" : [["CALL", ["SIMPLE_NAME", "reset"]]]}
1485
                            ]]}
1486
                          ]]}
1487
                        ], ["EXPRESSION", {
1488
                          "args" : [["EXPRESSION", {
1489
                            "args" : [["EXPRESSION", {
1490
                              "args" : [["CONSTANT_VALUE", {
1491
                                "value" : ["CST_LITERAL", "'1'"]}
1492
                              ]]}
1493
                            ]]}
1494
                          ]]}
1495
                        ]]}
1496
                      ]]}
1497
                    ]]}
1498
                  ]]}
1499
                ]]}
1500
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1501
                "lhs" : ["SIMPLE_NAME", "out_vec_counter_1"], "rhs" : [{
1502
                  "value" : ["EXPRESSION", {
1503
                    "args" : [["EXPRESSION", {
1504
                      "args" : [["EXPRESSION", {
1505
                        "args" : [["EXPRESSION", {
1506
                          "args" : [["AGGREGATE", {
1507
                            "elems" : [{
1508
                              "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
1509
                                "args" : [["EXPRESSION", {
1510
                                  "args" : [["EXPRESSION", {
1511
                                    "args" : [["EXPRESSION", {
1512
                                      "args" : [["CONSTANT_VALUE", {
1513
                                        "value" : ["CST_LITERAL", "'0'"]}
1514
                                      ]]}
1515
                                    ]]}
1516
                                  ]]}
1517
                                ]]}
1518
                              ]}
1519
                            ]}
1520
                          ]]}
1521
                        ]]}
1522
                      ]]}
1523
                    ]]}
1524
                  ]}
1525
                ]}
1526
              ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
1527
                "lhs" : ["SIMPLE_NAME", "out_vec_counter_2"], "rhs" : [{
1528
                  "value" : ["EXPRESSION", {
1529
                    "args" : [["EXPRESSION", {
1530
                      "args" : [["EXPRESSION", {
1531
                        "args" : [["EXPRESSION", {
1532
                          "args" : [["AGGREGATE", {
1533
                            "elems" : [{
1534
                              "choices" : [["OTHERS"]], "expr" : ["EXPRESSION", {
1535
                                "args" : [["EXPRESSION", {
1536
                                  "args" : [["EXPRESSION", {
1537
                                    "args" : [["EXPRESSION", {
1538
                                      "args" : [["CONSTANT_VALUE", {
1539
                                        "value" : ["CST_LITERAL", "'0'"]}
1540
                                      ]]}
1541
                                    ]]}
1542
                                  ]]}
1543
                                ]]}
1544
                              ]}
1545
                            ]}
1546
                          ]]}
1547
                        ]]}
1548
                      ]]}
1549
                    ]]}
1550
                  ]}
1551
                ]}
1552
              ]]}
1553
            , {
1554
              "if_cond" : ["EXPRESSION", {
1555
                "args" : [["EXPRESSION", {
1556
                  "args" : [["EXPRESSION", {
1557
                    "args" : [["EXPRESSION", {
1558
                      "args" : [["CALL", ["INDEXED_NAME", {
1559
                        "id" : ["SIMPLE_NAME", "rising_edge"], "exprs" : [["EXPRESSION", {
1560
                          "args" : [["EXPRESSION", {
1561
                            "args" : [["EXPRESSION", {
1562
                              "args" : [["EXPRESSION", {
1563
                                "args" : [["CALL", ["SIMPLE_NAME", "clock"]]]}
1564
                              ]]}
1565
                            ]]}
1566
                          ]]}
1567
                        ]]}
1568
                      ]]]}
1569
                    ]]}
1570
                  ]]}
1571
                ]]}
1572
              ], "if_block" : [["IF_STATEMENT", {
1573
                "if_cases" : [{
1574
                  "if_cond" : ["EXPRESSION", {
1575
                    "args" : [["EXPRESSION", {
1576
                      "args" : [["EXPRESSION", {
1577
                        "args" : [["EXPRESSION", {
1578
                          "args" : [["EXPRESSION", {
1579
                            "id" : "=", "args" : [["EXPRESSION", {
1580
                              "args" : [["EXPRESSION", {
1581
                                "args" : [["EXPRESSION", {
1582
                                  "args" : [["CALL", ["SIMPLE_NAME", "en_check"]]]}
1583
                                ]]}
1584
                              ]]}
1585
                            ], ["EXPRESSION", {
1586
                              "args" : [["EXPRESSION", {
1587
                                "args" : [["EXPRESSION", {
1588
                                  "args" : [["CONSTANT_VALUE", {
1589
                                    "value" : ["CST_LITERAL", "'1'"]}
1590
                                  ]]}
1591
                                ]]}
1592
                              ]]}
1593
                            ]]}
1594
                          ]]}
1595
                        ]]}
1596
                      ]]}
1597
                    ]]}
1598
                  ], "if_block" : [["IF_STATEMENT", {
1599
                    "if_cases" : [{
1600
                      "if_cond" : ["EXPRESSION", {
1601
                        "args" : [["EXPRESSION", {
1602
                          "args" : [["EXPRESSION", {
1603
                            "args" : [["EXPRESSION", {
1604
                              "args" : [["EXPRESSION", {
1605
                                "id" : "=", "args" : [["EXPRESSION", {
1606
                                  "args" : [["EXPRESSION", {
1607
                                    "args" : [["EXPRESSION", {
1608
                                      "args" : [["CALL", ["SIMPLE_NAME", "stdout_rdy"]]]}
1609
                                    ]]}
1610
                                  ]]}
1611
                                ], ["EXPRESSION", {
1612
                                  "args" : [["EXPRESSION", {
1613
                                    "args" : [["EXPRESSION", {
1614
                                      "args" : [["CONSTANT_VALUE", {
1615
                                        "value" : ["CST_LITERAL", "'1'"]}
1616
                                      ]]}
1617
                                    ]]}
1618
                                  ]]}
1619
                                ]]}
1620
                              ]]}
1621
                            ]]}
1622
                          ]]}
1623
                        ]]}
1624
                      ], "if_block" : [["CASE_STATEMENT_TREE", {
1625
                        "guard" : ["EXPRESSION", {
1626
                          "args" : [["EXPRESSION", {
1627
                            "args" : [["EXPRESSION", {
1628
                              "args" : [["EXPRESSION", {
1629
                                "args" : [["CALL", ["SIMPLE_NAME", "context_uut"]]]}
1630
                              ]]}
1631
                            ]]}
1632
                          ]]}
1633
                        ], "branches" : [{
1634
                          "when_cond" : [["EXPRESSION", {
1635
                            "args" : [["EXPRESSION", {
1636
                              "args" : [["CONSTANT_VALUE", {
1637
                                "value" : ["CST_LITERAL", "\"01\""]}
1638
                              ]]}
1639
                            ]]}
1640
                          ]], "when_stmt" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1641
                            "lhs" : ["SIMPLE_NAME", "out_vec_counter_1"], "rhs" : [{
1642
                              "value" : ["EXPRESSION", {
1643
                                "args" : [["EXPRESSION", {
1644
                                  "args" : [["EXPRESSION", {
1645
                                    "args" : [["EXPRESSION", {
1646
                                      "id" : "+", "args" : [["EXPRESSION", {
1647
                                        "args" : [["CALL", ["SIMPLE_NAME", "out_vec_counter_1"]]]}
1648
                                      ], ["EXPRESSION", {
1649
                                        "args" : [["CONSTANT_VALUE", {
1650
                                          "value" : ["CST_LITERAL", "1"]}
1651
                                        ]]}
1652
                                      ]]}
1653
                                    ]]}
1654
                                  ]]}
1655
                                ]]}
1656
                              ]}
1657
                            ]}
1658
                          ]]}
1659
                        , {
1660
                          "when_cond" : [["EXPRESSION", {
1661
                            "args" : [["EXPRESSION", {
1662
                              "args" : [["CONSTANT_VALUE", {
1663
                                "value" : ["CST_LITERAL", "\"10\""]}
1664
                              ]]}
1665
                            ]]}
1666
                          ]], "when_stmt" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1667
                            "lhs" : ["SIMPLE_NAME", "out_vec_counter_2"], "rhs" : [{
1668
                              "value" : ["EXPRESSION", {
1669
                                "args" : [["EXPRESSION", {
1670
                                  "args" : [["EXPRESSION", {
1671
                                    "args" : [["EXPRESSION", {
1672
                                      "id" : "+", "args" : [["EXPRESSION", {
1673
                                        "args" : [["CALL", ["SIMPLE_NAME", "out_vec_counter_2"]]]}
1674
                                      ], ["EXPRESSION", {
1675
                                        "args" : [["CONSTANT_VALUE", {
1676
                                          "value" : ["CST_LITERAL", "1"]}
1677
                                        ]]}
1678
                                      ]]}
1679
                                    ]]}
1680
                                  ]]}
1681
                                ]]}
1682
                              ]}
1683
                            ]}
1684
                          ]]}
1685
                        , {
1686
                          "when_cond" : [["OTHERS"]], "when_stmt" : []}
1687
                        ]}
1688
                      ]]}
1689
                    ]}
1690
                  ]]}
1691
                ]}
1692
              ]]}
1693
            ]}
1694
          ]]}
1695
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1696
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "stdout_ack"], "rhs" : [{
1697
            "expr" : [{
1698
              "value" : ["EXPRESSION", {
1699
                "args" : [["EXPRESSION", {
1700
                  "args" : [["EXPRESSION", {
1701
                    "args" : [["EXPRESSION", {
1702
                      "args" : [["CALL", ["SIMPLE_NAME", "en_check"]]]}
1703
                    ]]}
1704
                  ]]}
1705
                ]]}
1706
              ]}
1707
            ]}
1708
          ]}
1709
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1710
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "stdin_ack"], "rhs" : [{
1711
            "expr" : [{
1712
              "value" : ["EXPRESSION", {
1713
                "args" : [["EXPRESSION", {
1714
                  "args" : [["EXPRESSION", {
1715
                    "args" : [["EXPRESSION", {
1716
                      "args" : [["CALL", ["SIMPLE_NAME", "stdin_ack_sig"]]]}
1717
                    ]]}
1718
                  ]]}
1719
                ]]}
1720
              ]}
1721
            ]}
1722
          ]}
1723
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1724
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "vecs_found"], "rhs" : [{
1725
            "expr" : [{
1726
              "value" : ["EXPRESSION", {
1727
                "args" : [["EXPRESSION", {
1728
                  "args" : [["EXPRESSION", {
1729
                    "args" : [["EXPRESSION", {
1730
                      "args" : [["CONSTANT_VALUE", {
1731
                        "value" : ["CST_LITERAL", "'1'"]}
1732
                      ]]}
1733
                    ]]}
1734
                  ]]}
1735
                ]]}
1736
              ]}
1737
            ], "cond" : ["EXPRESSION", {
1738
              "args" : [["EXPRESSION", {
1739
                "args" : [["EXPRESSION", {
1740
                  "args" : [["EXPRESSION", {
1741
                    "args" : [["EXPRESSION", {
1742
                      "id" : "or", "args" : [["EXPRESSION", {
1743
                        "id" : "/=", "args" : [["EXPRESSION", {
1744
                          "args" : [["EXPRESSION", {
1745
                            "args" : [["EXPRESSION", {
1746
                              "args" : [["CALL", ["SIMPLE_NAME", "out_vec_counter_1"]]]}
1747
                            ]]}
1748
                          ]]}
1749
                        ], ["EXPRESSION", {
1750
                          "args" : [["EXPRESSION", {
1751
                            "args" : [["EXPRESSION", {
1752
                              "args" : [["CONSTANT_VALUE", {
1753
                                "value" : ["CST_LITERAL", "0"]}
1754
                              ]]}
1755
                            ]]}
1756
                          ]]}
1757
                        ]]}
1758
                      ], ["EXPRESSION", {
1759
                        "id" : "/=", "args" : [["EXPRESSION", {
1760
                          "args" : [["EXPRESSION", {
1761
                            "args" : [["EXPRESSION", {
1762
                              "args" : [["CALL", ["SIMPLE_NAME", "out_vec_counter_2"]]]}
1763
                            ]]}
1764
                          ]]}
1765
                        ], ["EXPRESSION", {
1766
                          "args" : [["EXPRESSION", {
1767
                            "args" : [["EXPRESSION", {
1768
                              "args" : [["CONSTANT_VALUE", {
1769
                                "value" : ["CST_LITERAL", "0"]}
1770
                              ]]}
1771
                            ]]}
1772
                          ]]}
1773
                        ]]}
1774
                      ]]}
1775
                    ]]}
1776
                  ]]}
1777
                ]]}
1778
              ]]}
1779
            ]}
1780
          , {
1781
            "expr" : [{
1782
              "value" : ["EXPRESSION", {
1783
                "args" : [["EXPRESSION", {
1784
                  "args" : [["EXPRESSION", {
1785
                    "args" : [["EXPRESSION", {
1786
                      "args" : [["CONSTANT_VALUE", {
1787
                        "value" : ["CST_LITERAL", "'0'"]}
1788
                      ]]}
1789
                    ]]}
1790
                  ]]}
1791
                ]]}
1792
              ]}
1793
            ]}
1794
          ]}
1795
        ]]}
1796
      ]}
1797
    ]}
1798
  }