Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (25.9 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "fg_07_13"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "test"], "entity" : ["IDENTIFIER", "fg_07_13"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SUBPROGRAM_BODY", {
11
            "spec" : {
12
              "name" : "bv_lt", "subprogram_type" : "procedure", "parameters" : [{
13
                "names" : [["IDENTIFIER", "bv1"], ["IDENTIFIER", "bv2"]], "mode" : ["in"], "typ" : {
14
                  "name" : ["SIMPLE_NAME", "bit_vector"]}
15
                }
16
              , {
17
                "names" : [["IDENTIFIER", "result"]], "mode" : ["out"], "typ" : {
18
                  "name" : ["SIMPLE_NAME", "boolean"]}
19
                }
20
              ]}
21
            , "decl_part" : [["VARIABLE_DECLARATION", {
22
              "names" : [["IDENTIFIER", "tmp1"]], "typ" : {
23
                "name" : ["SIMPLE_NAME", "bit_vector"], "const" : ["INDEX_CONSTRAINT", {
24
                  "ranges" : [["NAMED_RANGE", ["ATTRIBUTE_NAME", {
25
                    "id" : ["SIMPLE_NAME", "bv1"], "designator" : ["SIMPLE_NAME", "range"]}
26
                  ]]]}
27
                ]}
28
              , "init_val" : ["EXPRESSION", {
29
                "args" : [["EXPRESSION", {
30
                  "args" : [["EXPRESSION", {
31
                    "args" : [["EXPRESSION", {
32
                      "args" : [["CALL", ["SIMPLE_NAME", "bv1"]]]}
33
                    ]]}
34
                  ]]}
35
                ]]}
36
              ]}
37
            ], ["VARIABLE_DECLARATION", {
38
              "names" : [["IDENTIFIER", "tmp2"]], "typ" : {
39
                "name" : ["SIMPLE_NAME", "bit_vector"], "const" : ["INDEX_CONSTRAINT", {
40
                  "ranges" : [["NAMED_RANGE", ["ATTRIBUTE_NAME", {
41
                    "id" : ["SIMPLE_NAME", "bv2"], "designator" : ["SIMPLE_NAME", "range"]}
42
                  ]]]}
43
                ]}
44
              , "init_val" : ["EXPRESSION", {
45
                "args" : [["EXPRESSION", {
46
                  "args" : [["EXPRESSION", {
47
                    "args" : [["EXPRESSION", {
48
                      "args" : [["CALL", ["SIMPLE_NAME", "bv2"]]]}
49
                    ]]}
50
                  ]]}
51
                ]]}
52
              ]}
53
            ]], "stmts" : [["VARIABLE_ASSIGNMENT_STATEMENT", {
54
              "lhs" : ["INDEXED_NAME", {
55
                "id" : ["SIMPLE_NAME", "tmp1"], "exprs" : [["EXPRESSION", {
56
                  "args" : [["EXPRESSION", {
57
                    "args" : [["EXPRESSION", {
58
                      "args" : [["EXPRESSION", {
59
                        "args" : [["CALL", ["ATTRIBUTE_NAME", {
60
                          "id" : ["SIMPLE_NAME", "tmp1"], "designator" : ["SIMPLE_NAME", "left"]}
61
                        ]]]}
62
                      ]]}
63
                    ]]}
64
                  ]]}
65
                ]]}
66
              ], "rhs" : ["EXPRESSION", {
67
                "args" : [["EXPRESSION", {
68
                  "args" : [["EXPRESSION", {
69
                    "args" : [["EXPRESSION", {
70
                      "id" : "not", "args" : [["CALL", ["INDEXED_NAME", {
71
                        "id" : ["SIMPLE_NAME", "tmp1"], "exprs" : [["EXPRESSION", {
72
                          "args" : [["EXPRESSION", {
73
                            "args" : [["EXPRESSION", {
74
                              "args" : [["EXPRESSION", {
75
                                "args" : [["CALL", ["ATTRIBUTE_NAME", {
76
                                  "id" : ["SIMPLE_NAME", "tmp1"], "designator" : ["SIMPLE_NAME", "left"]}
77
                                ]]]}
78
                              ]]}
79
                            ]]}
80
                          ]]}
81
                        ]]}
82
                      ]]]}
83
                    ]]}
84
                  ]]}
85
                ]]}
86
              ]}
87
            ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
88
              "lhs" : ["INDEXED_NAME", {
89
                "id" : ["SIMPLE_NAME", "tmp2"], "exprs" : [["EXPRESSION", {
90
                  "args" : [["EXPRESSION", {
91
                    "args" : [["EXPRESSION", {
92
                      "args" : [["EXPRESSION", {
93
                        "args" : [["CALL", ["ATTRIBUTE_NAME", {
94
                          "id" : ["SIMPLE_NAME", "tmp2"], "designator" : ["SIMPLE_NAME", "left"]}
95
                        ]]]}
96
                      ]]}
97
                    ]]}
98
                  ]]}
99
                ]]}
100
              ], "rhs" : ["EXPRESSION", {
101
                "args" : [["EXPRESSION", {
102
                  "args" : [["EXPRESSION", {
103
                    "args" : [["EXPRESSION", {
104
                      "id" : "not", "args" : [["CALL", ["INDEXED_NAME", {
105
                        "id" : ["SIMPLE_NAME", "tmp2"], "exprs" : [["EXPRESSION", {
106
                          "args" : [["EXPRESSION", {
107
                            "args" : [["EXPRESSION", {
108
                              "args" : [["EXPRESSION", {
109
                                "args" : [["CALL", ["ATTRIBUTE_NAME", {
110
                                  "id" : ["SIMPLE_NAME", "tmp2"], "designator" : ["SIMPLE_NAME", "left"]}
111
                                ]]]}
112
                              ]]}
113
                            ]]}
114
                          ]]}
115
                        ]]}
116
                      ]]]}
117
                    ]]}
118
                  ]]}
119
                ]]}
120
              ]}
121
            ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
122
              "lhs" : ["SIMPLE_NAME", "result"], "rhs" : ["EXPRESSION", {
123
                "id" : "<", "args" : [["EXPRESSION", {
124
                  "args" : [["EXPRESSION", {
125
                    "args" : [["EXPRESSION", {
126
                      "args" : [["CALL", ["SIMPLE_NAME", "tmp1"]]]}
127
                    ]]}
128
                  ]]}
129
                ], ["EXPRESSION", {
130
                  "args" : [["EXPRESSION", {
131
                    "args" : [["EXPRESSION", {
132
                      "args" : [["CALL", ["SIMPLE_NAME", "tmp2"]]]}
133
                    ]]}
134
                  ]]}
135
                ]]}
136
              ]}
137
            ]]}
