Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (62.4 KB)

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