.model top
.inputs s1488_in_0_ s1488_in_1_ s1488_in_4_ s1488_in_5_ s1488_in_2_ \
s1488_in_3_ clock s1488_in_6_ s1488_in_7_
.outputs s1488_out_3_ s1488_out_2_ s1488_out_1_ s1488_out_0_ s1488_out_7_ \
s1488_out_12_ s1488_out_6_ s1488_out_13_ s1488_out_5_ s1488_out_10_ \
s1488_out_4_ s1488_out_11_ s1488_out_16_ s1488_out_17_ s1488_out_9_ \
s1488_out_14_ s1488_out_8_ s1488_out_15_ s1488_out_18_
.latch    n_n83 n_n356 re clock 2
.latch    n_n84 n_n357 re clock 2
.latch    n_n85 n_n358 re clock 2
.latch    n_n86 n_n359 re clock 2
.latch    n_n87 n_n360 re clock 2
.latch    n_n88 n_n361 re clock 2
.names n_n360 [42] [303] [1406] s1488_out_3_
--1- 1
---1 1
11-- 1
.names s1488_in_2_ [103] [293] [294] [1413] s1488_out_2_
--1-- 1
11--- 1
1--1- 1
1---1 1
.names [290] [291] [1415] [1421] [1422] s1488_out_1_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [267] [268] [1429] [1430] s1488_out_0_
1--- 1
-1-- 1
--1- 1
---1 1
.names [43] [259] [1436] [1437] s1488_out_7_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n361 [158] [1444] [1447] s1488_out_12_
--1- 1
---1 1
01-- 1
.names [231] [232] [233] [1452] [1453] s1488_out_6_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n361 [169] s1488_out_13_
01 1
.names [214] [215] [216] [217] [1466] s1488_out_5_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n359 n_n361 [100] [112] [1473] s1488_out_10_
--1-- 1
----1 1
10--- 1
-0-1- 1
.names n_n356 n_n360 [1475] [1476] [1478] s1488_out_4_
--1-- 1
---1- 1
----1 1
01--- 1
10--- 1
.names s1488_in_6_ [141] [1482] [1483] s1488_out_11_
---1 1
111- 1
.names [53] [1457] [1458] [1484] s1488_out_16_
-11- 1
1--1 1
.names s1488_in_2_ [78] [79] [80] s1488_out_17_
-1-- 1
1-1- 1
1--1 1
.names [75] [229] [230] [1486] s1488_out_9_
1--1 1
-1-1 1
--11 1
.names s1488_in_3_ s1488_in_6_ s1488_out_16_ [141] [1482] s1488_out_14_
--1-- 1
10-11 1
.names s1488_in_2_ n_n360 [157] [1490] s1488_out_8_
---1 1
011- 1
.names n_n358 n_n359 [87] [195] s1488_out_15_
0-1- 1
-1-1 1
.names n_n356 n_n357 n_n358 n_n360 [137] s1488_out_18_
11101 1
.names [419] [420] [421] [1343] n_n83
1--- 1
-1-- 1
--1- 1
---1 1
.names [54] [397] [412] [1355] [1358] n_n84
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names [378] [379] [382] [1364] [1365] n_n85
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n361 [161] [359] [1373] [1374] n_n86
--1-- 1
---1- 1
----1 1
11--- 1
.names n_n361 [343] [1388] [1391] n_n87
---1 1
11-- 1
1-1- 1
.names s1488_in_7_ [315] [326] [1399] [1402] n_n88
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names s1488_in_7_ n_n360 [33]
11 1
.names s1488_in_7_ n_n359 n_n360 [54]
111 1
.names n_n356 n_n357 n_n358 [36]
111 1
.names s1488_in_7_ n_n360 n_n361 [51]
110 1
.names s1488_in_7_ n_n359 n_n361 [65]
110 1
.names s1488_in_2_ s1488_in_7_ n_n357 n_n359 n_n360 [84]
01011 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 [155]
10--0 1
11-01 1
1-110 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [154]
0-10- 1
01--0 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 [153]
11010 1
11100 1
.names n_n356 n_n357 n_n360 [53]
010 1
.names n_n356 n_n358 n_n359 n_n361 [66]
0001 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [157]
1001- 1
00-01 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 [64]
--1- 1
---0 1
11-- 1
.names s1488_in_0_ s1488_in_4_ s1488_in_5_ n_n356 n_n357 [158]
-110- 1
1--01 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 [46]
11010 1
.names s1488_in_2_ n_n356 n_n357 n_n358 [162]
001- 1
-111 1
.names [33] [166] [368] [1370] [1371] [161]
1-1-- 1
-1-1- 1
1---1 1
.names s1488_in_7_ n_n357 n_n359 n_n360 n_n361 [160]
1-1-0 1
1011- 1
.names s1488_in_2_ n_n356 n_n357 n_n358 [159]
-01- 1
1100 1
.names [290] [291] [1415] [43]
1-- 1
-1- 1
--1 1
.names n_n360 n_n361 [127]
00 1
.names [121] [170] [229] [230] [1414] [169]
-11-- 1
-1-1- 1
1---1 1
.names s1488_in_1_ s1488_in_2_ s1488_in_3_ s1488_in_6_ [116]
0--- 1
---0 1
-10- 1
.names s1488_in_2_ n_n356 n_n357 n_n358 [181]
11-- 1
-01- 1
0--1 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 [42]
11-01 1
-1101 1
-1110 1
-0000 1
.names n_n356 n_n357 n_n359 n_n360 n_n361 [87]
01001 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n360 [195]
00-11 1
-0101 1
-1100 1
.names n_n356 n_n357 n_n359 n_n361 [120]
0001 1
.names n_n356 n_n357 n_n361 [73]
010 1
.names s1488_in_0_ n_n356 n_n357 n_n360 n_n361 [131]
10100 1
.names n_n356 n_n357 n_n358 [122]
100 1
.names s1488_in_1_ s1488_in_3_ s1488_in_6_ n_n359 n_n361 [137]
11-01 1
-1001 1
.names n_n356 n_n358 n_n359 n_n360 [111]
1011 1
.names n_n356 n_n357 n_n358 [203]
0-0 1
111 1
.names s1488_in_0_ s1488_in_1_ s1488_in_4_ s1488_in_5_ [200]
-0-- 1
0-11 1
.names s1488_in_4_ s1488_in_5_ [38]
1- 1
-0 1
.names s1488_in_0_ n_n356 n_n357 n_n360 [132]
0010 1
.names n_n356 n_n357 n_n358 n_n359 [121]
0000 1
.names s1488_in_3_ n_n358 n_n359 [44]
11- 1
-10 1
.names n_n356 n_n357 n_n358 [141]
101 1
.names s1488_in_7_ n_n359 [138]
11 1
.names n_n356 n_n357 n_n359 n_n360 n_n361 [103]
1--10 1
000-1 1
.names s1488_in_7_ n_n359 n_n360 n_n361 [148]
10-1 1
1-00 1
.names s1488_in_0_ s1488_in_1_ s1488_in_3_ s1488_in_6_ [166]
1--- 1
--0- 1
-0-1 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n357 [164]
0-0-1 1
-00-1 1
--001 1
.names s1488_in_4_ s1488_in_5_ [170]
1- 1
-1 1
.names s1488_in_3_ n_n356 n_n357 n_n358 n_n361 [185]
----0 1
10-0- 1
-010- 1
.names s1488_in_2_ s1488_in_3_ n_n358 n_n359 n_n361 [193]
-11-- 1
--10- 1
1--01 1
.names s1488_in_0_ s1488_in_2_ n_n359 n_n361 [198]
--01 1
001- 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 [63]
11101 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 [75]
00000 1
.names s1488_in_4_ s1488_in_5_ n_n360 n_n361 [121] [78]
11001 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 [79]
01111 1
.names n_n356 n_n357 n_n358 n_n360 n_n361 [80]
10010 1
.names n_n356 [117] [1470] [100]
11- 1
1-1 1
.names s1488_in_2_ n_n356 n_n358 n_n360 n_n361 [101]
11010 1
.names n_n356 n_n358 n_n359 n_n361 [105]
1001 1
.names s1488_in_4_ s1488_in_5_ n_n357 n_n358 n_n360 [112]
---10 1
1-0-0 1
-00-0 1
.names s1488_in_2_ n_n357 n_n359 n_n360 [117]
-0-0 1
001- 1
.names n_n356 n_n358 n_n360 [198] [1462] [214]
-1--1 1
0101- 1
.names s1488_in_5_ [127] [121] [224] [226] [215]
0--1- 1
0---1 1
011-- 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 [216]
11110 1
.names n_n356 n_n357 n_n360 n_n361 [217]
0110 1
.names s1488_in_2_ n_n356 n_n358 n_n360 n_n361 [224]
01010 1
.names s1488_in_0_ n_n356 n_n357 n_n361 [226]
0010 1
.names s1488_in_2_ n_n356 n_n358 n_n360 [229]
0101 1
.names s1488_in_0_ n_n356 n_n357 n_n358 n_n360 [230]
00100 1
.names n_n356 n_n358 n_n359 n_n360 n_n361 [231]
10-0- 1
-1001 1
.names n_n356 n_n359 n_n360 [240] [241] [232]
1--1- 1
1---1 1
100-- 1
.names n_n358 [243] [244] [1450] [233]
01-- 1
0-1- 1
0--1 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n361 [240]
1-00 1
-000 1
.names n_n357 n_n359 n_n361 [241]
001 1
.names s1488_in_2_ n_n356 n_n359 [243]
1-1 1
-01 1
.names s1488_in_4_ s1488_in_5_ n_n356 n_n357 [244]
1-01 1
-001 1
.names s1488_in_3_ s1488_in_6_ n_n356 n_n357 n_n360 [247]
0-1-0 1
-01-0 1
--110 1
.names n_n360 [66] [42] [259]
11- 1
1-1 1
.names n_n357 n_n358 n_n359 n_n360 [260]
0110 1
.names n_n356 n_n357 n_n359 n_n360 [261]
0110 1
.names s1488_in_4_ s1488_in_5_ n_n356 n_n359 [263]
1100 1
.names s1488_in_1_ n_n357 n_n360 n_n361 [274] [267]
--101 1
1110- 1
.names s1488_in_1_ n_n358 [103] [276] [1426] [268]
-1-1- 1
-1--1 1
011-- 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n358 [274]
--1-0 1
---00 1
11--0 1
.names s1488_in_2_ n_n356 n_n357 n_n359 n_n361 [276]
10001 1
.names s1488_in_2_ n_n356 n_n360 n_n361 [280]
1110 1
.names n_n356 n_n359 n_n360 n_n361 [281]
0101 1
.names n_n358 n_n359 n_n360 [282]
110 1
.names n_n356 n_n357 n_n358 n_n361 [283]
0110 1
.names n_n356 n_n357 n_n360 n_n361 [290]
0001 1
.names s1488_in_2_ n_n356 n_n357 n_n359 n_n361 [291]
10001 1
.names s1488_in_4_ s1488_in_5_ n_n360 n_n361 [121] [293]
11001 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 [294]
11101 1
.names n_n356 n_n357 n_n358 n_n360 [295]
0110 1
.names n_n358 [38] [132] [308] [309] [303]
0--1- 1
011-- 1
01--1 1
.names n_n356 n_n359 n_n360 n_n361 [308]
0101 1
.names s1488_in_2_ n_n360 n_n361 [309]
010 1
.names s1488_in_7_ n_n360 [120] [322] [1394] [315]
111-- 1
11-1- 1
11--1 1
.names s1488_in_7_ n_n356 n_n358 n_n359 n_n360 [317]
10010 1
.names s1488_in_7_ n_n356 n_n359 n_n360 [318]
1111 1
.names s1488_in_4_ s1488_in_5_ n_n356 n_n358 [322]
0-10 1
-010 1
.names s1488_in_6_ n_n356 n_n358 n_n361 [324]
1111 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [325]
0-101 1
10001 1
.names n_n359 [185] [326]
11 1
.names s1488_in_7_ n_n360 [336] [337] [338] [332]
111-- 1
11-1- 1
11--1 1
.names s1488_in_7_ n_n356 n_n359 n_n361 [335]
1010 1
.names s1488_in_2_ n_n356 n_n357 n_n359 [336]
1010 1
.names s1488_in_6_ n_n356 n_n358 [337]
011 1
.names s1488_in_3_ n_n357 n_n358 n_n359 [338]
111- 1
-110 1
.names n_n356 [138] [350] [351] [1385] [343]
11--- 1
1-1-1 1
1--11 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 [345]
11100 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n359 [346]
10000 1
.names s1488_in_6_ s1488_in_7_ n_n358 [350]
011 1
.names s1488_in_1_ s1488_in_7_ n_n357 n_n360 [351]
1110 1
.names n_n358 [33] [164] [373] [374] [359]
0--1- 1
0---1 1
011-- 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 [368]
00010 1
.names s1488_in_7_ n_n356 n_n357 n_n359 [373]
1011 1
.names s1488_in_3_ s1488_in_7_ n_n359 n_n360 [374]
1111 1
.names s1488_in_1_ s1488_in_2_ [54] [36] [378]
0111 1
1011 1
.names s1488_in_7_ n_n360 n_n361 [122] [385] [379]
1100- 1
110-1 1
.names n_n359 n_n361 [155] [382]
011 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ [385]
110 1
.names n_n356 n_n361 [1347] [1348] [1349] [395]
00--1 1
--111 1
.names n_n357 n_n358 n_n361 [1350] [396]
0111 1
.names n_n356 n_n357 [402] [1351] [397]
011- 1
01-1 1
.names s1488_in_2_ s1488_in_7_ n_n358 n_n359 n_n361 [402]
-110- 1
11--1 1
.names s1488_in_7_ n_n360 n_n361 [64] [409]
1100 1
.names s1488_in_1_ s1488_in_2_ n_n357 n_n358 [412]
--10 1
111- 1
001- 1
.names n_n357 n_n358 [51] [425] [419]
--11 1
001- 1
.names s1488_in_7_ n_n360 [427] [428] [429] [420]
111-- 1
11-1- 1
11--1 1
.names s1488_in_7_ [430] [1336] [1337] [421]
11-- 1
1-1- 1
1--1 1
.names s1488_in_7_ n_n357 n_n358 n_n360 n_n361 [422]
11001 1
.names s1488_in_7_ n_n356 n_n359 n_n360 n_n361 [423]
10101 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n357 [425]
--111 1
11-11 1
.names s1488_in_3_ s1488_in_6_ n_n357 n_n358 n_n361 [427]
0-011 1
-1011 1
.names s1488_in_2_ n_n356 n_n357 n_n358 [428]
100- 1
-000 1
.names n_n356 n_n357 n_n359 n_n361 [429]
1101 1
.names s1488_in_3_ s1488_in_6_ n_n361 [437] [438] [430]
1101- 1
110-1 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [433]
-011- 1
001-1 1
.names s1488_in_1_ s1488_in_2_ n_n357 n_n358 [437]
1111 1
.names n_n356 n_n357 n_n358 n_n359 [438]
1000 1
.names s1488_in_0_ n_n356 n_n357 [1327]
001 1
.names s1488_in_4_ s1488_in_5_ s1488_in_7_ n_n360 [1328]
1110 1
.names s1488_in_4_ s1488_in_5_ n_n361 [1330]
110 1
.names s1488_in_4_ s1488_in_5_ n_n361 [121] [433] [1336]
----1 1
1101- 1
.names s1488_in_0_ n_n356 n_n357 [137] [193] [1337]
-01-1 1
1111- 1
.names [84] [422] [423] [1327] [1328] [1343]
1---- 1
-1--- 1
--1-- 1
---11 1
.names n_n357 n_n359 n_n361 [1347]
101 1
.names s1488_in_0_ s1488_in_1_ s1488_in_3_ s1488_in_6_ [1348]
0011 1
.names s1488_in_7_ n_n358 n_n360 [1349]
110 1
.names s1488_in_2_ s1488_in_7_ n_n360 [1350]
011 1
.names s1488_in_7_ n_n358 n_n360 n_n361 [1351]
1-10 1
1001 1
.names s1488_in_7_ n_n356 n_n360 [1352]
111 1
.names n_n356 n_n358 [44] [148] [1352] [1353]
--1-1 1
10-1- 1
.names s1488_in_2_ s1488_in_3_ n_n356 n_n358 [1355]
-00- 1
--01 1
1-10 1
.names n_n357 [395] [396] [409] [1353] [1358]
-1--- 1
--1-- 1
0--1- 1
0---1 1
.names s1488_in_7_ n_n357 n_n358 n_n360 [1360]
1011 1
.names s1488_in_7_ n_n356 n_n358 [84] [154] [1364]
1---1 1
-101- 1
.names s1488_in_6_ n_n359 [65] [153] [1360] [1365]
--1-- 1
-1-1- 1
10--1 1
.names s1488_in_7_ n_n359 n_n360 [1368]
110 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 [1370]
11110 1
.names s1488_in_6_ n_n356 n_n357 n_n358 [1371]
-110 1
1101 1
.names n_n361 [46] [162] [1368] [1373]
01-- 1
--11 1
.names n_n356 [51] [160] [159] [1374]
1-1- 1
-1-1 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n361 [1379]
11110 1
.names n_n356 n_n357 n_n358 [1382]
01- 1
1-1 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n357 n_n358 [1383]
0--1- 1
-0-1- 1
--11- 1
--1-1 1
.names s1488_in_3_ s1488_in_0_ [1385]
10 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 [1386]
100-1 1
11010 1
.names [345] [346] [1386] [1388]
1-- 1
-1- 1
--1 1
.names [116] [335] [1379] [1389]
-1- 1
0-1 1
.names [51] [332] [1382] [1383] [1389] [1391]
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n361 [1394]
1-10- 1
-11-1 1
.names [36] [116] [324] [325] [1399]
--1- 1
---1 1
11-- 1
.names [51] [46] [181] [317] [318] [1402]
-1--- 1
---1- 1
----1 1
1-1-- 1
.names n_n356 n_n357 n_n359 n_n360 n_n361 [1406]
01-10 1
01001 1
.names n_n356 n_n358 n_n359 n_n360 n_n361 [1409]
0--01 1
000-1 1
.names [111] [132] [295] [1409] [1413]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1488_in_4_ s1488_in_5_ n_n360 [1414]
110 1
.names n_n356 n_n357 n_n358 n_n360 n_n361 [1415]
1-110 1
11000 1
.names [66] [121] [280] [1414] [1421]
1--- 1
--1- 1
-1-1 1
.names [131] [281] [282] [283] [1422]
1--- 1
-1-- 1
--1- 1
---1 1
.names s1488_in_1_ n_n359 n_n360 [1425]
101 1
.names n_n356 n_n357 n_n359 n_n360 n_n361 [1426]
--10- 1
01-0- 1
0--01 1
.names [203] [121] [1330] [1425] [1429]
-11- 1
1--1 1
.names [87] [73] [111] [200] [1430]
1--- 1
--1- 1
-1-1 1
.names n_n358 n_n360 n_n361 [1434]
000 1
.names n_n356 n_n360 n_n361 [1435]
110 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ [260] [1435] [1436]
---1- 1
--1-1 1
11--1 1
.names s1488_in_0_ n_n357 [261] [263] [1434] [1437]
--1-- 1
---11 1
11--1 1
.names n_n356 n_n357 n_n358 n_n360 [1443]
0-1- 1
01-1 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [1444]
---1- 1
-01-- 1
1-0-1 1
.names n_n360 n_n361 [64] [247] [1443] [1447]
---1- 1
----1 1
101-- 1
.names s1488_in_0_ n_n356 n_n357 n_n361 [1450]
--11 1
101- 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 [1452]
01--1 1
--111 1
.names n_n356 n_n357 n_n358 n_n360 n_n361 [1453]
-01-0 1
0--10 1
.names n_n356 n_n358 n_n359 [1457]
100 1
.names s1488_in_3_ s1488_in_6_ n_n357 n_n360 n_n361 [1458]
11000 1
.names s1488_in_2_ n_n356 n_n357 n_n360 n_n361 [1462]
-01-0 1
0010- 1
.names n_n358 n_n360 [120] [1457] [1458] [1466]
---11 1
011-- 1
.names n_n357 n_n358 n_n360 n_n361 [1470]
--01 1
01-1 1
.names n_n356 n_n358 n_n359 n_n360 [1471]
-11- 1
01-1 1
0-11 1
.names [101] [105] [1471] [1473]
1-- 1
-1- 1
--1 1
.names n_n358 n_n359 n_n361 [1475]
1-- 1
-1- 1
--1 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 [1476]
11-- 1
--11 1
.names s1488_in_0_ s1488_in_4_ s1488_in_5_ n_n356 n_n357 [1478]
-00-- 1
1--01 1
.names n_n359 n_n360 n_n361 [1481]
101 1
.names n_n359 n_n360 n_n361 [1482]
011 1
.names n_n356 n_n357 n_n358 [131] [1481] [1483]
--01- 1
100-1 1
.names s1488_in_2_ n_n358 n_n359 [1484]
111 1
.names s1488_in_4_ s1488_in_5_ n_n361 [1486]
100 1
.names s1488_in_0_ n_n358 n_n359 [1488]
100 1
.names [53] [66] [63] [1488] [1490]
-1-- 1
--1- 1
1--1 1
.end