138
          ]}
139
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
140
          "id" : ["IDENTIFIER", "stimulus"], "PROCESS_DECLARATIVE_PART" : [{
141
            "definition" : ["SUBTYPE_DECLARATION", {
142
              "name" : ["IDENTIFIER", "byte"], "typ" : {
143
                "name" : ["SIMPLE_NAME", "bit_vector"], "const" : ["INDEX_CONSTRAINT", {
144
                  "ranges" : [["RANGE_WITH_DIRECTION", {
145
                    "direction" : "to", "from" : ["EXPRESSION", {
146
                      "args" : [["EXPRESSION", {
147
                        "args" : [["CONSTANT_VALUE", {
148
                          "value" : ["CST_LITERAL", "0"]}
149
                        ]]}
150
                      ]]}
151
                    ], "_to" : ["EXPRESSION", {
152
                      "args" : [["EXPRESSION", {
153
                        "args" : [["CONSTANT_VALUE", {
154
                          "value" : ["CST_LITERAL", "7"]}
155
                        ]]}
156
                      ]]}
157
                    ]}
158
                  ]]}
159
                ]}
160
              }
161
            ]}
162
          , {
163
            "declaration" : ["VARIABLE_DECLARATION", {
164
              "names" : [["IDENTIFIER", "result"]], "typ" : {
165
                "name" : ["SIMPLE_NAME", "boolean"]}
166
              }
167
            ]}
168
          ], "PROCESS_STATEMENT_PART" : [["PROCEDURE_CALL_STATEMENT", {
169
            "name" : ["IDENTIFIER", "bv_lt"], "assocs" : [{
170
              "actual_expr" : ["EXPRESSION", {
171
                "args" : [["EXPRESSION", {
172
                  "args" : [["EXPRESSION", {
173
                    "args" : [["EXPRESSION", {
174
                      "args" : [["QUALIFIED_EXPRESSION", {
175
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
176
                          "args" : [["EXPRESSION", {
177
                            "args" : [["EXPRESSION", {
178
                              "args" : [["EXPRESSION", {
179
                                "args" : [["CONSTANT_VALUE", {
180
                                  "value" : ["CST_LITERAL", "X\"02\""]}
181
                                ]]}
182
                              ]]}
183
                            ]]}
184
                          ]]}
185
                        ]}
186
                      ]]}
187
                    ]]}
188
                  ]]}
189
                ]]}
190
              ]}
191
            , {
192
              "actual_expr" : ["EXPRESSION", {
193
                "args" : [["EXPRESSION", {
194
                  "args" : [["EXPRESSION", {
195
                    "args" : [["EXPRESSION", {
196
                      "args" : [["QUALIFIED_EXPRESSION", {
197
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
198
                          "args" : [["EXPRESSION", {
199
                            "args" : [["EXPRESSION", {
200
                              "args" : [["EXPRESSION", {
201
                                "args" : [["CONSTANT_VALUE", {
202
                                  "value" : ["CST_LITERAL", "X\"04\""]}
203
                                ]]}
204
                              ]]}
205
                            ]]}
206
                          ]]}
207
                        ]}
208
                      ]]}
209
                    ]]}
210
                  ]]}
211
                ]]}
212
              ]}
