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 @ 2051e520

History | View | Annotate | Download (63.2 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", ["FUNCTION_CALL", {
256
                                  "id" : ["SIMPLE_NAME", "rising_edge"], "assoc_list" : [{
257
                                    "actual_designator" : ["SIMPLE_NAME", "i_clock"]}
258
                                  ]}
259
                                ]]]}
260
                              ]]}
261
                            ]]}
262
                          ]]}
263
                        ]]}
264
                      ]]}
265
                    ]]}
266
                  ]]}
267
                ], "if_block" : [["IF_STATEMENT", {
268
                  "if_cases" : [{
269
                    "if_cond" : ["EXPRESSION", {
270
                      "args" : [["EXPRESSION", {
271
                        "args" : [["EXPRESSION", {
272
                          "args" : [["EXPRESSION", {
273
                            "args" : [["EXPRESSION", {
274
                              "id" : "and", "args" : [["EXPRESSION", {
275
                                "args" : [["EXPRESSION", {
276
                                  "args" : [["EXPRESSION", {
277
                                    "args" : [["EXPRESSION", {
278
                                      "args" : [["EXPRESSION", {
279
                                        "id" : "=", "args" : [["EXPRESSION", {
280
                                          "args" : [["EXPRESSION", {
281
                                            "args" : [["EXPRESSION", {
282
                                              "args" : [["CALL", ["SIMPLE_NAME", "i_new_centisecond"]]]}
283
                                            ]]}
284
                                          ]]}
285
                                        ], ["EXPRESSION", {
286
                                          "args" : [["EXPRESSION", {
287
                                            "args" : [["EXPRESSION", {
288
                                              "args" : [["CONSTANT_VALUE", {
289
                                                "value" : ["CST_LITERAL", "'1'"]}
290
                                              ]]}
291
                                            ]]}
292
                                          ]]}
293
                                        ]]}
294
                                      ]]}
295
                                    ]]}
296
                                  ]]}
297
                                ]]}
298
                              ], ["EXPRESSION", {
299
                                "args" : [["EXPRESSION", {
300
                                  "args" : [["EXPRESSION", {
301
                                    "args" : [["EXPRESSION", {
302
                                      "args" : [["EXPRESSION", {
303
                                        "id" : "=", "args" : [["EXPRESSION", {
304
                                          "args" : [["EXPRESSION", {
305
                                            "args" : [["EXPRESSION", {
306
                                              "args" : [["CALL", ["SIMPLE_NAME", "limit_reached"]]]}
307
                                            ]]}
308
                                          ]]}
309
                                        ], ["EXPRESSION", {
310
                                          "args" : [["EXPRESSION", {
311
                                            "args" : [["EXPRESSION", {
312
                                              "args" : [["CONSTANT_VALUE", {
313
                                                "value" : ["CST_LITERAL", "'0'"]}
314
                                              ]]}
315
                                            ]]}
316
                                          ]]}
317
                                        ]]}
318
                                      ]]}
319
                                    ]]}
320
                                  ]]}
321
                                ]]}
322
                              ]]}
323
                            ]]}
324
                          ]]}
325
                        ]]}
326
                      ]]}
327
                    ], "if_block" : [["IF_STATEMENT", {
328
                      "if_cases" : [{
329
                        "if_cond" : ["EXPRESSION", {
330
                          "args" : [["EXPRESSION", {
331
                            "args" : [["EXPRESSION", {
332
                              "args" : [["EXPRESSION", {
333
                                "args" : [["EXPRESSION", {
334
                                  "id" : ">=", "args" : [["EXPRESSION", {
335
                                    "args" : [["EXPRESSION", {
336
                                      "args" : [["EXPRESSION", {
337
                                        "args" : [["CALL", ["SIMPLE_NAME", "t0001"]]]}
338
                                      ]]}
339
                                    ]]}
340
                                  ], ["EXPRESSION", {
341
                                    "args" : [["EXPRESSION", {
342
                                      "args" : [["EXPRESSION", {
343
                                        "args" : [["CONSTANT_VALUE", {
344
                                          "value" : ["CST_LITERAL", "9"]}
345
                                        ]]}
346
                                      ]]}
347
                                    ]]}
348
                                  ]]}
349
                                ]]}
350
                              ]]}
351
                            ]]}
352
                          ]]}
353
                        ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
354
                          "lhs" : ["SIMPLE_NAME", "t0001"], "rhs" : [{
355
                            "value" : ["EXPRESSION", {
356
                              "args" : [["EXPRESSION", {
357
                                "args" : [["EXPRESSION", {
358
                                  "args" : [["EXPRESSION", {
359
                                    "args" : [["CONSTANT_VALUE", {
360
                                      "value" : ["CST_LITERAL", "0"]}
361
                                    ]]}
362
                                  ]]}
363
                                ]]}
364
                              ]]}
365
                            ]}
366
                          ]}
367
                        ]]}
368
                      ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
369
                        "lhs" : ["SIMPLE_NAME", "t0001"], "rhs" : [{
370
                          "value" : ["EXPRESSION", {
371
                            "args" : [["EXPRESSION", {
372
                              "args" : [["EXPRESSION", {
373
                                "args" : [["EXPRESSION", {
374
                                  "args" : [["EXPRESSION", {
375
                                    "args" : [["EXPRESSION", {
376
                                      "args" : [["EXPRESSION", {
377
                                        "args" : [["EXPRESSION", {
378
                                          "id" : "+", "args" : [["EXPRESSION", {
379
                                            "args" : [["CALL", ["SIMPLE_NAME", "t0001"]]]}
380
                                          ], ["EXPRESSION", {
381
                                            "args" : [["CONSTANT_VALUE", {
382
                                              "value" : ["CST_LITERAL", "1"]}
383
                                            ]]}
384
                                          ]]}
385
                                        ]]}
386
                                      ]]}
387
                                    ]]}
388
                                  ]]}
389
                                ]]}
390
                              ]]}
391
                            ]]}
392
                          ]}
393
                        ]}
394
                      ]]}
395
                    ]]}
