Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / cnes_guidelines / rule / data / STD_03800_good.json @ 3fd18385

History | View | Annotate | Download (7.41 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [["LIBRARY_CLAUSE", [["IDENTIFIER", "IEEE"]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "IEEE"], ["SIMPLE_NAME", "std_logic_1164"]]]]], ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "IEEE"], ["SIMPLE_NAME", "numeric_std"]]]]]], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "STD_03800_good"], "ports" : [{
6
          "names" : [["IDENTIFIER", "i_Clock"]], "mode" : ["in"], "typ" : {
7
            "name" : ["SIMPLE_NAME", "std_logic"]}
8
          }
9
        , {
10
          "names" : [["IDENTIFIER", "i_Reset_n"]], "mode" : ["in"], "typ" : {
11
            "name" : ["SIMPLE_NAME", "std_logic"]}
12
          }
13
        , {
14
          "names" : [["IDENTIFIER", "i_D"]], "mode" : ["in"], "typ" : {
15
            "name" : ["SIMPLE_NAME", "std_logic"]}
16
          }
17
        , {
18
          "names" : [["IDENTIFIER", "o_Q"]], "mode" : ["out"], "typ" : {
19
            "name" : ["SIMPLE_NAME", "std_logic"]}
20
          }
21
        , {
22
          "names" : [["IDENTIFIER", "o_Q_n"]], "mode" : ["out"], "typ" : {
23
            "name" : ["SIMPLE_NAME", "std_logic"]}
24
          }
25
        ], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
26
      ]}