213
            , {
214
              "actual_designator" : ["SIMPLE_NAME", "result"]}
215
            ]}
216
          ], ["ASSERTION_STATEMENT", {
217
            "cond" : ["EXPRESSION", {
218
              "args" : [["EXPRESSION", {
219
                "args" : [["EXPRESSION", {
220
                  "args" : [["EXPRESSION", {
221
                    "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
222
                  ]]}
223
                ]]}
224
              ]]}
225
            ]}
226
          ], ["PROCEDURE_CALL_STATEMENT", {
227
            "name" : ["IDENTIFIER", "bv_lt"], "assocs" : [{
228
              "actual_expr" : ["EXPRESSION", {
229
                "args" : [["EXPRESSION", {
230
                  "args" : [["EXPRESSION", {
231
                    "args" : [["EXPRESSION", {
232
                      "args" : [["QUALIFIED_EXPRESSION", {
233
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
234
                          "args" : [["EXPRESSION", {
235
                            "args" : [["EXPRESSION", {
236
                              "args" : [["EXPRESSION", {
237
                                "args" : [["CONSTANT_VALUE", {
238
                                  "value" : ["CST_LITERAL", "X\"02\""]}
239
                                ]]}
240
                              ]]}
241
                            ]]}
242
                          ]]}
243
                        ]}
244
                      ]]}
245
                    ]]}
246
                  ]]}
247
                ]]}
248
              ]}
249
            , {
250
              "actual_expr" : ["EXPRESSION", {
251
                "args" : [["EXPRESSION", {
252
                  "args" : [["EXPRESSION", {
253
                    "args" : [["EXPRESSION", {
254
                      "args" : [["QUALIFIED_EXPRESSION", {
255
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
256
                          "args" : [["EXPRESSION", {
257
                            "args" : [["EXPRESSION", {
258
                              "args" : [["EXPRESSION", {
259
                                "args" : [["CONSTANT_VALUE", {
260
                                  "value" : ["CST_LITERAL", "X\"02\""]}
261
                                ]]}
262
                              ]]}
263
                            ]]}
264
                          ]]}
265
                        ]}
266
                      ]]}
267
                    ]]}
268
                  ]]}
269
                ]]}
270
              ]}
271
            , {
272
              "actual_designator" : ["SIMPLE_NAME", "result"]}
273
            ]}
