Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (44.3 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["PACKAGE_DECLARATION", {
5
        "name" : ["IDENTIFIER", "counter_types"], "shared_defs" : [["SUBTYPE_DECLARATION", {
6
          "name" : ["IDENTIFIER", "digit"], "typ" : {
7
            "name" : ["SIMPLE_NAME", "bit_vector"], "const" : ["INDEX_CONSTRAINT", {
8
              "ranges" : [["RANGE_WITH_DIRECTION", {
9
                "direction" : "downto", "from" : ["EXPRESSION", {
10
                  "args" : [["EXPRESSION", {
11
                    "args" : [["CONSTANT_VALUE", {
12
                      "value" : ["CST_LITERAL", "3"]}
13
                    ]]}
14
                  ]]}
15
                ], "_to" : ["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["CONSTANT_VALUE", {
18
                      "value" : ["CST_LITERAL", "0"]}
19
                    ]]}
20
                  ]]}
21
                ]}
22
              ]]}
23
            ]}
24
          }
25
        ]], "shared_decls" : [], "shared_uses" : []}
26
      ]}
27
    , {
28
      "contexts" : [["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["SIMPLE_NAME", "counter_types"], ["IDENTIFIER", "digit"]]]]]], "library" : ["ENTITY_DECLARATION", {
29
        "name" : ["IDENTIFIER", "add_1"], "ports" : [{
30
          "names" : [["IDENTIFIER", "d"]], "mode" : ["in"], "typ" : {
31
            "name" : ["SIMPLE_NAME", "digit"]}
32
          }
33
        , {
34
          "names" : [["IDENTIFIER", "y"]], "mode" : ["out"], "typ" : {
35
            "name" : ["SIMPLE_NAME", "digit"]}
36
          }
37
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
38
      ]}
39
    , {
40
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
41
        "name" : ["IDENTIFIER", "boolean_eqn"], "entity" : ["IDENTIFIER", "add_1"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["CONDITIONAL_SIGNAL_ASSIGNMENT", {
42
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
43
            "id" : ["SIMPLE_NAME", "y"], "exprs" : [["EXPRESSION", {
44
              "args" : [["EXPRESSION", {
45
                "args" : [["EXPRESSION", {
46
                  "args" : [["EXPRESSION", {
47
                    "args" : [["CONSTANT_VALUE", {
48
                      "value" : ["CST_LITERAL", "0"]}
49
                    ]]}
50
                  ]]}
51
                ]]}
52
              ]]}
53
            ]]}
54
          ], "rhs" : [{
55
            "expr" : [{
56
              "value" : ["EXPRESSION", {
57
                "args" : [["EXPRESSION", {
58
                  "args" : [["EXPRESSION", {
59
                    "args" : [["EXPRESSION", {
60
                      "id" : "not", "args" : [["CALL", ["INDEXED_NAME", {
61
                        "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
62
                          "args" : [["EXPRESSION", {
63
                            "args" : [["EXPRESSION", {
64
                              "args" : [["EXPRESSION", {
65
                                "args" : [["CONSTANT_VALUE", {
66
                                  "value" : ["CST_LITERAL", "0"]}
67
                                ]]}
68
                              ]]}
69
                            ]]}
70
                          ]]}
71
                        ]]}
72
                      ]]]}
73
                    ]]}
74
                  ]]}
75
                ]]}
76
              ], "delay" : ["EXPRESSION", {
77
                "args" : [["EXPRESSION", {
78
                  "args" : [["EXPRESSION", {
79
                    "args" : [["EXPRESSION", {
80
                      "args" : [["CONSTANT_VALUE", {
81
                        "value" : ["CST_LITERAL", "4"], "unit_name" : ["SIMPLE_NAME", "ns"]}
82
                      ]]}
83
                    ]]}
84
                  ]]}
85
                ]]}
86
              ]}
87
            ]}
88
          ]}
89
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
90
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
91
            "id" : ["SIMPLE_NAME", "y"], "exprs" : [["EXPRESSION", {
92
              "args" : [["EXPRESSION", {
93
                "args" : [["EXPRESSION", {
94
                  "args" : [["EXPRESSION", {
95
                    "args" : [["CONSTANT_VALUE", {
96
                      "value" : ["CST_LITERAL", "1"]}
97
                    ]]}
98
                  ]]}
99
                ]]}
100
              ]]}
101
            ]]}