396
                  ]}
397
                ]]}
398
              ]}
399
            ]]}
400
          ]]}
401
        ], ["PROCESS_STATEMENT", {
402
          "id" : ["IDENTIFIER", "P_DECISECOND_COUNTER"], "active_sigs" : [["SIMPLE_NAME", "i_clock"], ["SIMPLE_NAME", "i_raz"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
403
            "if_cases" : [{
404
              "if_cond" : ["EXPRESSION", {
405
                "args" : [["EXPRESSION", {
406
                  "args" : [["EXPRESSION", {
407
                    "args" : [["EXPRESSION", {
408
                      "args" : [["EXPRESSION", {
409
                        "id" : "=", "args" : [["EXPRESSION", {
410
                          "args" : [["EXPRESSION", {
411
                            "args" : [["EXPRESSION", {
412
                              "args" : [["CALL", ["SIMPLE_NAME", "i_raz"]]]}
413
                            ]]}
414
                          ]]}
415
                        ], ["EXPRESSION", {
416
                          "args" : [["EXPRESSION", {
417
                            "args" : [["EXPRESSION", {
418
                              "args" : [["CONSTANT_VALUE", {
419
                                "value" : ["CST_LITERAL", "'1'"]}
420
                              ]]}
421
                            ]]}
422
                          ]]}
423
                        ]]}
424
                      ]]}
425
                    ]]}
426
                  ]]}
427
                ]]}
428
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
429
                "lhs" : ["SIMPLE_NAME", "t0010"], "rhs" : [{
430
                  "value" : ["EXPRESSION", {
431
                    "args" : [["EXPRESSION", {
432
                      "args" : [["EXPRESSION", {
433
                        "args" : [["EXPRESSION", {
434
                          "args" : [["CONSTANT_VALUE", {
435
                            "value" : ["CST_LITERAL", "0"]}
436
                          ]]}
437
                        ]]}
438
                      ]]}
439
                    ]]}
440
                  ]}
441
                ]}
442
              ]]}
443
            ], "default" : [["IF_STATEMENT", {
444
              "if_cases" : [{
445
                "if_cond" : ["EXPRESSION", {
446
                  "args" : [["EXPRESSION", {
447
                    "args" : [["EXPRESSION", {
448
                      "args" : [["EXPRESSION", {
449
                        "args" : [["EXPRESSION", {
450
                          "args" : [["EXPRESSION", {
451
                            "args" : [["EXPRESSION", {
452
                              "args" : [["EXPRESSION", {
453
                                "args" : [["CALL", ["FUNCTION_CALL", {
454
                                  "id" : ["SIMPLE_NAME", "rising_edge"], "assoc_list" : [{
455
                                    "actual_designator" : ["SIMPLE_NAME", "i_clock"]}
456
                                  ]}
457
                                ]]]}
458
                              ]]}
459
                            ]]}
460
                          ]]}
461
                        ]]}
462
                      ]]}
463
                    ]]}
464
                  ]]}
465
                ], "if_block" : [["IF_STATEMENT", {
466
                  "if_cases" : [{
467
                    "if_cond" : ["EXPRESSION", {
468
                      "args" : [["EXPRESSION", {
469
                        "args" : [["EXPRESSION", {
470
                          "args" : [["EXPRESSION", {
471
                            "args" : [["EXPRESSION", {
472
                              "id" : "and", "args" : [["EXPRESSION", {
473
                                "id" : "and", "args" : [["EXPRESSION", {
474
                                  "args" : [["EXPRESSION", {
475
                                    "args" : [["EXPRESSION", {
476
                                      "args" : [["EXPRESSION", {
477
                                        "args" : [["EXPRESSION", {
478
                                          "id" : "=", "args" : [["EXPRESSION", {
479
                                            "args" : [["EXPRESSION", {
480
                                              "args" : [["EXPRESSION", {
481
                                                "args" : [["CALL", ["SIMPLE_NAME", "i_new_centisecond"]]]}
482
                                              ]]}
483
                                            ]]}
484
                                          ], ["EXPRESSION", {
485
                                            "args" : [["EXPRESSION", {
486
                                              "args" : [["EXPRESSION", {
487
                                                "args" : [["CONSTANT_VALUE", {
488
                                                  "value" : ["CST_LITERAL", "'1'"]}
489
                                                ]]}
490
                                              ]]}
491
                                            ]]}
492
                                          ]]}
493
                                        ]]}
494
                                      ]]}
495
                                    ]]}
496
                                  ]]}
497
                                ], ["EXPRESSION", {
498
                                  "args" : [["EXPRESSION", {
499
                                    "args" : [["EXPRESSION", {
500
                                      "args" : [["EXPRESSION", {
501
                                        "args" : [["EXPRESSION", {
502
                                          "id" : "=", "args" : [["EXPRESSION", {
503
                                            "args" : [["EXPRESSION", {
504
                                              "args" : [["EXPRESSION", {
505
                                                "args" : [["CALL", ["SIMPLE_NAME", "limit_reached"]]]}
506
                                              ]]}
507
                                            ]]}
508
                                          ], ["EXPRESSION", {
509
                                            "args" : [["EXPRESSION", {
510
                                              "args" : [["EXPRESSION", {
511
                                                "args" : [["CONSTANT_VALUE", {
512
                                                  "value" : ["CST_LITERAL", "'0'"]}
513
                                                ]]}
514
                                              ]]}
515
                                            ]]}
516
                                          ]]}
517
                                        ]]}
518
                                      ]]}
519
                                    ]]}
520
                                  ]]}
521
                                ]]}
522
                              ], ["EXPRESSION", {
523
                                "args" : [["EXPRESSION", {
524
                                  "args" : [["EXPRESSION", {
525
                                    "args" : [["EXPRESSION", {
526
                                      "args" : [["EXPRESSION", {
527
                                        "id" : ">=", "args" : [["EXPRESSION", {
528
                                          "args" : [["EXPRESSION", {
529
                                            "args" : [["EXPRESSION", {
530
                                              "args" : [["CALL", ["SIMPLE_NAME", "t0001"]]]}
531
                                            ]]}
532
                                          ]]}
533
                                        ], ["EXPRESSION", {
534
                                          "args" : [["EXPRESSION", {
535
                                            "args" : [["EXPRESSION", {
536
                                              "args" : [["CONSTANT_VALUE", {
537
                                                "value" : ["CST_LITERAL", "9"]}
538
                                              ]]}
539
                                            ]]}
540
                                          ]]}
541
                                        ]]}
542
                                      ]]}
543
                                    ]]}
544
                                  ]]}
545
                                ]]}
546
                              ]]}
547
                            ]]}
548
                          ]]}
549
                        ]]}
550
                      ]]}
551
                    ], "if_block" : [["IF_STATEMENT", {
552
                      "if_cases" : [{
553
                        "if_cond" : ["EXPRESSION", {
554
                          "args" : [["EXPRESSION", {
555
                            "args" : [["EXPRESSION", {
556
                              "args" : [["EXPRESSION", {
557
                                "args" : [["EXPRESSION", {
558
                                  "id" : ">=", "args" : [["EXPRESSION", {
559
                                    "args" : [["EXPRESSION", {
560
                                      "args" : [["EXPRESSION", {
561
                                        "args" : [["CALL", ["SIMPLE_NAME", "t0010"]]]}
562
                                      ]]}
563
                                    ]]}
564
                                  ], ["EXPRESSION", {
565
                                    "args" : [["EXPRESSION", {
566
                                      "args" : [["EXPRESSION", {
567
                                        "args" : [["CONSTANT_VALUE", {
568
                                          "value" : ["CST_LITERAL", "9"]}
569
                                        ]]}
570
                                      ]]}
571
                                    ]]}
572
                                  ]]}
573
                                ]]}
574
                              ]]}
575
                            ]]}
576
                          ]]}
577
                        ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
578
                          "lhs" : ["SIMPLE_NAME", "t0010"], "rhs" : [{
579
                            "value" : ["EXPRESSION", {
580
                              "args" : [["EXPRESSION", {
581
                                "args" : [["EXPRESSION", {
582
                                  "args" : [["EXPRESSION", {
583
                                    "args" : [["CONSTANT_VALUE", {
584
                                      "value" : ["CST_LITERAL", "0"]}
585
                                    ]]}
586
                                  ]]}
587
                                ]]}
588
                              ]]}
589
                            ]}
590
                          ]}
591
                        ]]}
592
                      ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
593
                        "lhs" : ["SIMPLE_NAME", "t0010"], "rhs" : [{
594
                          "value" : ["EXPRESSION", {
595
                            "args" : [["EXPRESSION", {
596
                              "args" : [["EXPRESSION", {
597
                                "args" : [["EXPRESSION", {
598
                                  "args" : [["EXPRESSION", {
599
                                    "args" : [["EXPRESSION", {
600
                                      "args" : [["EXPRESSION", {
601
                                        "args" : [["EXPRESSION", {
602
                                          "id" : "+", "args" : [["EXPRESSION", {
603
                                            "args" : [["CALL", ["SIMPLE_NAME", "t0010"]]]}
604
                                          ], ["EXPRESSION", {
605
                                            "args" : [["CONSTANT_VALUE", {
606
                                              "value" : ["CST_LITERAL", "1"]}
607
                                            ]]}
608
                                          ]]}
609
                                        ]]}
610
                                      ]]}
611
                                    ]]}
612
                                  ]]}
613
                                ]]}
614
                              ]]}
615
                            ]]}
616
                          ]}
617
                        ]}
618
                      ]]}
619
                    ]]}
620
                  ]}
621
                ]]}
622
              ]}
