Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (8 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "test_bench_03_08"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "test_SR_flipflop_checking"], "entity" : ["IDENTIFIER", "test_bench_03_08"], "ARCHITECTURE_DECLARATIVE_PART" : [{
10
          "declaration" : ["SIGNAL_DECLARATION", {
11
            "names" : [["IDENTIFIER", "S"], ["IDENTIFIER", "R"], ["IDENTIFIER", "Q"]], "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", "'0'"]}
19
                    ]]}
20
                  ]]}
21
                ]]}
22
              ]]}
23
            ]}
24
          ]}
25
        ], "ARCHITECTURE_STATEMENT_PART" : [["COMPONENT_INSTANTIATION_STATEMENT", {
26
          "name" : ["IDENTIFIER", "dut"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "SR_flipflop"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "checking"], "port_map" : [{
27
            "formal_name" : ["SIMPLE_NAME", "S"], "actual_designator" : ["SIMPLE_NAME", "S"]}
28
          , {
29
            "formal_name" : ["SIMPLE_NAME", "R"], "actual_designator" : ["SIMPLE_NAME", "R"]}
30
          , {
31
            "formal_name" : ["SIMPLE_NAME", "Q"], "actual_designator" : ["SIMPLE_NAME", "Q"]}
32
          ]}
33
        ], ["PROCESS_STATEMENT", {
34
          "id" : ["IDENTIFIER", "stumulus"], "PROCESS_STATEMENT_PART" : [["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
35
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
36
              "value" : ["EXPRESSION", {
37
                "args" : [["EXPRESSION", {
38
                  "args" : [["EXPRESSION", {
39
                    "args" : [["EXPRESSION", {
40
                      "args" : [["CONSTANT_VALUE", {
41
                        "value" : ["CST_LITERAL", "'1'"]}
42
                      ]]}
43
                    ]]}
44
                  ]]}
45
                ]]}
46
              ]}
47
            ]}
48
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
49
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
50
              "value" : ["EXPRESSION", {
51
                "args" : [["EXPRESSION", {
52
                  "args" : [["EXPRESSION", {
53
                    "args" : [["EXPRESSION", {
54
                      "args" : [["CONSTANT_VALUE", {
55
                        "value" : ["CST_LITERAL", "'0'"]}
56
                      ]]}
57
                    ]]}
58
                  ]]}
59
                ]]}
60
              ]}
61
            ]}
62
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
63
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
64
              "value" : ["EXPRESSION", {
65
                "args" : [["EXPRESSION", {
66
                  "args" : [["EXPRESSION", {
67
                    "args" : [["EXPRESSION", {
68
                      "args" : [["CONSTANT_VALUE", {
69
                        "value" : ["CST_LITERAL", "'1'"]}
70
                      ]]}
71
                    ]]}
72
                  ]]}
73
                ]]}
74
              ]}
75
            ]}
76
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
77
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
78
              "value" : ["EXPRESSION", {
79
                "args" : [["EXPRESSION", {
80
                  "args" : [["EXPRESSION", {
81
                    "args" : [["EXPRESSION", {
82
                      "args" : [["CONSTANT_VALUE", {
83
                        "value" : ["CST_LITERAL", "'0'"]}
84
                      ]]}
85
                    ]]}
86
                  ]]}
87
                ]]}
88
              ]}
89
            ]}
90
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
91
            "lhs" : ["SIMPLE_NAME", "R"], "rhs" : [{
92
              "value" : ["EXPRESSION", {
93
                "args" : [["EXPRESSION", {
94
                  "args" : [["EXPRESSION", {
95
                    "args" : [["EXPRESSION", {
96
                      "args" : [["CONSTANT_VALUE", {
97
                        "value" : ["CST_LITERAL", "'1'"]}
98
                      ]]}
99
                    ]]}
100
                  ]]}
101
                ]]}
102
              ]}
103
            ]}