102
          ], "rhs" : [{
103
            "expr" : [{
104
              "value" : ["EXPRESSION", {
105
                "id" : "or", "args" : [["EXPRESSION", {
106
                  "args" : [["EXPRESSION", {
107
                    "args" : [["EXPRESSION", {
108
                      "args" : [["EXPRESSION", {
109
                        "args" : [["EXPRESSION", {
110
                          "id" : "and", "args" : [["EXPRESSION", {
111
                            "args" : [["EXPRESSION", {
112
                              "args" : [["EXPRESSION", {
113
                                "args" : [["EXPRESSION", {
114
                                  "id" : "not", "args" : [["CALL", ["INDEXED_NAME", {
115
                                    "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
116
                                      "args" : [["EXPRESSION", {
117
                                        "args" : [["EXPRESSION", {
118
                                          "args" : [["EXPRESSION", {
119
                                            "args" : [["CONSTANT_VALUE", {
120
                                              "value" : ["CST_LITERAL", "1"]}
121
                                            ]]}
122
                                          ]]}
123
                                        ]]}
124
                                      ]]}
125
                                    ]]}
126
                                  ]]]}
127
                                ]]}
128
                              ]]}
129
                            ]]}
130
                          ], ["EXPRESSION", {
131
                            "args" : [["EXPRESSION", {
132
                              "args" : [["EXPRESSION", {
133
                                "args" : [["EXPRESSION", {
134
                                  "args" : [["CALL", ["INDEXED_NAME", {
135
                                    "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
136
                                      "args" : [["EXPRESSION", {
137
                                        "args" : [["EXPRESSION", {
138
                                          "args" : [["EXPRESSION", {
139
                                            "args" : [["CONSTANT_VALUE", {
140
                                              "value" : ["CST_LITERAL", "0"]}
141
                                            ]]}
142
                                          ]]}
143
                                        ]]}
144
                                      ]]}
145
                                    ]]}
146
                                  ]]]}
147
                                ]]}
148
                              ]]}
149
                            ]]}
150
                          ]]}
151
                        ]]}
152
                      ]]}
153
                    ]]}
154
                  ]]}
155
                ], ["EXPRESSION", {
156
                  "args" : [["EXPRESSION", {
157
                    "args" : [["EXPRESSION", {
158
                      "args" : [["EXPRESSION", {
159
                        "args" : [["EXPRESSION", {
160
                          "id" : "and", "args" : [["EXPRESSION", {
161
                            "args" : [["EXPRESSION", {
162
                              "args" : [["EXPRESSION", {
163
                                "args" : [["EXPRESSION", {
164
                                  "args" : [["CALL", ["INDEXED_NAME", {
165
                                    "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
166
                                      "args" : [["EXPRESSION", {
167
                                        "args" : [["EXPRESSION", {
168
                                          "args" : [["EXPRESSION", {
169
                                            "args" : [["CONSTANT_VALUE", {
170
                                              "value" : ["CST_LITERAL", "1"]}
171
                                            ]]}
172
                                          ]]}
173
                                        ]]}
174
                                      ]]}
175
                                    ]]}
176
                                  ]]]}
177
                                ]]}
178
                              ]]}
179
                            ]]}
180
                          ], ["EXPRESSION", {
181
                            "args" : [["EXPRESSION", {
182
                              "args" : [["EXPRESSION", {
183
                                "args" : [["EXPRESSION", {
184
                                  "id" : "not", "args" : [["CALL", ["INDEXED_NAME", {
185
                                    "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
186
                                      "args" : [["EXPRESSION", {
187
                                        "args" : [["EXPRESSION", {
188
                                          "args" : [["EXPRESSION", {
189
                                            "args" : [["CONSTANT_VALUE", {
190
                                              "value" : ["CST_LITERAL", "0"]}
191
                                            ]]}
192
                                          ]]}
193
                                        ]]}
194
                                      ]]}
195
                                    ]]}
196
                                  ]]]}
197
                                ]]}
198
                              ]]}
199
                            ]]}
200
                          ]]}
201
                        ]]}
202
                      ]]}
203
                    ]]}
204
                  ]]}
205
                ]]}
206
              ], "delay" : ["EXPRESSION", {
207
                "args" : [["EXPRESSION", {
208
                  "args" : [["EXPRESSION", {
209
                    "args" : [["EXPRESSION", {
210
                      "args" : [["CONSTANT_VALUE", {
211
                        "value" : ["CST_LITERAL", "4"], "unit_name" : ["SIMPLE_NAME", "ns"]}
212
                      ]]}
213
                    ]]}
214
                  ]]}
215
                ]]}
216
              ]}
217
            ]}
218
          ]}
219
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
220
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
221
            "id" : ["SIMPLE_NAME", "y"], "exprs" : [["EXPRESSION", {
222
              "args" : [["EXPRESSION", {
223
                "args" : [["EXPRESSION", {
224
                  "args" : [["EXPRESSION", {
225
                    "args" : [["CONSTANT_VALUE", {
226
                      "value" : ["CST_LITERAL", "2"]}
227
                    ]]}
228
                  ]]}
229
                ]]}
230
              ]]}
231
            ]]}