623
            ]]}
624
          ]]}
625
        ], ["PROCESS_STATEMENT", {
626
          "id" : ["IDENTIFIER", "P_SECOND_COUNTER"], "active_sigs" : [["SIMPLE_NAME", "i_clock"], ["SIMPLE_NAME", "i_raz"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
627
            "if_cases" : [{
628
              "if_cond" : ["EXPRESSION", {
629
                "args" : [["EXPRESSION", {
630
                  "args" : [["EXPRESSION", {
631
                    "args" : [["EXPRESSION", {
632
                      "args" : [["EXPRESSION", {
633
                        "id" : "=", "args" : [["EXPRESSION", {
634
                          "args" : [["EXPRESSION", {
635
                            "args" : [["EXPRESSION", {
636
                              "args" : [["CALL", ["SIMPLE_NAME", "i_raz"]]]}
637
                            ]]}
638
                          ]]}
639
                        ], ["EXPRESSION", {
640
                          "args" : [["EXPRESSION", {
641
                            "args" : [["EXPRESSION", {
642
                              "args" : [["CONSTANT_VALUE", {
643
                                "value" : ["CST_LITERAL", "'1'"]}
644
                              ]]}
645
                            ]]}
646
                          ]]}
647
                        ]]}
648
                      ]]}
649
                    ]]}
650
                  ]]}
651
                ]]}
652
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
653
                "lhs" : ["SIMPLE_NAME", "t0100"], "rhs" : [{
654
                  "value" : ["EXPRESSION", {
655
                    "args" : [["EXPRESSION", {
656
                      "args" : [["EXPRESSION", {
657
                        "args" : [["EXPRESSION", {
658
                          "args" : [["CONSTANT_VALUE", {
659
                            "value" : ["CST_LITERAL", "0"]}
660
                          ]]}
661
                        ]]}
662
                      ]]}
663
                    ]]}
664
                  ]}
665
                ]}
666
              ]]}
667
            ], "default" : [["IF_STATEMENT", {
668
              "if_cases" : [{
669
                "if_cond" : ["EXPRESSION", {
670
                  "args" : [["EXPRESSION", {
671
                    "args" : [["EXPRESSION", {
672
                      "args" : [["EXPRESSION", {
673
                        "args" : [["EXPRESSION", {
674
                          "args" : [["EXPRESSION", {
675
                            "args" : [["EXPRESSION", {
676
                              "args" : [["EXPRESSION", {
677
                                "args" : [["CALL", ["FUNCTION_CALL", {
678
                                  "id" : ["SIMPLE_NAME", "rising_edge"], "assoc_list" : [{
679
                                    "actual_designator" : ["SIMPLE_NAME", "i_clock"]}
680
                                  ]}
681
                                ]]]}
682
                              ]]}
683
                            ]]}
684
                          ]]}
685
                        ]]}
686
                      ]]}
687
                    ]]}
688
                  ]]}
689
                ], "if_block" : [["IF_STATEMENT", {
690
                  "if_cases" : [{
691
                    "if_cond" : ["EXPRESSION", {
692
                      "args" : [["EXPRESSION", {
693
                        "args" : [["EXPRESSION", {
694
                          "args" : [["EXPRESSION", {
695
                            "args" : [["EXPRESSION", {
696
                              "id" : "and", "args" : [["EXPRESSION", {
697
                                "id" : "and", "args" : [["EXPRESSION", {
698
                                  "id" : "and", "args" : [["EXPRESSION", {
699
                                    "args" : [["EXPRESSION", {
700
                                      "args" : [["EXPRESSION", {
701
                                        "args" : [["EXPRESSION", {
702
                                          "args" : [["EXPRESSION", {
703
                                            "id" : "=", "args" : [["EXPRESSION", {
704
                                              "args" : [["EXPRESSION", {
705
                                                "args" : [["EXPRESSION", {
706
                                                  "args" : [["CALL", ["SIMPLE_NAME", "i_new_centisecond"]]]}
707
                                                ]]}
708
                                              ]]}
709
                                            ], ["EXPRESSION", {
710
                                              "args" : [["EXPRESSION", {
711
                                                "args" : [["EXPRESSION", {
712
                                                  "args" : [["CONSTANT_VALUE", {
713
                                                    "value" : ["CST_LITERAL", "'1'"]}
714
                                                  ]]}
715
                                                ]]}
716
                                              ]]}
717
                                            ]]}
718
                                          ]]}
719
                                        ]]}
720
                                      ]]}
721
                                    ]]}
722
                                  ], ["EXPRESSION", {
723
                                    "args" : [["EXPRESSION", {
724
                                      "args" : [["EXPRESSION", {
725
                                        "args" : [["EXPRESSION", {
726
                                          "args" : [["EXPRESSION", {
727
                                            "id" : "=", "args" : [["EXPRESSION", {
728
                                              "args" : [["EXPRESSION", {
729
                                                "args" : [["EXPRESSION", {
730
                                                  "args" : [["CALL", ["SIMPLE_NAME", "limit_reached"]]]}
731
                                                ]]}
732
                                              ]]}
733
                                            ], ["EXPRESSION", {
734
                                              "args" : [["EXPRESSION", {
735
                                                "args" : [["EXPRESSION", {
736
                                                  "args" : [["CONSTANT_VALUE", {
737
                                                    "value" : ["CST_LITERAL", "'0'"]}
738
                                                  ]]}
739
                                                ]]}
740
                                              ]]}
741
                                            ]]}
742
                                          ]]}
743
                                        ]]}
744
                                      ]]}
745
                                    ]]}
746
                                  ]]}
747
                                ], ["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", "t0010"]]]}
756
                                              ]]}
757
                                            ]]}
758
                                          ], ["EXPRESSION", {
759
                                            "args" : [["EXPRESSION", {
760
                                              "args" : [["EXPRESSION", {
761
                                                "args" : [["CONSTANT_VALUE", {
762
                                                  "value" : ["CST_LITERAL", "9"]}
763
                                                ]]}
764
                                              ]]}
765
                                            ]]}
766
                                          ]]}
767
                                        ]]}
768
                                      ]]}
769
                                    ]]}
770
                                  ]]}
771
                                ]]}
772
                              ], ["EXPRESSION", {
773
                                "args" : [["EXPRESSION", {
774
                                  "args" : [["EXPRESSION", {
775
                                    "args" : [["EXPRESSION", {
776
                                      "args" : [["EXPRESSION", {
777
                                        "id" : ">=", "args" : [["EXPRESSION", {
778
                                          "args" : [["EXPRESSION", {
779
                                            "args" : [["EXPRESSION", {
780
                                              "args" : [["CALL", ["SIMPLE_NAME", "t0001"]]]}
781
                                            ]]}
782
                                          ]]}
783
                                        ], ["EXPRESSION", {
784
                                          "args" : [["EXPRESSION", {
785
                                            "args" : [["EXPRESSION", {
786
                                              "args" : [["CONSTANT_VALUE", {
787
                                                "value" : ["CST_LITERAL", "9"]}
788
                                              ]]}
789
                                            ]]}
790
                                          ]]}
791
                                        ]]}
792
                                      ]]}
793
                                    ]]}
794
                                  ]]}
795
                                ]]}
796
                              ]]}
