Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (9.72 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c12s06b01x00p01n02i01720ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c12s06b01x00p01n02i01720arch"], "entity" : ["IDENTIFIER", "c12s06b01x00p01n02i01720ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "definition" : ["TYPE_DECLARATION", {
11
            "name" : ["IDENTIFIER", "NIBBLE"], "definition" : ["ARRAY_TYPE_DEFINITION", {
12
              "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
              ], "definition" : {
29
                "name" : ["SIMPLE_NAME", "BIT"]}
30
              }
31
            ]}
32
          ]}
33
        , {
34
          "declaration" : ["SIGNAL_DECLARATION", {
35
            "names" : [["IDENTIFIER", "B"]], "typ" : {
36
              "name" : ["SIMPLE_NAME", "BIT"]}
37
            , "init_val" : ["EXPRESSION", {
38
              "args" : [["EXPRESSION", {
39
                "args" : [["EXPRESSION", {
40
                  "args" : [["EXPRESSION", {
41
                    "args" : [["CONSTANT_VALUE", {
42
                      "value" : ["CST_LITERAL", "'1'"]}
43
                    ]]}
44
                  ]]}
45
                ]]}
46
              ]]}
47
            ]}
48
          ]}
49
        , {
50
          "declaration" : ["SIGNAL_DECLARATION", {
51
            "names" : [["IDENTIFIER", "N"]], "typ" : {
52
              "name" : ["SIMPLE_NAME", "NIBBLE"]}
53
            , "init_val" : ["EXPRESSION", {
54
              "args" : [["EXPRESSION", {
55
                "args" : [["EXPRESSION", {
56
                  "args" : [["EXPRESSION", {
57
                    "args" : [["CONSTANT_VALUE", {
58
                      "value" : ["CST_LITERAL", "B\"1111\""]}
59
                    ]]}
60
                  ]]}
61
                ]]}
62
              ]]}
63
            ]}
64
          ]}
65
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
66
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
67
            "lhs" : ["SIMPLE_NAME", "B"], "rhs" : [{
68
              "value" : ["EXPRESSION", {
69
                "args" : [["EXPRESSION", {
70
                  "args" : [["EXPRESSION", {
71
                    "args" : [["EXPRESSION", {
72
                      "args" : [["CONSTANT_VALUE", {
73
                        "value" : ["CST_LITERAL", "'0'"]}
74
                      ]]}
75
                    ]]}
76
                  ]]}
77
                ]]}
78
              ], "delay" : ["EXPRESSION", {
79
                "args" : [["EXPRESSION", {
80
                  "args" : [["EXPRESSION", {
81
                    "args" : [["EXPRESSION", {
82
                      "args" : [["CONSTANT_VALUE", {
83
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
84
                      ]]}
85
                    ]]}
86
                  ]]}
87
                ]]}
88
              ]}
89
            ]}
90
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
91
            "lhs" : ["SIMPLE_NAME", "N"], "rhs" : [{
92
              "value" : ["EXPRESSION", {
93
                "args" : [["EXPRESSION", {
94
                  "args" : [["EXPRESSION", {
95
                    "args" : [["EXPRESSION", {
96
                      "args" : [["CONSTANT_VALUE", {
97
                        "value" : ["CST_LITERAL", "B\"0000\""]}
98
                      ]]}
99
                    ]]}
100
                  ]]}
101
                ]]}
102
              ], "delay" : ["EXPRESSION", {
103
                "args" : [["EXPRESSION", {
104
                  "args" : [["EXPRESSION", {
105
                    "args" : [["EXPRESSION", {
106
                      "args" : [["CONSTANT_VALUE", {
107
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
108
                      ]]}
109
                    ]]}
110
                  ]]}
111
                ]]}
112
              ]}
113
            ]}