274
          ], ["ASSERTION_STATEMENT", {
275
            "cond" : ["EXPRESSION", {
276
              "args" : [["EXPRESSION", {
277
                "args" : [["EXPRESSION", {
278
                  "args" : [["EXPRESSION", {
279
                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
280
                  ]]}
281
                ]]}
282
              ]]}
283
            ]}
284
          ], ["PROCEDURE_CALL_STATEMENT", {
285
            "name" : ["IDENTIFIER", "bv_lt"], "assocs" : [{
286
              "actual_expr" : ["EXPRESSION", {
287
                "args" : [["EXPRESSION", {
288
                  "args" : [["EXPRESSION", {
289
                    "args" : [["EXPRESSION", {
290
                      "args" : [["QUALIFIED_EXPRESSION", {
291
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
292
                          "args" : [["EXPRESSION", {
293
                            "args" : [["EXPRESSION", {
294
                              "args" : [["EXPRESSION", {
295
                                "args" : [["CONSTANT_VALUE", {
296
                                  "value" : ["CST_LITERAL", "X\"02\""]}
297
                                ]]}
298
                              ]]}
299
                            ]]}
300
                          ]]}
301
                        ]}
302
                      ]]}
303
                    ]]}
304
                  ]]}
305
                ]]}
306
              ]}
307
            , {
308
              "actual_expr" : ["EXPRESSION", {
309
                "args" : [["EXPRESSION", {
310
                  "args" : [["EXPRESSION", {
311
                    "args" : [["EXPRESSION", {
312
                      "args" : [["QUALIFIED_EXPRESSION", {
313
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
314
                          "args" : [["EXPRESSION", {
315
                            "args" : [["EXPRESSION", {
316
                              "args" : [["EXPRESSION", {
317
                                "args" : [["CONSTANT_VALUE", {
318
                                  "value" : ["CST_LITERAL", "X\"02\""]}
319
                                ]]}
320
                              ]]}
321
                            ]]}
322
                          ]]}
323
                        ]}
324
                      ]]}
325
                    ]]}
326
                  ]]}
327
                ]]}
328
              ]}
329
            , {
330
              "actual_designator" : ["SIMPLE_NAME", "result"]}
331
            ]}
332
          ], ["ASSERTION_STATEMENT", {
333
            "cond" : ["EXPRESSION", {
334
              "args" : [["EXPRESSION", {
335
                "args" : [["EXPRESSION", {
336
                  "args" : [["EXPRESSION", {
337
                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
338
                  ]]}
339
                ]]}
340
              ]]}
341
            ]}
342
          ], ["PROCEDURE_CALL_STATEMENT", {
343
            "name" : ["IDENTIFIER", "bv_lt"], "assocs" : [{
344
              "actual_expr" : ["EXPRESSION", {
345
                "args" : [["EXPRESSION", {
346
                  "args" : [["EXPRESSION", {
347
                    "args" : [["EXPRESSION", {
348
                      "args" : [["QUALIFIED_EXPRESSION", {
349
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
350
                          "args" : [["EXPRESSION", {
351
                            "args" : [["EXPRESSION", {
352
                              "args" : [["EXPRESSION", {
353
                                "args" : [["CONSTANT_VALUE", {
354
                                  "value" : ["CST_LITERAL", "X\"FC\""]}
355
                                ]]}
356
                              ]]}
357
                            ]]}
358
                          ]]}
359
                        ]}
360
                      ]]}
361
                    ]]}
362
                  ]]}
363
                ]]}
364
              ]}
365
            , {
366
              "actual_expr" : ["EXPRESSION", {
367
                "args" : [["EXPRESSION", {
368
                  "args" : [["EXPRESSION", {
369
                    "args" : [["EXPRESSION", {
370
                      "args" : [["QUALIFIED_EXPRESSION", {
371
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
372
                          "args" : [["EXPRESSION", {
373
                            "args" : [["EXPRESSION", {
374
                              "args" : [["EXPRESSION", {
375
                                "args" : [["CONSTANT_VALUE", {
376
                                  "value" : ["CST_LITERAL", "X\"04\""]}
377
                                ]]}
378
                              ]]}
379
                            ]]}
380
                          ]]}
381
                        ]}
382
                      ]]}
383
                    ]]}
384
                  ]]}
385
                ]]}
386
              ]}
387
            , {
388
              "actual_designator" : ["SIMPLE_NAME", "result"]}
389
            ]}