797
                            ]]}
798
                          ]]}
799
                        ]]}
800
                      ]]}
801
                    ], "if_block" : [["IF_STATEMENT", {
802
                      "if_cases" : [{
803
                        "if_cond" : ["EXPRESSION", {
804
                          "args" : [["EXPRESSION", {
805
                            "args" : [["EXPRESSION", {
806
                              "args" : [["EXPRESSION", {
807
                                "args" : [["EXPRESSION", {
808
                                  "id" : ">=", "args" : [["EXPRESSION", {
809
                                    "args" : [["EXPRESSION", {
810
                                      "args" : [["EXPRESSION", {
811
                                        "args" : [["CALL", ["SIMPLE_NAME", "t0100"]]]}
812
                                      ]]}
813
                                    ]]}
814
                                  ], ["EXPRESSION", {
815
                                    "args" : [["EXPRESSION", {
816
                                      "args" : [["EXPRESSION", {
817
                                        "args" : [["CONSTANT_VALUE", {
818
                                          "value" : ["CST_LITERAL", "9"]}
819
                                        ]]}
820
                                      ]]}
821
                                    ]]}
822
                                  ]]}
823
                                ]]}
824
                              ]]}
825
                            ]]}
826
                          ]]}
827
                        ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
828
                          "lhs" : ["SIMPLE_NAME", "t0100"], "rhs" : [{
829
                            "value" : ["EXPRESSION", {
830
                              "args" : [["EXPRESSION", {
831
                                "args" : [["EXPRESSION", {
832
                                  "args" : [["EXPRESSION", {
833
                                    "args" : [["CONSTANT_VALUE", {
834
                                      "value" : ["CST_LITERAL", "0"]}
835
                                    ]]}
836
                                  ]]}
837
                                ]]}
838
                              ]]}
839
                            ]}
840
                          ]}
841
                        ]]}
842
                      ], "default" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
843
                        "lhs" : ["SIMPLE_NAME", "t0100"], "rhs" : [{
844
                          "value" : ["EXPRESSION", {
845
                            "args" : [["EXPRESSION", {
846
                              "args" : [["EXPRESSION", {
847
                                "args" : [["EXPRESSION", {
848
                                  "args" : [["EXPRESSION", {
849
                                    "args" : [["EXPRESSION", {
850
                                      "args" : [["EXPRESSION", {
851
                                        "args" : [["EXPRESSION", {
852
                                          "id" : "+", "args" : [["EXPRESSION", {
853
                                            "args" : [["CALL", ["SIMPLE_NAME", "t0100"]]]}
854
                                          ], ["EXPRESSION", {
855
                                            "args" : [["CONSTANT_VALUE", {
856
                                              "value" : ["CST_LITERAL", "1"]}
857
                                            ]]}
858
                                          ]]}
859
                                        ]]}
860
                                      ]]}
861
                                    ]]}
862
                                  ]]}
863
                                ]]}
864
                              ]]}
865
                            ]]}
866
                          ]}
867
                        ]}
