Project

General

Profile

Download (8.06 KB) Statistics
| Branch: | Tag: | Revision:
1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "flipflop"], "generics" : [{
6
          "names" : [["IDENTIFIER", "Tsetup"]], "typ" : {
7
            "name" : ["SIMPLE_NAME", "delay_length"]}
8
          }
9
        ], "ports" : [{
10
          "names" : [["IDENTIFIER", "clk"], ["IDENTIFIER", "d"]], "mode" : ["in"], "typ" : {
11
            "name" : ["SIMPLE_NAME", "bit"]}
12
          }
13
        , {
14
          "names" : [["IDENTIFIER", "q"]], "mode" : ["out"], "typ" : {
15
            "name" : ["SIMPLE_NAME", "bit"]}
16
          }
17
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
18
      ]}
19
    , {
20
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
21
        "name" : ["IDENTIFIER", "behavior"], "entity" : ["IDENTIFIER", "flipflop"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
22
          "id" : ["IDENTIFIER", "timing_check"], "active_sigs" : [["SIMPLE_NAME", "clk"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
23
            "if_cases" : [{
24
              "if_cond" : ["EXPRESSION", {
25
                "id" : "=", "args" : [["EXPRESSION", {
26
                  "args" : [["EXPRESSION", {
27
                    "args" : [["EXPRESSION", {
28
                      "args" : [["CALL", ["SIMPLE_NAME", "clk"]]]}
29
                    ]]}
30
                  ]]}
31
                ], ["EXPRESSION", {
32
                  "args" : [["EXPRESSION", {
33
                    "args" : [["EXPRESSION", {
34
                      "args" : [["CONSTANT_VALUE", {
35
                        "value" : ["CST_LITERAL", "'1'"]}
36
                      ]]}
37
                    ]]}
38
                  ]]}
39
                ]]}
40
              ], "if_block" : [["ASSERTION_STATEMENT", {
41
                "cond" : ["EXPRESSION", {
42
                  "id" : ">=", "args" : [["EXPRESSION", {
43
                    "args" : [["EXPRESSION", {
44
                      "args" : [["EXPRESSION", {
45
                        "args" : [["CALL", ["ATTRIBUTE_NAME", {
46
                          "id" : ["SIMPLE_NAME", "d"], "designator" : ["SIMPLE_NAME", "last_event"]}
47
                        ]]]}
48
                      ]]}
49
                    ]]}
50
                  ], ["EXPRESSION", {
51
                    "args" : [["EXPRESSION", {
52
                      "args" : [["EXPRESSION", {
53
                        "args" : [["CALL", ["SIMPLE_NAME", "Tsetup"]]]}
54
                      ]]}
55
                    ]]}
56
                  ]]}
57
                ], "report" : ["EXPRESSION", {
58
                  "args" : [["EXPRESSION", {
59
                    "args" : [["EXPRESSION", {
60
                      "args" : [["EXPRESSION", {
61
                        "id" : "&", "args" : [["EXPRESSION", {
62
                          "args" : [["CONSTANT_VALUE", {
63
                            "value" : ["CST_LITERAL", "\"set up violation detected in \""]}
64
                          ]]}
65
                        ], ["EXPRESSION", {
66
                          "args" : [["CALL", ["ATTRIBUTE_NAME", {
67
                            "id" : ["SIMPLE_NAME", "timing_check"], "designator" : ["SIMPLE_NAME", "path_name"]}
68
                          ]]]}
69
                        ]]}
70
                      ]]}
71
                    ]]}
72
                  ]]}
73
                ], "severity" : ["EXPRESSION", {
74
                  "args" : [["EXPRESSION", {
75
                    "args" : [["EXPRESSION", {
76
                      "args" : [["EXPRESSION", {
77
                        "args" : [["CALL", ["SIMPLE_NAME", "error"]]]}
78
                      ]]}
79
                    ]]}
80
                  ]]}
81
                ]}
82
              ]]}
83
            ]}
84
          ]]}
85
        ]]}
86
      ]}
87
    , {
88
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
89
        "name" : ["IDENTIFIER", "fg_20_05"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
90
      ]}
