Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (10.3 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c12s06b01x00p04n03i01727ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c12s06b01x00p04n03i01727arch"], "entity" : ["IDENTIFIER", "c12s06b01x00p04n03i01727ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "B"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "BIT"]}
13
            , "init_val" : ["EXPRESSION", {
14
              "args" : [["EXPRESSION", {
15
                "args" : [["EXPRESSION", {
16
                  "args" : [["EXPRESSION", {
17
                    "args" : [["CONSTANT_VALUE", {
18
                      "value" : ["CST_LITERAL", "'1'"]}
19
                    ]]}
20
                  ]]}
21
                ]]}
22
              ]]}
23
            ]}
24
          ]}
25
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
26
          "id" : ["IDENTIFIER", "TESTING"], "PROCESS_DECLARATIVE_PART" : [{
27
            "declaration" : ["VARIABLE_DECLARATION", {
28
              "names" : [["IDENTIFIER", "ShouldBeTime"]], "typ" : {
29
                "name" : ["SIMPLE_NAME", "TIME"]}
30
              }
31
            ]}
32
          ], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
33
            "lhs" : ["SIMPLE_NAME", "B"], "rhs" : [{
34
              "value" : ["EXPRESSION", {
35
                "args" : [["EXPRESSION", {
36
                  "args" : [["EXPRESSION", {
37
                    "args" : [["EXPRESSION", {
38
                      "args" : [["CONSTANT_VALUE", {
39
                        "value" : ["CST_LITERAL", "'1'"]}
40
                      ]]}
41
                    ]]}
42
                  ]]}
43
                ]]}
44
              ]}
45
            , {
46
              "value" : ["EXPRESSION", {
47
                "args" : [["EXPRESSION", {
48
                  "args" : [["EXPRESSION", {
49
                    "args" : [["EXPRESSION", {
50
                      "args" : [["CONSTANT_VALUE", {
51
                        "value" : ["CST_LITERAL", "'0'"]}
52
                      ]]}
53
                    ]]}
54
                  ]]}
55
                ]]}
56
              ], "delay" : ["EXPRESSION", {
57
                "args" : [["EXPRESSION", {
58
                  "args" : [["EXPRESSION", {
59
                    "args" : [["EXPRESSION", {
60
                      "args" : [["CONSTANT_VALUE", {
61
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
62
                      ]]}
63
                    ]]}
64
                  ]]}
65
                ]]}
66
              ]}
67
            ]}