390
          ], ["ASSERTION_STATEMENT", {
391
            "cond" : ["EXPRESSION", {
392
              "args" : [["EXPRESSION", {
393
                "args" : [["EXPRESSION", {
394
                  "args" : [["EXPRESSION", {
395
                    "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
396
                  ]]}
397
                ]]}
398
              ]]}
399
            ]}
400
          ], ["PROCEDURE_CALL_STATEMENT", {
401
            "name" : ["IDENTIFIER", "bv_lt"], "assocs" : [{
402
              "actual_expr" : ["EXPRESSION", {
403
                "args" : [["EXPRESSION", {
404
                  "args" : [["EXPRESSION", {
405
                    "args" : [["EXPRESSION", {
406
                      "args" : [["QUALIFIED_EXPRESSION", {
407
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
408
                          "args" : [["EXPRESSION", {
409
                            "args" : [["EXPRESSION", {
410
                              "args" : [["EXPRESSION", {
411
                                "args" : [["CONSTANT_VALUE", {
412
                                  "value" : ["CST_LITERAL", "X\"04\""]}
413
                                ]]}
414
                              ]]}
415
                            ]]}
416
                          ]]}
417
                        ]}
418
                      ]]}
419
                    ]]}
420
                  ]]}
421
                ]]}
422
              ]}
423
            , {
424
              "actual_expr" : ["EXPRESSION", {
425
                "args" : [["EXPRESSION", {
426
                  "args" : [["EXPRESSION", {
427
                    "args" : [["EXPRESSION", {
428
                      "args" : [["QUALIFIED_EXPRESSION", {
429
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
430
                          "args" : [["EXPRESSION", {
431
                            "args" : [["EXPRESSION", {
432
                              "args" : [["EXPRESSION", {
433
                                "args" : [["CONSTANT_VALUE", {
434
                                  "value" : ["CST_LITERAL", "X\"FC\""]}
435
                                ]]}
436
                              ]]}
437
                            ]]}
438
                          ]]}
439
                        ]}
440
                      ]]}
441
                    ]]}
442
                  ]]}
443
                ]]}
444
              ]}
445
            , {
446
              "actual_designator" : ["SIMPLE_NAME", "result"]}
447
            ]}
448
          ], ["ASSERTION_STATEMENT", {
449
            "cond" : ["EXPRESSION", {
450
              "args" : [["EXPRESSION", {
451
                "args" : [["EXPRESSION", {
452
                  "args" : [["EXPRESSION", {
453
                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
454
                  ]]}
455
                ]]}
456
              ]]}
457
            ]}
458
          ], ["PROCEDURE_CALL_STATEMENT", {
459
            "name" : ["IDENTIFIER", "bv_lt"], "assocs" : [{
460
              "actual_expr" : ["EXPRESSION", {
461
                "args" : [["EXPRESSION", {
462
                  "args" : [["EXPRESSION", {
463
                    "args" : [["EXPRESSION", {
464
                      "args" : [["QUALIFIED_EXPRESSION", {
465
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
466
                          "args" : [["EXPRESSION", {
467
                            "args" : [["EXPRESSION", {
468
                              "args" : [["EXPRESSION", {
469
                                "args" : [["CONSTANT_VALUE", {
470
                                  "value" : ["CST_LITERAL", "X\"FC\""]}
471
                                ]]}
472
                              ]]}
473
                            ]]}
474
                          ]]}
475
                        ]}
476
                      ]]}
477
                    ]]}
478
                  ]]}
479
                ]]}
480
              ]}
481
            , {
482
              "actual_expr" : ["EXPRESSION", {
483
                "args" : [["EXPRESSION", {
484
                  "args" : [["EXPRESSION", {
485
                    "args" : [["EXPRESSION", {
486
                      "args" : [["QUALIFIED_EXPRESSION", {
487
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
488
                          "args" : [["EXPRESSION", {
489
                            "args" : [["EXPRESSION", {
490
                              "args" : [["EXPRESSION", {
491
                                "args" : [["CONSTANT_VALUE", {
492
                                  "value" : ["CST_LITERAL", "X\"FC\""]}
493
                                ]]}
494
                              ]]}
495
                            ]]}
496
                          ]]}
497
                        ]}
498
                      ]]}
499
                    ]]}
500
                  ]]}
501
                ]]}
502
              ]}
503
            , {
504
              "actual_designator" : ["SIMPLE_NAME", "result"]}
505
            ]}