27
    , {
28
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
29
        "name" : ["IDENTIFIER", "Behavioral"], "entity" : ["IDENTIFIER", "STD_03800_good"], "ARCHITECTURE_DECLARATIVE_PART" : [{
30
          "declaration" : ["SIGNAL_DECLARATION", {
31
            "names" : [["IDENTIFIER", "Q"]], "typ" : {
32
              "name" : ["SIMPLE_NAME", "std_logic"]}
33
            }
34
          ]}
35
        , {
36
          "declaration" : ["SIGNAL_DECLARATION", {
37
            "names" : [["IDENTIFIER", "Q_n"]], "typ" : {
38
              "name" : ["SIMPLE_NAME", "std_logic"]}
39
            }
40
          ]}
41
        ], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
42
          "id" : ["IDENTIFIER", "P_FlipFlop"], "active_sigs" : [["SIMPLE_NAME", "i_Clock"], ["SIMPLE_NAME", "i_Reset_n"]], "PROCESS_STATEMENT_PART" : [["IF_STATEMENT", {
43
            "if_cases" : [{
44
              "if_cond" : ["EXPRESSION", {
45
                "args" : [["EXPRESSION", {
46
                  "args" : [["EXPRESSION", {
47
                    "args" : [["EXPRESSION", {
48
                      "args" : [["EXPRESSION", {
49
                        "id" : "=", "args" : [["EXPRESSION", {
50
                          "args" : [["EXPRESSION", {
51
                            "args" : [["EXPRESSION", {
52
                              "args" : [["CALL", ["SIMPLE_NAME", "i_Reset_n"]]]}
53
                            ]]}
54
                          ]]}
55
                        ], ["EXPRESSION", {
56
                          "args" : [["EXPRESSION", {
57
                            "args" : [["EXPRESSION", {
58
                              "args" : [["CONSTANT_VALUE", {
59
                                "value" : ["CST_LITERAL", "'0'"]}
60
                              ]]}
61
                            ]]}
62
                          ]]}
63
                        ]]}
64
                      ]]}
65
                    ]]}
66
                  ]]}
67
                ]]}
68
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
69
                "lhs" : ["SIMPLE_NAME", "Q"], "rhs" : [{
70
                  "value" : ["EXPRESSION", {
71
                    "args" : [["EXPRESSION", {
72
                      "args" : [["EXPRESSION", {
73
                        "args" : [["EXPRESSION", {
74
                          "args" : [["CONSTANT_VALUE", {
75
                            "value" : ["CST_LITERAL", "'0'"]}
76
                          ]]}
77
                        ]]}
78
                      ]]}
79
                    ]]}
80
                  ]}
81
                ]}
82
              ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
83
                "lhs" : ["SIMPLE_NAME", "Q_n"], "rhs" : [{
84
                  "value" : ["EXPRESSION", {
85
                    "args" : [["EXPRESSION", {
86
                      "args" : [["EXPRESSION", {
87
                        "args" : [["EXPRESSION", {
88
                          "args" : [["CONSTANT_VALUE", {
89
                            "value" : ["CST_LITERAL", "'1'"]}
90
                          ]]}
91
                        ]]}
92
                      ]]}
93
                    ]]}
94
                  ]}
95
                ]}
96
              ]]}
97
            , {
98
              "if_cond" : ["EXPRESSION", {
99
                "args" : [["EXPRESSION", {
100
                  "args" : [["EXPRESSION", {
101
                    "args" : [["EXPRESSION", {
102
                      "args" : [["EXPRESSION", {
103
                        "args" : [["EXPRESSION", {
104
                          "args" : [["EXPRESSION", {
105
                            "args" : [["EXPRESSION", {
106
                              "args" : [["CALL", ["INDEXED_NAME", {
107
                                "id" : ["SIMPLE_NAME", "rising_edge"], "exprs" : [["EXPRESSION", {
108
                                  "args" : [["EXPRESSION", {
109
                                    "args" : [["EXPRESSION", {
110
                                      "args" : [["EXPRESSION", {
111
                                        "args" : [["CALL", ["SIMPLE_NAME", "i_Clock"]]]}
112
                                      ]]}
113
                                    ]]}
114
                                  ]]}
115
                                ]]}
116
                              ]]]}
117
                            ]]}
118
                          ]]}
119
                        ]]}
120
                      ]]}
121
                    ]]}
122
                  ]]}
123
                ]]}
124
              ], "if_block" : [["SIGNAL_ASSIGNMENT_STATEMENT", {
125
                "lhs" : ["SIMPLE_NAME", "Q"], "rhs" : [{
126
                  "value" : ["EXPRESSION", {
127
                    "args" : [["EXPRESSION", {
128
                      "args" : [["EXPRESSION", {
129
                        "args" : [["EXPRESSION", {
130
                          "args" : [["CALL", ["SIMPLE_NAME", "i_D"]]]}
131
                        ]]}
132
                      ]]}
133
                    ]]}
134
                  ]}
135
                ]}
136
              ], ["SIGNAL_ASSIGNMENT_STATEMENT", {
137
                "lhs" : ["SIMPLE_NAME", "Q_n"], "rhs" : [{
138
                  "value" : ["EXPRESSION", {
139
                    "args" : [["EXPRESSION", {
140
                      "args" : [["EXPRESSION", {
141
                        "args" : [["EXPRESSION", {
142
                          "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "i_D"]]]}
143
                        ]]}
144
                      ]]}
145
                    ]]}
146
                  ]}
147
                ]}
148
              ]]}
149
            ]}
150
          ]]}
151
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
152
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_Q"], "rhs" : [{
153
            "expr" : [{
154
              "value" : ["EXPRESSION", {
155
                "args" : [["EXPRESSION", {
156
                  "args" : [["EXPRESSION", {
157
                    "args" : [["EXPRESSION", {
158
                      "args" : [["CALL", ["SIMPLE_NAME", "Q"]]]}
159
                    ]]}
160
                  ]]}
161
                ]]}
162
              ]}
163
            ]}
164
          ]}
165
        ], ["CONDITIONAL_SIGNAL_ASSIGNMENT", {
166
          "postponed" : false, "lhs" : ["SIMPLE_NAME", "o_Q_n"], "rhs" : [{
167
            "expr" : [{
168
              "value" : ["EXPRESSION", {
169
                "args" : [["EXPRESSION", {
170
                  "args" : [["EXPRESSION", {
171
                    "args" : [["EXPRESSION", {
172
                      "args" : [["CALL", ["SIMPLE_NAME", "Q_n"]]]}
173
                    ]]}
174
                  ]]}
175
                ]]}
176
              ]}
177
            ]}
178
          ]}
179
        ]]}
180
      ]}
181
    ]}
182
  }