232
          ], "rhs" : [{
233
            "expr" : [{
234
              "value" : ["EXPRESSION", {
235
                "id" : "or", "args" : [["EXPRESSION", {
236
                  "args" : [["EXPRESSION", {
237
                    "args" : [["EXPRESSION", {
238
                      "args" : [["EXPRESSION", {
239
                        "args" : [["EXPRESSION", {
240
                          "id" : "and", "args" : [["EXPRESSION", {
241
                            "id" : "and", "args" : [["EXPRESSION", {
242
                              "args" : [["EXPRESSION", {
243
                                "args" : [["EXPRESSION", {
244
                                  "args" : [["EXPRESSION", {
245
                                    "id" : "not", "args" : [["CALL", ["INDEXED_NAME", {
246
                                      "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
247
                                        "args" : [["EXPRESSION", {
248
                                          "args" : [["EXPRESSION", {
249
                                            "args" : [["EXPRESSION", {
250
                                              "args" : [["CONSTANT_VALUE", {
251
                                                "value" : ["CST_LITERAL", "2"]}
252
                                              ]]}
253
                                            ]]}
254
                                          ]]}
255
                                        ]]}
256
                                      ]]}
257
                                    ]]]}
258
                                  ]]}
259
                                ]]}
260
                              ]]}
261
                            ], ["EXPRESSION", {
262
                              "args" : [["EXPRESSION", {
263
                                "args" : [["EXPRESSION", {
264
                                  "args" : [["EXPRESSION", {
265
                                    "args" : [["CALL", ["INDEXED_NAME", {
266
                                      "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
267
                                        "args" : [["EXPRESSION", {
268
                                          "args" : [["EXPRESSION", {
269
                                            "args" : [["EXPRESSION", {
270
                                              "args" : [["CONSTANT_VALUE", {
271
                                                "value" : ["CST_LITERAL", "1"]}
272
                                              ]]}
273
                                            ]]}
274
                                          ]]}
275
                                        ]]}
276
                                      ]]}
277
                                    ]]]}
278
                                  ]]}
279
                                ]]}
280
                              ]]}
281
                            ]]}
282
                          ], ["EXPRESSION", {
283
                            "args" : [["EXPRESSION", {
284
                              "args" : [["EXPRESSION", {
285
                                "args" : [["EXPRESSION", {
286
                                  "args" : [["CALL", ["INDEXED_NAME", {
287
                                    "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
288
                                      "args" : [["EXPRESSION", {
289
                                        "args" : [["EXPRESSION", {
290
                                          "args" : [["EXPRESSION", {
291
                                            "args" : [["CONSTANT_VALUE", {
292
                                              "value" : ["CST_LITERAL", "0"]}
293
                                            ]]}
294
                                          ]]}
295
                                        ]]}
296
                                      ]]}
297
                                    ]]}
298
                                  ]]]}
299
                                ]]}
300
                              ]]}
301
                            ]]}
302
                          ]]}
303
                        ]]}
304
                      ]]}
305
                    ]]}
306
                  ]]}
307
                ], ["EXPRESSION", {
308
                  "args" : [["EXPRESSION", {
309
                    "args" : [["EXPRESSION", {
310
                      "args" : [["EXPRESSION", {
311
                        "args" : [["EXPRESSION", {
312
                          "id" : "and", "args" : [["EXPRESSION", {
313
                            "args" : [["EXPRESSION", {
314
                              "args" : [["EXPRESSION", {
315
                                "args" : [["EXPRESSION", {
316
                                  "args" : [["CALL", ["INDEXED_NAME", {
317
                                    "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
318
                                      "args" : [["EXPRESSION", {
319
                                        "args" : [["EXPRESSION", {
320
                                          "args" : [["EXPRESSION", {
321
                                            "args" : [["CONSTANT_VALUE", {
322
                                              "value" : ["CST_LITERAL", "2"]}
323
                                            ]]}
324
                                          ]]}
325
                                        ]]}
326
                                      ]]}
327
                                    ]]}
328
                                  ]]]}
329
                                ]]}
330
                              ]]}
331
                            ]]}
332
                          ], ["EXPRESSION", {
333
                            "args" : [["EXPRESSION", {
334
                              "args" : [["EXPRESSION", {
335
                                "args" : [["EXPRESSION", {
336
                                  "id" : "not", "args" : [["EXPRESSION", {
337
                                    "id" : "and", "args" : [["EXPRESSION", {
338
                                      "args" : [["EXPRESSION", {
339
                                        "args" : [["EXPRESSION", {
340
                                          "args" : [["EXPRESSION", {
341
                                            "args" : [["CALL", ["INDEXED_NAME", {
342
                                              "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
343
                                                "args" : [["EXPRESSION", {
344
                                                  "args" : [["EXPRESSION", {
345
                                                    "args" : [["EXPRESSION", {
346
                                                      "args" : [["CONSTANT_VALUE", {
347
                                                        "value" : ["CST_LITERAL", "1"]}
348
                                                      ]]}
349
                                                    ]]}
350
                                                  ]]}
351
                                                ]]}
352
                                              ]]}
353
                                            ]]]}
354
                                          ]]}
355
                                        ]]}
356
                                      ]]}
357
                                    ], ["EXPRESSION", {
358
                                      "args" : [["EXPRESSION", {
359
                                        "args" : [["EXPRESSION", {
360
                                          "args" : [["EXPRESSION", {
361
                                            "args" : [["CALL", ["INDEXED_NAME", {
362
                                              "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
363
                                                "args" : [["EXPRESSION", {
364
                                                  "args" : [["EXPRESSION", {
365
                                                    "args" : [["EXPRESSION", {
366
                                                      "args" : [["CONSTANT_VALUE", {
367
                                                        "value" : ["CST_LITERAL", "0"]}
368
                                                      ]]}
369
                                                    ]]}
370
                                                  ]]}
371
                                                ]]}
372
                                              ]]}
373
                                            ]]]}
374
                                          ]]}
375
                                        ]]}
376
                                      ]]}
377
                                    ]]}
378
                                  ]]}
379
                                ]]}
380
                              ]]}
381
                            ]]}
382
                          ]]}
383
                        ]]}
384
                      ]]}
