Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (12.3 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c09s02b00x00p16n02i01719ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c09s02b00x00p16n02i01719arch"], "entity" : ["IDENTIFIER", "c09s02b00x00p16n02i01719ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "definition" : ["SUBTYPE_DECLARATION", {
11
            "name" : ["IDENTIFIER", "bit_4"], "typ" : {
12
              "name" : ["SIMPLE_NAME", "bit_vector"], "const" : ["INDEX_CONSTRAINT", {
13
                "ranges" : [["RANGE_WITH_DIRECTION", {
14
                  "direction" : "to", "from" : ["EXPRESSION", {
15
                    "args" : [["EXPRESSION", {
16
                      "args" : [["CONSTANT_VALUE", {
17
                        "value" : ["CST_LITERAL", "0"]}
18
                      ]]}
19
                    ]]}
20
                  ], "_to" : ["EXPRESSION", {
21
                    "args" : [["EXPRESSION", {
22
                      "args" : [["CONSTANT_VALUE", {
23
                        "value" : ["CST_LITERAL", "3"]}
24
                      ]]}
25
                    ]]}
26
                  ]}
27
                ]]}
28
              ]}
29
            }
30
          ]}
31
        , {
32
          "definition" : ["SUBTYPE_DECLARATION", {
33
            "name" : ["IDENTIFIER", "bit_8"], "typ" : {
34
              "name" : ["SIMPLE_NAME", "bit_vector"], "const" : ["INDEX_CONSTRAINT", {
35
                "ranges" : [["RANGE_WITH_DIRECTION", {
36
                  "direction" : "to", "from" : ["EXPRESSION", {
37
                    "args" : [["EXPRESSION", {
38
                      "args" : [["CONSTANT_VALUE", {
39
                        "value" : ["CST_LITERAL", "0"]}
40
                      ]]}
41
                    ]]}
42
                  ], "_to" : ["EXPRESSION", {
43
                    "args" : [["EXPRESSION", {
44
                      "args" : [["CONSTANT_VALUE", {
45
                        "value" : ["CST_LITERAL", "7"]}
46
                      ]]}
47
                    ]]}
48
                  ]}
49
                ]]}
50
              ]}
51
            }
52
          ]}
53
        , {
54
          "declaration" : ["SIGNAL_DECLARATION", {
55
            "names" : [["IDENTIFIER", "s"]], "typ" : {
56
              "name" : ["SIMPLE_NAME", "bit_8"]}
57
            , "init_val" : ["EXPRESSION", {
58
              "args" : [["EXPRESSION", {
59
                "args" : [["EXPRESSION", {
60
                  "args" : [["EXPRESSION", {
61
                    "args" : [["CONSTANT_VALUE", {
62
                      "value" : ["CST_LITERAL", "B\"0000_0000\""]}
63
                    ]]}
64
                  ]]}
65
                ]]}
66
              ]]}
67
            ]}
68
          ]}
69
        , {
70
          "declaration" : ["SIGNAL_DECLARATION", {
71
            "names" : [["IDENTIFIER", "s4"]], "typ" : {
72
              "name" : ["SIMPLE_NAME", "bit_4"]}
73
            }
74
          ]}
75
        , {
76
          "declaration" : ["SIGNAL_DECLARATION", {
77
            "names" : [["IDENTIFIER", "s5"]], "typ" : {
78
              "name" : ["SIMPLE_NAME", "bit_4"]}
79
            }
80
          ]}
