Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / cnes_guidelines / rule / data / best-chronometer-ever / src / time_wizard.json @ 3fd18385

History | View | Annotate | Download (64.5 KB)

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