385
                    ]]}
386
                  ]]}
387
                ]]}
388
              ], "delay" : ["EXPRESSION", {
389
                "args" : [["EXPRESSION", {
390
                  "args" : [["EXPRESSION", {
391
                    "args" : [["EXPRESSION", {
392
                      "args" : [["CONSTANT_VALUE", {
393
                        "value" : ["CST_LITERAL", "4"], "unit_name" : ["SIMPLE_NAME", "ns"]}
394
                      ]]}
395
                    ]]}
396
                  ]]}
397
                ]]}
398
              ]}
399
            ]}
400
          ]}
401
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
402
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
403
            "id" : ["SIMPLE_NAME", "y"], "exprs" : [["EXPRESSION", {
404
              "args" : [["EXPRESSION", {
405
                "args" : [["EXPRESSION", {
406
                  "args" : [["EXPRESSION", {
407
                    "args" : [["CONSTANT_VALUE", {
408
                      "value" : ["CST_LITERAL", "3"]}
409
                    ]]}
410
                  ]]}
411
                ]]}
412
              ]]}
413
            ]]}
414
          ], "rhs" : [{
415
            "expr" : [{
416
              "value" : ["EXPRESSION", {
417
                "id" : "or", "args" : [["EXPRESSION", {
418
                  "args" : [["EXPRESSION", {
419
                    "args" : [["EXPRESSION", {
420
                      "args" : [["EXPRESSION", {
421
                        "args" : [["EXPRESSION", {
422
                          "id" : "and", "args" : [["EXPRESSION", {
423
                            "id" : "and", "args" : [["EXPRESSION", {
424
                              "id" : "and", "args" : [["EXPRESSION", {
425
                                "args" : [["EXPRESSION", {
426
                                  "args" : [["EXPRESSION", {
427
                                    "args" : [["EXPRESSION", {
428
                                      "id" : "not", "args" : [["CALL", ["INDEXED_NAME", {
429
                                        "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
430
                                          "args" : [["EXPRESSION", {
431
                                            "args" : [["EXPRESSION", {
432
                                              "args" : [["EXPRESSION", {
433
                                                "args" : [["CONSTANT_VALUE", {
434
                                                  "value" : ["CST_LITERAL", "3"]}
435
                                                ]]}
436
                                              ]]}
437
                                            ]]}
438
                                          ]]}
439
                                        ]]}
440
                                      ]]]}
441
                                    ]]}
442
                                  ]]}
443
                                ]]}
444
                              ], ["EXPRESSION", {
445
                                "args" : [["EXPRESSION", {
446
                                  "args" : [["EXPRESSION", {
447
                                    "args" : [["EXPRESSION", {
448
                                      "args" : [["CALL", ["INDEXED_NAME", {
449
                                        "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
450
                                          "args" : [["EXPRESSION", {
451
                                            "args" : [["EXPRESSION", {
452
                                              "args" : [["EXPRESSION", {
453
                                                "args" : [["CONSTANT_VALUE", {
454
                                                  "value" : ["CST_LITERAL", "2"]}
455
                                                ]]}
456
                                              ]]}
457
                                            ]]}
458
                                          ]]}
459
                                        ]]}
460
                                      ]]]}
461
                                    ]]}
462
                                  ]]}
463
                                ]]}
464
                              ]]}
465
                            ], ["EXPRESSION", {
466
                              "args" : [["EXPRESSION", {
467
                                "args" : [["EXPRESSION", {
468
                                  "args" : [["EXPRESSION", {
469
                                    "args" : [["CALL", ["INDEXED_NAME", {
470
                                      "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
471
                                        "args" : [["EXPRESSION", {
472
                                          "args" : [["EXPRESSION", {
473
                                            "args" : [["EXPRESSION", {
474
                                              "args" : [["CONSTANT_VALUE", {
475
                                                "value" : ["CST_LITERAL", "1"]}
476
                                              ]]}
477
                                            ]]}
478
                                          ]]}
479
                                        ]]}
480
                                      ]]}
481
                                    ]]]}
482
                                  ]]}
483
                                ]]}
484
                              ]]}
485
                            ]]}
486
                          ], ["EXPRESSION", {
487
                            "args" : [["EXPRESSION", {
488
                              "args" : [["EXPRESSION", {
489
                                "args" : [["EXPRESSION", {
490
                                  "args" : [["CALL", ["INDEXED_NAME", {
491
                                    "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
492
                                      "args" : [["EXPRESSION", {
493
                                        "args" : [["EXPRESSION", {
494
                                          "args" : [["EXPRESSION", {
495
                                            "args" : [["CONSTANT_VALUE", {
496
                                              "value" : ["CST_LITERAL", "0"]}
497
                                            ]]}
498
                                          ]]}
499
                                        ]]}
500
                                      ]]}
501
                                    ]]}
502
                                  ]]]}
503
                                ]]}
504
                              ]]}
505
                            ]]}
506
                          ]]}
507
                        ]]}
508
                      ]]}
509
                    ]]}