104
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
105
            "lhs" : ["SIMPLE_NAME", "R"], "rhs" : [{
106
              "value" : ["EXPRESSION", {
107
                "args" : [["EXPRESSION", {
108
                  "args" : [["EXPRESSION", {
109
                    "args" : [["EXPRESSION", {
110
                      "args" : [["CONSTANT_VALUE", {
111
                        "value" : ["CST_LITERAL", "'0'"]}
112
                      ]]}
113
                    ]]}
114
                  ]]}
115
                ]]}
116
              ]}
117
            ]}
118
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
119
            "lhs" : ["SIMPLE_NAME", "R"], "rhs" : [{
120
              "value" : ["EXPRESSION", {
121
                "args" : [["EXPRESSION", {
122
                  "args" : [["EXPRESSION", {
123
                    "args" : [["EXPRESSION", {
124
                      "args" : [["CONSTANT_VALUE", {
125
                        "value" : ["CST_LITERAL", "'1'"]}
126
                      ]]}
127
                    ]]}
128
                  ]]}
129
                ]]}
130
              ]}
131
            ]}
132
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
133
            "lhs" : ["SIMPLE_NAME", "R"], "rhs" : [{
134
              "value" : ["EXPRESSION", {
135
                "args" : [["EXPRESSION", {
136
                  "args" : [["EXPRESSION", {
137
                    "args" : [["EXPRESSION", {
138
                      "args" : [["CONSTANT_VALUE", {
139
                        "value" : ["CST_LITERAL", "'0'"]}
140
                      ]]}
141
                    ]]}
142
                  ]]}
143
                ]]}
144
              ]}
145
            ]}
146
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
147
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
148
              "value" : ["EXPRESSION", {
149
                "args" : [["EXPRESSION", {
150
                  "args" : [["EXPRESSION", {
151
                    "args" : [["EXPRESSION", {
152
                      "args" : [["CONSTANT_VALUE", {
153
                        "value" : ["CST_LITERAL", "'1'"]}
154
                      ]]}
155
                    ]]}
156
                  ]]}
157
                ]]}
158
              ]}
159
            ]}
160
          ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
161
            "lhs" : ["SIMPLE_NAME", "R"], "rhs" : [{
162
              "value" : ["EXPRESSION", {
163
                "args" : [["EXPRESSION", {
164
                  "args" : [["EXPRESSION", {
165
                    "args" : [["EXPRESSION", {
166
                      "args" : [["CONSTANT_VALUE", {
167
                        "value" : ["CST_LITERAL", "'1'"]}
168
                      ]]}
169
                    ]]}
170
                  ]]}
171
                ]]}
172
              ]}
173
            ]}
174
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
175
            "lhs" : ["SIMPLE_NAME", "R"], "rhs" : [{
176
              "value" : ["EXPRESSION", {
177
                "args" : [["EXPRESSION", {
178
                  "args" : [["EXPRESSION", {
179
                    "args" : [["EXPRESSION", {
180
                      "args" : [["CONSTANT_VALUE", {
181
                        "value" : ["CST_LITERAL", "'0'"]}
182
                      ]]}
183
                    ]]}
184
                  ]]}
185
                ]]}
186
              ]}
187
            ]}
188
          ], ["WAIT_STATEMENT"], ["SIGNAL_ASSIGNMENT_STATEMENT", {
189
            "lhs" : ["SIMPLE_NAME", "S"], "rhs" : [{
190
              "value" : ["EXPRESSION", {
191
                "args" : [["EXPRESSION", {
192
                  "args" : [["EXPRESSION", {
193
                    "args" : [["EXPRESSION", {
194
                      "args" : [["CONSTANT_VALUE", {
195
                        "value" : ["CST_LITERAL", "'0'"]}
196
                      ]]}
197
                    ]]}
198
                  ]]}
199
                ]]}
200
              ]}
201
            ]}
202
          ], ["WAIT_STATEMENT"], ["WAIT_STATEMENT"]]}
203
        ]]}
204
      ]}
205
    ]}
206
  }