868
                      ]]}
869
                    ]]}
870
                  ]}
871
                ]]}
872
              ]}
873
            ]]}
874
          ]]}
875
        ], ["PROCESS_STATEMENT", {
876
          "id" : ["IDENTIFIER", "P_DECASECOND_COUNTER"], "active_sigs" : [["SIMPLE_NAME", "i_clock"], ["SIMPLE_NAME", "i_raz"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
877
            "if_cases" : [{
878
              "if_cond" : ["EXPRESSION", {
879
                "args" : [["EXPRESSION", {
880
                  "args" : [["EXPRESSION", {
881
                    "args" : [["EXPRESSION", {
882
                      "args" : [["EXPRESSION", {
883
                        "id" : "=", "args" : [["EXPRESSION", {
884
                          "args" : [["EXPRESSION", {
885
                            "args" : [["EXPRESSION", {
886
                              "args" : [["CALL", ["SIMPLE_NAME", "i_raz"]]]}
887
                            ]]}
888
                          ]]}
889
                        ], ["EXPRESSION", {
890
                          "args" : [["EXPRESSION", {
891
                            "args" : [["EXPRESSION", {
892
                              "args" : [["CONSTANT_VALUE", {
893
                                "value" : ["CST_LITERAL", "'1'"]}
894
                              ]]}
895
                            ]]}
896
                          ]]}
897
                        ]]}
898
                      ]]}
899
                    ]]}
900
                  ]]}
901
                ]]}
902
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
903
                "lhs" : ["SIMPLE_NAME", "t1000"], "rhs" : [{
904
                  "value" : ["EXPRESSION", {
905
                    "args" : [["EXPRESSION", {
906
                      "args" : [["EXPRESSION", {
907
                        "args" : [["EXPRESSION", {
908
                          "args" : [["CONSTANT_VALUE", {
909
                            "value" : ["CST_LITERAL", "0"]}
910
                          ]]}
911
                        ]]}
912
                      ]]}
913
                    ]]}
914
                  ]}
915
                ]}
916
              ]]}
917
            ], "default" : [["IF_STATEMENT", {
918
              "if_cases" : [{
919
                "if_cond" : ["EXPRESSION", {
920
                  "args" : [["EXPRESSION", {
921
                    "args" : [["EXPRESSION", {
922
                      "args" : [["EXPRESSION", {
923
                        "args" : [["EXPRESSION", {
924
                          "args" : [["EXPRESSION", {
925
                            "args" : [["EXPRESSION", {
926
                              "args" : [["EXPRESSION", {
927
                                "args" : [["CALL", ["FUNCTION_CALL", {
928
                                  "id" : ["SIMPLE_NAME", "rising_edge"], "assoc_list" : [{
929
                                    "actual_designator" : ["SIMPLE_NAME", "i_clock"]}
930
                                  ]}
931
                                ]]]}
932
                              ]]}
933
                            ]]}
934
                          ]]}
935
                        ]]}
936
                      ]]}
937
                    ]]}
938
                  ]]}
939
                ], "if_block" : [["IF_STATEMENT", {
940
                  "if_cases" : [{
941
                    "if_cond" : ["EXPRESSION", {
942
                      "args" : [["EXPRESSION", {
943
                        "args" : [["EXPRESSION", {
944
                          "args" : [["EXPRESSION", {
945
                            "args" : [["EXPRESSION", {
946
                              "id" : "and", "args" : [["EXPRESSION", {
947
                                "id" : "and", "args" : [["EXPRESSION", {
948
                                  "id" : "and", "args" : [["EXPRESSION", {
949
                                    "id" : "and", "args" : [["EXPRESSION", {
950
                                      "args" : [["EXPRESSION", {
951
                                        "args" : [["EXPRESSION", {
952
                                          "args" : [["EXPRESSION", {
953
                                            "args" : [["EXPRESSION", {
954
                                              "id" : "=", "args" : [["EXPRESSION", {
955
                                                "args" : [["EXPRESSION", {
956
                                                  "args" : [["EXPRESSION", {
957
                                                    "args" : [["CALL", ["SIMPLE_NAME", "i_new_centisecond"]]]}
958
                                                  ]]}
959
                                                ]]}
960
                                              ], ["EXPRESSION", {
961
                                                "args" : [["EXPRESSION", {
962
                                                  "args" : [["EXPRESSION", {
963
                                                    "args" : [["CONSTANT_VALUE", {
964
                                                      "value" : ["CST_LITERAL", "'1'"]}
965
                                                    ]]}
966
                                                  ]]}
967
                                                ]]}
968
                                              ]]}
969
                                            ]]}
970
                                          ]]}
971
                                        ]]}
972
                                      ]]}
973
                                    ], ["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", "limit_reached"]]]}
982
                                                  ]]}
983
                                                ]]}
984
                                              ], ["EXPRESSION", {
985
                                                "args" : [["EXPRESSION", {
986
                                                  "args" : [["EXPRESSION", {
987
                                                    "args" : [["CONSTANT_VALUE", {
988
                                                      "value" : ["CST_LITERAL", "'0'"]}
989
                                                    ]]}
990
                                                  ]]}
991
                                                ]]}
992
                                              ]]}
993
                                            ]]}
994
                                          ]]}
995
                                        ]]}
996
                                      ]]}
997
                                    ]]}
998
                                  ], ["EXPRESSION", {
999
                                    "args" : [["EXPRESSION", {
1000
                                      "args" : [["EXPRESSION", {
1001
                                        "args" : [["EXPRESSION", {
1002
                                          "args" : [["EXPRESSION", {
1003
                                            "id" : ">=", "args" : [["EXPRESSION", {
1004
                                              "args" : [["EXPRESSION", {
1005
                                                "args" : [["EXPRESSION", {
1006
                                                  "args" : [["CALL", ["SIMPLE_NAME", "t0100"]]]}
1007
                                                ]]}
1008
                                              ]]}
1009
                                            ], ["EXPRESSION", {
1010
                                              "args" : [["EXPRESSION", {
1011
                                                "args" : [["EXPRESSION", {
1012
                                                  "args" : [["CONSTANT_VALUE", {
1013
                                                    "value" : ["CST_LITERAL", "9"]}
1014
                                                  ]]}
1015
                                                ]]}
1016
                                              ]]}
1017
                                            ]]}
1018
                                          ]]}
1019
                                        ]]}
1020
                                      ]]}
1021
                                    ]]}
1022
                                  ]]}
1023
                                ], ["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", "t0010"]]]}
1032
                                              ]]}