510
                  ]]}
511
                ], ["EXPRESSION", {
512
                  "args" : [["EXPRESSION", {
513
                    "args" : [["EXPRESSION", {
514
                      "args" : [["EXPRESSION", {
515
                        "args" : [["EXPRESSION", {
516
                          "id" : "and", "args" : [["EXPRESSION", {
517
                            "args" : [["EXPRESSION", {
518
                              "args" : [["EXPRESSION", {
519
                                "args" : [["EXPRESSION", {
520
                                  "args" : [["CALL", ["INDEXED_NAME", {
521
                                    "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
522
                                      "args" : [["EXPRESSION", {
523
                                        "args" : [["EXPRESSION", {
524
                                          "args" : [["EXPRESSION", {
525
                                            "args" : [["CONSTANT_VALUE", {
526
                                              "value" : ["CST_LITERAL", "3"]}
527
                                            ]]}
528
                                          ]]}
529
                                        ]]}
530
                                      ]]}
531
                                    ]]}
532
                                  ]]]}
533
                                ]]}
534
                              ]]}
535
                            ]]}
536
                          ], ["EXPRESSION", {
537
                            "args" : [["EXPRESSION", {
538
                              "args" : [["EXPRESSION", {
539
                                "args" : [["EXPRESSION", {
540
                                  "id" : "not", "args" : [["EXPRESSION", {
541
                                    "id" : "and", "args" : [["EXPRESSION", {
542
                                      "id" : "and", "args" : [["EXPRESSION", {
543
                                        "args" : [["EXPRESSION", {
544
                                          "args" : [["EXPRESSION", {
545
                                            "args" : [["EXPRESSION", {
546
                                              "args" : [["CALL", ["INDEXED_NAME", {
547
                                                "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
548
                                                  "args" : [["EXPRESSION", {
549
                                                    "args" : [["EXPRESSION", {
550
                                                      "args" : [["EXPRESSION", {
551
                                                        "args" : [["CONSTANT_VALUE", {
552
                                                          "value" : ["CST_LITERAL", "2"]}
553
                                                        ]]}
554
                                                      ]]}
555
                                                    ]]}
556
                                                  ]]}
557
                                                ]]}
558
                                              ]]]}
559
                                            ]]}
560
                                          ]]}
561
                                        ]]}
562
                                      ], ["EXPRESSION", {
563
                                        "args" : [["EXPRESSION", {
564
                                          "args" : [["EXPRESSION", {
565
                                            "args" : [["EXPRESSION", {
566
                                              "args" : [["CALL", ["INDEXED_NAME", {
567
                                                "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
568
                                                  "args" : [["EXPRESSION", {
569
                                                    "args" : [["EXPRESSION", {
570
                                                      "args" : [["EXPRESSION", {
571
                                                        "args" : [["CONSTANT_VALUE", {
572
                                                          "value" : ["CST_LITERAL", "1"]}
573
                                                        ]]}
574
                                                      ]]}
575
                                                    ]]}
576
                                                  ]]}
577
                                                ]]}
578
                                              ]]]}
579
                                            ]]}
580
                                          ]]}
581
                                        ]]}
582
                                      ]]}
583
                                    ], ["EXPRESSION", {
584
                                      "args" : [["EXPRESSION", {
585
                                        "args" : [["EXPRESSION", {
586
                                          "args" : [["EXPRESSION", {
587
                                            "args" : [["CALL", ["INDEXED_NAME", {
588
                                              "id" : ["SIMPLE_NAME", "d"], "exprs" : [["EXPRESSION", {
589
                                                "args" : [["EXPRESSION", {
590
                                                  "args" : [["EXPRESSION", {
591
                                                    "args" : [["EXPRESSION", {
592
                                                      "args" : [["CONSTANT_VALUE", {
593
                                                        "value" : ["CST_LITERAL", "0"]}
594
                                                      ]]}
595
                                                    ]]}
596
                                                  ]]}
597
                                                ]]}
598
                                              ]]}
599
                                            ]]]}
600
                                          ]]}
601
                                        ]]}
602
                                      ]]}
603
                                    ]]}
604
                                  ]]}
605
                                ]]}
606
                              ]]}
607
                            ]]}
608
                          ]]}
609
                        ]]}
610
                      ]]}
611
                    ]]}
612
                  ]]}
613
                ]]}