91
    , {
92
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
93
        "name" : ["IDENTIFIER", "test"], "entity" : ["IDENTIFIER", "fg_20_05"], "ARCHITECTURE_DECLARATIVE_PART" : [{
94
          "declaration" : ["SIGNAL_DECLARATION", {
95
            "names" : [["IDENTIFIER", "clk"], ["IDENTIFIER", "d"], ["IDENTIFIER", "q"]], "typ" : {
96
              "name" : ["SIMPLE_NAME", "bit"]}
97
            }
98
          ]}
99
        ], "ARCHITECTURE_STATEMENT_PART" : [["COMPONENT_INSTANTIATION_STATEMENT", {
100
          "name" : ["IDENTIFIER", "dut"], "inst_unit" : ["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["IDENTIFIER", "flipflop"]]], "inst_unit_type" : "entity", "archi_name" : ["IDENTIFIER", "behavior"], "generic_map" : [{
101
            "formal_name" : ["SIMPLE_NAME", "Tsetup"], "actual_expr" : ["EXPRESSION", {
102
              "args" : [["EXPRESSION", {
103
                "args" : [["EXPRESSION", {
104
                  "args" : [["EXPRESSION", {
105
                    "args" : [["CONSTANT_VALUE", {
106
                      "value" : ["CST_LITERAL", "3"], "unit_name" : ["SIMPLE_NAME", "ns"]}
107
                    ]]}
108
                  ]]}
109
                ]]}
110
              ]]}
111
            ]}
112
          ], "port_map" : [{
113
            "formal_name" : ["SIMPLE_NAME", "clk"], "actual_designator" : ["SIMPLE_NAME", "clk"]}
114
          , {
115
            "formal_name" : ["SIMPLE_NAME", "d"], "actual_designator" : ["SIMPLE_NAME", "d"]}
116
          , {
117
            "formal_name" : ["SIMPLE_NAME", "q"], "actual_designator" : ["SIMPLE_NAME", "q"]}
118
          ]}
119
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
120
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "clk"], "rhs" : [{
121
            "expr" : [{
122
              "value" : ["EXPRESSION", {
123
                "args" : [["EXPRESSION", {
124
                  "args" : [["EXPRESSION", {
125
                    "args" : [["EXPRESSION", {
126
                      "args" : [["CONSTANT_VALUE", {
127
                        "value" : ["CST_LITERAL", "'1'"]}
128
                      ]]}
129
                    ]]}
130
                  ]]}
131
                ]]}
132
              ], "delay" : ["EXPRESSION", {
133
                "args" : [["EXPRESSION", {
134
                  "args" : [["EXPRESSION", {
135
                    "args" : [["EXPRESSION", {
136
                      "args" : [["CONSTANT_VALUE", {
137
                        "value" : ["CST_LITERAL", "10"], "unit_name" : ["SIMPLE_NAME", "ns"]}
138
                      ]]}
139
                    ]]}
140
                  ]]}
141
                ]]}
142
              ]}
143
            , {
144
              "value" : ["EXPRESSION", {
145
                "args" : [["EXPRESSION", {
146
                  "args" : [["EXPRESSION", {
147
                    "args" : [["EXPRESSION", {
148
                      "args" : [["CONSTANT_VALUE", {
149
                        "value" : ["CST_LITERAL", "'0'"]}
150
                      ]]}
151
                    ]]}
152
                  ]]}
153
                ]]}
154
              ], "delay" : ["EXPRESSION", {
155
                "args" : [["EXPRESSION", {
156
                  "args" : [["EXPRESSION", {
157
                    "args" : [["EXPRESSION", {
158
                      "args" : [["CONSTANT_VALUE", {
159
                        "value" : ["CST_LITERAL", "20"], "unit_name" : ["SIMPLE_NAME", "ns"]}
160
                      ]]}
161
                    ]]}
162
                  ]]}
163
                ]]}
164
              ]}
165
            ]}
166
          ]}
167
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
168
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "d"], "rhs" : [{
169
            "expr" : [{
170
              "value" : ["EXPRESSION", {
171
                "args" : [["EXPRESSION", {
172
                  "args" : [["EXPRESSION", {
173
                    "args" : [["EXPRESSION", {
174
                      "args" : [["CONSTANT_VALUE", {
175
                        "value" : ["CST_LITERAL", "'1'"]}
176
                      ]]}
177
                    ]]}
178
                  ]]}
179
                ]]}
180
              ], "delay" : ["EXPRESSION", {
181
                "args" : [["EXPRESSION", {
182
                  "args" : [["EXPRESSION", {
183
                    "args" : [["EXPRESSION", {
184
                      "args" : [["CONSTANT_VALUE", {
185
                        "value" : ["CST_LITERAL", "8"], "unit_name" : ["SIMPLE_NAME", "ns"]}
186
                      ]]}
187
                    ]]}
188
                  ]]}
189
                ]]}
190
              ]}
191
            ]}
192
          ]}
193
        ]]}
194
      ]}
195
    ]}
196
  }
(267-267/276)