; BTOR description generated by Yosys 0.20+42 (git sha1 1c36f4cc2, clang 10.0.0-4ubuntu1 -fPIC -Os) for module DSP48E2.
1 sort bitvec 1
2 input 1 RSTP ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:195.11-195.15
3 input 1 RSTM ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:194.11-194.15
4 input 1 RSTINMODE ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:193.11-193.20
5 input 1 RSTD ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:192.11-192.15
6 input 1 RSTCTRL ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:191.11-191.18
7 input 1 RSTC ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:190.11-190.15
8 input 1 RSTB ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:189.11-189.15
9 input 1 RSTALUMODE ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:188.11-188.21
10 input 1 RSTALLCARRYIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:187.11-187.24
11 input 1 RSTA ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:186.11-186.15
12 sort bitvec 48
13 input 12 PCIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:185.18-185.22
14 sort bitvec 9
15 input 14 OPMODE ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:184.17-184.23
16 input 1 MULTSIGNIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:183.11-183.21
17 sort bitvec 5
18 input 17 INMODE ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:182.17-182.23
19 sort bitvec 27
20 input 19 D ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:181.18-181.19
21 input 1 CLK ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:180.11-180.14
22 input 1 CEP ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:179.11-179.14
23 input 1 CEM ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:178.11-178.14
24 input 1 CEINMODE ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:177.11-177.19
25 input 1 CED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:176.11-176.14
26 input 1 CECTRL ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:175.11-175.17
27 input 1 CECARRYIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:174.11-174.20
28 input 1 CEC ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:173.11-173.14
29 input 1 CEB2 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:172.11-172.15
30 input 1 CEB1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:171.11-171.15
31 input 1 CEALUMODE ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:170.11-170.20
32 input 1 CEAD ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:169.11-169.15
33 input 1 CEA2 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:168.11-168.15
34 input 1 CEA1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:167.11-167.15
35 sort bitvec 3
36 input 35 CARRYINSEL ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:166.17-166.27
37 input 1 CARRYIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:165.11-165.18
38 input 1 CARRYCASCIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:164.11-164.22
39 input 12 C ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:163.18-163.19
40 sort bitvec 18
41 input 40 BCIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:162.18-162.22
42 input 40 B ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:161.18-161.19
43 sort bitvec 4
44 input 43 ALUMODE ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:160.17-160.24
45 sort bitvec 30
46 input 45 ACIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:159.18-159.22
47 input 45 A ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:158.18-158.19
48 input 17 XORSIMD ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:144.25-144.32
49 input 17 USE_WIDEXOR ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:143.25-143.36
50 input 17 USE_SIMD ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:142.25-142.33
51 input 17 USE_PATTERN_DETECT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:141.25-141.43
52 input 17 USE_MULT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:140.25-140.33
53 input 17 SEL_PATTERN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:139.25-139.36
54 input 17 SEL_MASK ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:138.25-138.33
55 input 12 RND ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:137.18-137.21
56 sort bitvec 32
57 input 56 PREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:136.19-136.23
58 input 17 PREADDINSEL ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:135.25-135.36
59 input 12 PATTERN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:134.18-134.25
60 input 56 OPMODEREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:133.19-133.28
61 input 56 MREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:132.19-132.23
62 input 12 MASK ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:131.18-131.22
63 input 1 IS_RSTP_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:130.17-130.33
64 input 1 IS_RSTM_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:129.17-129.33
65 input 1 IS_RSTINMODE_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:128.17-128.38
66 input 1 IS_RSTD_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:127.17-127.33
67 input 1 IS_RSTC_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:126.17-126.33
68 input 1 IS_RSTCTRL_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:125.17-125.36
69 input 1 IS_RSTB_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:124.17-124.33
70 input 1 IS_RSTA_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:123.17-123.33
71 input 1 IS_RSTALUMODE_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:122.17-122.39
72 input 1 IS_RSTALLCARRYIN_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:121.17-121.42
73 input 14 IS_OPMODE_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:120.17-120.35
74 input 17 IS_INMODE_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:119.17-119.35
75 input 1 IS_CLK_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:118.17-118.32
76 input 1 IS_CARRYIN_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:117.17-117.36
77 input 43 IS_ALUMODE_INVERTED ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:116.17-116.36
78 input 56 INMODEREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:115.19-115.28
79 input 56 DREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:114.19-114.23
80 input 56 CREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:113.19-113.23
81 input 56 CARRYINSELREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:112.19-112.32
82 input 56 CARRYINREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:111.19-111.29
83 input 17 B_INPUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:110.25-110.32
84 input 56 BREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:109.19-109.23
85 input 17 BMULTSEL ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:108.25-108.33
86 input 56 BCASCREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:107.19-107.27
87 input 17 A_INPUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:106.25-106.32
88 input 17 AUTORESET_PRIORITY ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:105.25-105.43
89 input 17 AUTORESET_PATDET ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:104.25-104.41
90 input 56 AREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:103.19-103.23
91 input 17 AMULTSEL ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:102.25-102.33
92 input 56 ALUMODEREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:101.19-101.29
93 input 56 ADREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:100.19-100.24
94 input 56 ACASCREG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:99.19-99.27
95 const 56 00000000000000000000000000000000
96 xor 43 44 77 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:356$1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:356.23-356.56
97 state 43 ALUMODE_reg
98 slice 1 92 0 0
99 const 1 1
100 eq 1 98 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:762$101 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:762.31-762.53
101 ite 43 100 97 96 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:762$102 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:762.30-762.81
102 slice 1 101 0 0
103 slice 1 101 0 0
104 sort bitvec 2
105 concat 104 103 102
106 slice 1 101 0 0
107 concat 35 106 105
108 slice 1 101 0 0
109 concat 43 108 107
110 slice 1 101 0 0
111 concat 17 110 109
112 slice 1 101 0 0
113 sort bitvec 6
114 concat 113 112 111
115 slice 1 101 0 0
116 sort bitvec 7
117 concat 116 115 114
118 slice 1 101 0 0
119 sort bitvec 8
120 concat 119 118 117
121 slice 1 101 0 0
122 concat 14 121 120
123 slice 1 101 0 0
124 sort bitvec 10
125 concat 124 123 122
126 slice 1 101 0 0
127 sort bitvec 11
128 concat 127 126 125
129 slice 1 101 0 0
130 sort bitvec 12
131 concat 130 129 128
132 slice 1 101 0 0
133 sort bitvec 13
134 concat 133 132 131
135 slice 1 101 0 0
136 sort bitvec 14
137 concat 136 135 134
138 slice 1 101 0 0
139 sort bitvec 15
140 concat 139 138 137
141 slice 1 101 0 0
142 sort bitvec 16
143 concat 142 141 140
144 slice 1 101 0 0
145 sort bitvec 17
146 concat 145 144 143
147 slice 1 101 0 0
148 concat 40 147 146
149 slice 1 101 0 0
150 sort bitvec 19
151 concat 150 149 148
152 slice 1 101 0 0
153 sort bitvec 20
154 concat 153 152 151
155 slice 1 101 0 0
156 sort bitvec 21
157 concat 156 155 154
158 slice 1 101 0 0
159 sort bitvec 22
160 concat 159 158 157
161 slice 1 101 0 0
162 sort bitvec 23
163 concat 162 161 160
164 slice 1 101 0 0
165 sort bitvec 24
166 concat 165 164 163
167 slice 1 101 0 0
168 sort bitvec 25
169 concat 168 167 166
170 slice 1 101 0 0
171 sort bitvec 26
172 concat 171 170 169
173 slice 1 101 0 0
174 concat 19 173 172
175 slice 1 101 0 0
176 sort bitvec 28
177 concat 176 175 174
178 slice 1 101 0 0
179 sort bitvec 29
180 concat 179 178 177
181 slice 1 101 0 0
182 concat 45 181 180
183 slice 1 101 0 0
184 sort bitvec 31
185 concat 184 183 182
186 slice 1 101 0 0
187 concat 56 186 185
188 slice 1 101 0 0
189 sort bitvec 33
190 concat 189 188 187
191 slice 1 101 0 0
192 sort bitvec 34
193 concat 192 191 190
194 slice 1 101 0 0
195 sort bitvec 35
196 concat 195 194 193
197 slice 1 101 0 0
198 sort bitvec 36
199 concat 198 197 196
200 slice 1 101 0 0
201 sort bitvec 37
202 concat 201 200 199
203 slice 1 101 0 0
204 sort bitvec 38
205 concat 204 203 202
206 slice 1 101 0 0
207 sort bitvec 39
208 concat 207 206 205
209 slice 1 101 0 0
210 sort bitvec 40
211 concat 210 209 208
212 slice 1 101 0 0
213 sort bitvec 41
214 concat 213 212 211
215 slice 1 101 0 0
216 sort bitvec 42
217 concat 216 215 214
218 slice 1 101 0 0
219 sort bitvec 43
220 concat 219 218 217
221 slice 1 101 0 0
222 sort bitvec 44
223 concat 222 221 220
224 slice 1 101 0 0
225 sort bitvec 45
226 concat 225 224 223
227 slice 1 101 0 0
228 sort bitvec 46
229 concat 228 227 226
230 slice 1 101 0 0
231 sort bitvec 47
232 concat 231 230 229
233 slice 1 101 0 0
234 concat 12 233 232
235 input 12
236 state 12 ALU_OUT_reg
237 slice 184 236 47 17
238 slice 1 236 47 47
239 concat 56 238 237
240 slice 1 236 47 47
241 concat 189 240 239
242 slice 1 236 47 47
243 concat 192 242 241
244 slice 1 236 47 47
245 concat 195 244 243
246 slice 1 236 47 47
247 concat 198 246 245
248 slice 1 236 47 47
249 concat 201 248 247
250 slice 1 236 47 47
251 concat 204 250 249
252 slice 1 236 47 47
253 concat 207 252 251
254 slice 1 236 47 47
255 concat 210 254 253
256 slice 1 236 47 47
257 concat 213 256 255
258 slice 1 236 47 47
259 concat 216 258 257
260 slice 1 236 47 47
261 concat 219 260 259
262 slice 1 236 47 47
263 concat 222 262 261
264 slice 1 236 47 47
265 concat 225 264 263
266 slice 1 236 47 47
267 concat 228 266 265
268 slice 1 236 47 47
269 concat 231 268 267
270 slice 1 236 47 47
271 concat 12 270 269
272 xor 14 15 73 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:381$5 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:381.23-381.54
273 state 14 OPMODE_reg
274 slice 1 60 0 0
275 eq 1 274 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:750$98 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:750.9-750.30
276 ite 14 275 273 272 $procmux$603 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:750.9-750.30|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:750.5-751.33
277 slice 104 276 6 5
278 const 104 11
279 eq 1 277 278 $procmux$616_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:717.5-726.12
280 ite 12 279 271 235
281 slice 184 13 47 17
282 slice 1 13 47 47
283 concat 56 282 281
284 slice 1 13 47 47
285 concat 189 284 283
286 slice 1 13 47 47
287 concat 192 286 285
288 slice 1 13 47 47
289 concat 195 288 287
290 slice 1 13 47 47
291 concat 198 290 289
292 slice 1 13 47 47
293 concat 201 292 291
294 slice 1 13 47 47
295 concat 204 294 293
296 slice 1 13 47 47
297 concat 207 296 295
298 slice 1 13 47 47
299 concat 210 298 297
300 slice 1 13 47 47
301 concat 213 300 299
302 slice 1 13 47 47
303 concat 216 302 301
304 slice 1 13 47 47
305 concat 219 304 303
306 slice 1 13 47 47
307 concat 222 306 305
308 slice 1 13 47 47
309 concat 225 308 307
310 slice 1 13 47 47
311 concat 228 310 309
312 slice 1 13 47 47
313 concat 231 312 311
314 slice 1 13 47 47
315 concat 12 314 313
316 slice 35 276 6 4
317 const 35 101
318 eq 1 316 317 $procmux$617_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:717.5-726.12
319 ite 12 318 315 280
320 const 35 100
321 eq 1 316 320 $procmux$618_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:717.5-726.12
322 ite 12 321 236 319
323 state 12 C_reg
324 slice 1 80 0 0
325 eq 1 324 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1014$256 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1014.23-1014.39
326 ite 12 325 323 39 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1014$257 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1014.22-1014.55
327 const 35 011
328 eq 1 316 327 $procmux$619_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:717.5-726.12
329 ite 12 328 326 322
330 const 35 010
331 eq 1 316 330 $procmux$620_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:717.5-726.12
332 ite 12 331 236 329
333 const 35 001
334 eq 1 316 333 $procmux$621_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:717.5-726.12
335 ite 12 334 13 332
336 const 12 000000000000000000000000000000000000000000000000
337 const 35 000
338 eq 1 316 337 $procmux$622_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:717.5-726.12
339 ite 12 338 336 335 $procmux$615 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:717.5-726.12
340 xor 12 234 339 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:777$103 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:777.21-777.49
341 input 12
342 const 56 00000000000000000000000000000001
343 sort bitvec 51
344 const 343 000000000000000000000000000000000000000000000000000
345 sort bitvec 56
346 concat 345 344 83
347 const 17 01111
348 uext 345 347 51
349 eq 1 346 348 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:434$39 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:434.18-434.49
350 ite 56 349 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:434$40 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:434.17-435.35
351 const 17 00111
352 uext 345 351 51
353 eq 1 346 352 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:433$38 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:433.18-433.48
354 ite 56 353 95 350 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:433$41 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:433.17-435.35
355 slice 1 354 0 0
356 uext 56 355 31
357 eq 1 356 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:994$244 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:994.50-994.80
358 ite 40 357 41 42 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:994$245 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:994.49-994.98
359 state 40 B2_reg
360 slice 104 84 1 0
361 const 104 00
362 neq 1 360 361 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:994$243 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:994.19-994.36
363 ite 40 362 359 358 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:994$246 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:994.18-994.98
364 concat 345 344 87
365 uext 345 347 51
366 eq 1 364 365 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:420$31 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:420.18-420.49
367 ite 56 366 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:420$32 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:420.17-421.35
368 uext 345 351 51
369 eq 1 364 368 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:419$30 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:419.18-419.48
370 ite 56 369 95 367 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:419$33 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:419.17-421.35
371 slice 1 370 0 0
372 uext 56 371 31
373 eq 1 372 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:967$231 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:967.50-967.80
374 ite 45 373 46 47 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:967$232 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:967.49-967.98
375 state 45 A2_reg
376 slice 104 90 1 0
377 neq 1 376 361 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:967$230 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:967.19-967.36
378 ite 45 377 375 374 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:967$233 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:967.18-967.98
379 concat 12 378 363
380 slice 104 276 1 0
381 eq 1 380 278 $procmux$629_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:697.5-703.12
382 ite 12 381 379 341
383 const 104 10
384 eq 1 380 383 $procmux$630_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:697.5-703.12
385 ite 12 384 236 382
386 const 225 100000000000000000000000000000000000000000000
387 const 19 000000000000000000000000000
388 state 19 D_DATA_reg
389 slice 1 79 0 0
390 const 1 0
391 const 127 00000000000
392 concat 142 391 91
393 const 17 00010
394 uext 142 393 11
395 eq 1 392 394 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:402$17 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:402.18-402.45
396 ite 56 395 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:402$18 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:402.17-403.31
397 const 17 00000
398 uext 142 397 11
399 eq 1 392 398 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:401$16 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:401.18-401.44
400 ite 56 399 95 396 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:401$19 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:401.17-403.31
401 slice 1 400 0 0
402 uext 56 401 31
403 eq 1 402 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1159$354 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1159.11-1159.37
404 concat 142 391 85
405 uext 142 393 11
406 eq 1 404 405 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:427$35 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:427.18-427.45
407 ite 56 406 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:427$36 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:427.17-428.31
408 const 17 00001
409 uext 142 408 11
410 eq 1 404 409 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:426$34 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:426.18-426.44
411 ite 56 410 95 407 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:426$37 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:426.17-428.31
412 slice 1 411 0 0
413 uext 56 412 31
414 eq 1 413 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1160$355 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1160.11-1160.37
415 and 1 403 414 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1159$356 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1159.10-1160.38
416 const 56 00000000000000000000000000000010
417 sort bitvec 59
418 const 417 00000000000000000000000000000000000000000000000000000000000
419 sort bitvec 64
420 concat 419 418 52
421 const 17 10100
422 uext 419 421 59
423 eq 1 420 422 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:473$60 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:473.18-473.47
424 ite 56 423 416 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:473$61 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:473.17-474.38
425 const 17 10010
426 uext 419 425 59
427 eq 1 420 426 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:472$59 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:472.18-472.50
428 ite 56 427 342 424 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:472$62 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:472.17-474.38
429 const 17 01010
430 uext 419 429 59
431 eq 1 420 430 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:471$58 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:471.18-471.51
432 ite 56 431 95 428 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:471$63 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:471.17-474.38
433 slice 104 432 1 0
434 uext 56 433 30
435 eq 1 434 416 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1161$357 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1161.10-1161.39
436 or 1 415 435 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1159$358 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1159.9-1161.40
437 ite 1 436 390 389 $procmux$474 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1159.9-1161.40|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1159.5-1165.8
438 eq 1 437 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1216$383 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1216.20-1216.36
439 ite 19 438 388 20 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1216$384 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1216.19-1216.57
440 xor 17 18 74 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:379$4 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:379.23-379.54
441 state 17 INMODE_reg
442 slice 1 78 0 0
443 eq 1 442 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1202$378 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1202.24-1202.45
444 ite 17 443 441 440 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1202$379 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1202.23-1202.71
445 slice 1 444 2 2
446 ite 19 445 439 387 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1154$349 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1154.23-1154.53
447 slice 19 378 26 0
448 state 45 A1_reg
449 slice 19 448 26 0
450 slice 1 444 0 0
451 eq 1 450 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1179$368 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1179.14-1179.35
452 ite 19 451 449 447 $procmux$462 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1179.14-1179.35|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1179.10-1180.29
453 input 19
454 concat 119 337 58
455 uext 119 408 3
456 eq 1 454 455 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:453$43 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:453.18-453.47
457 ite 56 456 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:453$44 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:453.17-454.34
458 uext 119 397 3
459 eq 1 454 458 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:452$42 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:452.18-452.47
460 ite 56 459 95 457 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:452$45 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:452.17-454.34
461 slice 1 460 0 0
462 uext 56 461 31
463 eq 1 462 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1178$366 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1178.10-1178.42
464 slice 1 444 1 1
465 and 1 463 464 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1178$367 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1178.9-1178.60
466 ite 19 465 453 452 $procmux$465 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1178.9-1178.60|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1178.5-1180.29
467 ite 19 465 387 466 $procmux$468 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1178.9-1178.60|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1178.5-1180.29
468 uext 56 355 31
469 eq 1 468 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:996$248 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:996.52-996.82
470 ite 40 469 41 42 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:996$249 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:996.51-996.100
471 neq 1 360 361 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:996$247 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:996.21-996.38
472 ite 40 471 359 470 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:996$250 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:996.20-996.100
473 state 40 B1_DATA_out
474 slice 1 444 4 4
475 eq 1 474 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1184$372 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1184.14-1184.35
476 ite 40 475 473 472 $procmux$453 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1184.14-1184.35|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1184.10-1185.25
477 input 40
478 uext 56 461 31
479 eq 1 478 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1183$370 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1183.10-1183.42
480 and 1 479 464 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1183$371 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1183.9-1183.60
481 ite 40 480 477 476 $procmux$456 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1183.9-1183.60|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1183.5-1185.25
482 const 40 000000000000000000
483 ite 40 480 482 481 $procmux$459 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1183.9-1183.60|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1183.5-1185.25
484 slice 1 483 17 17
485 concat 150 484 483
486 slice 1 483 17 17
487 concat 153 486 485
488 slice 1 483 17 17
489 concat 156 488 487
490 slice 1 483 17 17
491 concat 159 490 489
492 slice 1 483 17 17
493 concat 162 492 491
494 slice 1 483 17 17
495 concat 165 494 493
496 slice 1 483 17 17
497 concat 168 496 495
498 slice 1 483 17 17
499 concat 171 498 497
500 slice 1 483 17 17
501 concat 19 500 499
502 uext 56 461 31
503 eq 1 502 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1187$373 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1187.23-1187.55
504 ite 19 503 501 467 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1187$374 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1187.22-1187.87
505 add 19 446 504 $add$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1155$351 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1155.62-1155.84
506 sub 19 446 504 $sub$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1155$350 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1155.35-1155.57
507 slice 1 444 3 3
508 ite 19 507 506 505 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1155$352 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1155.18-1155.85
509 state 19 AD_DATA_reg
510 slice 1 93 0 0
511 uext 56 401 31
512 eq 1 511 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169$360 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169.11-1169.37
513 uext 56 412 31
514 eq 1 513 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169$361 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169.43-1169.69
515 and 1 512 514 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169$362 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169.10-1169.70
516 uext 56 433 30
517 eq 1 516 416 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1170$363 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1170.10-1170.39
518 or 1 515 517 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169$364 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169.9-1170.40
519 ite 1 518 390 510 $procmux$471 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169.9-1170.40|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1169.5-1174.8
520 eq 1 519 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1228$386 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1228.21-1228.38
521 ite 19 520 509 508 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1228$387 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1228.20-1228.61
522 uext 56 401 31
523 eq 1 522 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1018$259 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1018.9-1018.35
524 ite 19 523 467 521 $procmux$538 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1018.9-1018.35|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1018.5-1019.31
525 slice 1 524 26 26
526 concat 176 525 524
527 slice 1 524 26 26
528 concat 179 527 526
529 slice 1 524 26 26
530 concat 45 529 528
531 slice 1 524 26 26
532 concat 184 531 530
533 slice 1 524 26 26
534 concat 56 533 532
535 slice 1 524 26 26
536 concat 189 535 534
537 slice 1 524 26 26
538 concat 192 537 536
539 slice 1 524 26 26
540 concat 195 539 538
541 slice 1 524 26 26
542 concat 198 541 540
543 slice 1 524 26 26
544 concat 201 543 542
545 slice 1 524 26 26
546 concat 204 545 544
547 slice 1 524 26 26
548 concat 207 547 546
549 slice 1 524 26 26
550 concat 210 549 548
551 slice 1 524 26 26
552 concat 213 551 550
553 slice 1 524 26 26
554 concat 216 553 552
555 slice 1 524 26 26
556 concat 219 555 554
557 slice 1 524 26 26
558 concat 222 557 556
559 slice 1 524 26 26
560 concat 225 559 558
561 slice 40 521 17 0
562 uext 56 412 31
563 eq 1 562 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1022$261 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1022.9-1022.35
564 ite 40 563 483 561 $procmux$535 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1022.9-1022.35|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1022.5-1023.31
565 slice 1 564 17 17
566 concat 150 565 564
567 slice 1 564 17 17
568 concat 153 567 566
569 slice 1 564 17 17
570 concat 156 569 568
571 slice 1 564 17 17
572 concat 159 571 570
573 slice 1 564 17 17
574 concat 162 573 572
575 slice 1 564 17 17
576 concat 165 575 574
577 slice 1 564 17 17
578 concat 168 577 576
579 slice 1 564 17 17
580 concat 171 579 578
581 slice 1 564 17 17
582 concat 19 581 580
583 slice 1 564 17 17
584 concat 176 583 582
585 slice 1 564 17 17
586 concat 179 585 584
587 slice 1 564 17 17
588 concat 45 587 586
589 slice 1 564 17 17
590 concat 184 589 588
591 slice 1 564 17 17
592 concat 56 591 590
593 slice 1 564 17 17
594 concat 189 593 592
595 slice 1 564 17 17
596 concat 192 595 594
597 slice 1 564 17 17
598 concat 195 597 596
599 slice 1 564 17 17
600 concat 198 599 598
601 slice 1 564 17 17
602 concat 201 601 600
603 slice 1 564 17 17
604 concat 204 603 602
605 slice 1 564 17 17
606 concat 207 605 604
607 slice 1 564 17 17
608 concat 210 607 606
609 slice 1 564 17 17
610 concat 213 609 608
611 slice 1 564 17 17
612 concat 216 611 610
613 slice 1 564 17 17
614 concat 219 613 612
615 slice 1 564 17 17
616 concat 222 615 614
617 slice 1 564 17 17
618 concat 225 617 616
619 mul 225 560 618 $mul$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1034$267 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1034.18-1034.89
620 const 225 000000000000000000000000000000000000000000000
621 uext 56 433 30
622 eq 1 621 416 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1033$266 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1033.9-1033.38
623 ite 225 622 620 619 $procmux$532 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1033.9-1033.38|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1033.5-1034.91
624 slice 222 623 43 0
625 const 222 01010101010101010101010101010101010101010101
626 and 222 624 625 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1029$262 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1029.30-1029.52
627 concat 225 99 626
628 state 225 U_DATA_reg
629 slice 1 61 0 0
630 eq 1 629 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1052$271 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1052.20-1052.36
631 ite 225 630 628 627 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1052$272 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1052.19-1052.57
632 const 219 0000000000000000000000000000000000000000000
633 concat 12 632 50
634 const 17 11001
635 uext 12 634 43
636 eq 1 633 635 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:484$70 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:484.18-484.48
637 ite 56 636 416 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:484$71 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:484.17-485.35
638 const 17 10011
639 uext 12 638 43
640 eq 1 633 639 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:483$69 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:483.18-483.49
641 ite 56 640 342 637 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:483$72 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:483.17-485.35
642 const 17 01100
643 uext 12 642 43
644 eq 1 633 643 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:482$68 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:482.18-482.48
645 ite 56 644 95 641 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:482$73 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:482.17-485.35
646 slice 104 645 1 0
647 uext 56 646 30
648 eq 1 647 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:675$82 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:675.23-675.53
649 ite 225 648 631 386 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:675$83 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:675.22-675.82
650 slice 1 649 44 44
651 concat 228 650 649
652 slice 1 649 44 44
653 concat 231 652 651
654 slice 1 649 44 44
655 concat 12 654 653
656 const 104 01
657 eq 1 380 656 $procmux$631_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:697.5-703.12
658 ite 12 657 655 385
659 const 228 0000000000000000000000000000000000000000000000
660 concat 104 16 390
661 concat 12 659 660
662 eq 1 316 320 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:693$87 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:693.25-693.50
663 ite 12 662 661 336 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:693$88 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:693.24-693.100
664 eq 1 380 361 $procmux$632_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:697.5-703.12
665 ite 12 664 663 658 $procmux$628 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:697.5-703.12
666 xor 12 340 665 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:782$109 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:782.15-782.30
667 input 12
668 slice 104 276 3 2
669 eq 1 668 278 $procmux$624_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:707.5-713.12
670 ite 12 669 326 667
671 const 12 111111111111111111111111111111111111111111111111
672 eq 1 668 383 $procmux$625_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:707.5-713.12
673 ite 12 672 671 670
674 const 222 10101010101010101010101010101010101010101010
675 and 222 624 674 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1030$263 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1030.35-1030.57
676 slice 1 623 44 44
677 not 1 676 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1030$264 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1030.24-1030.33
678 concat 225 677 675
679 state 225 V_DATA_reg
680 eq 1 629 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1053$273 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1053.20-1053.36
681 ite 225 680 679 678 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1053$274 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1053.19-1053.57
682 uext 56 646 30
683 eq 1 682 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:676$84 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:676.23-676.53
684 ite 225 683 681 386 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:676$85 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:676.22-676.82
685 concat 12 337 684
686 eq 1 668 656 $procmux$626_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:707.5-713.12
687 ite 12 686 685 673
688 eq 1 668 361 $procmux$627_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:707.5-713.12
689 ite 12 688 336 687 $procmux$623 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:707.5-713.12
690 xor 12 666 689 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:782$110 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:782.15-782.37
691 slice 113 690 5 0
692 redxor 1 691 $reduce_xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:844$157 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:844.38-844.45
693 const 184 0000000000000000000000000000000
694 concat 56 693 692
695 const 195 00000000000000000000000000000000000
696 concat 210 695 49
697 const 17 11000
698 uext 210 697 35
699 eq 1 696 698 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:489$75 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:489.18-489.50
700 ite 56 699 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:489$76 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:489.17-490.38
701 const 17 01101
702 uext 210 701 35
703 eq 1 696 702 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:488$74 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:488.18-488.51
704 ite 56 703 95 700 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:488$77 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:488.17-490.38
705 slice 1 704 0 0
706 ite 56 705 694 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:844$158 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:844.20-844.49
707 slice 1 706 0 0
708 slice 113 690 11 6
709 redxor 1 708 $reduce_xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:845$159 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:845.38-845.46
710 concat 56 693 709
711 ite 56 705 710 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:845$160 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:845.20-845.50
712 slice 1 711 0 0
713 xor 1 707 712 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:853$173 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:853.20-853.37
714 sort bitvec 83
715 const 714 00000000000000000000000000000000000000000000000000000000000000000000000000000000000
716 sort bitvec 88
717 concat 716 715 48
718 const 17 11010
719 uext 716 718 83
720 eq 1 717 719 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:494$79 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:494.18-494.47
721 ite 56 720 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:494$80 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:494.17-495.40
722 const 17 01110
723 uext 716 722 83
724 eq 1 717 723 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:493$78 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:493.18-493.53
725 ite 56 724 95 721 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:493$81 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:493.17-495.40
726 slice 1 725 0 0
727 ite 1 726 707 713 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:878$193 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:878.25-878.56
728 slice 113 690 17 12
729 redxor 1 728 $reduce_xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:846$161 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:846.38-846.47
730 concat 56 693 729
731 ite 56 705 730 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:846$162 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:846.20-846.51
732 slice 1 731 0 0
733 slice 113 690 23 18
734 redxor 1 733 $reduce_xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:847$163 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:847.38-847.47
735 concat 56 693 734
736 ite 56 705 735 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:847$164 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:847.20-847.51
737 slice 1 736 0 0
738 xor 1 732 737 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:854$174 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:854.20-854.37
739 xor 1 713 738 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:858$177 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:858.20-858.37
740 ite 1 726 712 739 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:879$194 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:879.25-879.56
741 ite 1 726 732 738 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:880$195 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:880.25-880.56
742 slice 113 690 29 24
743 redxor 1 742 $reduce_xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:848$165 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:848.38-848.47
744 concat 56 693 743
745 ite 56 705 744 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:848$166 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:848.20-848.51
746 slice 1 745 0 0
747 slice 113 690 35 30
748 redxor 1 747 $reduce_xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:849$167 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:849.38-849.47
749 concat 56 693 748
750 ite 56 705 749 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:849$168 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:849.20-849.51
751 slice 1 750 0 0
752 xor 1 746 751 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:855$175 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:855.20-855.37
753 slice 113 690 41 36
754 redxor 1 753 $reduce_xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:850$169 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:850.38-850.47
755 concat 56 693 754
756 ite 56 705 755 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:850$170 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:850.20-850.51
757 slice 1 756 0 0
758 slice 113 690 47 42
759 redxor 1 758 $reduce_xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:851$171 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:851.38-851.47
760 concat 56 693 759
761 ite 56 705 760 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:851$172 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:851.20-851.51
762 slice 1 761 0 0
763 xor 1 757 762 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:856$176 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:856.20-856.37
764 xor 1 752 763 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:859$178 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:859.20-859.37
765 xor 1 739 764 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:861$179 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:861.19-861.36
766 ite 1 726 737 765 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:881$196 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:881.25-881.55
767 ite 1 726 746 752 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:882$197 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:882.25-882.56
768 ite 1 726 751 764 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:883$198 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:883.25-883.56
769 ite 1 726 757 763 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:884$199 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:884.25-884.56
770 concat 104 740 727
771 concat 35 741 770
772 concat 43 766 771
773 concat 17 767 772
774 concat 113 768 773
775 concat 116 769 774
776 slice 1 761 0 0
777 concat 119 776 775
778 state 119 XOR_MX_reg
779 slice 1 57 0 0
780 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1135$328 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1135.20-1135.36
781 ite 119 780 778 777 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1135$329 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1135.19-1135.62
782 output 781 XOROUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:156.18-156.24
783 concat 345 344 53
784 const 17 10001
785 uext 345 784 51
786 eq 1 783 785 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:467$55 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:467.18-467.47
787 ite 56 786 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:467$56 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:467.17-468.40
788 const 17 01001
789 uext 345 788 51
790 eq 1 783 789 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:466$54 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:466.18-466.53
791 ite 56 790 95 787 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:466$57 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:466.17-468.40
792 slice 1 791 0 0
793 uext 56 792 31
794 eq 1 793 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1061$275 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1061.25-1061.63
795 ite 12 794 59 326 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1061$276 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1061.24-1061.90
796 slice 1 101 1 1
797 slice 1 101 1 1
798 concat 104 797 796
799 slice 1 101 1 1
800 concat 35 799 798
801 slice 1 101 1 1
802 concat 43 801 800
803 slice 1 101 1 1
804 concat 17 803 802
805 slice 1 101 1 1
806 concat 113 805 804
807 slice 1 101 1 1
808 concat 116 807 806
809 slice 1 101 1 1
810 concat 119 809 808
811 slice 1 101 1 1
812 concat 14 811 810
813 slice 1 101 1 1
814 concat 124 813 812
815 slice 1 101 1 1
816 concat 127 815 814
817 slice 1 101 1 1
818 concat 130 817 816
819 slice 1 101 1 1
820 concat 133 819 818
821 slice 1 101 1 1
822 concat 136 821 820
823 slice 1 101 1 1
824 concat 139 823 822
825 slice 1 101 1 1
826 concat 142 825 824
827 slice 1 101 1 1
828 concat 145 827 826
829 slice 1 101 1 1
830 concat 40 829 828
831 slice 1 101 1 1
832 concat 150 831 830
833 slice 1 101 1 1
834 concat 153 833 832
835 slice 1 101 1 1
836 concat 156 835 834
837 slice 1 101 1 1
838 concat 159 837 836
839 slice 1 101 1 1
840 concat 162 839 838
841 slice 1 101 1 1
842 concat 165 841 840
843 slice 1 101 1 1
844 concat 168 843 842
845 slice 1 101 1 1
846 concat 171 845 844
847 slice 1 101 1 1
848 concat 19 847 846
849 slice 1 101 1 1
850 concat 176 849 848
851 slice 1 101 1 1
852 concat 179 851 850
853 slice 1 101 1 1
854 concat 45 853 852
855 slice 1 101 1 1
856 concat 184 855 854
857 slice 1 101 1 1
858 concat 56 857 856
859 slice 1 101 1 1
860 concat 189 859 858
861 slice 1 101 1 1
862 concat 192 861 860
863 slice 1 101 1 1
864 concat 195 863 862
865 slice 1 101 1 1
866 concat 198 865 864
867 slice 1 101 1 1
868 concat 201 867 866
869 slice 1 101 1 1
870 concat 204 869 868
871 slice 1 101 1 1
872 concat 207 871 870
873 slice 1 101 1 1
874 concat 210 873 872
875 slice 1 101 1 1
876 concat 213 875 874
877 slice 1 101 1 1
878 concat 216 877 876
879 slice 1 101 1 1
880 concat 219 879 878
881 slice 1 101 1 1
882 concat 222 881 880
883 slice 1 101 1 1
884 concat 225 883 882
885 slice 1 101 1 1
886 concat 228 885 884
887 slice 1 101 1 1
888 concat 231 887 886
889 slice 1 101 1 1
890 concat 12 889 888
891 input 1
892 slice 1 236 47 47
893 not 1 892 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:929$217 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:929.24-929.38
894 state 35 CARRYINSEL_reg
895 slice 1 81 0 0
896 eq 1 895 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:747$95 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:747.33-747.58
897 ite 35 896 894 36 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:747$96 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:747.32-747.92
898 const 35 111
899 eq 1 897 898 $procmux$584_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
900 ite 1 899 893 891
901 slice 1 524 26 26
902 slice 1 564 17 17
903 xor 1 901 902 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:902$203 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:902.21-902.44
904 not 1 903 $logic_not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:902$204 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:902.19-902.45
905 state 1 qmultcarryin
906 eq 1 629 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:917$209 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:917.30-917.46
907 ite 1 906 905 904 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:917$210 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:917.29-917.71
908 not 1 907 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:928$216 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:928.24-928.41
909 const 35 110
910 eq 1 897 909 $procmux$585_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
911 ite 1 910 908 900
912 eq 1 897 317 $procmux$586_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
913 ite 1 912 892 911
914 state 1 ALUMODE10_reg
915 state 43 COUT_reg
916 slice 1 915 3 3
917 xor 1 914 916 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1136$330 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1136.21-1136.48
918 not 1 917 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:926$215 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:926.24-926.33
919 eq 1 897 320 $procmux$587_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
920 ite 1 919 918 913
921 slice 1 13 47 47
922 not 1 921 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:925$214 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:925.24-925.36
923 eq 1 897 327 $procmux$588_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
924 ite 1 923 922 920
925 not 1 38 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:924$213 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:924.24-924.39
926 eq 1 897 330 $procmux$589_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
927 ite 1 926 925 924
928 eq 1 897 333 $procmux$590_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
929 ite 1 928 921 927
930 xor 1 37 76 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:362$2 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:362.24-362.57
931 state 1 CARRYIN_reg
932 slice 1 82 0 0
933 eq 1 932 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:899$201 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:899.25-899.47
934 ite 1 933 931 930 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:899$202 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:899.24-899.75
935 not 1 934 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:922$212 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:922.24-922.36
936 eq 1 897 337 $procmux$591_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
937 ite 1 936 935 929 $procmux$583 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:921.5-931.12
938 not 1 937 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:934$219 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:934.62-934.68
939 slice 1 101 3 3
940 slice 1 101 2 2
941 or 1 939 940 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:934$218 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:934.17-934.51
942 ite 1 941 390 938 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:934$220 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:934.16-934.68
943 and 12 665 689 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780$104 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780.17-780.28
944 and 12 340 689 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780$105 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780.33-780.48
945 or 12 943 944 $or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780$106 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780.16-780.49
946 and 12 665 340 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780$107 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780.53-780.68
947 or 12 945 946 $or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780$108 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:780.16-780.69
948 ite 12 939 947 690 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:788$113 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:788.17-788.41
949 uext 12 95 16
950 ite 12 940 949 947 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:787$112 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:787.18-787.42
951 slice 1 950 11 11
952 uext 56 646 30
953 neq 1 952 342 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:798$114 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:798.19-798.50
954 and 1 951 953 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:798$115 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:798.5-798.51
955 slice 1 950 23 23
956 uext 56 646 30
957 eq 1 956 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:796$116 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:796.19-796.49
958 and 1 955 957 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:796$117 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:796.5-796.50
959 slice 1 950 35 35
960 uext 56 646 30
961 neq 1 960 342 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:794$118 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:794.19-794.50
962 and 1 959 961 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:794$119 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:794.5-794.51
963 slice 127 950 10 0
964 concat 130 963 390
965 concat 133 954 964
966 slice 127 950 22 12
967 concat 165 966 965
968 concat 168 958 967
969 slice 127 950 34 24
970 concat 198 969 968
971 concat 201 962 970
972 slice 127 950 46 36
973 concat 12 972 971
974 and 12 948 973 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:805$122 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:805.22-805.52
975 input 12
976 slice 104 276 8 7
977 eq 1 976 278 $procmux$634_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:684.5-690.12
978 ite 12 977 326 975
979 eq 1 976 383 $procmux$635_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:684.5-690.12
980 ite 12 979 55 978
981 eq 1 976 656 $procmux$636_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:684.5-690.12
982 ite 12 981 236 980
983 eq 1 976 361 $procmux$637_CMP0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:684.5-690.12
984 ite 12 983 336 982 $procmux$633 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:0.0-0.0|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:684.5-690.12
985 and 12 984 973 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:806$123 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:806.82-806.112
986 or 12 974 985 $or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:805$124 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:805.21-806.113
987 and 12 948 984 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:807$125 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:807.82-807.93
988 or 12 986 987 $or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:805$126 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:805.21-807.94
989 slice 127 988 10 0
990 concat 130 989 942
991 uext 133 990 1
992 xor 12 948 973 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:804$120 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:804.19-804.50
993 xor 12 992 984 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:804$121 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:804.19-804.57
994 slice 130 993 11 0
995 uext 133 994 1
996 add 133 991 995 $add$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:818$128 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:818.15-818.41
997 uext 56 646 30
998 neq 1 997 342 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:825$134 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:825.22-825.53
999 slice 1 988 11 11
1000 and 1 998 999 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:825$135 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:825.21-825.67
1001 slice 127 988 22 12
1002 concat 130 1001 1000
1003 concat 133 390 1002
1004 slice 130 993 23 12
1005 uext 133 1004 1
1006 add 133 1003 1005 $add$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:827$136 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:827.15-827.55
1007 uext 56 646 30
1008 neq 1 1007 342 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:823$132 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:823.19-823.50
1009 slice 1 996 12 12
1010 and 1 1008 1009 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:823$133 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:823.18-823.61
1011 uext 133 1010 12
1012 add 133 1006 1011 $add$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:827$137 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:827.15-827.63
1013 uext 56 646 30
1014 eq 1 1013 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:830$143 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:830.22-830.52
1015 slice 1 988 23 23
1016 and 1 1014 1015 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:830$144 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:830.21-830.66
1017 slice 127 988 34 24
1018 concat 130 1017 1016
1019 concat 133 390 1018
1020 slice 130 993 35 24
1021 uext 133 1020 1
1022 add 133 1019 1021 $add$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:832$145 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:832.15-832.55
1023 uext 56 646 30
1024 eq 1 1023 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:829$141 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:829.19-829.49
1025 slice 1 1012 12 12
1026 and 1 1024 1025 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:829$142 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:829.18-829.60
1027 uext 133 1026 12
1028 add 133 1022 1027 $add$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:832$146 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:832.15-832.63
1029 uext 56 646 30
1030 neq 1 1029 342 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:835$152 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:835.22-835.53
1031 slice 1 988 35 35
1032 and 1 1030 1031 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:835$153 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:835.21-835.67
1033 slice 130 988 47 36
1034 concat 133 1033 1032
1035 concat 136 390 1034
1036 slice 130 993 47 36
1037 slice 1 950 47 47
1038 concat 133 1037 1036
1039 concat 136 390 1038
1040 add 136 1035 1039 $add$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:837$154 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:837.15-837.73
1041 uext 56 646 30
1042 neq 1 1041 342 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:834$150 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:834.19-834.50
1043 slice 1 1028 12 12
1044 and 1 1042 1043 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:834$151 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:834.18-834.61
1045 uext 136 1044 13
1046 add 136 1040 1045 $add$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:837$155 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:837.15-837.81
1047 slice 130 996 11 0
1048 slice 130 1012 11 0
1049 concat 165 1048 1047
1050 slice 130 1028 11 0
1051 concat 198 1050 1049
1052 slice 130 1046 11 0
1053 concat 12 1052 1051
1054 xor 12 890 1053 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:877$192 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:877.26-877.87
1055 xor 12 795 1054 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1072$287 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1072.23-1072.47
1056 not 12 1055 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1072$288 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1072.21-1072.48
1057 slice 228 326 45 0
1058 not 228 1057 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1067$282 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1067.68-1067.93
1059 concat 12 1058 361
1060 const 56 00000000000000000000000000000011
1061 sort bitvec 107
1062 const 1061 00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1063 sort bitvec 112
1064 concat 1063 1062 54
1065 const 17 10111
1066 uext 1063 1065 107
1067 eq 1 1064 1066 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:462$49 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:462.18-462.57
1068 ite 56 1067 1060 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:462$50 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:462.17-463.34
1069 const 17 10110
1070 uext 1063 1069 107
1071 eq 1 1064 1070 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:461$48 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:461.18-461.57
1072 ite 56 1071 416 1068 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:461$51 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:461.17-463.34
1073 uext 1063 784 107
1074 eq 1 1064 1073 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:460$47 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:460.18-460.44
1075 ite 56 1074 342 1072 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:460$52 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:460.17-463.34
1076 const 17 01000
1077 uext 1063 1076 107
1078 eq 1 1064 1077 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:459$46 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:459.18-459.47
1079 ite 56 1078 95 1075 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:459$53 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:459.17-463.34
1080 slice 104 1079 1 0
1081 uext 56 1080 30
1082 eq 1 1081 1060 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1067$281 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1067.24-1067.63
1083 ite 12 1082 1059 62 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1067$283 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1067.23-1068.31
1084 slice 231 326 46 0
1085 not 231 1084 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1066$280 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1066.68-1066.93
1086 concat 12 1085 390
1087 uext 56 1080 30
1088 eq 1 1087 416 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1066$279 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1066.24-1066.63
1089 ite 12 1088 1086 1083 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1066$284 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1066.23-1068.31
1090 uext 56 1080 30
1091 eq 1 1090 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1065$278 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1065.24-1065.50
1092 ite 12 1091 326 1089 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1065$285 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1065.23-1068.31
1093 sort bitvec 67
1094 const 1093 0000000000000000000000000000000000000000000000000000000000000000000
1095 sort bitvec 72
1096 concat 1095 1094 51
1097 const 17 10101
1098 uext 1095 1097 67
1099 eq 1 1096 1098 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:478$65 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:478.18-478.59
1100 ite 56 1099 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:478$66 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:478.17-479.49
1101 const 17 01011
1102 uext 1095 1101 67
1103 eq 1 1096 1102 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:477$64 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:477.18-477.62
1104 ite 56 1103 95 1100 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:477$67 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:477.17-479.49
1105 slice 1 1104 0 0
1106 uext 56 1105 31
1107 eq 1 1106 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1064$277 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1064.22-1064.76
1108 ite 12 1107 671 1092 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1064$286 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1064.21-1068.31
1109 or 12 1056 1108 $or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1072$289 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1072.21-1072.59
1110 redand 1 1109 $reduce_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1072$290 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1072.19-1072.60
1111 state 1 pdet_o_reg1
1112 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1095$299 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1095.24-1095.40
1113 ite 1 1112 1111 1110 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1095$300 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1095.23-1095.64
1114 not 1 1113 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1149$344 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1149.29-1149.40
1115 xor 12 795 1054 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1073$291 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1073.23-1073.47
1116 or 12 1115 1108 $or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1073$292 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1073.22-1073.59
1117 redand 1 1116 $reduce_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1073$293 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1073.20-1073.60
1118 state 1 pdetb_o_reg1
1119 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1096$301 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1096.25-1096.41
1120 ite 1 1119 1118 1117 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1096$302 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1096.24-1096.67
1121 not 1 1120 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1149$345 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1149.44-1149.56
1122 and 1 1114 1121 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1149$346 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1149.29-1149.56
1123 state 1 pdetb_o_reg2
1124 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1098$305 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1098.28-1098.44
1125 ite 1 1124 1123 1117 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1098$306 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1098.27-1098.70
1126 and 1 1122 1125 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1149$347 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1149.29-1149.74
1127 uext 56 1105 31
1128 eq 1 1127 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1148$343 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1148.23-1148.74
1129 ite 1 1128 1126 390 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1148$348 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1148.22-1149.81
1130 output 1129 UNDERFLOW ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:155.12-155.21
1131 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1141$335 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1141.19-1141.35
1132 ite 12 1131 236 1054 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1141$336 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1141.18-1141.63
1133 output 1132 PCOUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:154.19-154.24
1134 ite 1 99 1113 390 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1075$294 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1075.26-1075.67
1135 output 1134 PATTERNDETECT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:153.12-153.25
1136 ite 1 99 1120 390 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1076$295 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1076.27-1076.69
1137 output 1136 PATTERNBDETECT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:152.12-152.26
1138 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1134$326 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1134.15-1134.31
1139 ite 12 1138 236 1054 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1134$327 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1134.14-1134.59
1140 output 1139 P ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:151.19-151.20
1141 not 1 1113 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1147$338 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1147.29-1147.40
1142 not 1 1120 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1147$339 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1147.44-1147.56
1143 and 1 1141 1142 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1147$340 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1147.29-1147.56
1144 state 1 pdet_o_reg2
1145 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1097$303 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1097.27-1097.43
1146 ite 1 1145 1144 1110 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1097$304 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1097.26-1097.67
1147 and 1 1143 1146 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1147$341 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1147.29-1147.73
1148 uext 56 1105 31
1149 eq 1 1148 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1146$337 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1146.23-1146.74
1150 ite 1 1149 1147 390 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1146$342 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1146.22-1147.80
1151 output 1150 OVERFLOW ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:150.12-150.20
1152 slice 1 1046 13 13
1153 state 1 MULTSIGN_ALU_reg
1154 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1133$324 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1133.25-1133.41
1155 ite 1 1154 1153 1152 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1133$325 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1133.24-1133.79
1156 output 1155 MULTSIGNOUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:149.12-149.23
1157 slice 1 101 0 0
1158 slice 1 101 1 1
1159 and 1 1157 1158 $and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:810$127 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:810.26-810.59
1160 xor 1 999 1009 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:820$129 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:820.34-820.52
1161 xor 1 1160 951 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:820$130 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:820.34-820.64
1162 xor 1 1159 1161 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:820$131 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:820.18-820.65
1163 slice 43 276 3 0
1164 const 43 0101
1165 eq 1 1163 1164 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:864$180 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:864.28-864.54
1166 slice 104 101 3 2
1167 neq 1 1166 361 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:864$181 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:864.60-864.86
1168 or 1 1165 1167 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:864$182 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:864.27-864.87
1169 ite 1 1168 390 1162 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:870$185 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:870.19-870.47
1170 uext 56 646 30
1171 eq 1 1170 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:875$190 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:875.24-875.55
1172 ite 1 1171 1169 390 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:875$191 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:875.23-875.72
1173 xor 1 1015 1025 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:828$138 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:828.34-828.52
1174 xor 1 1173 955 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:828$139 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:828.34-828.64
1175 xor 1 1159 1174 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:828$140 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:828.18-828.65
1176 ite 1 1168 390 1175 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:869$184 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:869.19-869.47
1177 uext 56 646 30
1178 neq 1 1177 95 $ne$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:874$188 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:874.24-874.54
1179 ite 1 1178 1176 390 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:874$189 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:874.23-874.71
1180 xor 1 1031 1043 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:833$147 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:833.34-833.52
1181 xor 1 1180 959 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:833$148 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:833.34-833.64
1182 xor 1 1159 1181 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:833$149 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:833.18-833.65
1183 ite 1 1168 390 1182 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:868$183 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:868.19-868.47
1184 uext 56 646 30
1185 eq 1 1184 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:873$186 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:873.24-873.55
1186 ite 1 1185 1183 390 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:873$187 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:873.23-873.72
1187 slice 1 1046 12 12
1188 xor 1 1159 1187 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:838$156 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:838.18-838.39
1189 concat 104 1179 1172
1190 concat 35 1186 1189
1191 concat 43 1188 1190
1192 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1132$322 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1132.22-1132.38
1193 ite 43 1192 915 1191 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1132$323 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1132.21-1132.60
1194 output 1193 CARRYOUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:148.18-148.26
1195 xor 1 1159 1188 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1138$333 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1138.49-1138.75
1196 xor 1 914 916 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1137$332 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1137.47-1137.74
1197 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1137$331 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1137.27-1137.43
1198 ite 1 1197 1196 1195 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1137$334 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1137.26-1138.75
1199 output 1198 CARRYCASCOUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:147.12-147.24
1200 slice 104 86 1 0
1201 eq 1 1200 360 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:999$251 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:999.19-999.43
1202 ite 40 1201 472 473 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:999$252 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:999.18-999.68
1203 output 1202 BCOUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:146.19-146.24
1204 slice 104 94 1 0
1205 eq 1 1204 376 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:970$234 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:970.19-970.43
1206 ite 45 1205 378 448 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:970$235 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:970.18-970.61
1207 output 1206 ACOUT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:145.19-145.24
1208 uext 1 519 0 ADREG_INT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:679.7-679.16
1209 uext 1 437 0 DREG_INT ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:678.7-678.15
1210 uext 43 101 0 ALUMODE_DATA ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:677.13-677.25
1211 uext 17 444 0 INMODE_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:669.14-669.24
1212 uext 19 446 0 D_DATA_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:666.15-666.25
1213 uext 1 1125 0 underflow_data ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:659.8-659.22
1214 uext 1 1146 0 overflow_data ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:658.8-658.21
1215 uext 1 1120 0 pdetb_o_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:657.8-657.19
1216 uext 1 1113 0 pdet_o_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:656.8-656.18
1217 uext 1 1117 0 pdetb_o ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:655.8-655.15
1218 uext 1 1110 0 pdet_o ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:654.8-654.14
1219 eq 1 779 99 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1131$320 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1131.27-1131.43
1220 ite 1 1219 914 1159 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1131$321 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1131.26-1131.75
1221 uext 1 1220 0 ALUMODE10_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:649.8-649.21
1222 uext 1 99 0 opmode_valid_flag_dou ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:645.7-645.28
1223 uext 12 795 0 the_pattern ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:644.15-644.26
1224 uext 12 1108 0 the_mask ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:643.15-643.23
1225 concat 210 695 88
1226 const 17 10000
1227 uext 210 1226 35
1228 eq 1 1225 1227 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:415$27 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:415.18-415.56
1229 ite 56 1228 342 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:415$28 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:415.17-416.45
1230 const 17 00110
1231 uext 210 1230 35
1232 eq 1 1225 1231 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:414$26 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:414.18-414.58
1233 ite 56 1232 95 1229 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:414$29 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:414.17-416.45
1234 slice 1 1233 0 0
1235 uext 56 1234 31
1236 eq 1 1235 95 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1103$307 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1103.28-1103.78
1237 or 1 1236 22 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1103$308 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1103.27-1103.89
1238 uext 1 1237 0 auto_reset_pri ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:642.8-642.22
1239 and 1 1237 1146 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1109$312 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1109.22-1109.53
1240 not 1 1113 $not$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1109$313 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1109.57-1109.68
1241 and 1 1239 1240 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1109$314 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1109.22-1109.68
1242 sort bitvec 115
1243 const 1242 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1244 sort bitvec 120
1245 concat 1244 1243 89
1246 const 17 00101
1247 uext 1244 1246 115
1248 eq 1 1245 1247 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:410$22 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:410.18-410.66
1249 ite 56 1248 416 95 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:410$23 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:410.17-411.46
1250 const 17 00100
1251 uext 1244 1250 115
1252 eq 1 1245 1251 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:409$21 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:409.18-409.62
1253 ite 56 1252 342 1249 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:409$24 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:409.17-411.46
1254 const 17 00011
1255 uext 1244 1254 115
1256 eq 1 1245 1255 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:408$20 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:408.18-408.59
1257 ite 56 1256 95 1253 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:408$25 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:408.17-411.46
1258 slice 104 1257 1 0
1259 uext 56 1258 30
1260 eq 1 1259 416 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1108$311 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1108.11-1108.67
1261 ite 1 1260 1241 390 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1108$315 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1108.10-1109.75
1262 and 1 1237 1113 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1107$310 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1107.22-1107.50
1263 uext 56 1258 30
1264 eq 1 1263 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1106$309 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1106.11-1106.63
1265 ite 1 1264 1262 1261 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1106$316 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1106.10-1109.75
1266 uext 1 1265 0 the_auto_reset_patdet ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:641.8-641.29
1267 uext 222 674 0 ps_v_mask ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:629.21-629.30
1268 uext 222 625 0 ps_u_mask ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:628.21-628.30
1269 uext 225 623 0 mult ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:627.21-627.25
1270 uext 19 524 0 a_mult_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:626.14-626.24
1271 uext 40 564 0 b_mult_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:625.14-625.24
1272 uext 40 363 0 B_ALU ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:619.22-619.27
1273 uext 40 472 0 B2_DATA ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:618.22-618.29
1274 uext 45 378 0 A_ALU ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:615.22-615.27
1275 uext 1 1168 0 mult_or_logic ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:610.8-610.21
1276 uext 1 1188 0 cout_3 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:609.8-609.14
1277 uext 1 1183 0 cout_2 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:608.8-608.14
1278 uext 1 1176 0 cout_1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:607.8-607.14
1279 uext 1 1169 0 cout_0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:606.8-606.14
1280 uext 1 765 0 xor_96 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:605.8-605.14
1281 uext 1 764 0 xor_48b ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:604.8-604.15
1282 uext 1 739 0 xor_48a ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:603.8-603.15
1283 uext 1 763 0 xor_24d ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:602.8-602.15
1284 uext 1 752 0 xor_24c ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:601.8-601.15
1285 uext 1 738 0 xor_24b ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:600.8-600.15
1286 uext 1 713 0 xor_24a ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:599.8-599.15
1287 uext 1 762 0 xor_12h ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:598.8-598.15
1288 uext 1 757 0 xor_12g ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:597.8-597.15
1289 uext 1 751 0 xor_12f ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:596.8-596.15
1290 uext 1 746 0 xor_12e ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:595.8-595.15
1291 uext 1 737 0 xor_12d ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:594.8-594.15
1292 uext 1 732 0 xor_12c ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:593.8-593.15
1293 uext 1 712 0 xor_12b ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:592.8-592.15
1294 uext 1 707 0 xor_12a ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:591.8-591.15
1295 uext 1 1152 0 cout4 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:590.8-590.13
1296 uext 1 1188 0 cout3 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:589.8-589.13
1297 uext 136 1046 0 s3 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:588.15-588.17
1298 uext 1 1032 0 co36_lsb ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:587.8-587.16
1299 uext 1 1044 0 intc3 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:586.8-586.13
1300 uext 1 1182 0 cout2 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:585.8-585.13
1301 uext 133 1028 0 s2 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:584.15-584.17
1302 uext 1 1016 0 co24_lsb ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:583.8-583.16
1303 uext 1 1026 0 intc2 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:582.8-582.13
1304 uext 1 1175 0 cout1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:581.8-581.13
1305 uext 133 1012 0 s1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:580.15-580.17
1306 uext 1 1000 0 co12_lsb ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:579.8-579.16
1307 uext 1 1010 0 intc1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:578.8-578.13
1308 uext 1 1162 0 cout0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:577.8-577.13
1309 uext 133 996 0 s0 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:576.15-576.17
1310 sort bitvec 49
1311 concat 1310 988 942
1312 uext 1310 1311 0 a_int ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:575.25-575.30
1313 uext 12 993 0 smux_w ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:574.27-574.33
1314 uext 12 948 0 smux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:573.27-573.31
1315 slice 127 950 10 0
1316 concat 130 954 1315
1317 slice 127 950 22 12
1318 concat 162 1317 1316
1319 concat 165 958 1318
1320 slice 127 950 34 24
1321 concat 195 1320 1319
1322 concat 198 962 1321
1323 slice 130 950 47 36
1324 concat 12 1323 1322
1325 uext 12 1324 0 comux4simd ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:572.27-572.37
1326 uext 12 988 0 comux_w ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:571.27-571.34
1327 uext 12 950 0 comux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:570.27-570.32
1328 uext 12 690 0 s ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:569.27-569.28
1329 uext 12 947 0 co ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:568.27-568.29
1330 input 1
1331 uext 1 1330 0 ping_opmode_drc_check ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:566.7-566.28
1332 input 1
1333 uext 1 1332 0 opmode_valid_flag_dal ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:565.7-565.28
1334 input 1
1335 uext 1 1334 0 invalid_opmode ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:564.7-564.21
1336 uext 1 907 0 multcarryin_data ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:562.8-562.24
1337 ite 1 23 904 905 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:905$205 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:905.26-905.56
1338 uext 56 1337 31
1339 xor 1 10 72 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:383$6 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:383.30-383.75
1340 ite 56 1339 95 1338 $ternary$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:908$207 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:908.27-908.60
1341 slice 1 1340 0 0
1342 uext 1 1341 0 dr_carryin_int ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:561.8-561.22
1343 uext 1 1337 0 d_carryin_int ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:560.8-560.21
1344 uext 1 23 0 ce_m_g ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:559.8-559.14
1345 uext 1 904 0 c_mult ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:558.8-558.14
1346 uext 1 1339 0 rst_carryin_g ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:555.8-555.21
1347 uext 1 937 0 cin_b ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:554.7-554.12
1348 uext 1 942 0 cin ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:553.8-553.11
1349 uext 12 340 0 z_optinv ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:551.15-551.23
1350 uext 12 339 0 zmux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:550.14-550.18
1351 uext 12 689 0 ymux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:549.14-549.18
1352 uext 12 665 0 xmux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:548.14-548.18
1353 uext 12 984 0 wmux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:547.14-547.18
1354 uext 12 663 0 x_mac_cascd ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:545.15-545.26
1355 uext 14 276 0 OPMODE_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:542.13-542.23
1356 uext 35 897 0 CARRYINSEL_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:540.13-540.27
1357 uext 1 934 0 CARRYIN_mux ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:537.8-537.19
1358 input 1
1359 uext 1 1358 0 cis_drc_msg ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:534.7-534.18
1360 input 1
1361 uext 1 1360 0 cci_drc_msg ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:533.7-533.18
1362 uext 119 777 0 XOR_MX_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:522.14-522.23
1363 uext 12 236 0 P_FDBK_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:521.15-521.24
1364 uext 12 326 0 C_DATA_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:520.15-520.24
1365 uext 12 1054 0 ALU_OUT_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:519.15-519.25
1366 uext 225 684 0 V_DATA_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:518.15-518.24
1367 uext 225 649 0 U_DATA_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:517.15-517.24
1368 uext 225 678 0 V_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:516.15-516.19
1369 uext 225 627 0 U_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:515.15-515.19
1370 uext 43 1191 0 COUT_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:514.14-514.21
1371 uext 19 504 0 PREADD_AB ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:513.15-513.24
1372 uext 19 439 0 D_DATA ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:512.15-512.21
1373 uext 19 508 0 AD_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:511.15-511.20
1374 uext 19 521 0 AD_DATA ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:510.15-510.22
1375 uext 1 892 0 P_FDBK_47_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:509.8-509.20
1376 uext 1 1152 0 MULTSIGN_ALU_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:508.8-508.23
1377 uext 1 917 0 CCOUT_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:507.8-507.16
1378 uext 1 1159 0 ALUMODE10_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:506.8-506.20
1379 uext 1 902 0 BMULT17_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:505.8-505.18
1380 uext 1 901 0 AMULT26_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:504.8-504.18
1381 uext 40 483 0 B2B1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:503.14-503.18
1382 uext 19 467 0 A2A1 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:502.14-502.18
1383 uext 225 681 0 V_DATA ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:501.15-501.21
1384 uext 225 631 0 U_DATA ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:500.15-500.21
1385 uext 14 272 0 OPMODE_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:353.14-353.23
1386 uext 17 440 0 INMODE_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:352.14-352.23
1387 uext 12 13 0 PCIN_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:351.15-351.22
1388 uext 12 39 0 C_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:350.15-350.19
1389 uext 43 96 0 ALUMODE_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:349.14-349.24
1390 uext 35 36 0 CARRYINSEL_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:348.14-348.27
1391 uext 45 47 0 A_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:347.15-347.19
1392 uext 45 46 0 ACIN_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:346.15-346.22
1393 uext 19 20 0 D_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:345.15-345.19
1394 uext 40 42 0 B_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:344.15-344.19
1395 uext 40 41 0 BCIN_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:343.15-343.22
1396 xor 1 2 63 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:392$15 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:392.21-392.48
1397 uext 1 1396 0 RSTP_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:342.8-342.15
1398 xor 1 3 64 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:391$14 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:391.21-391.48
1399 uext 1 1398 0 RSTM_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:341.8-341.15
1400 xor 1 4 65 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:390$13 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:390.26-390.63
1401 uext 1 1400 0 RSTINMODE_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:340.8-340.20
1402 xor 1 5 66 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:389$12 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:389.21-389.48
1403 uext 1 1402 0 RSTD_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:339.8-339.15
1404 xor 1 7 67 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:388$11 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:388.21-388.48
1405 uext 1 1404 0 RSTC_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:338.8-338.15
1406 xor 1 6 68 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:387$10 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:387.24-387.57
1407 uext 1 1406 0 RSTCTRL_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:337.8-337.18
1408 xor 1 8 69 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:386$9 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:386.21-386.48
1409 uext 1 1408 0 RSTB_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:336.8-336.15
1410 xor 1 11 70 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:385$8 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:385.21-385.48
1411 uext 1 1410 0 RSTA_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:335.8-335.15
1412 xor 1 9 71 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:384$7 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:384.27-384.66
1413 uext 1 1412 0 RSTALUMODE_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:334.8-334.21
1414 uext 1 1339 0 RSTALLCARRYIN_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:333.8-333.24
1415 uext 1 16 0 MULTSIGNIN_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:332.8-332.21
1416 xor 1 21 75 $xor$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:376$3 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:376.20-376.45
1417 uext 1 1416 0 CLK_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:331.8-331.14
1418 uext 1 22 0 CEP_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:330.8-330.14
1419 uext 1 23 0 CEM_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:329.8-329.14
1420 uext 1 24 0 CEINMODE_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:328.8-328.19
1421 uext 1 25 0 CED_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:327.8-327.14
1422 uext 1 28 0 CEC_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:326.8-326.14
1423 uext 1 26 0 CECTRL_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:325.8-325.17
1424 uext 1 27 0 CECARRYIN_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:324.8-324.20
1425 uext 1 29 0 CEB2_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:323.8-323.15
1426 uext 1 30 0 CEB1_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:322.8-322.15
1427 uext 1 31 0 CEALUMODE_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:321.8-321.20
1428 uext 1 32 0 CEAD_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:320.8-320.15
1429 uext 1 33 0 CEA2_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:319.8-319.15
1430 uext 1 34 0 CEA1_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:318.8-318.15
1431 uext 1 930 0 CARRYIN_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:317.8-317.18
1432 uext 1 38 0 CARRYCASCIN_in ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:316.8-316.22
1433 uext 1 726 0 XORSIMD_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:312.8-312.19
1434 uext 1 705 0 USE_WIDEXOR_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:311.8-311.23
1435 uext 104 646 0 USE_SIMD_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:310.14-310.26
1436 uext 1 1105 0 USE_PATTERN_DETECT_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:309.8-309.30
1437 uext 104 433 0 USE_MULT_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:308.14-308.26
1438 uext 1 792 0 SEL_PATTERN_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:307.8-307.23
1439 uext 104 1080 0 SEL_MASK_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:306.14-306.26
1440 uext 1 779 0 PREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:305.8-305.16
1441 uext 1 461 0 PREADDINSEL_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:304.8-304.23
1442 uext 1 274 0 OPMODEREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:303.8-303.21
1443 uext 1 629 0 MREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:302.8-302.16
1444 uext 1 442 0 INMODEREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:301.8-301.21
1445 uext 1 389 0 DREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:300.8-300.16
1446 uext 1 324 0 CREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:299.8-299.16
1447 uext 1 895 0 CARRYINSELREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:298.8-298.25
1448 uext 1 932 0 CARRYINREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:297.8-297.22
1449 uext 1 355 0 B_INPUT_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:296.8-296.19
1450 uext 104 360 0 BREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:295.14-295.22
1451 uext 1 412 0 BMULTSEL_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:294.8-294.20
1452 uext 104 1200 0 BCASCREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:293.14-293.26
1453 uext 1 371 0 A_INPUT_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:292.8-292.19
1454 uext 1 1234 0 AUTORESET_PRIORITY_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:291.8-291.30
1455 uext 104 1258 0 AUTORESET_PATDET_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:290.14-290.34
1456 uext 104 376 0 AREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:289.14-289.22
1457 uext 1 401 0 AMULTSEL_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:288.8-288.20
1458 uext 1 98 0 ALUMODEREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:287.8-287.22
1459 uext 1 510 0 ADREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:286.8-286.17
1460 uext 104 1204 0 ACASCREG_BIN ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:285.14-285.26
1461 uext 716 717 0 XORSIMD_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:283.15-283.26
1462 uext 210 696 0 USE_WIDEXOR_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:282.15-282.30
1463 uext 12 633 0 USE_SIMD_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:281.15-281.27
1464 uext 1095 1096 0 USE_PATTERN_DETECT_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:280.15-280.37
1465 uext 419 420 0 USE_MULT_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:279.15-279.27
1466 uext 345 783 0 SEL_PATTERN_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:278.15-278.30
1467 uext 1063 1064 0 SEL_MASK_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:277.15-277.27
1468 uext 12 55 0 RND_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:276.15-276.22
1469 uext 56 57 0 PREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:275.15-275.23
1470 uext 119 454 0 PREADDINSEL_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:274.15-274.30
1471 uext 12 59 0 PATTERN_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:273.15-273.26
1472 uext 56 60 0 OPMODEREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:272.15-272.28
1473 uext 56 61 0 MREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:271.15-271.23
1474 uext 12 62 0 MASK_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:270.15-270.23
1475 uext 1 63 0 IS_RSTP_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:269.15-269.35
1476 uext 1 64 0 IS_RSTM_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:268.15-268.35
1477 uext 1 65 0 IS_RSTINMODE_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:267.15-267.40
1478 uext 1 66 0 IS_RSTD_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:266.15-266.35
1479 uext 1 67 0 IS_RSTC_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:265.15-265.35
1480 uext 1 68 0 IS_RSTCTRL_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:264.15-264.38
1481 uext 1 69 0 IS_RSTB_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:263.15-263.35
1482 uext 1 70 0 IS_RSTA_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:262.15-262.35
1483 uext 1 71 0 IS_RSTALUMODE_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:261.15-261.41
1484 uext 1 72 0 IS_RSTALLCARRYIN_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:260.15-260.44
1485 uext 14 73 0 IS_OPMODE_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:259.15-259.37
1486 uext 17 74 0 IS_INMODE_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:258.15-258.37
1487 uext 1 75 0 IS_CLK_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:257.15-257.34
1488 uext 1 76 0 IS_CARRYIN_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:256.15-256.38
1489 uext 43 77 0 IS_ALUMODE_INVERTED_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:255.15-255.38
1490 uext 56 78 0 INMODEREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:254.15-254.28
1491 uext 56 79 0 DREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:253.15-253.23
1492 uext 56 80 0 CREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:252.15-252.23
1493 uext 56 81 0 CARRYINSELREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:251.15-251.32
1494 uext 56 82 0 CARRYINREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:250.15-250.29
1495 uext 345 346 0 B_INPUT_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:249.15-249.26
1496 uext 56 84 0 BREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:248.15-248.23
1497 uext 142 404 0 BMULTSEL_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:247.15-247.27
1498 uext 56 86 0 BCASCREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:246.15-246.27
1499 uext 345 364 0 A_INPUT_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:245.15-245.26
1500 uext 210 1225 0 AUTORESET_PRIORITY_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:244.15-244.37
1501 uext 1244 1245 0 AUTORESET_PATDET_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:243.15-243.35
1502 uext 56 90 0 AREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:242.15-242.23
1503 uext 142 392 0 AMULTSEL_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:241.15-241.27
1504 uext 56 92 0 ALUMODEREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:240.15-240.29
1505 uext 56 93 0 ADREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:239.15-239.24
1506 uext 56 94 0 ACASCREG_REG ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:238.15-238.27
1507 input 1
1508 uext 1 1507 0 trig_attr ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:236.7-236.16
1509 ite 43 31 96 97 $procmux$597 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:759.14-759.26|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:759.10-759.54
1510 const 43 0000
1511 ite 43 1412 1510 1509 $procmux$600 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:758.9-758.22|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:758.5-759.54
1512 next 43 97 1511 $procdff$659 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:757.3-760.6
1513 and 1 22 779 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122$319 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.18-1122.36
1514 ite 12 1513 1054 236 $procmux$481 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.18-1122.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.14-1128.8
1515 or 1 1396 1265 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116$318 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.9-1116.41
1516 ite 12 1515 336 1514 $procmux$484 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.9-1116.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.5-1128.8
1517 next 12 236 1516 $procdff$644 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1115.3-1129.6
1518 ite 14 26 272 273 $procmux$610 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:734.18-734.27|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:734.14-736.8
1519 const 14 000000000
1520 ite 14 1406 1519 1518 $procmux$613 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:732.9-732.19|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:732.5-736.8
1521 next 14 273 1520 $procdff$661 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:731.3-737.6
1522 ite 12 28 39 323 $procmux$540 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1009.18-1009.24|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1009.14-1011.8
1523 eq 1 324 390 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1007$254 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1007.21-1007.37
1524 or 1 1404 1523 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1007$255 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1007.9-1007.38
1525 ite 12 1524 336 1522 $procmux$543 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1007.9-1007.38|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1007.5-1011.8
1526 next 12 323 1525 $procdff$652 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1006.3-1012.6
1527 uext 56 355 31
1528 eq 1 1527 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:989$242 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:989.16-989.46
1529 ite 40 1528 41 42 $procmux$546 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:989.16-989.46|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:989.12-990.27
1530 eq 1 360 383 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:988$241 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:988.11-988.28
1531 ite 40 1530 473 1529 $procmux$549 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:988.11-988.28|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:988.7-990.27
1532 ite 40 29 1531 359 $procmux$551 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:987.14-987.21|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:987.10-991.8
1533 ite 40 1408 482 1532 $procmux$554 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:986.9-986.16|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:986.5-991.8
1534 next 40 359 1533 $procdff$653 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:985.3-992.6
1535 uext 56 371 31
1536 eq 1 1535 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:959$229 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:959.20-959.50
1537 ite 45 1536 46 47 $procmux$565 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:959.20-959.50|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:959.16-963.10
1538 eq 1 376 383 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:957$228 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:957.11-957.28
1539 ite 45 1538 448 1537 $procmux$568 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:957.11-957.28|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:957.7-963.10
1540 ite 45 33 1539 375 $procmux$570 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:956.18-956.25|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:956.14-964.8
1541 const 45 000000000000000000000000000000
1542 eq 1 376 361 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:954$226 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:954.21-954.38
1543 or 1 1410 1542 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:954$227 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:954.9-954.39
1544 ite 45 1543 1541 1540 $procmux$573 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:954.9-954.39|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:954.5-964.8
1545 next 45 375 1544 $procdff$655 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:953.3-965.6
1546 ite 19 25 20 388 $procmux$442 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1211.18-1211.24|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1211.14-1213.8
1547 eq 1 437 390 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1209$381 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1209.21-1209.37
1548 or 1 1402 1547 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1209$382 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1209.9-1209.38
1549 ite 19 1548 387 1546 $procmux$445 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1209.9-1209.38|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1209.5-1213.8
1550 next 19 388 1549 $procdff$639 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1208.3-1214.6
1551 ite 17 24 440 441 $procmux$447 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1197.18-1197.29|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1197.14-1199.8
1552 eq 1 442 390 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1195$376 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1195.26-1195.47
1553 or 1 1400 1552 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1195$377 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1195.9-1195.48
1554 ite 17 1553 397 1551 $procmux$450 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1195.9-1195.48|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1195.5-1199.8
1555 next 17 441 1554 $procdff$640 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1194.3-1200.6
1556 uext 56 371 31
1557 eq 1 1556 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:945$224 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:945.11-945.41
1558 ite 45 1557 46 47 $procmux$576 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:945.11-945.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:945.7-949.10
1559 ite 45 34 1558 448 $procmux$578 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:944.18-944.25|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:944.14-950.8
1560 eq 1 376 361 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:942$222 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:942.21-942.38
1561 or 1 1410 1560 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:942$223 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:942.9-942.39
1562 ite 45 1561 1541 1559 $procmux$581 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:942.9-942.39|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:942.5-950.8
1563 next 45 448 1562 $procdff$656 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:941.3-951.6
1564 uext 56 355 31
1565 eq 1 1564 342 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:980$239 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:980.11-980.41
1566 ite 40 1565 41 42 $procmux$557 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:980.11-980.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:980.7-981.32
1567 ite 40 30 1566 473 $procmux$559 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:979.18-979.25|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:979.14-982.8
1568 eq 1 360 361 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:977$237 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:977.21-977.38
1569 or 1 1408 1568 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:977$238 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:977.9-977.39
1570 ite 40 1569 482 1567 $procmux$562 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:977.9-977.39|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:977.5-982.8
1571 next 40 473 1570 $procdff$654 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:976.3-983.6
1572 ite 19 32 508 509 $procmux$437 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1225.18-1225.25|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1225.14-1225.48
1573 ite 19 1402 387 1572 $procmux$440 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1223.9-1223.16|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1223.5-1225.48
1574 next 19 509 1573 $procdff$638 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1222.3-1226.6
1575 ite 225 23 627 628 $procmux$526 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1046.18-1046.24|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1046.14-1049.8
1576 eq 1 629 390 $eq$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1043$269 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1043.21-1043.37
1577 or 1 1398 1576 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1043$270 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1043.9-1043.38
1578 ite 225 1577 620 1575 $procmux$529 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1043.9-1043.38|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1043.5-1049.8
1579 next 225 628 1578 $procdff$650 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1042.3-1050.6
1580 ite 225 23 678 679 $procmux$521 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1046.18-1046.24|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1046.14-1049.8
1581 ite 225 1577 620 1580 $procmux$524 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1043.9-1043.38|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1043.5-1049.8
1582 next 225 679 1581 $procdff$651 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1042.3-1050.6
1583 ite 119 1513 777 778 $procmux$476 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.18-1122.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.14-1128.8
1584 const 119 00000000
1585 ite 119 1515 1584 1583 $procmux$479 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.9-1116.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.5-1128.8
1586 next 119 778 1585 $procdff$645 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1115.3-1129.6
1587 ite 35 26 36 894 $procmux$605 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:742.18-742.27|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:742.14-744.8
1588 ite 35 1406 337 1587 $procmux$608 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:740.9-740.19|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:740.5-744.8
1589 next 35 894 1588 $procdff$660 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:739.3-745.6
1590 next 1 905 1341 $procdff$657 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:910.3-914.6
1591 ite 1 1513 1159 914 $procmux$491 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.18-1122.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.14-1128.8
1592 ite 1 1515 390 1591 $procmux$494 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.9-1116.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.5-1128.8
1593 next 1 914 1592 $procdff$642 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1115.3-1129.6
1594 ite 43 1513 1191 915 $procmux$496 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.18-1122.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.14-1128.8
1595 ite 43 1515 1510 1594 $procmux$499 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.9-1116.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.5-1128.8
1596 next 43 915 1595 $procdff$641 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1115.3-1129.6
1597 ite 1 27 930 931 $procmux$592 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:896.14-896.26|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:896.10-896.54
1598 ite 1 1339 390 1597 $procmux$595 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:895.9-895.25|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:895.5-896.54
1599 next 1 931 1598 $procdff$658 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:894.3-897.6
1600 and 1 22 779 $logic_and$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086$298 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.18-1086.36
1601 ite 1 1600 1110 1111 $procmux$516 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.18-1086.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.14-1092.8
1602 or 1 1396 1265 $logic_or$/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081$297 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.9-1081.41
1603 ite 1 1602 390 1601 $procmux$519 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.9-1081.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.5-1092.8
1604 next 1 1111 1603 $procdff$646 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1080.3-1093.6
1605 ite 1 1600 1117 1118 $procmux$506 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.18-1086.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.14-1092.8
1606 ite 1 1602 390 1605 $procmux$509 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.9-1081.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.5-1092.8
1607 next 1 1118 1606 $procdff$648 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1080.3-1093.6
1608 ite 1 1600 1118 1123 $procmux$501 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.18-1086.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.14-1092.8
1609 ite 1 1602 390 1608 $procmux$504 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.9-1081.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.5-1092.8
1610 next 1 1123 1609 $procdff$649 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1080.3-1093.6
1611 ite 1 1600 1111 1144 $procmux$511 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.18-1086.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1086.14-1092.8
1612 ite 1 1602 390 1611 $procmux$514 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.9-1081.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1081.5-1092.8
1613 next 1 1144 1612 $procdff$647 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1080.3-1093.6
1614 ite 1 1513 1152 1153 $procmux$486 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.18-1122.36|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1122.14-1128.8
1615 ite 1 1515 390 1614 $procmux$489 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.9-1116.41|/home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1116.5-1128.8
1616 next 1 1153 1615 $procdff$643 ; /home/kevin/d/puddleave/lakeroad/modules_for_importing/xilinx_ultrascale_plus/DSP48E2.v:1115.3-1129.6
; end of yosys output