614
              ], "delay" : ["EXPRESSION", {
615
                "args" : [["EXPRESSION", {
616
                  "args" : [["EXPRESSION", {
617
                    "args" : [["EXPRESSION", {
618
                      "args" : [["CONSTANT_VALUE", {
619
                        "value" : ["CST_LITERAL", "4"], "unit_name" : ["SIMPLE_NAME", "ns"]}
620
                      ]]}
621
                    ]]}
622
                  ]]}
623
                ]]}
624
              ]}
625
            ]}
626
          ]}
627
        ]]}
628
      ]}
629
    , {
630
      "contexts" : [["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["SIMPLE_NAME", "counter_types"], ["IDENTIFIER", "digit"]]]]]], "library" : ["ENTITY_DECLARATION", {
631
        "name" : ["IDENTIFIER", "buf4"], "ports" : [{
632
          "names" : [["IDENTIFIER", "a"]], "mode" : ["in"], "typ" : {
633
            "name" : ["SIMPLE_NAME", "digit"]}
634
          }
635
        , {
636
          "names" : [["IDENTIFIER", "y"]], "mode" : ["out"], "typ" : {
637
            "name" : ["SIMPLE_NAME", "digit"]}
638
          }
639
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
640
      ]}
641
    , {
642
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
643
        "name" : ["IDENTIFIER", "basic"], "entity" : ["IDENTIFIER", "buf4"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["CONDITIONAL_SIGNAL_ASSIGNMENT", {
644
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
645
            "id" : ["SIMPLE_NAME", "y"], "exprs" : [["EXPRESSION", {
646
              "args" : [["EXPRESSION", {
647
                "args" : [["EXPRESSION", {
648
                  "args" : [["EXPRESSION", {
649
                    "args" : [["CONSTANT_VALUE", {
650
                      "value" : ["CST_LITERAL", "0"]}
651
                    ]]}
652
                  ]]}
653
                ]]}
654
              ]]}
655
            ]]}
656
          ], "rhs" : [{
657
            "expr" : [{
658
              "value" : ["EXPRESSION", {
659
                "args" : [["EXPRESSION", {
660
                  "args" : [["EXPRESSION", {
661
                    "args" : [["EXPRESSION", {
662
                      "args" : [["CALL", ["INDEXED_NAME", {
663
                        "id" : ["SIMPLE_NAME", "a"], "exprs" : [["EXPRESSION", {
664
                          "args" : [["EXPRESSION", {
665
                            "args" : [["EXPRESSION", {
666
                              "args" : [["EXPRESSION", {
667
                                "args" : [["CONSTANT_VALUE", {
668
                                  "value" : ["CST_LITERAL", "0"]}
669
                                ]]}
670
                              ]]}
671
                            ]]}
672
                          ]]}
673
                        ]]}
674
                      ]]]}
675
                    ]]}
676
                  ]]}
677
                ]]}
678
              ], "delay" : ["EXPRESSION", {
679
                "args" : [["EXPRESSION", {
680
                  "args" : [["EXPRESSION", {
681
                    "args" : [["EXPRESSION", {
682
                      "args" : [["CONSTANT_VALUE", {
683
                        "value" : ["CST_LITERAL", "2"], "unit_name" : ["SIMPLE_NAME", "ns"]}
684
                      ]]}
685
                    ]]}
686
                  ]]}
687
                ]]}
688
              ]}
689
            ]}
690
          ]}
691
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
692
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
693
            "id" : ["SIMPLE_NAME", "y"], "exprs" : [["EXPRESSION", {
694
              "args" : [["EXPRESSION", {
695
                "args" : [["EXPRESSION", {
696
                  "args" : [["EXPRESSION", {
697
                    "args" : [["CONSTANT_VALUE", {
698
                      "value" : ["CST_LITERAL", "1"]}
699
                    ]]}
700
                  ]]}
701
                ]]}
702
              ]]}
703
            ]]}
704
          ], "rhs" : [{
705
            "expr" : [{
706
              "value" : ["EXPRESSION", {
707
                "args" : [["EXPRESSION", {
708
                  "args" : [["EXPRESSION", {
709
                    "args" : [["EXPRESSION", {
710
                      "args" : [["CALL", ["INDEXED_NAME", {
711
                        "id" : ["SIMPLE_NAME", "a"], "exprs" : [["EXPRESSION", {
712
                          "args" : [["EXPRESSION", {
713
                            "args" : [["EXPRESSION", {
714
                              "args" : [["EXPRESSION", {
715
                                "args" : [["CONSTANT_VALUE", {
716
                                  "value" : ["CST_LITERAL", "1"]}
717
                                ]]}
718
                              ]]}
719
                            ]]}
720
                          ]]}
721
                        ]]}
722
                      ]]]}
723
                    ]]}
724
                  ]]}
725
                ]]}
726
              ], "delay" : ["EXPRESSION", {
727
                "args" : [["EXPRESSION", {
728
                  "args" : [["EXPRESSION", {
729
                    "args" : [["EXPRESSION", {
730
                      "args" : [["CONSTANT_VALUE", {
731
                        "value" : ["CST_LITERAL", "2"], "unit_name" : ["SIMPLE_NAME", "ns"]}
732
                      ]]}
733
                    ]]}
734
                  ]]}
735
                ]]}
736
              ]}
737
            ]}
738
          ]}