506
          ], ["ASSERTION_STATEMENT", {
507
            "cond" : ["EXPRESSION", {
508
              "args" : [["EXPRESSION", {
509
                "args" : [["EXPRESSION", {
510
                  "args" : [["EXPRESSION", {
511
                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
512
                  ]]}
513
                ]]}
514
              ]]}
515
            ]}
516
          ], ["PROCEDURE_CALL_STATEMENT", {
517
            "name" : ["IDENTIFIER", "bv_lt"], "assocs" : [{
518
              "actual_expr" : ["EXPRESSION", {
519
                "args" : [["EXPRESSION", {
520
                  "args" : [["EXPRESSION", {
521
                    "args" : [["EXPRESSION", {
522
                      "args" : [["QUALIFIED_EXPRESSION", {
523
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
524
                          "args" : [["EXPRESSION", {
525
                            "args" : [["EXPRESSION", {
526
                              "args" : [["EXPRESSION", {
527
                                "args" : [["CONSTANT_VALUE", {
528
                                  "value" : ["CST_LITERAL", "X\"FC\""]}
529
                                ]]}
530
                              ]]}
531
                            ]]}
532
                          ]]}
533
                        ]}
534
                      ]]}
535
                    ]]}
536
                  ]]}
537
                ]]}
538
              ]}
539
            , {
540
              "actual_expr" : ["EXPRESSION", {
541
                "args" : [["EXPRESSION", {
542
                  "args" : [["EXPRESSION", {
543
                    "args" : [["EXPRESSION", {
544
                      "args" : [["QUALIFIED_EXPRESSION", {
545
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
546
                          "args" : [["EXPRESSION", {
547
                            "args" : [["EXPRESSION", {
548
                              "args" : [["EXPRESSION", {
549
                                "args" : [["CONSTANT_VALUE", {
550
                                  "value" : ["CST_LITERAL", "X\"FE\""]}
551
                                ]]}
552
                              ]]}
553
                            ]]}
554
                          ]]}
555
                        ]}
556
                      ]]}
557
                    ]]}
558
                  ]]}
559
                ]]}
560
              ]}
561
            , {
562
              "actual_designator" : ["SIMPLE_NAME", "result"]}
563
            ]}
564
          ], ["ASSERTION_STATEMENT", {
565
            "cond" : ["EXPRESSION", {
566
              "args" : [["EXPRESSION", {
567
                "args" : [["EXPRESSION", {
568
                  "args" : [["EXPRESSION", {
569
                    "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
570
                  ]]}
571
                ]]}
572
              ]]}
573
            ]}
574
          ], ["PROCEDURE_CALL_STATEMENT", {
575
            "name" : ["IDENTIFIER", "bv_lt"], "assocs" : [{
576
              "actual_expr" : ["EXPRESSION", {
577
                "args" : [["EXPRESSION", {
578
                  "args" : [["EXPRESSION", {
579
                    "args" : [["EXPRESSION", {
580
                      "args" : [["QUALIFIED_EXPRESSION", {
581
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
582
                          "args" : [["EXPRESSION", {
583
                            "args" : [["EXPRESSION", {
584
                              "args" : [["EXPRESSION", {
585
                                "args" : [["CONSTANT_VALUE", {
586
                                  "value" : ["CST_LITERAL", "X\"FE\""]}
587
                                ]]}
588
                              ]]}
589
                            ]]}
590
                          ]]}
591
                        ]}
592
                      ]]}
593
                    ]]}
594
                  ]]}
595
                ]]}
596
              ]}
597
            , {
598
              "actual_expr" : ["EXPRESSION", {
599
                "args" : [["EXPRESSION", {
600
                  "args" : [["EXPRESSION", {
601
                    "args" : [["EXPRESSION", {
602
                      "args" : [["QUALIFIED_EXPRESSION", {
603
                        "type_mark" : ["SIMPLE_NAME", "byte"], "expression" : ["EXPRESSION", {
604
                          "args" : [["EXPRESSION", {
605
                            "args" : [["EXPRESSION", {
606
                              "args" : [["EXPRESSION", {
607
                                "args" : [["CONSTANT_VALUE", {
608
                                  "value" : ["CST_LITERAL", "X\"FC\""]}
609
                                ]]}
610
                              ]]}
611
                            ]]}
612
                          ]]}
613
                        ]}
614
                      ]]}
615
                    ]]}
616
                  ]]}
617
                ]]}
618
              ]}
619
            , {
620
              "actual_designator" : ["SIMPLE_NAME", "result"]}
621
            ]}
622
          ], ["ASSERTION_STATEMENT", {
623
            "cond" : ["EXPRESSION", {
624
              "args" : [["EXPRESSION", {
625
                "args" : [["EXPRESSION", {
626
                  "args" : [["EXPRESSION", {
627
                    "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "result"]]]}
628
                  ]]}
629
                ]]}
630
              ]]}
631
            ]}
632
          ], ["WAIT_STATEMENT"]]}
633
        ]]}
634
      ]}
635
    ]}
636
  }