Project

General

Profile

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