81
        ], "ARCHITECTURE_STATEMENT_PART" : [["CONDITIONAL_SIGNAL_ASSIGNMENT", {
82
          "postponed" : false, "lhs" : ["INDEXED_NAME", {
83
            "id" : ["SIMPLE_NAME", "s"], "exprs" : [["EXPRESSION", {
84
              "args" : [["EXPRESSION", {
85
                "args" : [["EXPRESSION", {
86
                  "args" : [["EXPRESSION", {
87
                    "args" : [["CONSTANT_VALUE", {
88
                      "value" : ["CST_LITERAL", "6"]}
89
                    ]]}
90
                  ]]}
91
                ]]}
92
              ]]}
93
            ]]}
94
          ], "rhs" : [{
95
            "expr" : [{
96
              "value" : ["EXPRESSION", {
97
                "args" : [["EXPRESSION", {
98
                  "args" : [["EXPRESSION", {
99
                    "args" : [["EXPRESSION", {
100
                      "args" : [["CONSTANT_VALUE", {
101
                        "value" : ["CST_LITERAL", "'1'"]}
102
                      ]]}
103
                    ]]}
104
                  ]]}
105
                ]]}
106
              ], "delay" : ["EXPRESSION", {
107
                "args" : [["EXPRESSION", {
108
                  "args" : [["EXPRESSION", {
109
                    "args" : [["EXPRESSION", {
110
                      "args" : [["CONSTANT_VALUE", {
111
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
112
                      ]]}
113
                    ]]}
114
                  ]]}
115
                ]]}
116
              ]}
117
            ]}
118
          ]}
119
        ], ["PROCESS_STATEMENT", {
120
          "id" : ["IDENTIFIER", "TESTING"], "active_sigs" : [["SLICE_NAME", {
121
            "id" : ["SIMPLE_NAME", "s"], "range" : ["RANGE_WITH_DIRECTION", {
122
              "direction" : "to", "from" : ["EXPRESSION", {
123
                "args" : [["EXPRESSION", {
124
                  "args" : [["CONSTANT_VALUE", {
125
                    "value" : ["CST_LITERAL", "0"]}
126
                  ]]}
127
                ]]}
128
              ], "_to" : ["EXPRESSION", {
129
                "args" : [["EXPRESSION", {
130
                  "args" : [["CONSTANT_VALUE", {
131
                    "value" : ["CST_LITERAL", "3"]}
132
                  ]]}
133
                ]]}
134
              ]}
135
            ]}
136
          ]], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", {
137
            "cond" : ["EXPRESSION", {
138
              "args" : [["EXPRESSION", {
139
                "args" : [["EXPRESSION", {
140
                  "args" : [["EXPRESSION", {
141
                    "args" : [["EXPRESSION", {
142
                      "id" : "<=", "args" : [["EXPRESSION", {
143
                        "args" : [["EXPRESSION", {
144
                          "args" : [["EXPRESSION", {
145
                            "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
146
                          ]]}
147
                        ]]}
148
                      ], ["EXPRESSION", {
149
                        "args" : [["EXPRESSION", {
150
                          "args" : [["EXPRESSION", {
151
                            "args" : [["CONSTANT_VALUE", {
152
                              "value" : ["CST_LITERAL", "0"], "unit_name" : ["SIMPLE_NAME", "fs"]}
153
                            ]]}
154
                          ]]}
155
                        ]]}
156
                      ]]}
157
                    ]]}
158
                  ]]}
159
                ]]}
160
              ]]}
161
            ], "report" : ["EXPRESSION", {
162
              "args" : [["EXPRESSION", {
163
                "args" : [["EXPRESSION", {
164
                  "args" : [["EXPRESSION", {
165
                    "args" : [["CONSTANT_VALUE", {
166
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c09s02b00x00p16n02i01719 - This process should be inactive.\""]}
167
                    ]]}
168
                  ]]}
169
                ]]}
170
              ]]}
171
            ], "severity" : ["EXPRESSION", {
172
              "args" : [["EXPRESSION", {
173
                "args" : [["EXPRESSION", {
174
                  "args" : [["EXPRESSION", {
175
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
176
                  ]]}
177
                ]]}
178
              ]]}
179
            ]}
180
          ]]}
181
        ], ["PROCESS_STATEMENT", {
182
          "id" : ["IDENTIFIER", "p2"], "active_sigs" : [["SLICE_NAME", {
183
            "id" : ["SIMPLE_NAME", "s"], "range" : ["RANGE_WITH_DIRECTION", {
184
              "direction" : "to", "from" : ["EXPRESSION", {
185
                "args" : [["EXPRESSION", {
186
                  "args" : [["CONSTANT_VALUE", {
187
                    "value" : ["CST_LITERAL", "3"]}
188
                  ]]}
189
                ]]}
190
              ], "_to" : ["EXPRESSION", {
191
                "args" : [["EXPRESSION", {
192
                  "args" : [["CONSTANT_VALUE", {
193
                    "value" : ["CST_LITERAL", "6"]}
194
                  ]]}
195
                ]]}
196
              ]}
197
            ]}
198
          ]], "PROCESS_STATEMENT_PART" : [["ASSERTION_STATEMENT", {
199
            "cond" : ["EXPRESSION", {
200
              "args" : [["EXPRESSION", {
201
                "args" : [["EXPRESSION", {
202
                  "args" : [["EXPRESSION", {
203
                    "id" : "NOT", "args" : [["EXPRESSION", {
204
                      "id" : "and", "args" : [["EXPRESSION", {
205
                        "args" : [["EXPRESSION", {
206
                          "args" : [["EXPRESSION", {
207
                            "args" : [["EXPRESSION", {
208
                              "args" : [["EXPRESSION", {
209
                                "id" : "=", "args" : [["EXPRESSION", {
210
                                  "args" : [["EXPRESSION", {
211
                                    "args" : [["EXPRESSION", {
212
                                      "args" : [["CALL", ["SLICE_NAME", {
213
                                        "id" : ["SIMPLE_NAME", "s"], "range" : ["RANGE_WITH_DIRECTION", {
214
                                          "direction" : "to", "from" : ["EXPRESSION", {
215
                                            "args" : [["EXPRESSION", {
216
                                              "args" : [["CONSTANT_VALUE", {
217
                                                "value" : ["CST_LITERAL", "3"]}
218
                                              ]]}
219
                                            ]]}
220
                                          ], "_to" : ["EXPRESSION", {
221
                                            "args" : [["EXPRESSION", {
222
                                              "args" : [["CONSTANT_VALUE", {
223
                                                "value" : ["CST_LITERAL", "6"]}
224
                                              ]]}
225
                                            ]]}
226
                                          ]}
227
                                        ]}
228
                                      ]]]}
229
                                    ]]}
230
                                  ]]}
231
                                ], ["EXPRESSION", {
232
                                  "args" : [["EXPRESSION", {
233
                                    "args" : [["EXPRESSION", {
234
                                      "args" : [["CONSTANT_VALUE", {
235
                                        "value" : ["CST_LITERAL", "B\"0001\""]}
236
                                      ]]}
237
                                    ]]}
238
                                  ]]}
239
                                ]]}
240
                              ]]}
241
                            ]]}
242
                          ]]}
243
                        ]]}
244
                      ], ["EXPRESSION", {
245
                        "args" : [["EXPRESSION", {
246
                          "args" : [["EXPRESSION", {
247
                            "args" : [["EXPRESSION", {
248
                              "args" : [["EXPRESSION", {
249
                                "id" : "=", "args" : [["EXPRESSION", {
250
                                  "args" : [["EXPRESSION", {
251
                                    "args" : [["EXPRESSION", {
252
                                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
253
                                    ]]}
254
                                  ]]}
255
                                ], ["EXPRESSION", {
256
                                  "args" : [["EXPRESSION", {
257
                                    "args" : [["EXPRESSION", {
258
                                      "args" : [["CONSTANT_VALUE", {
259
                                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
260
                                      ]]}
261
                                    ]]}
262
                                  ]]}
263
                                ]]}
264
                              ]]}
265
                            ]]}
266
                          ]]}
267
                        ]]}
268
                      ]]}
269
                    ]]}
270
                  ]]}
271
                ]]}
272
              ]]}
273
            ], "report" : ["EXPRESSION", {
274
              "args" : [["EXPRESSION", {
275
                "args" : [["EXPRESSION", {
276
                  "args" : [["EXPRESSION", {
277
                    "args" : [["CONSTANT_VALUE", {
278
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c09s02b00x00p16n02i01719 - This test is passed only is the FAILED assertion did not appear.\""]}
279
                    ]]}
280
                  ]]}
281
                ]]}
282
              ]]}
283
            ], "severity" : ["EXPRESSION", {
284
              "args" : [["EXPRESSION", {
285
                "args" : [["EXPRESSION", {
286
                  "args" : [["EXPRESSION", {
287
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
288
                  ]]}
289
                ]]}
290
              ]]}
291
            ]}
292
          ]]}
293
        ]]}
294
      ]}
295
    ]}
296
  }