-
Notifications
You must be signed in to change notification settings - Fork 3
/
c499.v
223 lines (219 loc) · 8.36 KB
/
c499.v
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
// Generated by Cadence Genus(TM) Synthesis Solution 16.22-s033_1
// Generated on: Jan 17 2020 11:31:14 EST (Jan 17 2020 16:31:14 UTC)
// Verification Directory fv/c499
module c499(N1, N5, N9, N13, N17, N21, N25, N29, N33, N37, N41, N45,
N49, N53, N57, N61, N65, N69, N73, N77, N81, N85, N89, N93, N97,
N101, N105, N109, N113, N117, N121, N125, N129, N130, N131, N132,
N133, N134, N135, N136, N137, N724, N725, N726, N727, N728, N729,
N730, N731, N732, N733, N734, N735, N736, N737, N738, N739, N740,
N741, N742, N743, N744, N745, N746, N747, N748, N749, N750, N751,
N752, N753, N754, N755);
input N1, N5, N9, N13, N17, N21, N25, N29, N33, N37, N41, N45, N49,
N53, N57, N61, N65, N69, N73, N77, N81, N85, N89, N93, N97,
N101, N105, N109, N113, N117, N121, N125, N129, N130, N131,
N132, N133, N134, N135, N136, N137;
output N724, N725, N726, N727, N728, N729, N730, N731, N732, N733,
N734, N735, N736, N737, N738, N739, N740, N741, N742, N743,
N744, N745, N746, N747, N748, N749, N750, N751, N752, N753,
N754, N755;
wire N1, N5, N9, N13, N17, N21, N25, N29, N33, N37, N41, N45, N49,
N53, N57, N61, N65, N69, N73, N77, N81, N85, N89, N93, N97,
N101, N105, N109, N113, N117, N121, N125, N129, N130, N131,
N132, N133, N134, N135, N136, N137;
wire N724, N725, N726, N727, N728, N729, N730, N731, N732, N733,
N734, N735, N736, N737, N738, N739, N740, N741, N742, N743,
N744, N745, N746, N747, N748, N749, N750, N751, N752, N753,
N754, N755;
wire N250, N251, N252, N253, N254, N255, N256, N257;
wire N258, N259, N260, N261, N262, N263, N264, N265;
wire N266, N267, N268, N269, N270, N271, N272, N273;
wire N274, N275, N276, N277, N278, N279, N280, N281;
wire N282, N283, N284, N285, N286, N287, N288, N289;
wire N290, N293, N296, N299, N302, N305, N308, N311;
wire N314, N315, N316, N317, N318, N319, N320, N321;
wire N338, N339, N340, N341, N342, N343, N344, N345;
wire N346, N347, N348, N349, N350, N351, N352, N353;
wire N354, N367, N380, N393, N406, N419, N432, N445;
wire N554, N555, N556, N559, N566, N567, N569, N570;
wire N594, N595, N596, N597, N598, N599, N600, N601;
wire N602, N607, N620, N625, N630, N635, N640, N645;
wire N650, N655, N692, N693, N694, N695, N696, N697;
wire N698, N699, N700, N701, N702, N703, N704, N705;
wire N706, N707, N708, N709, N710, N711, N712, N713;
wire N714, N715, N716, N717, N718, N719, N720, N721;
wire N722, N723, n_74, n_76, n_78, n_80;
and AND2_17 (N266, N129, N137);
and AND2_18 (N267, N130, N137);
and AND2_19 (N268, N131, N137);
and AND2_20 (N269, N132, N137);
and AND2_21 (N270, N133, N137);
and AND2_22 (N271, N134, N137);
and AND2_23 (N272, N135, N137);
and AND2_24 (N273, N136, N137);
and AND2_139 (N692, N354, N620);
and AND2_140 (N693, N367, N620);
and AND2_141 (N694, N380, N620);
and AND2_142 (N695, N393, N620);
and AND2_143 (N696, N354, N625);
and AND2_144 (N697, N367, N625);
and AND2_145 (N698, N380, N625);
and AND2_146 (N699, N393, N625);
and AND2_147 (N700, N354, N630);
and AND2_148 (N701, N367, N630);
and AND2_149 (N702, N380, N630);
and AND2_150 (N703, N393, N630);
and AND2_151 (N704, N354, N635);
and AND2_152 (N705, N367, N635);
and AND2_153 (N706, N380, N635);
and AND2_154 (N707, N393, N635);
and AND2_155 (N708, N406, N640);
and AND2_156 (N709, N419, N640);
and AND2_157 (N710, N432, N640);
and AND2_158 (N711, N445, N640);
and AND2_159 (N712, N406, N645);
and AND2_160 (N713, N419, N645);
and AND2_161 (N714, N432, N645);
and AND2_162 (N715, N445, N645);
and AND2_163 (N716, N406, N650);
and AND2_164 (N717, N419, N650);
and AND2_165 (N718, N432, N650);
and AND2_166 (N719, N445, N650);
and AND2_167 (N720, N406, N655);
and AND2_168 (N721, N419, N655);
and AND2_169 (N722, N432, N655);
and AND2_170 (N723, N445, N655);
and AND4_121 (N594, N554, N555, N556, N393);
and AND4_122 (N595, N554, N555, N380, N559);
and AND4_123 (N596, N554, N367, N556, N559);
and AND4_124 (N597, N354, N555, N556, N559);
and AND4_125 (N598, N570, N566, N569, N445);
and AND4_126 (N599, N570, N566, N432, N567);
and AND4_127 (N600, N570, N419, N569, N567);
and AND4_128 (N601, N406, N566, N569, N567);
not NOT1_81 (N554, N354);
not NOT1_82 (N555, N367);
not NOT1_83 (N556, N380);
not NOT1_86 (N559, N393);
not NOT1_93 (N566, N419);
not NOT1_94 (N567, N445);
not NOT1_96 (N569, N432);
not NOT1_97 (N570, N406);
or OR4_129 (N602, N594, N595, N596, N597);
or OR4_130 (N607, N598, N599, N600, N601);
xor XOR2_1 (N250, N1, N5);
xor XOR2_2 (N251, N9, N13);
xor XOR2_3 (N252, N17, N21);
xor XOR2_4 (N253, N25, N29);
xor XOR2_5 (N254, N33, N37);
xor XOR2_6 (N255, N41, N45);
xor XOR2_7 (N256, N49, N53);
xor XOR2_8 (N257, N57, N61);
xor XOR2_9 (N258, N65, N69);
xor XOR2_10 (N259, N73, N77);
xor XOR2_11 (N260, N81, N85);
xor XOR2_12 (N261, N89, N93);
xor XOR2_13 (N262, N97, N101);
xor XOR2_14 (N263, N105, N109);
xor XOR2_15 (N264, N113, N117);
xor XOR2_16 (N265, N121, N125);
xor XOR2_25 (N274, N1, N17);
xor XOR2_26 (N275, N33, N49);
xor XOR2_27 (N276, N5, N21);
xor XOR2_28 (N277, N37, N53);
xor XOR2_29 (N278, N9, N25);
xor XOR2_30 (N279, N41, N57);
xor XOR2_31 (N280, N13, N29);
xor XOR2_32 (N281, N45, N61);
xor XOR2_33 (N282, N65, N81);
xor XOR2_34 (N283, N97, N113);
xor XOR2_35 (N284, N69, N85);
xor XOR2_36 (N285, N101, N117);
xor XOR2_37 (N286, N73, N89);
xor XOR2_38 (N287, N105, N121);
xor XOR2_39 (N288, N77, N93);
xor XOR2_40 (N289, N109, N125);
xor XOR2_41 (N290, N250, N251);
xor XOR2_42 (N293, N252, N253);
xor XOR2_43 (N296, N254, N255);
xor XOR2_44 (N299, N256, N257);
xor XOR2_45 (N302, N258, N259);
xor XOR2_46 (N305, N260, N261);
xor XOR2_47 (N308, N262, N263);
xor XOR2_48 (N311, N264, N265);
xor XOR2_49 (N314, N274, N275);
xor XOR2_50 (N315, N276, N277);
xor XOR2_51 (N316, N278, N279);
xor XOR2_52 (N317, N280, N281);
xor XOR2_53 (N318, N282, N283);
xor XOR2_54 (N319, N284, N285);
xor XOR2_55 (N320, N286, N287);
xor XOR2_56 (N321, N288, N289);
xor XOR2_57 (N338, N290, N293);
xor XOR2_58 (N339, N296, N299);
xor XOR2_59 (N340, N290, N296);
xor XOR2_60 (N341, N293, N299);
xor XOR2_61 (N342, N302, N305);
xor XOR2_62 (N343, N308, N311);
xor XOR2_63 (N344, N302, N308);
xor XOR2_64 (N345, N305, N311);
xor XOR2_65 (N346, N266, N342);
xor XOR2_66 (N347, N267, N343);
xor XOR2_67 (N348, N268, N344);
xor XOR2_68 (N349, N269, N345);
xor XOR2_69 (N350, N270, N338);
xor XOR2_70 (N351, N271, N339);
xor XOR2_71 (N352, N272, N340);
xor XOR2_72 (N353, N273, N341);
xor XOR2_73 (N354, N314, N346);
xor XOR2_74 (N367, N315, N347);
xor XOR2_75 (N380, N316, N348);
xor XOR2_76 (N393, N317, N349);
xor XOR2_77 (N406, N318, N350);
xor XOR2_78 (N419, N319, N351);
xor XOR2_79 (N432, N320, N352);
xor XOR2_80 (N445, N321, N353);
xor XOR2_171 (N724, N1, N692);
xor XOR2_172 (N725, N5, N693);
xor XOR2_173 (N726, N9, N694);
xor XOR2_174 (N727, N13, N695);
xor XOR2_175 (N728, N17, N696);
xor XOR2_176 (N729, N21, N697);
xor XOR2_177 (N730, N25, N698);
xor XOR2_178 (N731, N29, N699);
xor XOR2_179 (N732, N33, N700);
xor XOR2_180 (N733, N37, N701);
xor XOR2_181 (N734, N41, N702);
xor XOR2_182 (N735, N45, N703);
xor XOR2_183 (N736, N49, N704);
xor XOR2_184 (N737, N53, N705);
xor XOR2_185 (N738, N57, N706);
xor XOR2_186 (N739, N61, N707);
xor XOR2_187 (N740, N65, N708);
xor XOR2_188 (N741, N69, N709);
xor XOR2_189 (N742, N73, N710);
xor XOR2_190 (N743, N77, N711);
xor XOR2_191 (N744, N81, N712);
xor XOR2_192 (N745, N85, N713);
xor XOR2_193 (N746, N89, N714);
xor XOR2_194 (N747, N93, N715);
xor XOR2_195 (N748, N97, N716);
xor XOR2_196 (N749, N101, N717);
xor XOR2_197 (N750, N105, N718);
xor XOR2_198 (N751, N109, N719);
xor XOR2_199 (N752, N113, N720);
xor XOR2_200 (N753, N117, N721);
xor XOR2_201 (N754, N121, N722);
xor XOR2_202 (N755, N125, N723);
and g1 (n_74, N406, N566);
and g2 (N620, N432, N567, N602, n_74);
and g4 (N625, N569, N445, N602, n_74);
and g5 (n_76, N570, N419);
and g6 (N630, N432, N567, N602, n_76);
and g8 (N635, N569, N445, N602, n_76);
and g9 (n_78, N354, N555);
and g10 (N640, N380, N559, N607, n_78);
and g12 (N645, N556, N393, N607, n_78);
and g13 (n_80, N554, N367);
and g14 (N650, N380, N559, N607, n_80);
and g16 (N655, N556, N393, N607, n_80);
endmodule