1033
                                            ]]}
1034
                                          ], ["EXPRESSION", {
1035
                                            "args" : [["EXPRESSION", {
1036
                                              "args" : [["EXPRESSION", {
1037
                                                "args" : [["CONSTANT_VALUE", {
1038
                                                  "value" : ["CST_LITERAL", "9"]}
1039
                                                ]]}
1040
                                              ]]}
1041
                                            ]]}
1042
                                          ]]}
1043
                                        ]]}
1044
                                      ]]}
1045
                                    ]]}
1046
                                  ]]}
1047
                                ]]}
1048
                              ], ["EXPRESSION", {
1049
                                "args" : [["EXPRESSION", {
1050
                                  "args" : [["EXPRESSION", {
1051
                                    "args" : [["EXPRESSION", {
1052
                                      "args" : [["EXPRESSION", {
1053
                                        "id" : ">=", "args" : [["EXPRESSION", {
1054
                                          "args" : [["EXPRESSION", {
1055
                                            "args" : [["EXPRESSION", {
1056
                                              "args" : [["CALL", ["SIMPLE_NAME", "t0001"]]]}
1057
                                            ]]}
1058
                                          ]]}
1059
                                        ], ["EXPRESSION", {
1060
                                          "args" : [["EXPRESSION", {
1061
                                            "args" : [["EXPRESSION", {
1062
                                              "args" : [["CONSTANT_VALUE", {
1063
                                                "value" : ["CST_LITERAL", "9"]}
1064
                                              ]]}
1065
                                            ]]}
1066
                                          ]]}
1067
                                        ]]}
1068
                                      ]]}
1069
                                    ]]}
1070
                                  ]]}
1071
                                ]]}
1072
                              ]]}