114
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
115
            "cond" : ["EXPRESSION", {
116
              "args" : [["EXPRESSION", {
117
                "args" : [["EXPRESSION", {
118
                  "args" : [["EXPRESSION", {
119
                    "id" : "NOT", "args" : [["EXPRESSION", {
120
                      "id" : "and", "args" : [["EXPRESSION", {
121
                        "id" : "=", "args" : [["EXPRESSION", {
122
                          "args" : [["EXPRESSION", {
123
                            "args" : [["EXPRESSION", {
124
                              "args" : [["CALL", ["SIMPLE_NAME", "B"]]]}
125
                            ]]}
126
                          ]]}
127
                        ], ["EXPRESSION", {
128
                          "args" : [["EXPRESSION", {
129
                            "args" : [["EXPRESSION", {
130
                              "args" : [["CONSTANT_VALUE", {
131
                                "value" : ["CST_LITERAL", "'0'"]}
132
                              ]]}
133
                            ]]}
134
                          ]]}
135
                        ]]}
136
                      ], ["EXPRESSION", {
137
                        "id" : "=", "args" : [["EXPRESSION", {
138
                          "args" : [["EXPRESSION", {
139
                            "args" : [["EXPRESSION", {
140
                              "args" : [["CALL", ["SIMPLE_NAME", "N"]]]}
141
                            ]]}
142
                          ]]}
143
                        ], ["EXPRESSION", {
144
                          "args" : [["EXPRESSION", {
145
                            "args" : [["EXPRESSION", {
146
                              "args" : [["CONSTANT_VALUE", {
147
                                "value" : ["CST_LITERAL", "B\"0000\""]}
148
                              ]]}
149
                            ]]}
150
                          ]]}
151
                        ]]}
152
                      ]]}
153
                    ]]}
154
                  ]]}
155
                ]]}
156
              ]]}
157
            ], "report" : ["EXPRESSION", {
158
              "args" : [["EXPRESSION", {
159
                "args" : [["EXPRESSION", {
160
                  "args" : [["EXPRESSION", {
161
                    "args" : [["CONSTANT_VALUE", {
162
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c12s06b01x00p01n02i01720\""]}
163
                    ]]}
164
                  ]]}
165
                ]]}
166
              ]]}
167
            ], "severity" : ["EXPRESSION", {
168
              "args" : [["EXPRESSION", {
169
                "args" : [["EXPRESSION", {
170
                  "args" : [["EXPRESSION", {
171
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
172
                  ]]}
173
                ]]}
174
              ]]}
175
            ]}
176
          ], ["ASSERTION_STATEMENT", {
177
            "cond" : ["EXPRESSION", {
178
              "args" : [["EXPRESSION", {
179
                "args" : [["EXPRESSION", {
180
                  "args" : [["EXPRESSION", {
181
                    "args" : [["EXPRESSION", {
182
                      "id" : "and", "args" : [["EXPRESSION", {
183
                        "id" : "=", "args" : [["EXPRESSION", {
184
                          "args" : [["EXPRESSION", {
185
                            "args" : [["EXPRESSION", {
186
                              "args" : [["CALL", ["SIMPLE_NAME", "B"]]]}
187
                            ]]}
188
                          ]]}
189
                        ], ["EXPRESSION", {
190
                          "args" : [["EXPRESSION", {
191
                            "args" : [["EXPRESSION", {
192
                              "args" : [["CONSTANT_VALUE", {
193
                                "value" : ["CST_LITERAL", "'0'"]}
194
                              ]]}
195
                            ]]}
196
                          ]]}
197
                        ]]}
198
                      ], ["EXPRESSION", {
199
                        "id" : "=", "args" : [["EXPRESSION", {
200
                          "args" : [["EXPRESSION", {
201
                            "args" : [["EXPRESSION", {
202
                              "args" : [["CALL", ["SIMPLE_NAME", "N"]]]}
203
                            ]]}
204
                          ]]}
205
                        ], ["EXPRESSION", {
206
                          "args" : [["EXPRESSION", {
207
                            "args" : [["EXPRESSION", {
208
                              "args" : [["CONSTANT_VALUE", {
209
                                "value" : ["CST_LITERAL", "B\"0000\""]}
210
                              ]]}
211
                            ]]}
212
                          ]]}
213
                        ]]}
214
                      ]]}
215
                    ]]}
216
                  ]]}
217
                ]]}
218
              ]]}
219
            ], "report" : ["EXPRESSION", {
220
              "args" : [["EXPRESSION", {
221
                "args" : [["EXPRESSION", {
222
                  "args" : [["EXPRESSION", {
223
                    "args" : [["CONSTANT_VALUE", {
224
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c12s06b01x00p01n02i01720 - At least one driver gets created for eah signal which is assigned to either directly or indirectly inside of a process.\""]}
225
                    ]]}
226
                  ]]}
227
                ]]}
228
              ]]}
229
            ], "severity" : ["EXPRESSION", {
230
              "args" : [["EXPRESSION", {
231
                "args" : [["EXPRESSION", {
232
                  "args" : [["EXPRESSION", {
233
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
234
                  ]]}
235
                ]]}
236
              ]]}
237
            ]}
238
          ], ["WAIT_STATEMENT"]]}
239
        ]]}
240
      ]}
241
    ]}
242
  }