739
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
740
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
741
            "id" : ["SIMPLE_NAME", "y"], "exprs" : [["EXPRESSION", {
742
              "args" : [["EXPRESSION", {
743
                "args" : [["EXPRESSION", {
744
                  "args" : [["EXPRESSION", {
745
                    "args" : [["CONSTANT_VALUE", {
746
                      "value" : ["CST_LITERAL", "2"]}
747
                    ]]}
748
                  ]]}
749
                ]]}
750
              ]]}
751
            ]]}
752
          ], "rhs" : [{
753
            "expr" : [{
754
              "value" : ["EXPRESSION", {
755
                "args" : [["EXPRESSION", {
756
                  "args" : [["EXPRESSION", {
757
                    "args" : [["EXPRESSION", {
758
                      "args" : [["CALL", ["INDEXED_NAME", {
759
                        "id" : ["SIMPLE_NAME", "a"], "exprs" : [["EXPRESSION", {
760
                          "args" : [["EXPRESSION", {
761
                            "args" : [["EXPRESSION", {
762
                              "args" : [["EXPRESSION", {
763
                                "args" : [["CONSTANT_VALUE", {
764
                                  "value" : ["CST_LITERAL", "2"]}
765
                                ]]}
766
                              ]]}
767
                            ]]}
768
                          ]]}
769
                        ]]}
770
                      ]]]}
771
                    ]]}
772
                  ]]}
773
                ]]}
774
              ], "delay" : ["EXPRESSION", {
775
                "args" : [["EXPRESSION", {
776
                  "args" : [["EXPRESSION", {
777
                    "args" : [["EXPRESSION", {
778
                      "args" : [["CONSTANT_VALUE", {
779
                        "value" : ["CST_LITERAL", "2"], "unit_name" : ["SIMPLE_NAME", "ns"]}
780
                      ]]}
781
                    ]]}
782
                  ]]}
783
                ]]}
784
              ]}
785
            ]}
786
          ]}
787
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
788
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
789
            "id" : ["SIMPLE_NAME", "y"], "exprs" : [["EXPRESSION", {
790
              "args" : [["EXPRESSION", {
791
                "args" : [["EXPRESSION", {
792
                  "args" : [["EXPRESSION", {
793
                    "args" : [["CONSTANT_VALUE", {
794
                      "value" : ["CST_LITERAL", "3"]}
795
                    ]]}
796
                  ]]}
797
                ]]}
798
              ]]}
799
            ]]}
800
          ], "rhs" : [{
801
            "expr" : [{
802
              "value" : ["EXPRESSION", {
803
                "args" : [["EXPRESSION", {
804
                  "args" : [["EXPRESSION", {
805
                    "args" : [["EXPRESSION", {
806
                      "args" : [["CALL", ["INDEXED_NAME", {
807
                        "id" : ["SIMPLE_NAME", "a"], "exprs" : [["EXPRESSION", {
808
                          "args" : [["EXPRESSION", {
809
                            "args" : [["EXPRESSION", {
810
                              "args" : [["EXPRESSION", {
811
                                "args" : [["CONSTANT_VALUE", {
812
                                  "value" : ["CST_LITERAL", "3"]}
813
                                ]]}
814
                              ]]}
815
                            ]]}
816
                          ]]}
817
                        ]]}
818
                      ]]]}
819
                    ]]}
820
                  ]]}
821
                ]]}
822
              ], "delay" : ["EXPRESSION", {
823
                "args" : [["EXPRESSION", {
824
                  "args" : [["EXPRESSION", {
825
                    "args" : [["EXPRESSION", {
826
                      "args" : [["CONSTANT_VALUE", {
827
                        "value" : ["CST_LITERAL", "2"], "unit_name" : ["SIMPLE_NAME", "ns"]}
828
                      ]]}
829
                    ]]}
830
                  ]]}
831
                ]]}
832
              ]}
833
            ]}
834
          ]}
835
        ]]}
836
      ]}