1073
                            ]]}
1074
                          ]]}
1075
                        ]]}
1076
                      ]]}
1077
                    ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
1078
                      "lhs" : ["SIMPLE_NAME", "t1000"], "rhs" : [{
1079
                        "value" : ["EXPRESSION", {
1080
                          "args" : [["EXPRESSION", {
1081
                            "args" : [["EXPRESSION", {
1082
                              "args" : [["EXPRESSION", {
1083
                                "args" : [["EXPRESSION", {
1084
                                  "args" : [["EXPRESSION", {
1085
                                    "args" : [["EXPRESSION", {
1086
                                      "args" : [["EXPRESSION", {
1087
                                        "id" : "+", "args" : [["EXPRESSION", {
1088
                                          "args" : [["CALL", ["SIMPLE_NAME", "t1000"]]]}
1089
                                        ], ["EXPRESSION", {
1090
                                          "args" : [["CONSTANT_VALUE", {
1091
                                            "value" : ["CST_LITERAL", "1"]}
1092
                                          ]]}
1093
                                        ]]}
1094
                                      ]]}
1095
                                    ]]}
1096
                                  ]]}
1097
                                ]]}
1098
                              ]]}
1099
                            ]]}
1100
                          ]]}
1101
                        ]}
1102
                      ]}
1103
                    ]]}
1104
                  ]}
1105
                ]]}
1106
              ]}
1107
            ]]}
1108
          ]]}
1109
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1110
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "limit_reached"], "rhs" : [{
1111
            "expr" : [{
1112
              "value" : ["EXPRESSION", {
1113
                "args" : [["EXPRESSION", {
1114
                  "args" : [["EXPRESSION", {
1115
                    "args" : [["EXPRESSION", {
1116
                      "args" : [["CONSTANT_VALUE", {
1117
                        "value" : ["CST_LITERAL", "'1'"]}
1118
                      ]]}
1119
                    ]]}
1120
                  ]]}
1121
                ]]}
1122
              ]}
1123
            ], "cond" : ["EXPRESSION", {
1124
              "args" : [["EXPRESSION", {
1125
                "args" : [["EXPRESSION", {
1126
                  "args" : [["EXPRESSION", {
1127
                    "args" : [["EXPRESSION", {
1128
                      "id" : "and", "args" : [["EXPRESSION", {
1129
                        "id" : "and", "args" : [["EXPRESSION", {
1130
                          "id" : "and", "args" : [["EXPRESSION", {
1131
                            "args" : [["EXPRESSION", {
1132
                              "args" : [["EXPRESSION", {
1133
                                "args" : [["EXPRESSION", {
1134
                                  "args" : [["EXPRESSION", {
1135
                                    "id" : ">=", "args" : [["EXPRESSION", {
1136
                                      "args" : [["EXPRESSION", {
1137
                                        "args" : [["EXPRESSION", {
1138
                                          "args" : [["CALL", ["SIMPLE_NAME", "t1000"]]]}
1139
                                        ]]}
1140
                                      ]]}
1141
                                    ], ["EXPRESSION", {
1142
                                      "args" : [["EXPRESSION", {
1143
                                        "args" : [["EXPRESSION", {
1144
                                          "args" : [["CONSTANT_VALUE", {
1145
                                            "value" : ["CST_LITERAL", "5"]}
1146
                                          ]]}
1147
                                        ]]}
1148
                                      ]]}
1149
                                    ]]}
1150
                                  ]]}
1151
                                ]]}
1152
                              ]]}
1153
                            ]]}
1154
                          ], ["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", "t0100"]]]}
1163
                                        ]]}
1164
                                      ]]}
1165
                                    ], ["EXPRESSION", {
1166
                                      "args" : [["EXPRESSION", {
1167
                                        "args" : [["EXPRESSION", {
1168
                                          "args" : [["CONSTANT_VALUE", {
1169
                                            "value" : ["CST_LITERAL", "9"]}
1170
                                          ]]}
1171
                                        ]]}
1172
                                      ]]}
1173
                                    ]]}
1174
                                  ]]}
1175
                                ]]}
1176
                              ]]}
1177
                            ]]}
1178
                          ]]}
