source: vis_dev/vis-2.1/examples/ctlp3/symmetry.info @ 12

Last change on this file since 12 was 11, checked in by cecile, 13 years ago

Add vis

File size: 21.5 KB
RevLine 
[11]1Node Class Description
2  0    0  Combinational (s0)    InputPin-nodes: 123
3  1    0  Combinational (s1)    InputPin-nodes: 124
4  2    0  Combinational (s2)    InputPin-nodes: 125
5  3    0  Combinational (ph0.state$_n16_n1a$false)      InputPin-nodes: 126
6  4    0  Combinational (ph0.state$_n1f_n22$true)       InputPin-nodes: 127
7  5    0  Combinational (ph0.out$raw_n8)        InputPin-nodes: 128
8  6    0  Combinational (ph1.state$_n16_n1a$false)      InputPin-nodes: 129
9  7    0  Combinational (ph1.state$_n1f_n22$true)       InputPin-nodes: 130
10  8    0  Combinational (ph1.out$raw_n8)        InputPin-nodes: 131
11  9    0  Combinational (ph2.state$_n16_n1a$false)      InputPin-nodes: 132
12 10    0  Combinational (ph2.state$_n1f_n22$true)       InputPin-nodes: 133
13 11    0  Combinational (ph2.out$raw_n8)        InputPin-nodes: 134
14 12    2  Combinational (ph0._na)       InputPin-nodes: 135
15 13    2  Combinational (ph0._n16)      InputPin-nodes: 136
16 14    2  Combinational (ph1._na)       InputPin-nodes: 137
17 15    2  Combinational (ph1._n16)      InputPin-nodes: 138
18 16    2  Combinational (ph2._na)       InputPin-nodes: 139
19 17    2  Combinational (ph2._n16)      InputPin-nodes: 140
20 18    4  Combinational (ph0.state$_n13$raw_n3a)        InputPin-nodes: 141 142 143
21 19    4  Combinational (ph0.state$_n9$raw_n3e) InputPin-nodes: 144 145 146
22 20    4  Combinational (ph0.state$_n1f$raw_n36)        InputPin-nodes: 147 148 149
23 21    4  Combinational (ph0.state$_n23$raw_n35)        InputPin-nodes: 150 151 152
24 22    4  Combinational (ph1.state$_n13$raw_n3a)        InputPin-nodes: 153 154 155
25 23    4  Combinational (ph1.state$_n9$raw_n3e) InputPin-nodes: 156 157 158
26 24    4  Combinational (ph1.state$_n1f$raw_n36)        InputPin-nodes: 159 160 161
27 25    4  Combinational (ph1.state$_n23$raw_n35)        InputPin-nodes: 162 163 164
28 26    4  Combinational (ph2.state$_n13$raw_n3a)        InputPin-nodes: 165 166 167
29 27    4  Combinational (ph2.state$_n9$raw_n3e) InputPin-nodes: 168 169 170
30 28    4  Combinational (ph2.state$_n1f$raw_n36)        InputPin-nodes: 171 172 173
31 29    4  Combinational (ph2.state$_n23$raw_n35)        InputPin-nodes: 174 175 176
32 30    8  Combinational (ph0._n26)      InputPin-nodes: 177
33 31    8  Combinational (ph1._n26)      InputPin-nodes: 178
34 32    8  Combinational (ph1._n2b)      InputPin-nodes: 179
35 33    8  Combinational (ph0._n2b)      InputPin-nodes: 180
36 34    8  Combinational (ph2._n26)      InputPin-nodes: 181
37 35    8  Combinational (ph2._n2b)      InputPin-nodes: 182
38 36   10  Combinational (ph0.state$INIT)        InputPin-nodes:
39 37   11  Combinational (str._n57)      InputPin-nodes: 183
40 38   11  Combinational (str._n4a)      InputPin-nodes: 184
41 39   11  Combinational (ph0._n1f)      InputPin-nodes: 185
42 40   11  Combinational (ph1._n1f)      InputPin-nodes: 186
43 41   11  Combinational (ph1._n23)      InputPin-nodes: 187
44 42   11  Combinational (ph1._n9)       InputPin-nodes: 188
45 43   11  Combinational (ph0._n23)      InputPin-nodes: 189
46 44   11  Combinational (ph1._n13)      InputPin-nodes: 190
47 45   11  Combinational (ph0._n9)       InputPin-nodes: 191
48 46   11  Combinational (ph0._n13)      InputPin-nodes: 192
49 47   11  Combinational (ph2._n1f)      InputPin-nodes: 193
50 48   11  Combinational (ph2._n23)      InputPin-nodes: 194
51 49   11  Combinational (ph2._n9)       InputPin-nodes: 195
52 50   11  Combinational (ph2._n13)      InputPin-nodes: 196
53 51   13  Combinational (str._n5c)      InputPin-nodes: 197
54 52   13  Combinational (ph0._n14)      InputPin-nodes: 198
55 53   13  Combinational (ph1._nc)       InputPin-nodes: 199
56 54   13  Combinational (str._n5a)      InputPin-nodes: 200
57 55   13  Combinational (ph1._n14)      InputPin-nodes: 201
58 56   13  Combinational (ph2._nc)       InputPin-nodes: 202
59 57   13  Combinational (ph0._nc)       InputPin-nodes: 203
60 58   13  Combinational (ph2._n14)      InputPin-nodes: 204
61 59   15  Combinational (ph1._n2a)      InputPin-nodes: 205 206
62 60   15  Combinational (ph0._n2d)      InputPin-nodes: 207 208
63 61   15  Combinational (ph0._n2a)      InputPin-nodes: 209 210
64 62   15  Combinational (ph1._n2d)      InputPin-nodes: 211 212
65 63   15  Combinational (ph2._n2a)      InputPin-nodes: 213 214
66 64   15  Combinational (ph2._n2d)      InputPin-nodes: 215 216
67 65   17  Combinational (ph1._n24)      InputPin-nodes: 217
68 66   17  Combinational (str._n4f)      InputPin-nodes: 218
69 67   17  Combinational (ph0._n24)      InputPin-nodes: 219
70 68   17  Combinational (str._n4d)      InputPin-nodes: 220
71 69   17  Combinational (ph2._n24)      InputPin-nodes: 221
72 70   19  Combinational (ph1.state$_n2d$raw_n32)        InputPin-nodes: 222 223
73 71   19  Combinational (ph0.state$_n2d$raw_n32)        InputPin-nodes: 224 225
74 72   19  Combinational (ph2.state$_n2d$raw_n32)        InputPin-nodes: 226 227
75 73   22  PseudoInput (ph1.r0_state)    InputPin-nodes:
76 74   22  PseudoInput (ph0.r0_state)    InputPin-nodes:
77 75   22  PseudoInput (ph2.r0_state)    InputPin-nodes:
78 76   23  PseudoInput (ph1.r1_state)    InputPin-nodes:
79 77   23  PseudoInput (ph0.r1_state)    InputPin-nodes:
80 78   23  PseudoInput (ph2.r1_state)    InputPin-nodes:
81 79   24  Latch (ph1.state)     InputPin-nodes: 228 229
82 80   24  Latch (ph0.state)     InputPin-nodes: 230 231
83 81   24  Latch (ph2.state)     InputPin-nodes: 232 233
84 82   27  Combinational (str.state$INIT)        InputPin-nodes:
85 83   28  Combinational (str.state$_n5c$raw_n62)        InputPin-nodes: 234 235
86 84   31  Combinational (ph1._n28)      InputPin-nodes: 236
87 85   31  Combinational (ph0._n28)      InputPin-nodes: 237
88 86   31  Combinational (ph2._n28)      InputPin-nodes: 238
89 87   33  Combinational (str.state$_n57$raw_n66)        InputPin-nodes: 239 240 241
90 88   33  Combinational (str.state$_n4a$raw_n68)        InputPin-nodes: 242 243 244
91 89   37  Combinational (str._n6d)      InputPin-nodes: 245 246 247 248
92 90   41  Combinational (ph1._n18)      InputPin-nodes: 249
93 91   41  Combinational (str._n51)      InputPin-nodes: 250
94 92   41  Combinational (str._n5e)      InputPin-nodes: 251
95 93   41  Combinational (ph1._ne)       InputPin-nodes: 252
96 94   41  Combinational (ph2._ne)       InputPin-nodes: 253
97 95   41  Combinational (ph0._n18)      InputPin-nodes: 254
98 96   41  Combinational (ph2._n18)      InputPin-nodes: 255
99 97   41  Combinational (ph0._ne)       InputPin-nodes: 256
100 98   41  Combinational (ph1._n2e)      InputPin-nodes: 257
101 99   41  Combinational (ph2._n2e)      InputPin-nodes: 258
102100   41  Combinational (ph0._n2e)      InputPin-nodes: 259
103101   43  Combinational (ph1.state$INIT)        InputPin-nodes:
104102   44  Latch (str.state)     InputPin-nodes: 260 261
105103   47  Combinational (ph1._n42)      InputPin-nodes: 262 263 264 265 266 267 268
106104   47  Combinational (ph2._n42)      InputPin-nodes: 269 270 271 272 273 274 275
107105   47  Combinational (ph0._n42)      InputPin-nodes: 276 277 278 279 280 281 282
108106   54  Combinational (str._n58)      InputPin-nodes: 283
109107   54  Combinational (str._n4b)      InputPin-nodes: 284
110108   56  Combinational (ph0.state$_nc$raw_n12) InputPin-nodes: 285 286
111109   56  Combinational (ph2.state$_nc$raw_n12) InputPin-nodes: 287 288
112110   56  Combinational (ph1.state$_nc$raw_n12) InputPin-nodes: 289 290
113111   59  Combinational (ph2._n20)      InputPin-nodes: 291
114112   59  Combinational (ph0._n20)      InputPin-nodes: 292
115113   59  Combinational (ph1._n20)      InputPin-nodes: 293
116114   61  Combinational (ph2.state$_n16$raw_n1c)        InputPin-nodes: 294 295
117115   61  Combinational (ph1.state$_n16$raw_n1c)        InputPin-nodes: 296 297
118116   61  Combinational (ph0.state$_n16$raw_n1c)        InputPin-nodes: 298 299
119117   64  Combinational (ph1._n43)      InputPin-nodes: 300 301 302
120118   64  Combinational (ph0._n43)      InputPin-nodes: 303 304 305
121119   64  Combinational (ph2._n43)      InputPin-nodes: 306 307 308
122120   68  Combinational (str.state$_n4f$raw_n55)        InputPin-nodes: 309 310
123121   71  Combinational (str._n6e)      InputPin-nodes: 311 312 313
124122   75  Combinational (ph2.state$INIT)        InputPin-nodes:
125123    1  InputPin of Node 0 (s0)               Fed by node 5 (ph0.out$raw_n8)
126124    1  InputPin of Node 1 (s1)               Fed by node 8 (ph1.out$raw_n8)
127125    1  InputPin of Node 2 (s2)               Fed by node 11 (ph2.out$raw_n8)
128126    1  InputPin of Node 3 (ph0.state$_n16_n1a$false)         Fed by node 74 (ph0.r0_state)
129127    1  InputPin of Node 4 (ph0.state$_n1f_n22$true)          Fed by node 77 (ph0.r1_state)
130128    1  InputPin of Node 5 (ph0.out$raw_n8)           Fed by node 80 (ph0.state)
131129    1  InputPin of Node 6 (ph1.state$_n16_n1a$false)         Fed by node 73 (ph1.r0_state)
132130    1  InputPin of Node 7 (ph1.state$_n1f_n22$true)          Fed by node 76 (ph1.r1_state)
133131    1  InputPin of Node 8 (ph1.out$raw_n8)           Fed by node 79 (ph1.state)
134132    1  InputPin of Node 9 (ph2.state$_n16_n1a$false)         Fed by node 75 (ph2.r0_state)
135133    1  InputPin of Node 10 (ph2.state$_n1f_n22$true)         Fed by node 78 (ph2.r1_state)
136134    1  InputPin of Node 11 (ph2.out$raw_n8)          Fed by node 81 (ph2.state)
137135    3  InputPin of Node 12 (ph0._na)         Fed by node 80 (ph0.state)
138136    3  InputPin of Node 13 (ph0._n16)                Fed by node 2 (s2)
139137    3  InputPin of Node 14 (ph1._na)         Fed by node 79 (ph1.state)
140138    3  InputPin of Node 15 (ph1._n16)                Fed by node 0 (s0)
141139    3  InputPin of Node 16 (ph2._na)         Fed by node 81 (ph2.state)
142140    3  InputPin of Node 17 (ph2._n16)                Fed by node 1 (s1)
143141    5  InputPin of Node 18 (ph0.state$_n13$raw_n3a)          Fed by node 116 (ph0.state$_n16$raw_n1c)
144142    6  InputPin of Node 18 (ph0.state$_n13$raw_n3a)          Fed by node 20 (ph0.state$_n1f$raw_n36)
145143    7  InputPin of Node 18 (ph0.state$_n13$raw_n3a)          Fed by node 46 (ph0._n13)
146144    5  InputPin of Node 19 (ph0.state$_n9$raw_n3e)           Fed by node 108 (ph0.state$_nc$raw_n12)
147145    6  InputPin of Node 19 (ph0.state$_n9$raw_n3e)           Fed by node 18 (ph0.state$_n13$raw_n3a)
148146    7  InputPin of Node 19 (ph0.state$_n9$raw_n3e)           Fed by node 45 (ph0._n9)
149147    5  InputPin of Node 20 (ph0.state$_n1f$raw_n36)          Fed by node 4 (ph0.state$_n1f_n22$true)
150148    6  InputPin of Node 20 (ph0.state$_n1f$raw_n36)          Fed by node 21 (ph0.state$_n23$raw_n35)
151149    7  InputPin of Node 20 (ph0.state$_n1f$raw_n36)          Fed by node 39 (ph0._n1f)
152150    5  InputPin of Node 21 (ph0.state$_n23$raw_n35)          Fed by node 71 (ph0.state$_n2d$raw_n32)
153151    6  InputPin of Node 21 (ph0.state$_n23$raw_n35)          Fed by node 80 (ph0.state)
154152    7  InputPin of Node 21 (ph0.state$_n23$raw_n35)          Fed by node 43 (ph0._n23)
155153    5  InputPin of Node 22 (ph1.state$_n13$raw_n3a)          Fed by node 115 (ph1.state$_n16$raw_n1c)
156154    6  InputPin of Node 22 (ph1.state$_n13$raw_n3a)          Fed by node 24 (ph1.state$_n1f$raw_n36)
157155    7  InputPin of Node 22 (ph1.state$_n13$raw_n3a)          Fed by node 44 (ph1._n13)
158156    5  InputPin of Node 23 (ph1.state$_n9$raw_n3e)           Fed by node 110 (ph1.state$_nc$raw_n12)
159157    6  InputPin of Node 23 (ph1.state$_n9$raw_n3e)           Fed by node 22 (ph1.state$_n13$raw_n3a)
160158    7  InputPin of Node 23 (ph1.state$_n9$raw_n3e)           Fed by node 42 (ph1._n9)
161159    5  InputPin of Node 24 (ph1.state$_n1f$raw_n36)          Fed by node 7 (ph1.state$_n1f_n22$true)
162160    6  InputPin of Node 24 (ph1.state$_n1f$raw_n36)          Fed by node 25 (ph1.state$_n23$raw_n35)
163161    7  InputPin of Node 24 (ph1.state$_n1f$raw_n36)          Fed by node 40 (ph1._n1f)
164162    5  InputPin of Node 25 (ph1.state$_n23$raw_n35)          Fed by node 70 (ph1.state$_n2d$raw_n32)
165163    6  InputPin of Node 25 (ph1.state$_n23$raw_n35)          Fed by node 79 (ph1.state)
166164    7  InputPin of Node 25 (ph1.state$_n23$raw_n35)          Fed by node 41 (ph1._n23)
167165    5  InputPin of Node 26 (ph2.state$_n13$raw_n3a)          Fed by node 114 (ph2.state$_n16$raw_n1c)
168166    6  InputPin of Node 26 (ph2.state$_n13$raw_n3a)          Fed by node 28 (ph2.state$_n1f$raw_n36)
169167    7  InputPin of Node 26 (ph2.state$_n13$raw_n3a)          Fed by node 50 (ph2._n13)
170168    5  InputPin of Node 27 (ph2.state$_n9$raw_n3e)           Fed by node 109 (ph2.state$_nc$raw_n12)
171169    6  InputPin of Node 27 (ph2.state$_n9$raw_n3e)           Fed by node 26 (ph2.state$_n13$raw_n3a)
172170    7  InputPin of Node 27 (ph2.state$_n9$raw_n3e)           Fed by node 49 (ph2._n9)
173171    5  InputPin of Node 28 (ph2.state$_n1f$raw_n36)          Fed by node 10 (ph2.state$_n1f_n22$true)
174172    6  InputPin of Node 28 (ph2.state$_n1f$raw_n36)          Fed by node 29 (ph2.state$_n23$raw_n35)
175173    7  InputPin of Node 28 (ph2.state$_n1f$raw_n36)          Fed by node 47 (ph2._n1f)
176174    5  InputPin of Node 29 (ph2.state$_n23$raw_n35)          Fed by node 72 (ph2.state$_n2d$raw_n32)
177175    6  InputPin of Node 29 (ph2.state$_n23$raw_n35)          Fed by node 81 (ph2.state)
178176    7  InputPin of Node 29 (ph2.state$_n23$raw_n35)          Fed by node 48 (ph2._n23)
179177    9  InputPin of Node 30 (ph0._n26)                Fed by node 1 (s1)
180178    9  InputPin of Node 31 (ph1._n26)                Fed by node 2 (s2)
181179    9  InputPin of Node 32 (ph1._n2b)                Fed by node 0 (s0)
182180    9  InputPin of Node 33 (ph0._n2b)                Fed by node 2 (s2)
183181    9  InputPin of Node 34 (ph2._n26)                Fed by node 0 (s0)
184182    9  InputPin of Node 35 (ph2._n2b)                Fed by node 1 (s1)
185183   12  InputPin of Node 37 (str._n57)                Fed by node 106 (str._n58)
186184   12  InputPin of Node 38 (str._n4a)                Fed by node 107 (str._n4b)
187185   12  InputPin of Node 39 (ph0._n1f)                Fed by node 112 (ph0._n20)
188186   12  InputPin of Node 40 (ph1._n1f)                Fed by node 113 (ph1._n20)
189187   12  InputPin of Node 41 (ph1._n23)                Fed by node 65 (ph1._n24)
190188   12  InputPin of Node 42 (ph1._n9)         Fed by node 14 (ph1._na)
191189   12  InputPin of Node 43 (ph0._n23)                Fed by node 67 (ph0._n24)
192190   12  InputPin of Node 44 (ph1._n13)                Fed by node 55 (ph1._n14)
193191   12  InputPin of Node 45 (ph0._n9)         Fed by node 12 (ph0._na)
194192   12  InputPin of Node 46 (ph0._n13)                Fed by node 52 (ph0._n14)
195193   12  InputPin of Node 47 (ph2._n1f)                Fed by node 111 (ph2._n20)
196194   12  InputPin of Node 48 (ph2._n23)                Fed by node 69 (ph2._n24)
197195   12  InputPin of Node 49 (ph2._n9)         Fed by node 16 (ph2._na)
198196   12  InputPin of Node 50 (ph2._n13)                Fed by node 58 (ph2._n14)
199197   14  InputPin of Node 51 (str._n5c)                Fed by node 0 (s0)
200198   14  InputPin of Node 52 (ph0._n14)                Fed by node 80 (ph0.state)
201199   14  InputPin of Node 53 (ph1._nc)         Fed by node 2 (s2)
202200   14  InputPin of Node 54 (str._n5a)                Fed by node 102 (str.state)
203201   14  InputPin of Node 55 (ph1._n14)                Fed by node 79 (ph1.state)
204202   14  InputPin of Node 56 (ph2._nc)         Fed by node 0 (s0)
205203   14  InputPin of Node 57 (ph0._nc)         Fed by node 1 (s1)
206204   14  InputPin of Node 58 (ph2._n14)                Fed by node 81 (ph2.state)
207205   16  InputPin of Node 59 (ph1._n2a)                Fed by node 31 (ph1._n26)
208206   16  InputPin of Node 59 (ph1._n2a)                Fed by node 84 (ph1._n28)
209207   16  InputPin of Node 60 (ph0._n2d)                Fed by node 61 (ph0._n2a)
210208   16  InputPin of Node 60 (ph0._n2d)                Fed by node 33 (ph0._n2b)
211209   16  InputPin of Node 61 (ph0._n2a)                Fed by node 30 (ph0._n26)
212210   16  InputPin of Node 61 (ph0._n2a)                Fed by node 85 (ph0._n28)
213211   16  InputPin of Node 62 (ph1._n2d)                Fed by node 59 (ph1._n2a)
214212   16  InputPin of Node 62 (ph1._n2d)                Fed by node 32 (ph1._n2b)
215213   16  InputPin of Node 63 (ph2._n2a)                Fed by node 34 (ph2._n26)
216214   16  InputPin of Node 63 (ph2._n2a)                Fed by node 86 (ph2._n28)
217215   16  InputPin of Node 64 (ph2._n2d)                Fed by node 63 (ph2._n2a)
218216   16  InputPin of Node 64 (ph2._n2d)                Fed by node 35 (ph2._n2b)
219217   18  InputPin of Node 65 (ph1._n24)                Fed by node 79 (ph1.state)
220218   18  InputPin of Node 66 (str._n4f)                Fed by node 0 (s0)
221219   18  InputPin of Node 67 (ph0._n24)                Fed by node 80 (ph0.state)
222220   18  InputPin of Node 68 (str._n4d)                Fed by node 102 (str.state)
223221   18  InputPin of Node 69 (ph2._n24)                Fed by node 81 (ph2.state)
224222   20  InputPin of Node 70 (ph1.state$_n2d$raw_n32)          Fed by node 79 (ph1.state)
225223   21  InputPin of Node 70 (ph1.state$_n2d$raw_n32)          Fed by node 62 (ph1._n2d)
226224   20  InputPin of Node 71 (ph0.state$_n2d$raw_n32)          Fed by node 80 (ph0.state)
227225   21  InputPin of Node 71 (ph0.state$_n2d$raw_n32)          Fed by node 60 (ph0._n2d)
228226   20  InputPin of Node 72 (ph2.state$_n2d$raw_n32)          Fed by node 81 (ph2.state)
229227   21  InputPin of Node 72 (ph2.state$_n2d$raw_n32)          Fed by node 64 (ph2._n2d)
230228   25  InputPin of Node 79 (ph1.state)               Fed by node 117 (ph1._n43)
231229   26  InputPin of Node 79 (ph1.state)               Fed by node 101 (ph1.state$INIT)
232230   25  InputPin of Node 80 (ph0.state)               Fed by node 118 (ph0._n43)
233231   26  InputPin of Node 80 (ph0.state)               Fed by node 36 (ph0.state$INIT)
234232   25  InputPin of Node 81 (ph2.state)               Fed by node 119 (ph2._n43)
235233   26  InputPin of Node 81 (ph2.state)               Fed by node 122 (ph2.state$INIT)
236234   29  InputPin of Node 83 (str.state$_n5c$raw_n62)          Fed by node 102 (str.state)
237235   30  InputPin of Node 83 (str.state$_n5c$raw_n62)          Fed by node 51 (str._n5c)
238236   32  InputPin of Node 84 (ph1._n28)                Fed by node 0 (s0)
239237   32  InputPin of Node 85 (ph0._n28)                Fed by node 2 (s2)
240238   32  InputPin of Node 86 (ph2._n28)                Fed by node 1 (s1)
241239   34  InputPin of Node 87 (str.state$_n57$raw_n66)          Fed by node 83 (str.state$_n5c$raw_n62)
242240   35  InputPin of Node 87 (str.state$_n57$raw_n66)          Fed by node 102 (str.state)
243241   36  InputPin of Node 87 (str.state$_n57$raw_n66)          Fed by node 37 (str._n57)
244242   34  InputPin of Node 88 (str.state$_n4a$raw_n68)          Fed by node 120 (str.state$_n4f$raw_n55)
245243   35  InputPin of Node 88 (str.state$_n4a$raw_n68)          Fed by node 87 (str.state$_n57$raw_n66)
246244   36  InputPin of Node 88 (str.state$_n4a$raw_n68)          Fed by node 38 (str._n4a)
247245   38  InputPin of Node 89 (str._n6d)                Fed by node 38 (str._n4a)
248246   39  InputPin of Node 89 (str._n6d)                Fed by node 91 (str._n51)
249247   40  InputPin of Node 89 (str._n6d)                Fed by node 37 (str._n57)
250248   40  InputPin of Node 89 (str._n6d)                Fed by node 92 (str._n5e)
251249   42  InputPin of Node 90 (ph1._n18)                Fed by node 15 (ph1._n16)
252250   42  InputPin of Node 91 (str._n51)                Fed by node 66 (str._n4f)
253251   42  InputPin of Node 92 (str._n5e)                Fed by node 51 (str._n5c)
254252   42  InputPin of Node 93 (ph1._ne)         Fed by node 53 (ph1._nc)
255253   42  InputPin of Node 94 (ph2._ne)         Fed by node 56 (ph2._nc)
256254   42  InputPin of Node 95 (ph0._n18)                Fed by node 13 (ph0._n16)
257255   42  InputPin of Node 96 (ph2._n18)                Fed by node 17 (ph2._n16)
258256   42  InputPin of Node 97 (ph0._ne)         Fed by node 57 (ph0._nc)
259257   42  InputPin of Node 98 (ph1._n2e)                Fed by node 62 (ph1._n2d)
260258   42  InputPin of Node 99 (ph2._n2e)                Fed by node 64 (ph2._n2d)
261259   42  InputPin of Node 100 (ph0._n2e)               Fed by node 60 (ph0._n2d)
262260   45  InputPin of Node 102 (str.state)              Fed by node 121 (str._n6e)
263261   46  InputPin of Node 102 (str.state)              Fed by node 82 (str.state$INIT)
264262   48  InputPin of Node 103 (ph1._n42)               Fed by node 42 (ph1._n9)
265263   49  InputPin of Node 103 (ph1._n42)               Fed by node 93 (ph1._ne)
266264   50  InputPin of Node 103 (ph1._n42)               Fed by node 44 (ph1._n13)
267265   51  InputPin of Node 103 (ph1._n42)               Fed by node 90 (ph1._n18)
268266   52  InputPin of Node 103 (ph1._n42)               Fed by node 40 (ph1._n1f)
269267   53  InputPin of Node 103 (ph1._n42)               Fed by node 41 (ph1._n23)
270268   53  InputPin of Node 103 (ph1._n42)               Fed by node 98 (ph1._n2e)
271269   48  InputPin of Node 104 (ph2._n42)               Fed by node 49 (ph2._n9)
272270   49  InputPin of Node 104 (ph2._n42)               Fed by node 94 (ph2._ne)
273271   50  InputPin of Node 104 (ph2._n42)               Fed by node 50 (ph2._n13)
274272   51  InputPin of Node 104 (ph2._n42)               Fed by node 96 (ph2._n18)
275273   52  InputPin of Node 104 (ph2._n42)               Fed by node 47 (ph2._n1f)
276274   53  InputPin of Node 104 (ph2._n42)               Fed by node 48 (ph2._n23)
277275   53  InputPin of Node 104 (ph2._n42)               Fed by node 99 (ph2._n2e)
278276   48  InputPin of Node 105 (ph0._n42)               Fed by node 45 (ph0._n9)
279277   49  InputPin of Node 105 (ph0._n42)               Fed by node 97 (ph0._ne)
280278   50  InputPin of Node 105 (ph0._n42)               Fed by node 46 (ph0._n13)
281279   51  InputPin of Node 105 (ph0._n42)               Fed by node 95 (ph0._n18)
282280   52  InputPin of Node 105 (ph0._n42)               Fed by node 39 (ph0._n1f)
283281   53  InputPin of Node 105 (ph0._n42)               Fed by node 43 (ph0._n23)
284282   53  InputPin of Node 105 (ph0._n42)               Fed by node 100 (ph0._n2e)
285283   55  InputPin of Node 106 (str._n58)               Fed by node 54 (str._n5a)
286284   55  InputPin of Node 107 (str._n4b)               Fed by node 68 (str._n4d)
287285   57  InputPin of Node 108 (ph0.state$_nc$raw_n12)          Fed by node 80 (ph0.state)
288286   58  InputPin of Node 108 (ph0.state$_nc$raw_n12)          Fed by node 57 (ph0._nc)
289287   57  InputPin of Node 109 (ph2.state$_nc$raw_n12)          Fed by node 81 (ph2.state)
290288   58  InputPin of Node 109 (ph2.state$_nc$raw_n12)          Fed by node 56 (ph2._nc)
291289   57  InputPin of Node 110 (ph1.state$_nc$raw_n12)          Fed by node 79 (ph1.state)
292290   58  InputPin of Node 110 (ph1.state$_nc$raw_n12)          Fed by node 53 (ph1._nc)
293291   60  InputPin of Node 111 (ph2._n20)               Fed by node 81 (ph2.state)
294292   60  InputPin of Node 112 (ph0._n20)               Fed by node 80 (ph0.state)
295293   60  InputPin of Node 113 (ph1._n20)               Fed by node 79 (ph1.state)
296294   62  InputPin of Node 114 (ph2.state$_n16$raw_n1c)         Fed by node 9 (ph2.state$_n16_n1a$false)
297295   63  InputPin of Node 114 (ph2.state$_n16$raw_n1c)         Fed by node 17 (ph2._n16)
298296   62  InputPin of Node 115 (ph1.state$_n16$raw_n1c)         Fed by node 6 (ph1.state$_n16_n1a$false)
299297   63  InputPin of Node 115 (ph1.state$_n16$raw_n1c)         Fed by node 15 (ph1._n16)
300298   62  InputPin of Node 116 (ph0.state$_n16$raw_n1c)         Fed by node 3 (ph0.state$_n16_n1a$false)
301299   63  InputPin of Node 116 (ph0.state$_n16$raw_n1c)         Fed by node 13 (ph0._n16)
302300   65  InputPin of Node 117 (ph1._n43)               Fed by node 103 (ph1._n42)
303301   66  InputPin of Node 117 (ph1._n43)               Fed by node 23 (ph1.state$_n9$raw_n3e)
304302   67  InputPin of Node 117 (ph1._n43)               Fed by node 79 (ph1.state)
305303   65  InputPin of Node 118 (ph0._n43)               Fed by node 105 (ph0._n42)
306304   66  InputPin of Node 118 (ph0._n43)               Fed by node 19 (ph0.state$_n9$raw_n3e)
307305   67  InputPin of Node 118 (ph0._n43)               Fed by node 80 (ph0.state)
308306   65  InputPin of Node 119 (ph2._n43)               Fed by node 104 (ph2._n42)
309307   66  InputPin of Node 119 (ph2._n43)               Fed by node 27 (ph2.state$_n9$raw_n3e)
310308   67  InputPin of Node 119 (ph2._n43)               Fed by node 81 (ph2.state)
311309   69  InputPin of Node 120 (str.state$_n4f$raw_n55)         Fed by node 102 (str.state)
312310   70  InputPin of Node 120 (str.state$_n4f$raw_n55)         Fed by node 66 (str._n4f)
313311   72  InputPin of Node 121 (str._n6e)               Fed by node 89 (str._n6d)
314312   73  InputPin of Node 121 (str._n6e)               Fed by node 88 (str.state$_n4a$raw_n68)
315313   74  InputPin of Node 121 (str._n6e)               Fed by node 102 (str.state)
Note: See TracBrowser for help on using the repository browser.