68
          ], ["VARIABLE_ASSIGNMENT_STATEMENT", {
69
            "lhs" : ["SIMPLE_NAME", "ShouldBeTime"], "rhs" : ["EXPRESSION", {
70
              "args" : [["EXPRESSION", {
71
                "args" : [["EXPRESSION", {
72
                  "args" : [["EXPRESSION", {
73
                    "id" : "+", "args" : [["EXPRESSION", {
74
                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
75
                    ], ["EXPRESSION", {
76
                      "args" : [["CONSTANT_VALUE", {
77
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
78
                      ]]}
79
                    ]]}
80
                  ]]}
81
                ]]}
82
              ]]}
83
            ]}
84
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
85
            "cond" : ["EXPRESSION", {
86
              "args" : [["EXPRESSION", {
87
                "args" : [["EXPRESSION", {
88
                  "args" : [["EXPRESSION", {
89
                    "id" : "NOT", "args" : [["EXPRESSION", {
90
                      "id" : "and", "args" : [["EXPRESSION", {
91
                        "args" : [["EXPRESSION", {
92
                          "args" : [["EXPRESSION", {
93
                            "args" : [["EXPRESSION", {
94
                              "args" : [["EXPRESSION", {
95
                                "id" : "=", "args" : [["EXPRESSION", {
96
                                  "args" : [["EXPRESSION", {
97
                                    "args" : [["EXPRESSION", {
98
                                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
99
                                    ]]}
100
                                  ]]}
101
                                ], ["EXPRESSION", {
102
                                  "args" : [["EXPRESSION", {
103
                                    "args" : [["EXPRESSION", {
104
                                      "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
105
                                    ]]}
106
                                  ]]}
107
                                ]]}
108
                              ]]}
109
                            ]]}
110
                          ]]}
111
                        ]]}
112
                      ], ["EXPRESSION", {
113
                        "args" : [["EXPRESSION", {
114
                          "args" : [["EXPRESSION", {
115
                            "args" : [["EXPRESSION", {
116
                              "args" : [["EXPRESSION", {
117
                                "id" : "=", "args" : [["EXPRESSION", {
118
                                  "args" : [["EXPRESSION", {
119
                                    "args" : [["EXPRESSION", {
120
                                      "args" : [["CALL", ["SIMPLE_NAME", "B"]]]}
121
                                    ]]}
122
                                  ]]}
123
                                ], ["EXPRESSION", {
124
                                  "args" : [["EXPRESSION", {
125
                                    "args" : [["EXPRESSION", {
126
                                      "args" : [["CONSTANT_VALUE", {
127
                                        "value" : ["CST_LITERAL", "'0'"]}
128
                                      ]]}
129
                                    ]]}
130
                                  ]]}
131
                                ]]}
132
                              ]]}
133
                            ]]}
134
                          ]]}
135
                        ]]}
136
                      ]]}
137
                    ]]}
138
                  ]]}
139
                ]]}
140
              ]]}
141
            ], "report" : ["EXPRESSION", {
142
              "args" : [["EXPRESSION", {
143
                "args" : [["EXPRESSION", {
144
                  "args" : [["EXPRESSION", {
145
                    "args" : [["CONSTANT_VALUE", {
146
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c12s06b01x00p04n03i01727\""]}
147
                    ]]}
148
                  ]]}
149
                ]]}
150
              ]]}
151
            ], "severity" : ["EXPRESSION", {
152
              "args" : [["EXPRESSION", {
153
                "args" : [["EXPRESSION", {
154
                  "args" : [["EXPRESSION", {
155
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
156
                  ]]}
157
                ]]}
158
              ]]}
159
            ]}
160
          ], ["ASSERTION_STATEMENT", {
161
            "cond" : ["EXPRESSION", {
162
              "args" : [["EXPRESSION", {
163
                "args" : [["EXPRESSION", {
164
                  "args" : [["EXPRESSION", {
165
                    "args" : [["EXPRESSION", {
166
                      "id" : "and", "args" : [["EXPRESSION", {
167
                        "args" : [["EXPRESSION", {
168
                          "args" : [["EXPRESSION", {
169
                            "args" : [["EXPRESSION", {
170
                              "args" : [["EXPRESSION", {
171
                                "id" : "=", "args" : [["EXPRESSION", {
172
                                  "args" : [["EXPRESSION", {
173
                                    "args" : [["EXPRESSION", {
174
                                      "args" : [["CALL", ["SIMPLE_NAME", "NOW"]]]}
175
                                    ]]}
176
                                  ]]}
177
                                ], ["EXPRESSION", {
178
                                  "args" : [["EXPRESSION", {
179
                                    "args" : [["EXPRESSION", {
180
                                      "args" : [["CALL", ["SIMPLE_NAME", "ShouldBeTime"]]]}
181
                                    ]]}
182
                                  ]]}
183
                                ]]}
184
                              ]]}
185
                            ]]}
186
                          ]]}
187
                        ]]}
188
                      ], ["EXPRESSION", {
189
                        "args" : [["EXPRESSION", {
190
                          "args" : [["EXPRESSION", {
191
                            "args" : [["EXPRESSION", {
192
                              "args" : [["EXPRESSION", {
193
                                "id" : "=", "args" : [["EXPRESSION", {
194
                                  "args" : [["EXPRESSION", {
195
                                    "args" : [["EXPRESSION", {
196
                                      "args" : [["CALL", ["SIMPLE_NAME", "B"]]]}
197
                                    ]]}
198
                                  ]]}
199
                                ], ["EXPRESSION", {
200
                                  "args" : [["EXPRESSION", {
201
                                    "args" : [["EXPRESSION", {
202
                                      "args" : [["CONSTANT_VALUE", {
203
                                        "value" : ["CST_LITERAL", "'0'"]}
204
                                      ]]}
205
                                    ]]}
206
                                  ]]}
207
                                ]]}
208
                              ]]}
209
                            ]]}
210
                          ]]}
211
                        ]]}
212
                      ]]}
213
                    ]]}
214
                  ]]}
215
                ]]}
216
              ]]}
217
            ], "report" : ["EXPRESSION", {
218
              "args" : [["EXPRESSION", {
219
                "args" : [["EXPRESSION", {
220
                  "args" : [["EXPRESSION", {
221
                    "args" : [["CONSTANT_VALUE", {
222
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c12s06b01x00p04n03i01727 - As time passes, the current transaction is deleted from the projected output waveform of that driver and the new tra nsaction takes its place.\""]}
223
                    ]]}
224
                  ]]}
225
                ]]}
226
              ]]}
227
            ], "severity" : ["EXPRESSION", {
228
              "args" : [["EXPRESSION", {
229
                "args" : [["EXPRESSION", {
230
                  "args" : [["EXPRESSION", {
231
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
232
                  ]]}
233
                ]]}
234
              ]]}
235
            ]}
236
          ], ["WAIT_STATEMENT"]]}
237
        ]]}
238
      ]}
239
    ]}
240
  }