837
    , {
838
      "contexts" : [["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["SIMPLE_NAME", "counter_types"], ["IDENTIFIER", "digit"]]]]]], "library" : ["ENTITY_DECLARATION", {
839
        "name" : ["IDENTIFIER", "counter"], "ports" : [{
840
          "names" : [["IDENTIFIER", "clk"], ["IDENTIFIER", "clr"]], "mode" : ["in"], "typ" : {
841
            "name" : ["SIMPLE_NAME", "bit"]}
842
          }
843
        , {
844
          "names" : [["IDENTIFIER", "q0"], ["IDENTIFIER", "q1"]], "mode" : ["out"], "typ" : {
845
            "name" : ["SIMPLE_NAME", "digit"]}
846
          }
847
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
848
      ]}
849
    , {
850
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
851
        "name" : ["IDENTIFIER", "registered"], "entity" : ["IDENTIFIER", "counter"], "ARCHITECTURE_DECLARATIVE_PART" : [{
852
          "declaration" : ["COMPONENT_DECLARATION", {
853
            "name" : ["IDENTIFIER", "digit_register"], "ports" : [{
854
              "names" : [["IDENTIFIER", "clk"], ["IDENTIFIER", "clr"]], "mode" : ["in"], "typ" : {
855
                "name" : ["SIMPLE_NAME", "bit"]}
856
              }
857
            , {
858
              "names" : [["IDENTIFIER", "d"]], "mode" : ["in"], "typ" : {
859
                "name" : ["SIMPLE_NAME", "digit"]}
860
              }
861
            , {
862
              "names" : [["IDENTIFIER", "q"]], "mode" : ["out"], "typ" : {
863
                "name" : ["SIMPLE_NAME", "digit"]}
864
              }
865
            ]}
866
          ]}
867
        , {
868
          "declaration" : ["SIGNAL_DECLARATION", {
869
            "names" : [["IDENTIFIER", "current_val0"], ["IDENTIFIER", "current_val1"], ["IDENTIFIER", "next_val0"], ["IDENTIFIER", "next_val1"]], "typ" : {
870
              "name" : ["SIMPLE_NAME", "digit"]}
871
            }
872
          ]}
873
        ], "ARCHITECTURE_STATEMENT_PART" : [["COMPONENT_INSTANTIATION_STATEMENT", {
874
          "name" : ["IDENTIFIER", "val0_reg"], "inst_unit" : ["SIMPLE_NAME", "digit_register"], "inst_unit_type" : "component", "port_map" : [{
875
            "formal_name" : ["SIMPLE_NAME", "clk"], "actual_designator" : ["SIMPLE_NAME", "clk"]}
876
          , {
877
            "formal_name" : ["SIMPLE_NAME", "clr"], "actual_designator" : ["SIMPLE_NAME", "clr"]}
878
          , {
879
            "formal_name" : ["SIMPLE_NAME", "d"], "actual_designator" : ["SIMPLE_NAME", "next_val0"]}
880
          , {
881
            "formal_name" : ["SIMPLE_NAME", "q"], "actual_designator" : ["SIMPLE_NAME", "current_val0"]}
882
          ]}
883
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
884
          "name" : ["IDENTIFIER", "val1_reg"], "inst_unit" : ["SIMPLE_NAME", "digit_register"], "inst_unit_type" : "component", "port_map" : [{
885
            "formal_name" : ["SIMPLE_NAME", "clk"], "actual_designator" : ["SIMPLE_NAME", "clk"]}
886
          , {
887
            "formal_name" : ["SIMPLE_NAME", "clr"], "actual_designator" : ["SIMPLE_NAME", "clr"]}
888
          , {
889
            "formal_name" : ["SIMPLE_NAME", "d"], "actual_designator" : ["SIMPLE_NAME", "next_val1"]}
890
          , {
891
            "formal_name" : ["SIMPLE_NAME", "q"], "actual_designator" : ["SIMPLE_NAME", "current_val1"]}
892
          ]}
893
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
894
          "name" : ["IDENTIFIER", "incr0"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "add_1"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "boolean_eqn"], "port_map" : [{
895
            "formal_name" : ["SIMPLE_NAME", "d"], "actual_designator" : ["SIMPLE_NAME", "current_val0"]}
896
          , {
897
            "formal_name" : ["SIMPLE_NAME", "y"], "actual_designator" : ["SIMPLE_NAME", "next_val0"]}
898
          ]}
899
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
900
          "name" : ["IDENTIFIER", "incr1"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "add_1"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "boolean_eqn"], "port_map" : [{
901
            "formal_name" : ["SIMPLE_NAME", "d"], "actual_designator" : ["SIMPLE_NAME", "current_val1"]}
902
          , {
903
            "formal_name" : ["SIMPLE_NAME", "y"], "actual_designator" : ["SIMPLE_NAME", "next_val1"]}
904
          ]}
905
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
906
          "name" : ["IDENTIFIER", "buf0"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "buf4"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "basic"], "port_map" : [{
907
            "formal_name" : ["SIMPLE_NAME", "a"], "actual_designator" : ["SIMPLE_NAME", "current_val0"]}
908
          , {
909
            "formal_name" : ["SIMPLE_NAME", "y"], "actual_designator" : ["SIMPLE_NAME", "q0"]}
910
          ]}
911
        ], ["COMPONENT_INSTANTIATION_STATEMENT", {
912
          "name" : ["IDENTIFIER", "buf1"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "buf4"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "basic"], "port_map" : [{
913
            "formal_name" : ["SIMPLE_NAME", "a"], "actual_designator" : ["SIMPLE_NAME", "current_val1"]}
914
          , {
915
            "formal_name" : ["SIMPLE_NAME", "y"], "actual_designator" : ["SIMPLE_NAME", "q1"]}
916
          ]}
917
        ]]}
918
      ]}
919
    ]}
920
  }