Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (6.37 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "c09s02b00x00p07n01i01705ent"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "c09s02b00x00p07n01i01705arch"], "entity" : ["IDENTIFIER", "c09s02b00x00p07n01i01705ent"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "S1"]], "typ" : {
12
              "name" : ["SIMPLE_NAME", "Bit"]}
13
            }
14
          ]}
15
        , {
16
          "declaration" : ["SIGNAL_DECLARATION", {
17
            "names" : [["IDENTIFIER", "S2"]], "typ" : {
18
              "name" : ["SIMPLE_NAME", "Bit"]}
19
            }
20
          ]}
21
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
22
          "id" : ["IDENTIFIER", "TESTING"], "active_sigs" : [["SIMPLE_NAME", "S1"]], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
23
            "lhs" : ["SIMPLE_NAME", "S1"], "rhs" : [{
24
              "value" : ["EXPRESSION", {
25
                "args" : [["EXPRESSION", {
26
                  "args" : [["EXPRESSION", {
27
                    "args" : [["EXPRESSION", {
28
                      "args" : [["CONSTANT_VALUE", {
29
                        "value" : ["CST_LITERAL", "'1'"]}
30
                      ]]}
31
                    ]]}
32
                  ]]}
33
                ]]}
34
              ], "delay" : ["EXPRESSION", {
35
                "args" : [["EXPRESSION", {
36
                  "args" : [["EXPRESSION", {
37
                    "args" : [["EXPRESSION", {
38
                      "args" : [["CONSTANT_VALUE", {
39
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
40
                      ]]}
41
                    ]]}
42
                  ]]}
43
                ]]}
44
              ]}
45
            ]}
46
          ]]}
47
        ], ["PROCESS_STATEMENT", {
48
          "id" : ["IDENTIFIER", "TESTING1"], "PROCESS_STATEMENT_PART" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
49
            "lhs" : ["SIMPLE_NAME", "S2"], "rhs" : [{
50
              "value" : ["EXPRESSION", {
51
                "args" : [["EXPRESSION", {
52
                  "args" : [["EXPRESSION", {
53
                    "args" : [["EXPRESSION", {
54
                      "args" : [["CONSTANT_VALUE", {
55
                        "value" : ["CST_LITERAL", "'1'"]}
56
                      ]]}
57
                    ]]}
58
                  ]]}
59
                ]]}
60
              ], "delay" : ["EXPRESSION", {
61
                "args" : [["EXPRESSION", {
62
                  "args" : [["EXPRESSION", {
63
                    "args" : [["EXPRESSION", {
64
                      "args" : [["CONSTANT_VALUE", {
65
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
66
                      ]]}
67
                    ]]}
68
                  ]]}
69
                ]]}
70
              ]}
71
            ]}
72
          ], ["WAIT_STATEMENT"], ["ASSERTION_STATEMENT", {
73
            "cond" : ["EXPRESSION", {
74
              "args" : [["EXPRESSION", {
75
                "args" : [["EXPRESSION", {
76
                  "args" : [["EXPRESSION", {
77
                    "id" : "NOT", "args" : [["EXPRESSION", {
78
                      "id" : "=", "args" : [["EXPRESSION", {
79
                        "args" : [["EXPRESSION", {
80
                          "args" : [["EXPRESSION", {
81
                            "args" : [["CALL", ["SIMPLE_NAME", "S1"]]]}
82
                          ]]}
83
                        ]]}
84
                      ], ["EXPRESSION", {
85
                        "args" : [["EXPRESSION", {
86
                          "args" : [["EXPRESSION", {
87
                            "args" : [["CALL", ["SIMPLE_NAME", "S2"]]]}
88
                          ]]}
89
                        ]]}
90
                      ]]}
91
                    ]]}
92
                  ]]}
93
                ]]}
94
              ]]}
95
            ], "report" : ["EXPRESSION", {
96
              "args" : [["EXPRESSION", {
97
                "args" : [["EXPRESSION", {
98
                  "args" : [["EXPRESSION", {
99
                    "args" : [["CONSTANT_VALUE", {
100
                      "value" : ["CST_LITERAL", "\"***PASSED TEST: c09s02b00x00p07n01i01705\""]}
101
                    ]]}
102
                  ]]}
103
                ]]}
104
              ]]}
105
            ], "severity" : ["EXPRESSION", {
106
              "args" : [["EXPRESSION", {
107
                "args" : [["EXPRESSION", {
108
                  "args" : [["EXPRESSION", {
109
                    "args" : [["CALL", ["SIMPLE_NAME", "NOTE"]]]}
110
                  ]]}
111
                ]]}
112
              ]]}
113
            ]}
114
          ], ["ASSERTION_STATEMENT", {
115
            "cond" : ["EXPRESSION", {
116
              "args" : [["EXPRESSION", {
117
                "args" : [["EXPRESSION", {
118
                  "args" : [["EXPRESSION", {
119
                    "args" : [["EXPRESSION", {
120
                      "id" : "=", "args" : [["EXPRESSION", {
121
                        "args" : [["EXPRESSION", {
122
                          "args" : [["EXPRESSION", {
123
                            "args" : [["CALL", ["SIMPLE_NAME", "S1"]]]}
124
                          ]]}
125
                        ]]}
126
                      ], ["EXPRESSION", {
127
                        "args" : [["EXPRESSION", {
128
                          "args" : [["EXPRESSION", {
129
                            "args" : [["CALL", ["SIMPLE_NAME", "S2"]]]}
130
                          ]]}
131
                        ]]}
132
                      ]]}
133
                    ]]}
134
                  ]]}
135
                ]]}
136
              ]]}
137
            ], "report" : ["EXPRESSION", {
138
              "args" : [["EXPRESSION", {
139
                "args" : [["EXPRESSION", {
140
                  "args" : [["EXPRESSION", {
141
                    "args" : [["CONSTANT_VALUE", {
142
                      "value" : ["CST_LITERAL", "\"***FAILED TEST: c09s02b00x00p07n01i01705 - The process statement is assumed to contain an implicit wait statement if a sensitivity list appears following the reserved word process.\""]}
143
                    ]]}
144
                  ]]}
145
                ]]}
146
              ]]}
147
            ], "severity" : ["EXPRESSION", {
148
              "args" : [["EXPRESSION", {
149
                "args" : [["EXPRESSION", {
150
                  "args" : [["EXPRESSION", {
151
                    "args" : [["CALL", ["SIMPLE_NAME", "ERROR"]]]}
152
                  ]]}
153
                ]]}
154
              ]]}
155
            ]}
156
          ], ["WAIT_STATEMENT"]]}
157
        ]]}
158
      ]}
159
    ]}
160
  }