Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (8.47 KB)

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