Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (56.8 KB)

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