1179
                        ], ["EXPRESSION", {
1180
                          "args" : [["EXPRESSION", {
1181
                            "args" : [["EXPRESSION", {
1182
                              "args" : [["EXPRESSION", {
1183
                                "args" : [["EXPRESSION", {
1184
                                  "id" : ">=", "args" : [["EXPRESSION", {
1185
                                    "args" : [["EXPRESSION", {
1186
                                      "args" : [["EXPRESSION", {
1187
                                        "args" : [["CALL", ["SIMPLE_NAME", "t0010"]]]}
1188
                                      ]]}
1189
                                    ]]}
1190
                                  ], ["EXPRESSION", {
1191
                                    "args" : [["EXPRESSION", {
1192
                                      "args" : [["EXPRESSION", {
1193
                                        "args" : [["CONSTANT_VALUE", {
1194
                                          "value" : ["CST_LITERAL", "9"]}
1195
                                        ]]}
1196
                                      ]]}
1197
                                    ]]}
1198
                                  ]]}
1199
                                ]]}
1200
                              ]]}
1201
                            ]]}
1202
                          ]]}
1203
                        ]]}
1204
                      ], ["EXPRESSION", {
1205
                        "args" : [["EXPRESSION", {
1206
                          "args" : [["EXPRESSION", {
1207
                            "args" : [["EXPRESSION", {
1208
                              "args" : [["EXPRESSION", {
1209
                                "id" : ">=", "args" : [["EXPRESSION", {
1210
                                  "args" : [["EXPRESSION", {
1211
                                    "args" : [["EXPRESSION", {
1212
                                      "args" : [["CALL", ["SIMPLE_NAME", "t0001"]]]}
1213
                                    ]]}
1214
                                  ]]}
1215
                                ], ["EXPRESSION", {
1216
                                  "args" : [["EXPRESSION", {
1217
                                    "args" : [["EXPRESSION", {
1218
                                      "args" : [["CONSTANT_VALUE", {
1219
                                        "value" : ["CST_LITERAL", "9"]}
1220
                                      ]]}
1221
                                    ]]}
1222
                                  ]]}
1223
                                ]]}
1224
                              ]]}
1225
                            ]]}
1226
                          ]]}
1227
                        ]]}
1228
                      ]]}
1229
                    ]]}
1230
                  ]]}
1231
                ]]}
1232
              ]]}
1233
            ]}
1234
          , {
1235
            "expr" : [{
1236
              "value" : ["EXPRESSION", {
1237
                "args" : [["EXPRESSION", {
1238
                  "args" : [["EXPRESSION", {
1239
                    "args" : [["EXPRESSION", {
1240
                      "args" : [["CONSTANT_VALUE", {
1241
                        "value" : ["CST_LITERAL", "'0'"]}
1242
                      ]]}
1243
                    ]]}
1244
                  ]]}
1245
                ]]}
1246
              ]}
1247
            ]}
1248
          ]}
1249
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1250
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_curr_0001_time"], "rhs" : [{
1251
            "expr" : [{
1252
              "value" : ["EXPRESSION", {
1253
                "args" : [["EXPRESSION", {
1254
                  "args" : [["EXPRESSION", {
1255
                    "args" : [["EXPRESSION", {
1256
                      "args" : [["CALL", ["SIMPLE_NAME", "t0001"]]]}
1257
                    ]]}
1258
                  ]]}
1259
                ]]}
1260
              ]}
1261
            ]}
1262
          ]}
1263
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1264
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_curr_0010_time"], "rhs" : [{
1265
            "expr" : [{
1266
              "value" : ["EXPRESSION", {
1267
                "args" : [["EXPRESSION", {
1268
                  "args" : [["EXPRESSION", {
1269
                    "args" : [["EXPRESSION", {
1270
                      "args" : [["CALL", ["SIMPLE_NAME", "t0010"]]]}
1271
                    ]]}
1272
                  ]]}
1273
                ]]}
1274
              ]}
1275
            ]}
1276
          ]}
1277
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1278
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_curr_0100_time"], "rhs" : [{
1279
            "expr" : [{
1280
              "value" : ["EXPRESSION", {
1281
                "args" : [["EXPRESSION", {
1282
                  "args" : [["EXPRESSION", {
1283
                    "args" : [["EXPRESSION", {
1284
                      "args" : [["CALL", ["SIMPLE_NAME", "t0100"]]]}
1285
                    ]]}
1286
                  ]]}
1287
                ]]}
1288
              ]}
1289
            ]}
1290
          ]}
1291
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1292
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_curr_1000_time"], "rhs" : [{
1293
            "expr" : [{
1294
              "value" : ["EXPRESSION", {
1295
                "args" : [["EXPRESSION", {
1296
                  "args" : [["EXPRESSION", {
1297
                    "args" : [["EXPRESSION", {
1298
                      "args" : [["CALL", ["SIMPLE_NAME", "t1000"]]]}
1299
                    ]]}
1300
                  ]]}
1301
                ]]}
1302
              ]}
1303
            ]}
1304
          ]}
1305
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
1306
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_limit_reached"], "rhs" : [{
1307
            "expr" : [{
1308
              "value" : ["EXPRESSION", {
1309
                "args" : [["EXPRESSION", {
1310
                  "args" : [["EXPRESSION", {
1311
                    "args" : [["EXPRESSION", {
1312
                      "args" : [["CALL", ["SIMPLE_NAME", "limit_reached"]]]}
1313
                    ]]}
1314
                  ]]}
1315
                ]]}
1316
              ]}
1317
            ]}
1318
          ]}
1319
        ]]}
1320
      ]}
1321
    ]}
1322
  }