Hi VTR team,
I am trying to merge two .pre-vpr.blif files and run their combination by VPR, whose version is vFCCM_2023_NoC_Placement. I find it works fine most of the time. However, there are some cases that will trigger errors, whose types are the same:
Error 1:
Type: Unrecognized Error
File:
/home/frank/Desktop/Software/vtr-verilog-to-routing-vFCCM_2023_NoC_Placement/vpr/src/base/netlist.tpp
Line: 1550
Message: Inconsistent block data sizes
The entire flow of VPR took 0.12 seconds (max_rss 27.5
MiB)
I want to avoid the influence of synthesis, so I need to start VPR process using .blif file directly. Firstly, I run two Verilog RTL code files by odin_ii and ABC to get their .blif files, and then combine them to a single .blif file.
I merge them by put the same types of their content together. For example, I put the inputs description of first .blif file after the one of second .blif. I process all the types like .subckt, .latch this way. The specific info of the final .blif is provided at the end of this message.
I merge plenty of .blif files and run them by VPR. The command is as simple as it provided in quick start. Most of them run successfully, but some of them will throw out the error message provided before.
I am dedicated to EDA software testing, and I really want to know if the situation is a bug buried in the VPR. I would appreciate it if you could reply soon and explain it. It is really important for me.
Thank you!
Frank Franklin
Mar 20th, 2024
Attachment: Error .blif file complete infomation:
.model testPrograms1903_and_testPrograms1460
.inputs testPrograms1903^iv5 testPrograms1903^N~0 testPrograms1903^N~1 testPrograms1903^N~2 testPrograms1903^N~3 \
testPrograms1903^N~4 testPrograms1903^N~5 \
testPrograms1460^hg21Ar
.outputs testPrograms1903^WN~0 testPrograms1903^WN~1 testPrograms1903^WN~2 testPrograms1903^WN~3 testPrograms1903^WN~4 \
testPrograms1903^WN~5 testPrograms1903^WN~6 testPrograms1903^WN~7 testPrograms1903^a127 \
testPrograms1460^U0~0 testPrograms1460^U0~1
.subckt multiply a[0]=testPrograms1903^MIN~2-1[1] a[1]=unconn a[2]=unconn a[3]=unconn a[4]=unconn a[5]=unconn a[6]=unconn \
a[7]=unconn a[8]=unconn a[9]=unconn a[10]=unconn a[11]=unconn a[12]=unconn a[13]=unconn a[14]=unconn a[15]=unconn \
a[16]=unconn a[17]=unconn a[18]=unconn a[19]=unconn a[20]=unconn a[21]=unconn a[22]=unconn a[23]=unconn a[24]=unconn \
a[25]=unconn a[26]=unconn a[27]=unconn a[28]=unconn a[29]=unconn a[30]=unconn a[31]=unconn a[32]=unconn a[33]=unconn \
a[34]=unconn a[35]=unconn b[0]=gnd b[1]=gnd b[2]=vcc b[3]=gnd b[4]=vcc b[5]=gnd b[6]=vcc b[7]=gnd b[8]=vcc b[9]=vcc b[10]=gnd \
b[11]=gnd b[12]=gnd b[13]=gnd b[14]=gnd b[15]=gnd b[16]=gnd b[17]=gnd b[18]=gnd b[19]=gnd b[20]=gnd b[21]=gnd b[22]=gnd \
b[23]=gnd b[24]=gnd b[25]=gnd b[26]=gnd b[27]=gnd b[28]=gnd b[29]=gnd b[30]=gnd b[31]=gnd b[32]=unconn b[33]=unconn \
b[34]=unconn b[35]=unconn out[0]=testPrograms1903^MUL~4[0] out[1]=testPrograms1903^MUL~4[1] out[2]=testPrograms1903^MUL~4[2] \
out[3]=testPrograms1903^MUL~4[3] out[4]=testPrograms1903^MUL~4[4] out[5]=testPrograms1903^MUL~4[5] \
out[6]=testPrograms1903^MUL~4[6] out[7]=testPrograms1903^MUL~4[7] out[8]=testPrograms1903^MUL~4[8] \
out[9]=testPrograms1903^MUL~4[9] out[10]=testPrograms1903^MUL~4[10] out[11]=testPrograms1903^MUL~4[11] \
out[12]=testPrograms1903^MUL~4[12] out[13]=testPrograms1903^MUL~4[13] out[14]=testPrograms1903^MUL~4[14] \
out[15]=testPrograms1903^MUL~4[15] out[16]=testPrograms1903^MUL~4[16] out[17]=testPrograms1903^MUL~4[17] \
out[18]=testPrograms1903^MUL~4[18] out[19]=testPrograms1903^MUL~4[19] out[20]=testPrograms1903^MUL~4[20] \
out[21]=testPrograms1903^MUL~4[21] out[22]=testPrograms1903^MUL~4[22] out[23]=testPrograms1903^MUL~4[23] \
out[24]=testPrograms1903^MUL~4[24] out[25]=testPrograms1903^MUL~4[25] out[26]=testPrograms1903^MUL~4[26] \
out[27]=testPrograms1903^MUL~4[27] out[28]=testPrograms1903^MUL~4[28] out[29]=testPrograms1903^MUL~4[29] \
out[30]=testPrograms1903^MUL~4[30] out[31]=testPrograms1903^MUL~4[31] out[32]=testPrograms1903^MUL~4[32] \
out[33]=testPrograms1903^MUL~4[33] out[34]=testPrograms1903^MUL~4[34] out[35]=testPrograms1903^MUL~4[35] \
out[36]=testPrograms1903^MUL~4[36] out[37]=testPrograms1903^MUL~4[37] out[38]=testPrograms1903^MUL~4[38] \
out[39]=testPrograms1903^MUL~4[39] out[40]=testPrograms1903^MUL~4[40] out[41]=testPrograms1903^MUL~4[41] \
out[42]=testPrograms1903^MUL~4[42] out[43]=testPrograms1903^MUL~4[43] out[44]=testPrograms1903^MUL~4[44] \
out[45]=testPrograms1903^MUL~4[45] out[46]=testPrograms1903^MUL~4[46] out[47]=testPrograms1903^MUL~4[47] \
out[48]=testPrograms1903^MUL~4[48] out[49]=testPrograms1903^MUL~4[49] out[50]=testPrograms1903^MUL~4[50] \
out[51]=testPrograms1903^MUL~4[51] out[52]=testPrograms1903^MUL~4[52] out[53]=testPrograms1903^MUL~4[53] \
out[54]=testPrograms1903^MUL~4[54] out[55]=testPrograms1903^MUL~4[55] out[56]=testPrograms1903^MUL~4[56] \
out[57]=testPrograms1903^MUL~4[57] out[58]=testPrograms1903^MUL~4[58] out[59]=testPrograms1903^MUL~4[59] \
out[60]=testPrograms1903^MUL~4[60] out[61]=testPrograms1903^MUL~4[61] out[62]=testPrograms1903^MUL~4[62] \
out[63]=testPrograms1903^MUL~4[63] out[64]=testPrograms1903^MUL~4[64] out[65]=testPrograms1903^MUL~4[65] \
out[66]=testPrograms1903^MUL~4[66] out[67]=testPrograms1903^MUL~4[67] out[68]=testPrograms1903^MUL~4[68] \
out[69]=testPrograms1903^MUL~4[69] out[70]=testPrograms1903^MUL~4[70] out[71]=testPrograms1903^MUL~4[71]
.subckt adder a[0]=testPrograms1903^MUL~4[0] b[0]=vcc cin[0]=testPrograms1903^MIN~5-0[0] cout[0]=testPrograms1903^MIN~5-1[0] \
sumout[0]=testPrograms1903^MIN~5-1[1]
.subckt adder a[0]=testPrograms1903^bOR~8^lOR~625 b[0]=vcc cin[0]=testPrograms1903^MIN~16-0[0] \
cout[0]=testPrograms1903^MIN~16-1[0] sumout[0]=testPrograms1903^MIN~16-1[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-1[0] cout[0]=testPrograms1903^MIN~16-2[0] \
sumout[0]=testPrograms1903^MIN~16-2[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^MIN~16-2[0] cout[0]=testPrograms1903^MIN~16-3[0] \
sumout[0]=testPrograms1903^MIN~16-3[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-3[0] cout[0]=testPrograms1903^MIN~16-4[0] \
sumout[0]=testPrograms1903^MIN~16-4[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-4[0] cout[0]=testPrograms1903^MIN~16-5[0] \
sumout[0]=testPrograms1903^MIN~16-5[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-5[0] cout[0]=testPrograms1903^MIN~16-6[0] \
sumout[0]=testPrograms1903^MIN~16-6[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-6[0] cout[0]=testPrograms1903^MIN~16-7[0] \
sumout[0]=testPrograms1903^MIN~16-7[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-7[0] cout[0]=testPrograms1903^MIN~16-8[0] \
sumout[0]=testPrograms1903^MIN~16-8[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-8[0] cout[0]=testPrograms1903^MIN~16-9[0] \
sumout[0]=testPrograms1903^MIN~16-9[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-9[0] cout[0]=testPrograms1903^MIN~16-10[0] \
sumout[0]=testPrograms1903^MIN~16-10[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-10[0] cout[0]=testPrograms1903^MIN~16-11[0] \
sumout[0]=testPrograms1903^MIN~16-11[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-11[0] cout[0]=testPrograms1903^MIN~16-12[0] \
sumout[0]=testPrograms1903^MIN~16-12[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-12[0] cout[0]=testPrograms1903^MIN~16-13[0] \
sumout[0]=testPrograms1903^MIN~16-13[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-13[0] cout[0]=testPrograms1903^MIN~16-14[0] \
sumout[0]=testPrograms1903^MIN~16-14[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-14[0] cout[0]=testPrograms1903^MIN~16-15[0] \
sumout[0]=testPrograms1903^MIN~16-15[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-15[0] cout[0]=testPrograms1903^MIN~16-16[0] \
sumout[0]=testPrograms1903^MIN~16-16[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-16[0] cout[0]=testPrograms1903^MIN~16-17[0] \
sumout[0]=testPrograms1903^MIN~16-17[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-17[0] cout[0]=testPrograms1903^MIN~16-18[0] \
sumout[0]=testPrograms1903^MIN~16-18[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-18[0] cout[0]=testPrograms1903^MIN~16-19[0] \
sumout[0]=testPrograms1903^MIN~16-19[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-19[0] cout[0]=testPrograms1903^MIN~16-20[0] \
sumout[0]=testPrograms1903^MIN~16-20[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-20[0] cout[0]=testPrograms1903^MIN~16-21[0] \
sumout[0]=testPrograms1903^MIN~16-21[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-21[0] cout[0]=testPrograms1903^MIN~16-22[0] \
sumout[0]=testPrograms1903^MIN~16-22[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-22[0] cout[0]=testPrograms1903^MIN~16-23[0] \
sumout[0]=testPrograms1903^MIN~16-23[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-23[0] cout[0]=testPrograms1903^MIN~16-24[0] \
sumout[0]=testPrograms1903^MIN~16-24[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-24[0] cout[0]=testPrograms1903^MIN~16-25[0] \
sumout[0]=testPrograms1903^MIN~16-25[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-25[0] cout[0]=testPrograms1903^MIN~16-26[0] \
sumout[0]=testPrograms1903^MIN~16-26[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-26[0] cout[0]=testPrograms1903^MIN~16-27[0] \
sumout[0]=testPrograms1903^MIN~16-27[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-27[0] cout[0]=testPrograms1903^MIN~16-28[0] \
sumout[0]=testPrograms1903^MIN~16-28[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-28[0] cout[0]=testPrograms1903^MIN~16-29[0] \
sumout[0]=testPrograms1903^MIN~16-29[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-29[0] cout[0]=testPrograms1903^MIN~16-30[0] \
sumout[0]=testPrograms1903^MIN~16-30[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-30[0] cout[0]=testPrograms1903^MIN~16-31[0] \
sumout[0]=testPrograms1903^MIN~16-31[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~16-31[0] cout[0]=testPrograms1903^MIN~16-32~dummy_output~32~0 \
sumout[0]=testPrograms1903^MIN~16-32[1]
.subckt adder a[0]=testPrograms1903^MIN~16-32[1] b[0]=lNOT~109 cin[0]=testPrograms1903^MIN~18-31[0] \
cout[0]=testPrograms1903^MIN~18-32[0] sumout[0]=testPrograms1903^MIN~18-32[1]
.subckt adder a[0]=gnd b[0]=lNOT~110 cin[0]=testPrograms1903^MIN~18-32[0] \
cout[0]=testPrograms1903^MIN~18-33~dummy_output~33~0 sumout[0]=testPrograms1903^MIN~18-33[1]
.subckt multiply a[0]=testPrograms1903^MIN~18-1[1] a[1]=testPrograms1903^MIN~18-2[1] a[2]=testPrograms1903^MIN~18-3[1] \
a[3]=testPrograms1903^MIN~18-4[1] a[4]=testPrograms1903^MIN~18-5[1] a[5]=testPrograms1903^MIN~18-6[1] \
a[6]=testPrograms1903^MIN~18-7[1] a[7]=testPrograms1903^MIN~18-8[1] a[8]=testPrograms1903^MIN~18-9[1] \
a[9]=testPrograms1903^MIN~18-10[1] a[10]=testPrograms1903^MIN~18-11[1] a[11]=testPrograms1903^MIN~18-12[1] \
a[12]=testPrograms1903^MIN~18-13[1] a[13]=testPrograms1903^MIN~18-14[1] a[14]=testPrograms1903^MIN~18-15[1] \
a[15]=testPrograms1903^MIN~18-16[1] a[16]=testPrograms1903^MIN~18-17[1] a[17]=testPrograms1903^MIN~18-18[1] \
a[18]=testPrograms1903^MIN~18-19[1] a[19]=testPrograms1903^MIN~18-20[1] a[20]=testPrograms1903^MIN~18-21[1] \
a[21]=testPrograms1903^MIN~18-22[1] a[22]=testPrograms1903^MIN~18-23[1] a[23]=testPrograms1903^MIN~18-24[1] \
a[24]=testPrograms1903^MIN~18-25[1] a[25]=testPrograms1903^MIN~18-26[1] a[26]=testPrograms1903^MIN~18-27[1] \
a[27]=testPrograms1903^MIN~18-28[1] a[28]=testPrograms1903^MIN~18-29[1] a[29]=testPrograms1903^MIN~18-30[1] \
a[30]=testPrograms1903^MIN~18-31[1] a[31]=testPrograms1903^MIN~18-32[1] a[32]=testPrograms1903^MIN~18-33[1] a[33]=unconn \
a[34]=unconn a[35]=unconn b[0]=vcc b[1]=vcc b[2]=vcc b[3]=gnd b[4]=gnd b[5]=gnd b[6]=gnd b[7]=gnd b[8]=gnd b[9]=gnd b[10]=gnd \
b[11]=gnd b[12]=gnd b[13]=gnd b[14]=gnd b[15]=gnd b[16]=gnd b[17]=gnd b[18]=gnd b[19]=gnd b[20]=gnd b[21]=gnd b[22]=gnd \
b[23]=gnd b[24]=gnd b[25]=gnd b[26]=gnd b[27]=gnd b[28]=gnd b[29]=gnd b[30]=gnd b[31]=gnd b[32]=unconn b[33]=unconn \
b[34]=unconn b[35]=unconn out[0]=testPrograms1903^MUL~19[0] out[1]=testPrograms1903^MUL~19[1] \
out[2]=testPrograms1903^MUL~19[2] out[3]=testPrograms1903^MUL~19[3] out[4]=testPrograms1903^MUL~19[4] \
out[5]=testPrograms1903^MUL~19[5] out[6]=testPrograms1903^MUL~19[6] out[7]=testPrograms1903^MUL~19[7] \
out[8]=testPrograms1903^MUL~19[8] out[9]=testPrograms1903^MUL~19[9] out[10]=testPrograms1903^MUL~19[10] \
out[11]=testPrograms1903^MUL~19[11] out[12]=testPrograms1903^MUL~19[12] out[13]=testPrograms1903^MUL~19[13] \
out[14]=testPrograms1903^MUL~19[14] out[15]=testPrograms1903^MUL~19[15] out[16]=testPrograms1903^MUL~19[16] \
out[17]=testPrograms1903^MUL~19[17] out[18]=testPrograms1903^MUL~19[18] out[19]=testPrograms1903^MUL~19[19] \
out[20]=testPrograms1903^MUL~19[20] out[21]=testPrograms1903^MUL~19[21] out[22]=testPrograms1903^MUL~19[22] \
out[23]=testPrograms1903^MUL~19[23] out[24]=testPrograms1903^MUL~19[24] out[25]=testPrograms1903^MUL~19[25] \
out[26]=testPrograms1903^MUL~19[26] out[27]=testPrograms1903^MUL~19[27] out[28]=testPrograms1903^MUL~19[28] \
out[29]=testPrograms1903^MUL~19[29] out[30]=testPrograms1903^MUL~19[30] out[31]=testPrograms1903^MUL~19[31] \
out[32]=testPrograms1903^MUL~19[32] out[33]=testPrograms1903^MUL~19[33] out[34]=testPrograms1903^MUL~19[34] \
out[35]=testPrograms1903^MUL~19[35] out[36]=testPrograms1903^MUL~19[36] out[37]=testPrograms1903^MUL~19[37] \
out[38]=testPrograms1903^MUL~19[38] out[39]=testPrograms1903^MUL~19[39] out[40]=testPrograms1903^MUL~19[40] \
out[41]=testPrograms1903^MUL~19[41] out[42]=testPrograms1903^MUL~19[42] out[43]=testPrograms1903^MUL~19[43] \
out[44]=testPrograms1903^MUL~19[44] out[45]=testPrograms1903^MUL~19[45] out[46]=testPrograms1903^MUL~19[46] \
out[47]=testPrograms1903^MUL~19[47] out[48]=testPrograms1903^MUL~19[48] out[49]=testPrograms1903^MUL~19[49] \
out[50]=testPrograms1903^MUL~19[50] out[51]=testPrograms1903^MUL~19[51] out[52]=testPrograms1903^MUL~19[52] \
out[53]=testPrograms1903^MUL~19[53] out[54]=testPrograms1903^MUL~19[54] out[55]=testPrograms1903^MUL~19[55] \
out[56]=testPrograms1903^MUL~19[56] out[57]=testPrograms1903^MUL~19[57] out[58]=testPrograms1903^MUL~19[58] \
out[59]=testPrograms1903^MUL~19[59] out[60]=testPrograms1903^MUL~19[60] out[61]=testPrograms1903^MUL~19[61] \
out[62]=testPrograms1903^MUL~19[62] out[63]=testPrograms1903^MUL~19[63] out[64]=testPrograms1903^MUL~19[64] \
out[65]=testPrograms1903^MUL~19[65] out[66]=testPrograms1903^MUL~19[66] out[67]=testPrograms1903^MUL~19[67] \
out[68]=testPrograms1903^MUL~19[68] out[69]=testPrograms1903^MUL~19[69] out[70]=testPrograms1903^MUL~19[70] \
out[71]=testPrograms1903^MUL~19[71]
.subckt adder a[0]=testPrograms1903^MIN~16-31[1] b[0]=lNOT~108 cin[0]=testPrograms1903^MIN~18-30[0] \
cout[0]=testPrograms1903^MIN~18-31[0] sumout[0]=testPrograms1903^MIN~18-31[1]
.subckt adder a[0]=testPrograms1903^MIN~16-30[1] b[0]=lNOT~107 cin[0]=testPrograms1903^MIN~18-29[0] \
cout[0]=testPrograms1903^MIN~18-30[0] sumout[0]=testPrograms1903^MIN~18-30[1]
.subckt adder a[0]=testPrograms1903^MIN~16-29[1] b[0]=lNOT~106 cin[0]=testPrograms1903^MIN~18-28[0] \
cout[0]=testPrograms1903^MIN~18-29[0] sumout[0]=testPrograms1903^MIN~18-29[1]
.subckt adder a[0]=testPrograms1903^MIN~16-28[1] b[0]=lNOT~105 cin[0]=testPrograms1903^MIN~18-27[0] \
cout[0]=testPrograms1903^MIN~18-28[0] sumout[0]=testPrograms1903^MIN~18-28[1]
.subckt adder a[0]=testPrograms1903^MIN~16-27[1] b[0]=lNOT~104 cin[0]=testPrograms1903^MIN~18-26[0] \
cout[0]=testPrograms1903^MIN~18-27[0] sumout[0]=testPrograms1903^MIN~18-27[1]
.subckt adder a[0]=testPrograms1903^MIN~16-26[1] b[0]=lNOT~103 cin[0]=testPrograms1903^MIN~18-25[0] \
cout[0]=testPrograms1903^MIN~18-26[0] sumout[0]=testPrograms1903^MIN~18-26[1]
.subckt adder a[0]=testPrograms1903^MIN~16-25[1] b[0]=lNOT~102 cin[0]=testPrograms1903^MIN~18-24[0] \
cout[0]=testPrograms1903^MIN~18-25[0] sumout[0]=testPrograms1903^MIN~18-25[1]
.subckt adder a[0]=testPrograms1903^MIN~16-24[1] b[0]=lNOT~101 cin[0]=testPrograms1903^MIN~18-23[0] \
cout[0]=testPrograms1903^MIN~18-24[0] sumout[0]=testPrograms1903^MIN~18-24[1]
.subckt adder a[0]=testPrograms1903^MIN~16-23[1] b[0]=lNOT~100 cin[0]=testPrograms1903^MIN~18-22[0] \
cout[0]=testPrograms1903^MIN~18-23[0] sumout[0]=testPrograms1903^MIN~18-23[1]
.subckt adder a[0]=testPrograms1903^MIN~16-22[1] b[0]=lNOT~99 cin[0]=testPrograms1903^MIN~18-21[0] \
cout[0]=testPrograms1903^MIN~18-22[0] sumout[0]=testPrograms1903^MIN~18-22[1]
.subckt adder a[0]=testPrograms1903^MIN~16-21[1] b[0]=lNOT~98 cin[0]=testPrograms1903^MIN~18-20[0] \
cout[0]=testPrograms1903^MIN~18-21[0] sumout[0]=testPrograms1903^MIN~18-21[1]
.subckt adder a[0]=testPrograms1903^MIN~16-20[1] b[0]=lNOT~97 cin[0]=testPrograms1903^MIN~18-19[0] \
cout[0]=testPrograms1903^MIN~18-20[0] sumout[0]=testPrograms1903^MIN~18-20[1]
.subckt adder a[0]=testPrograms1903^MIN~16-19[1] b[0]=lNOT~96 cin[0]=testPrograms1903^MIN~18-18[0] \
cout[0]=testPrograms1903^MIN~18-19[0] sumout[0]=testPrograms1903^MIN~18-19[1]
.subckt adder a[0]=testPrograms1903^MIN~16-18[1] b[0]=lNOT~95 cin[0]=testPrograms1903^MIN~18-17[0] \
cout[0]=testPrograms1903^MIN~18-18[0] sumout[0]=testPrograms1903^MIN~18-18[1]
.subckt adder a[0]=testPrograms1903^MIN~16-17[1] b[0]=lNOT~94 cin[0]=testPrograms1903^MIN~18-16[0] \
cout[0]=testPrograms1903^MIN~18-17[0] sumout[0]=testPrograms1903^MIN~18-17[1]
.subckt adder a[0]=testPrograms1903^MIN~16-16[1] b[0]=lNOT~93 cin[0]=testPrograms1903^MIN~18-15[0] \
cout[0]=testPrograms1903^MIN~18-16[0] sumout[0]=testPrograms1903^MIN~18-16[1]
.subckt adder a[0]=testPrograms1903^MIN~16-15[1] b[0]=lNOT~92 cin[0]=testPrograms1903^MIN~18-14[0] \
cout[0]=testPrograms1903^MIN~18-15[0] sumout[0]=testPrograms1903^MIN~18-15[1]
.subckt adder a[0]=testPrograms1903^MIN~16-14[1] b[0]=lNOT~91 cin[0]=testPrograms1903^MIN~18-13[0] \
cout[0]=testPrograms1903^MIN~18-14[0] sumout[0]=testPrograms1903^MIN~18-14[1]
.subckt adder a[0]=testPrograms1903^MIN~16-13[1] b[0]=lNOT~90 cin[0]=testPrograms1903^MIN~18-12[0] \
cout[0]=testPrograms1903^MIN~18-13[0] sumout[0]=testPrograms1903^MIN~18-13[1]
.subckt adder a[0]=testPrograms1903^MIN~16-12[1] b[0]=lNOT~89 cin[0]=testPrograms1903^MIN~18-11[0] \
cout[0]=testPrograms1903^MIN~18-12[0] sumout[0]=testPrograms1903^MIN~18-12[1]
.subckt adder a[0]=testPrograms1903^MIN~16-11[1] b[0]=lNOT~88 cin[0]=testPrograms1903^MIN~18-10[0] \
cout[0]=testPrograms1903^MIN~18-11[0] sumout[0]=testPrograms1903^MIN~18-11[1]
.subckt adder a[0]=testPrograms1903^MIN~16-10[1] b[0]=lNOT~87 cin[0]=testPrograms1903^MIN~18-9[0] \
cout[0]=testPrograms1903^MIN~18-10[0] sumout[0]=testPrograms1903^MIN~18-10[1]
.subckt adder a[0]=testPrograms1903^MIN~16-9[1] b[0]=lNOT~86 cin[0]=testPrograms1903^MIN~18-8[0] \
cout[0]=testPrograms1903^MIN~18-9[0] sumout[0]=testPrograms1903^MIN~18-9[1]
.subckt adder a[0]=testPrograms1903^MIN~16-8[1] b[0]=lNOT~85 cin[0]=testPrograms1903^MIN~18-7[0] \
cout[0]=testPrograms1903^MIN~18-8[0] sumout[0]=testPrograms1903^MIN~18-8[1]
.subckt adder a[0]=testPrograms1903^MIN~16-7[1] b[0]=lNOT~84 cin[0]=testPrograms1903^MIN~18-6[0] \
cout[0]=testPrograms1903^MIN~18-7[0] sumout[0]=testPrograms1903^MIN~18-7[1]
.subckt adder a[0]=testPrograms1903^MIN~16-6[1] b[0]=lNOT~83 cin[0]=testPrograms1903^MIN~18-5[0] \
cout[0]=testPrograms1903^MIN~18-6[0] sumout[0]=testPrograms1903^MIN~18-6[1]
.subckt adder a[0]=testPrograms1903^MIN~16-5[1] b[0]=lNOT~82 cin[0]=testPrograms1903^MIN~18-4[0] \
cout[0]=testPrograms1903^MIN~18-5[0] sumout[0]=testPrograms1903^MIN~18-5[1]
.subckt adder a[0]=testPrograms1903^MIN~16-4[1] b[0]=lNOT~81 cin[0]=testPrograms1903^MIN~18-3[0] \
cout[0]=testPrograms1903^MIN~18-4[0] sumout[0]=testPrograms1903^MIN~18-4[1]
.subckt adder a[0]=testPrograms1903^MIN~16-3[1] b[0]=lNOT~80 cin[0]=testPrograms1903^MIN~18-2[0] \
cout[0]=testPrograms1903^MIN~18-3[0] sumout[0]=testPrograms1903^MIN~18-3[1]
.subckt adder a[0]=testPrograms1903^MIN~16-2[1] b[0]=lNOT~79 cin[0]=testPrograms1903^MIN~18-1[0] \
cout[0]=testPrograms1903^MIN~18-2[0] sumout[0]=testPrograms1903^MIN~18-2[1]
.subckt adder a[0]=testPrograms1903^MIN~16-1[1] b[0]=lNOT~78 cin[0]=testPrograms1903^MIN~18-0[0] \
cout[0]=testPrograms1903^MIN~18-1[0] sumout[0]=testPrograms1903^MIN~18-1[1]
.subckt multiply a[0]=vcc a[1]=vcc a[2]=vcc a[3]=gnd a[4]=gnd a[5]=vcc a[6]=vcc a[7]=gnd a[8]=vcc a[9]=gnd a[10]=gnd \
a[11]=gnd a[12]=gnd a[13]=gnd a[14]=gnd a[15]=gnd a[16]=gnd a[17]=gnd a[18]=gnd a[19]=gnd a[20]=gnd a[21]=gnd a[22]=gnd \
a[23]=gnd a[24]=gnd a[25]=gnd a[26]=gnd a[27]=gnd a[28]=gnd a[29]=gnd a[30]=gnd a[31]=gnd a[32]=unconn a[33]=unconn \
a[34]=unconn a[35]=unconn b[0]=testPrograms1903^iv5 b[1]=unconn b[2]=unconn b[3]=unconn b[4]=unconn b[5]=unconn b[6]=unconn \
b[7]=unconn b[8]=unconn b[9]=unconn b[10]=unconn b[11]=unconn b[12]=unconn b[13]=unconn b[14]=unconn b[15]=unconn \
b[16]=unconn b[17]=unconn b[18]=unconn b[19]=unconn b[20]=unconn b[21]=unconn b[22]=unconn b[23]=unconn b[24]=unconn \
b[25]=unconn b[26]=unconn b[27]=unconn b[28]=unconn b[29]=unconn b[30]=unconn b[31]=unconn b[32]=unconn b[33]=unconn \
b[34]=unconn b[35]=unconn out[0]=testPrograms1903^MUL~7[0] out[1]=testPrograms1903^MUL~7[1] out[2]=testPrograms1903^MUL~7[2] \
out[3]=testPrograms1903^MUL~7[3] out[4]=testPrograms1903^MUL~7[4] out[5]=testPrograms1903^MUL~7[5] \
out[6]=testPrograms1903^MUL~7[6] out[7]=testPrograms1903^MUL~7[7] out[8]=testPrograms1903^MUL~7[8] \
out[9]=testPrograms1903^MUL~7[9] out[10]=testPrograms1903^MUL~7[10] out[11]=testPrograms1903^MUL~7[11] \
out[12]=testPrograms1903^MUL~7[12] out[13]=testPrograms1903^MUL~7[13] out[14]=testPrograms1903^MUL~7[14] \
out[15]=testPrograms1903^MUL~7[15] out[16]=testPrograms1903^MUL~7[16] out[17]=testPrograms1903^MUL~7[17] \
out[18]=testPrograms1903^MUL~7[18] out[19]=testPrograms1903^MUL~7[19] out[20]=testPrograms1903^MUL~7[20] \
out[21]=testPrograms1903^MUL~7[21] out[22]=testPrograms1903^MUL~7[22] out[23]=testPrograms1903^MUL~7[23] \
out[24]=testPrograms1903^MUL~7[24] out[25]=testPrograms1903^MUL~7[25] out[26]=testPrograms1903^MUL~7[26] \
out[27]=testPrograms1903^MUL~7[27] out[28]=testPrograms1903^MUL~7[28] out[29]=testPrograms1903^MUL~7[29] \
out[30]=testPrograms1903^MUL~7[30] out[31]=testPrograms1903^MUL~7[31] out[32]=testPrograms1903^MUL~7[32] \
out[33]=testPrograms1903^MUL~7[33] out[34]=testPrograms1903^MUL~7[34] out[35]=testPrograms1903^MUL~7[35] \
out[36]=testPrograms1903^MUL~7[36] out[37]=testPrograms1903^MUL~7[37] out[38]=testPrograms1903^MUL~7[38] \
out[39]=testPrograms1903^MUL~7[39] out[40]=testPrograms1903^MUL~7[40] out[41]=testPrograms1903^MUL~7[41] \
out[42]=testPrograms1903^MUL~7[42] out[43]=testPrograms1903^MUL~7[43] out[44]=testPrograms1903^MUL~7[44] \
out[45]=testPrograms1903^MUL~7[45] out[46]=testPrograms1903^MUL~7[46] out[47]=testPrograms1903^MUL~7[47] \
out[48]=testPrograms1903^MUL~7[48] out[49]=testPrograms1903^MUL~7[49] out[50]=testPrograms1903^MUL~7[50] \
out[51]=testPrograms1903^MUL~7[51] out[52]=testPrograms1903^MUL~7[52] out[53]=testPrograms1903^MUL~7[53] \
out[54]=testPrograms1903^MUL~7[54] out[55]=testPrograms1903^MUL~7[55] out[56]=testPrograms1903^MUL~7[56] \
out[57]=testPrograms1903^MUL~7[57] out[58]=testPrograms1903^MUL~7[58] out[59]=testPrograms1903^MUL~7[59] \
out[60]=testPrograms1903^MUL~7[60] out[61]=testPrograms1903^MUL~7[61] out[62]=testPrograms1903^MUL~7[62] \
out[63]=testPrograms1903^MUL~7[63] out[64]=testPrograms1903^MUL~7[64] out[65]=testPrograms1903^MUL~7[65] \
out[66]=testPrograms1903^MUL~7[66] out[67]=testPrograms1903^MUL~7[67] out[68]=testPrograms1903^MUL~7[68] \
out[69]=testPrograms1903^MUL~7[69] out[70]=testPrograms1903^MUL~7[70] out[71]=testPrograms1903^MUL~7[71]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^MIN~11-6[0] cout[0]=testPrograms1903^MIN~11-7[0] \
sumout[0]=testPrograms1903^MIN~11-7[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-7[0] cout[0]=testPrograms1903^MIN~11-8[0] \
sumout[0]=testPrograms1903^MIN~11-8[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^MIN~11-8[0] cout[0]=testPrograms1903^MIN~11-9[0] \
sumout[0]=testPrograms1903^MIN~11-9[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^MIN~11-9[0] cout[0]=testPrograms1903^MIN~11-10[0] \
sumout[0]=testPrograms1903^MIN~11-10[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-10[0] cout[0]=testPrograms1903^MIN~11-11[0] \
sumout[0]=testPrograms1903^MIN~11-11[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-11[0] cout[0]=testPrograms1903^MIN~11-12[0] \
sumout[0]=testPrograms1903^MIN~11-12[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-12[0] cout[0]=testPrograms1903^MIN~11-13[0] \
sumout[0]=testPrograms1903^MIN~11-13[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-13[0] cout[0]=testPrograms1903^MIN~11-14[0] \
sumout[0]=testPrograms1903^MIN~11-14[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-14[0] cout[0]=testPrograms1903^MIN~11-15[0] \
sumout[0]=testPrograms1903^MIN~11-15[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-15[0] cout[0]=testPrograms1903^MIN~11-16[0] \
sumout[0]=testPrograms1903^MIN~11-16[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-16[0] cout[0]=testPrograms1903^MIN~11-17[0] \
sumout[0]=testPrograms1903^MIN~11-17[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-17[0] cout[0]=testPrograms1903^MIN~11-18[0] \
sumout[0]=testPrograms1903^MIN~11-18[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-18[0] cout[0]=testPrograms1903^MIN~11-19[0] \
sumout[0]=testPrograms1903^MIN~11-19[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-19[0] cout[0]=testPrograms1903^MIN~11-20[0] \
sumout[0]=testPrograms1903^MIN~11-20[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-20[0] cout[0]=testPrograms1903^MIN~11-21[0] \
sumout[0]=testPrograms1903^MIN~11-21[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-21[0] cout[0]=testPrograms1903^MIN~11-22[0] \
sumout[0]=testPrograms1903^MIN~11-22[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-22[0] cout[0]=testPrograms1903^MIN~11-23[0] \
sumout[0]=testPrograms1903^MIN~11-23[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-23[0] cout[0]=testPrograms1903^MIN~11-24[0] \
sumout[0]=testPrograms1903^MIN~11-24[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-24[0] cout[0]=testPrograms1903^MIN~11-25[0] \
sumout[0]=testPrograms1903^MIN~11-25[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-25[0] cout[0]=testPrograms1903^MIN~11-26[0] \
sumout[0]=testPrograms1903^MIN~11-26[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-26[0] cout[0]=testPrograms1903^MIN~11-27[0] \
sumout[0]=testPrograms1903^MIN~11-27[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-27[0] cout[0]=testPrograms1903^MIN~11-28[0] \
sumout[0]=testPrograms1903^MIN~11-28[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-28[0] cout[0]=testPrograms1903^MIN~11-29[0] \
sumout[0]=testPrograms1903^MIN~11-29[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-29[0] cout[0]=testPrograms1903^MIN~11-30[0] \
sumout[0]=testPrograms1903^MIN~11-30[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-30[0] cout[0]=testPrograms1903^MIN~11-31[0] \
sumout[0]=testPrograms1903^MIN~11-31[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~11-31[0] cout[0]=testPrograms1903^MIN~11-32~dummy_output~32~0 \
sumout[0]=testPrograms1903^MIN~11-32[1]
.subckt adder a[0]=testPrograms1903^nMUX~10^MUX_2~292 b[0]=lNOT~45 cin[0]=testPrograms1903^MIN~28-0[0] \
cout[0]=testPrograms1903^MIN~28-1~dummy_output~1~0 sumout[0]=testPrograms1903^MIN~28-1[1]
.subckt adder a[0]=testPrograms1903^N~0 b[0]=gnd cin[0]=testPrograms1903^ADD~15-0[0] cout[0]=testPrograms1903^ADD~15-1[0] \
sumout[0]=testPrograms1903^ADD~15-1[1]
.subckt adder a[0]=testPrograms1903^N~1 b[0]=gnd cin[0]=testPrograms1903^ADD~15-1[0] cout[0]=testPrograms1903^ADD~15-2[0] \
sumout[0]=testPrograms1903^ADD~15-2[1]
.subckt adder a[0]=testPrograms1903^N~2 b[0]=vcc cin[0]=testPrograms1903^ADD~15-2[0] cout[0]=testPrograms1903^ADD~15-3[0] \
sumout[0]=testPrograms1903^ADD~15-3[1]
.subckt adder a[0]=testPrograms1903^N~3 b[0]=vcc cin[0]=testPrograms1903^ADD~15-3[0] cout[0]=testPrograms1903^ADD~15-4[0] \
sumout[0]=testPrograms1903^ADD~15-4[1]
.subckt adder a[0]=testPrograms1903^N~4 b[0]=vcc cin[0]=testPrograms1903^ADD~15-4[0] cout[0]=testPrograms1903^ADD~15-5[0] \
sumout[0]=testPrograms1903^ADD~15-5[1]
.subckt adder a[0]=testPrograms1903^N~5 b[0]=vcc cin[0]=testPrograms1903^ADD~15-5[0] cout[0]=testPrograms1903^ADD~15-6[0] \
sumout[0]=testPrograms1903^ADD~15-6[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-6[0] cout[0]=testPrograms1903^ADD~15-7[0] \
sumout[0]=testPrograms1903^ADD~15-7[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-7[0] cout[0]=testPrograms1903^ADD~15-8[0] \
sumout[0]=testPrograms1903^ADD~15-8[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-8[0] cout[0]=testPrograms1903^ADD~15-9[0] \
sumout[0]=testPrograms1903^ADD~15-9[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-9[0] cout[0]=testPrograms1903^ADD~15-10[0] \
sumout[0]=testPrograms1903^ADD~15-10[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-10[0] cout[0]=testPrograms1903^ADD~15-11[0] \
sumout[0]=testPrograms1903^ADD~15-11[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-11[0] cout[0]=testPrograms1903^ADD~15-12[0] \
sumout[0]=testPrograms1903^ADD~15-12[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-12[0] cout[0]=testPrograms1903^ADD~15-13[0] \
sumout[0]=testPrograms1903^ADD~15-13[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-13[0] cout[0]=testPrograms1903^ADD~15-14[0] \
sumout[0]=testPrograms1903^ADD~15-14[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-14[0] cout[0]=testPrograms1903^ADD~15-15[0] \
sumout[0]=testPrograms1903^ADD~15-15[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-15[0] cout[0]=testPrograms1903^ADD~15-16[0] \
sumout[0]=testPrograms1903^ADD~15-16[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-16[0] cout[0]=testPrograms1903^ADD~15-17[0] \
sumout[0]=testPrograms1903^ADD~15-17[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-17[0] cout[0]=testPrograms1903^ADD~15-18[0] \
sumout[0]=testPrograms1903^ADD~15-18[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-18[0] cout[0]=testPrograms1903^ADD~15-19[0] \
sumout[0]=testPrograms1903^ADD~15-19[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-19[0] cout[0]=testPrograms1903^ADD~15-20[0] \
sumout[0]=testPrograms1903^ADD~15-20[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-20[0] cout[0]=testPrograms1903^ADD~15-21[0] \
sumout[0]=testPrograms1903^ADD~15-21[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-21[0] cout[0]=testPrograms1903^ADD~15-22[0] \
sumout[0]=testPrograms1903^ADD~15-22[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-22[0] cout[0]=testPrograms1903^ADD~15-23[0] \
sumout[0]=testPrograms1903^ADD~15-23[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-23[0] cout[0]=testPrograms1903^ADD~15-24[0] \
sumout[0]=testPrograms1903^ADD~15-24[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-24[0] cout[0]=testPrograms1903^ADD~15-25[0] \
sumout[0]=testPrograms1903^ADD~15-25[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-25[0] cout[0]=testPrograms1903^ADD~15-26[0] \
sumout[0]=testPrograms1903^ADD~15-26[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-26[0] cout[0]=testPrograms1903^ADD~15-27[0] \
sumout[0]=testPrograms1903^ADD~15-27[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-27[0] cout[0]=testPrograms1903^ADD~15-28[0] \
sumout[0]=testPrograms1903^ADD~15-28[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-28[0] cout[0]=testPrograms1903^ADD~15-29[0] \
sumout[0]=testPrograms1903^ADD~15-29[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-29[0] cout[0]=testPrograms1903^ADD~15-30[0] \
sumout[0]=testPrograms1903^ADD~15-30[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-30[0] cout[0]=testPrograms1903^ADD~15-31[0] \
sumout[0]=testPrograms1903^ADD~15-31[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-31[0] cout[0]=testPrograms1903^ADD~15-32[0] \
sumout[0]=testPrograms1903^ADD~15-32[1]
.subckt adder a[0]=gnd b[0]=gnd cin[0]=testPrograms1903^ADD~15-32[0] cout[0]=testPrograms1903^ADD~15-33~dummy_output~33~0 \
sumout[0]=testPrograms1903^ADD~15-33[1]
.subckt multiply a[0]=testPrograms1903^MIN~2-1[1] a[1]=unconn a[2]=unconn a[3]=unconn a[4]=unconn a[5]=unconn a[6]=unconn \
a[7]=unconn a[8]=unconn a[9]=unconn a[10]=unconn a[11]=unconn a[12]=unconn a[13]=unconn a[14]=unconn a[15]=unconn \
a[16]=unconn a[17]=unconn a[18]=unconn a[19]=unconn a[20]=unconn a[21]=unconn a[22]=unconn a[23]=unconn a[24]=unconn \
a[25]=unconn a[26]=unconn a[27]=unconn a[28]=unconn a[29]=unconn a[30]=unconn a[31]=unconn a[32]=unconn a[33]=unconn \
a[34]=unconn a[35]=unconn b[0]=vcc b[1]=vcc b[2]=gnd b[3]=vcc b[4]=gnd b[5]=gnd b[6]=vcc b[7]=gnd b[8]=gnd b[9]=gnd b[10]=gnd \
b[11]=gnd b[12]=gnd b[13]=gnd b[14]=gnd b[15]=gnd b[16]=gnd b[17]=gnd b[18]=gnd b[19]=gnd b[20]=gnd b[21]=gnd b[22]=gnd \
b[23]=gnd b[24]=gnd b[25]=gnd b[26]=gnd b[27]=gnd b[28]=gnd b[29]=gnd b[30]=gnd b[31]=gnd b[32]=unconn b[33]=unconn \
b[34]=unconn b[35]=unconn out[0]=testPrograms1903^MUL~17[0] out[1]=testPrograms1903^MUL~17[1] \
out[2]=testPrograms1903^MUL~17[2] out[3]=testPrograms1903^MUL~17[3] out[4]=testPrograms1903^MUL~17[4] \
out[5]=testPrograms1903^MUL~17[5] out[6]=testPrograms1903^MUL~17[6] out[7]=testPrograms1903^MUL~17[7] \
out[8]=testPrograms1903^MUL~17[8] out[9]=testPrograms1903^MUL~17[9] out[10]=testPrograms1903^MUL~17[10] \
out[11]=testPrograms1903^MUL~17[11] out[12]=testPrograms1903^MUL~17[12] out[13]=testPrograms1903^MUL~17[13] \
out[14]=testPrograms1903^MUL~17[14] out[15]=testPrograms1903^MUL~17[15] out[16]=testPrograms1903^MUL~17[16] \
out[17]=testPrograms1903^MUL~17[17] out[18]=testPrograms1903^MUL~17[18] out[19]=testPrograms1903^MUL~17[19] \
out[20]=testPrograms1903^MUL~17[20] out[21]=testPrograms1903^MUL~17[21] out[22]=testPrograms1903^MUL~17[22] \
out[23]=testPrograms1903^MUL~17[23] out[24]=testPrograms1903^MUL~17[24] out[25]=testPrograms1903^MUL~17[25] \
out[26]=testPrograms1903^MUL~17[26] out[27]=testPrograms1903^MUL~17[27] out[28]=testPrograms1903^MUL~17[28] \
out[29]=testPrograms1903^MUL~17[29] out[30]=testPrograms1903^MUL~17[30] out[31]=testPrograms1903^MUL~17[31] \
out[32]=testPrograms1903^MUL~17[32] out[33]=testPrograms1903^MUL~17[33] out[34]=testPrograms1903^MUL~17[34] \
out[35]=testPrograms1903^MUL~17[35] out[36]=testPrograms1903^MUL~17[36] out[37]=testPrograms1903^MUL~17[37] \
out[38]=testPrograms1903^MUL~17[38] out[39]=testPrograms1903^MUL~17[39] out[40]=testPrograms1903^MUL~17[40] \
out[41]=testPrograms1903^MUL~17[41] out[42]=testPrograms1903^MUL~17[42] out[43]=testPrograms1903^MUL~17[43] \
out[44]=testPrograms1903^MUL~17[44] out[45]=testPrograms1903^MUL~17[45] out[46]=testPrograms1903^MUL~17[46] \
out[47]=testPrograms1903^MUL~17[47] out[48]=testPrograms1903^MUL~17[48] out[49]=testPrograms1903^MUL~17[49] \
out[50]=testPrograms1903^MUL~17[50] out[51]=testPrograms1903^MUL~17[51] out[52]=testPrograms1903^MUL~17[52] \
out[53]=testPrograms1903^MUL~17[53] out[54]=testPrograms1903^MUL~17[54] out[55]=testPrograms1903^MUL~17[55] \
out[56]=testPrograms1903^MUL~17[56] out[57]=testPrograms1903^MUL~17[57] out[58]=testPrograms1903^MUL~17[58] \
out[59]=testPrograms1903^MUL~17[59] out[60]=testPrograms1903^MUL~17[60] out[61]=testPrograms1903^MUL~17[61] \
out[62]=testPrograms1903^MUL~17[62] out[63]=testPrograms1903^MUL~17[63] out[64]=testPrograms1903^MUL~17[64] \
out[65]=testPrograms1903^MUL~17[65] out[66]=testPrograms1903^MUL~17[66] out[67]=testPrograms1903^MUL~17[67] \
out[68]=testPrograms1903^MUL~17[68] out[69]=testPrograms1903^MUL~17[69] out[70]=testPrograms1903^MUL~17[70] \
out[71]=testPrograms1903^MUL~17[71]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-1[0] cout[0]=testPrograms1903^MIN~24-2[0] \
sumout[0]=testPrograms1903^MIN~24-2[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-2[0] cout[0]=testPrograms1903^MIN~24-3[0] \
sumout[0]=testPrograms1903^MIN~24-3[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-3[0] cout[0]=testPrograms1903^MIN~24-4[0] \
sumout[0]=testPrograms1903^MIN~24-4[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-4[0] cout[0]=testPrograms1903^MIN~24-5[0] \
sumout[0]=testPrograms1903^MIN~24-5[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-5[0] cout[0]=testPrograms1903^MIN~24-6[0] \
sumout[0]=testPrograms1903^MIN~24-6[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-6[0] cout[0]=testPrograms1903^MIN~24-7[0] \
sumout[0]=testPrograms1903^MIN~24-7[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-7[0] cout[0]=testPrograms1903^MIN~24-8[0] \
sumout[0]=testPrograms1903^MIN~24-8[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-8[0] cout[0]=testPrograms1903^MIN~24-9[0] \
sumout[0]=testPrograms1903^MIN~24-9[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-9[0] cout[0]=testPrograms1903^MIN~24-10[0] \
sumout[0]=testPrograms1903^MIN~24-10[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-10[0] cout[0]=testPrograms1903^MIN~24-11[0] \
sumout[0]=testPrograms1903^MIN~24-11[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-11[0] cout[0]=testPrograms1903^MIN~24-12[0] \
sumout[0]=testPrograms1903^MIN~24-12[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-12[0] cout[0]=testPrograms1903^MIN~24-13[0] \
sumout[0]=testPrograms1903^MIN~24-13[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-13[0] cout[0]=testPrograms1903^MIN~24-14[0] \
sumout[0]=testPrograms1903^MIN~24-14[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-14[0] cout[0]=testPrograms1903^MIN~24-15[0] \
sumout[0]=testPrograms1903^MIN~24-15[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-15[0] cout[0]=testPrograms1903^MIN~24-16[0] \
sumout[0]=testPrograms1903^MIN~24-16[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-16[0] cout[0]=testPrograms1903^MIN~24-17[0] \
sumout[0]=testPrograms1903^MIN~24-17[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-17[0] cout[0]=testPrograms1903^MIN~24-18[0] \
sumout[0]=testPrograms1903^MIN~24-18[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-18[0] cout[0]=testPrograms1903^MIN~24-19[0] \
sumout[0]=testPrograms1903^MIN~24-19[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-19[0] cout[0]=testPrograms1903^MIN~24-20[0] \
sumout[0]=testPrograms1903^MIN~24-20[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-20[0] cout[0]=testPrograms1903^MIN~24-21[0] \
sumout[0]=testPrograms1903^MIN~24-21[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-21[0] cout[0]=testPrograms1903^MIN~24-22[0] \
sumout[0]=testPrograms1903^MIN~24-22[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-22[0] cout[0]=testPrograms1903^MIN~24-23[0] \
sumout[0]=testPrograms1903^MIN~24-23[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-23[0] cout[0]=testPrograms1903^MIN~24-24[0] \
sumout[0]=testPrograms1903^MIN~24-24[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-24[0] cout[0]=testPrograms1903^MIN~24-25[0] \
sumout[0]=testPrograms1903^MIN~24-25[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-25[0] cout[0]=testPrograms1903^MIN~24-26[0] \
sumout[0]=testPrograms1903^MIN~24-26[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-26[0] cout[0]=testPrograms1903^MIN~24-27[0] \
sumout[0]=testPrograms1903^MIN~24-27[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-27[0] cout[0]=testPrograms1903^MIN~24-28[0] \
sumout[0]=testPrograms1903^MIN~24-28[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-28[0] cout[0]=testPrograms1903^MIN~24-29[0] \
sumout[0]=testPrograms1903^MIN~24-29[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-29[0] cout[0]=testPrograms1903^MIN~24-30[0] \
sumout[0]=testPrograms1903^MIN~24-30[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-30[0] cout[0]=testPrograms1903^MIN~24-31[0] \
sumout[0]=testPrograms1903^MIN~24-31[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=testPrograms1903^MIN~24-31[0] cout[0]=testPrograms1903^MIN~24-32~dummy_output~32~0 \
sumout[0]=testPrograms1903^MIN~24-32[1]
.subckt adder a[0]=vcc b[0]=gnd cin[0]=unconn cout[0]=testPrograms1903^ADD~15-0[0] \
sumout[0]=testPrograms1903^ADD~15-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1903^MIN~28-0[0] \
sumout[0]=testPrograms1903^MIN~28-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1903^MIN~24-0[0] \
sumout[0]=testPrograms1903^MIN~24-0~dummy_output~0~1
.subckt adder a[0]=testPrograms1903^MIN~2-1[1] b[0]=vcc cin[0]=testPrograms1903^MIN~24-0[0] \
cout[0]=testPrograms1903^MIN~24-1[0] sumout[0]=testPrograms1903^MIN~24-1[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1903^MIN~18-0[0] \
sumout[0]=testPrograms1903^MIN~18-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1903^MIN~16-0[0] \
sumout[0]=testPrograms1903^MIN~16-0~dummy_output~0~1
.subckt adder a[0]=testPrograms1903^N~0 b[0]=gnd cin[0]=testPrograms1903^MIN~11-0[0] cout[0]=testPrograms1903^MIN~11-1[0] \
sumout[0]=testPrograms1903^MIN~11-1[1]
.subckt adder a[0]=testPrograms1903^N~1 b[0]=gnd cin[0]=testPrograms1903^MIN~11-1[0] cout[0]=testPrograms1903^MIN~11-2[0] \
sumout[0]=testPrograms1903^MIN~11-2[1]
.subckt adder a[0]=testPrograms1903^N~2 b[0]=gnd cin[0]=testPrograms1903^MIN~11-2[0] cout[0]=testPrograms1903^MIN~11-3[0] \
sumout[0]=testPrograms1903^MIN~11-3[1]
.subckt adder a[0]=testPrograms1903^N~3 b[0]=vcc cin[0]=testPrograms1903^MIN~11-3[0] cout[0]=testPrograms1903^MIN~11-4[0] \
sumout[0]=testPrograms1903^MIN~11-4[1]
.subckt adder a[0]=testPrograms1903^N~4 b[0]=gnd cin[0]=testPrograms1903^MIN~11-4[0] cout[0]=testPrograms1903^MIN~11-5[0] \
sumout[0]=testPrograms1903^MIN~11-5[1]
.subckt adder a[0]=testPrograms1903^N~5 b[0]=vcc cin[0]=testPrograms1903^MIN~11-5[0] cout[0]=testPrograms1903^MIN~11-6[0] \
sumout[0]=testPrograms1903^MIN~11-6[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1903^MIN~11-0[0] \
sumout[0]=testPrograms1903^MIN~11-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1903^MIN~5-0[0] \
sumout[0]=testPrograms1903^MIN~5-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1903^MIN~2-0[0] \
sumout[0]=testPrograms1903^MIN~2-0~dummy_output~0~1
.subckt adder a[0]=testPrograms1903^MIN~1-1[1] b[0]=vcc cin[0]=testPrograms1903^MIN~2-0[0] \
cout[0]=testPrograms1903^MIN~2-1[0] sumout[0]=testPrograms1903^MIN~2-1[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1903^MIN~1-0[0] \
sumout[0]=testPrograms1903^MIN~1-0~dummy_output~0~1
.subckt adder a[0]=vcc b[0]=lNOT~240 cin[0]=testPrograms1903^MIN~1-0[0] cout[0]=testPrograms1903^MIN~1-1[0] \
sumout[0]=testPrograms1903^MIN~1-1[1]
.subckt adder a[0]=vcc b[0]=gnd cin[0]=testPrograms1460^ADD~3-0[0] cout[0]=testPrograms1460^ADD~3-1[0] \
sumout[0]=testPrograms1460^ADD~3-1[1]
.subckt adder a[0]=testPrograms1460^ADD~3-1[1] b[0]=gnd cin[0]=testPrograms1460^MIN~4-0[0] \
cout[0]=testPrograms1460^MIN~4-1[0] sumout[0]=testPrograms1460^MIN~4-1[1]
.subckt adder a[0]=testPrograms1460^bOR~10^lOR~271 b[0]=gnd cin[0]=testPrograms1460^ADD~11-0[0] \
cout[0]=testPrograms1460^ADD~11-1[0] sumout[0]=testPrograms1460^ADD~11-1[1]
.subckt adder a[0]=vcc b[0]=lNOT~94 cin[0]=testPrograms1460^MIN~12-0[0] cout[0]=testPrograms1460^MIN~12-1[0] \
sumout[0]=testPrograms1460^MIN~12-1[1]
.subckt adder a[0]=testPrograms1460^bAND~13^lAND~237 b[0]=lNOT~28 cin[0]=testPrograms1460^MIN~16-0[0] \
cout[0]=testPrograms1460^MIN~16-1[0] sumout[0]=testPrograms1460^MIN~16-1[1]
.subckt multiply a[0]=testPrograms1460^nMUX~19^MUX_2~193 a[1]=testPrograms1460^nMUX~19^MUX_2~194 a[2]=unconn a[3]=unconn \
a[4]=unconn a[5]=unconn a[6]=unconn a[7]=unconn a[8]=unconn a[9]=unconn a[10]=unconn a[11]=unconn a[12]=unconn a[13]=unconn \
a[14]=unconn a[15]=unconn a[16]=unconn a[17]=unconn a[18]=unconn a[19]=unconn a[20]=unconn a[21]=unconn a[22]=unconn \
a[23]=unconn a[24]=unconn a[25]=unconn a[26]=unconn a[27]=unconn a[28]=unconn a[29]=unconn a[30]=unconn a[31]=unconn \
a[32]=unconn a[33]=unconn a[34]=unconn a[35]=unconn b[0]=gnd b[1]=gnd b[2]=vcc b[3]=vcc b[4]=vcc b[5]=gnd b[6]=gnd b[7]=gnd \
b[8]=gnd b[9]=gnd b[10]=gnd b[11]=gnd b[12]=gnd b[13]=gnd b[14]=gnd b[15]=gnd b[16]=gnd b[17]=gnd b[18]=gnd b[19]=gnd \
b[20]=gnd b[21]=gnd b[22]=gnd b[23]=gnd b[24]=gnd b[25]=gnd b[26]=gnd b[27]=gnd b[28]=gnd b[29]=gnd b[30]=gnd b[31]=gnd \
b[32]=unconn b[33]=unconn b[34]=unconn b[35]=unconn out[0]=testPrograms1460^MUL~25[0] out[1]=testPrograms1460^MUL~25[1] \
out[2]=testPrograms1460^MUL~25[2] out[3]=testPrograms1460^MUL~25[3] out[4]=testPrograms1460^MUL~25[4] \
out[5]=testPrograms1460^MUL~25[5] out[6]=testPrograms1460^MUL~25[6] out[7]=testPrograms1460^MUL~25[7] \
out[8]=testPrograms1460^MUL~25[8] out[9]=testPrograms1460^MUL~25[9] out[10]=testPrograms1460^MUL~25[10] \
out[11]=testPrograms1460^MUL~25[11] out[12]=testPrograms1460^MUL~25[12] out[13]=testPrograms1460^MUL~25[13] \
out[14]=testPrograms1460^MUL~25[14] out[15]=testPrograms1460^MUL~25[15] out[16]=testPrograms1460^MUL~25[16] \
out[17]=testPrograms1460^MUL~25[17] out[18]=testPrograms1460^MUL~25[18] out[19]=testPrograms1460^MUL~25[19] \
out[20]=testPrograms1460^MUL~25[20] out[21]=testPrograms1460^MUL~25[21] out[22]=testPrograms1460^MUL~25[22] \
out[23]=testPrograms1460^MUL~25[23] out[24]=testPrograms1460^MUL~25[24] out[25]=testPrograms1460^MUL~25[25] \
out[26]=testPrograms1460^MUL~25[26] out[27]=testPrograms1460^MUL~25[27] out[28]=testPrograms1460^MUL~25[28] \
out[29]=testPrograms1460^MUL~25[29] out[30]=testPrograms1460^MUL~25[30] out[31]=testPrograms1460^MUL~25[31] \
out[32]=testPrograms1460^MUL~25[32] out[33]=testPrograms1460^MUL~25[33] out[34]=testPrograms1460^MUL~25[34] \
out[35]=testPrograms1460^MUL~25[35] out[36]=testPrograms1460^MUL~25[36] out[37]=testPrograms1460^MUL~25[37] \
out[38]=testPrograms1460^MUL~25[38] out[39]=testPrograms1460^MUL~25[39] out[40]=testPrograms1460^MUL~25[40] \
out[41]=testPrograms1460^MUL~25[41] out[42]=testPrograms1460^MUL~25[42] out[43]=testPrograms1460^MUL~25[43] \
out[44]=testPrograms1460^MUL~25[44] out[45]=testPrograms1460^MUL~25[45] out[46]=testPrograms1460^MUL~25[46] \
out[47]=testPrograms1460^MUL~25[47] out[48]=testPrograms1460^MUL~25[48] out[49]=testPrograms1460^MUL~25[49] \
out[50]=testPrograms1460^MUL~25[50] out[51]=testPrograms1460^MUL~25[51] out[52]=testPrograms1460^MUL~25[52] \
out[53]=testPrograms1460^MUL~25[53] out[54]=testPrograms1460^MUL~25[54] out[55]=testPrograms1460^MUL~25[55] \
out[56]=testPrograms1460^MUL~25[56] out[57]=testPrograms1460^MUL~25[57] out[58]=testPrograms1460^MUL~25[58] \
out[59]=testPrograms1460^MUL~25[59] out[60]=testPrograms1460^MUL~25[60] out[61]=testPrograms1460^MUL~25[61] \
out[62]=testPrograms1460^MUL~25[62] out[63]=testPrograms1460^MUL~25[63] out[64]=testPrograms1460^MUL~25[64] \
out[65]=testPrograms1460^MUL~25[65] out[66]=testPrograms1460^MUL~25[66] out[67]=testPrograms1460^MUL~25[67] \
out[68]=testPrograms1460^MUL~25[68] out[69]=testPrograms1460^MUL~25[69] out[70]=testPrograms1460^MUL~25[70] \
out[71]=testPrograms1460^MUL~25[71]
.subckt adder a[0]=gnd b[0]=lNOT~128 cin[0]=testPrograms1460^MIN~8-0[0] cout[0]=testPrograms1460^MIN~8-1[0] \
sumout[0]=testPrograms1460^MIN~8-1[1]
.subckt adder a[0]=vcc b[0]=gnd cin[0]=unconn cout[0]=testPrograms1460^ADD~11-0[0] \
sumout[0]=testPrograms1460^ADD~11-0~dummy_output~0~1
.subckt adder a[0]=vcc b[0]=gnd cin[0]=unconn cout[0]=testPrograms1460^ADD~3-0[0] \
sumout[0]=testPrograms1460^ADD~3-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1460^MIN~16-0[0] \
sumout[0]=testPrograms1460^MIN~16-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1460^MIN~14-0[0] \
sumout[0]=testPrograms1460^MIN~14-0~dummy_output~0~1
.subckt adder a[0]=vcc b[0]=vcc cin[0]=testPrograms1460^MIN~14-0[0] cout[0]=testPrograms1460^MIN~14-1[0] \
sumout[0]=testPrograms1460^MIN~14-1[1]
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1460^MIN~12-0[0] \
sumout[0]=testPrograms1460^MIN~12-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1460^MIN~8-0[0] \
sumout[0]=testPrograms1460^MIN~8-0~dummy_output~0~1
.subckt adder a[0]=gnd b[0]=vcc cin[0]=unconn cout[0]=testPrograms1460^MIN~4-0[0] \
sumout[0]=testPrograms1460^MIN~4-0~dummy_output~0~1
.names testPrograms1903^MIN~5-1[1] testPrograms1903^MUL~7[0] testPrograms1903^bOR~8^lOR~625
00 0
.names testPrograms1903^WN~1
0
.names testPrograms1903^WN~2
0
.names testPrograms1903^WN~3
0
.names testPrograms1903^WN~4
0
.names testPrograms1903^WN~5
0
.names testPrograms1903^WN~6
0
.names testPrograms1903^WN~7
0
.names testPrograms1903^a127
0
.names unconn
0
.names gnd
0
.names vcc
1
.names testPrograms1903^nMUX~10^MUX_2~292
0
.names testPrograms1903^MUL~17[31] lNOT~109
0 1
.names testPrograms1903^MUL~17[32] lNOT~110
0 1
.names testPrograms1903^MUL~17[30] lNOT~108
0 1
.names testPrograms1903^MUL~17[29] lNOT~107
0 1
.names testPrograms1903^MUL~17[28] lNOT~106
0 1
.names testPrograms1903^MUL~17[27] lNOT~105
0 1
.names testPrograms1903^MUL~17[26] lNOT~104
0 1
.names testPrograms1903^MUL~17[25] lNOT~103
0 1
.names testPrograms1903^MUL~17[24] lNOT~102
0 1
.names testPrograms1903^MUL~17[23] lNOT~101
0 1
.names testPrograms1903^MUL~17[22] lNOT~100
0 1
.names testPrograms1903^MUL~17[21] lNOT~99
0 1
.names testPrograms1903^MUL~17[20] lNOT~98
0 1
.names testPrograms1903^MUL~17[19] lNOT~97
0 1
.names testPrograms1903^MUL~17[18] lNOT~96
0 1
.names testPrograms1903^MUL~17[17] lNOT~95
0 1
.names testPrograms1903^MUL~17[16] lNOT~94
0 1
.names testPrograms1903^MUL~17[15] lNOT~93
0 1
.names testPrograms1903^MUL~17[14] lNOT~92
0 1
.names testPrograms1903^MUL~17[13] lNOT~91
0 1
.names testPrograms1903^MUL~17[12] lNOT~90
0 1
.names testPrograms1903^MUL~17[11] lNOT~89
0 1
.names testPrograms1903^MUL~17[10] lNOT~88
0 1
.names testPrograms1903^MUL~17[9] lNOT~87
0 1
.names testPrograms1903^MUL~17[8] lNOT~86
0 1
.names testPrograms1903^MUL~17[7] lNOT~85
0 1
.names testPrograms1903^MUL~17[6] lNOT~84
0 1
.names testPrograms1903^MUL~17[5] lNOT~83
0 1
.names testPrograms1903^MUL~17[4] lNOT~82
0 1
.names testPrograms1903^MUL~17[3] lNOT~81
0 1
.names testPrograms1903^MUL~17[2] lNOT~80
0 1
.names testPrograms1903^MUL~17[1] lNOT~79
0 1
.names testPrograms1903^MUL~17[0] lNOT~78
0 1
.names testPrograms1903^iv5 lNOT~45
0 1
.names testPrograms1903^N~5 lNOT~240
0 1
.names testPrograms1903^MIN~2-1[1] testPrograms1903^WN~0
1 1
.names testPrograms1460^MIN~8-1[1] testPrograms1460^hg21Ar testPrograms1460^bOR~10^lOR~271
11 1
.names testPrograms1460^MIN~12-1[1] testPrograms1460^hg21Ar testPrograms1460^bAND~13^lAND~237
11 1
.names lNOT~28
1
.names testPrograms1460^nMUX~19^MUX_2~193
0
.names testPrograms1460^nMUX~19^MUX_2~194
0
.names testPrograms1460^ADD~11-1[1] lNOT~94
0 1
.names testPrograms1460^hg21Ar lNOT~128
0 1
.names testPrograms1460^MUL~25[0] testPrograms1460^U0~0
1 1
.names testPrograms1460^MUL~25[1] testPrograms1460^U0~1
1 1
.model multiply
.inputs a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] a[11] a[12] a[13] a[14] a[15] a[16] a[17] a[18] a[19] a[20] \
a[21] a[22] a[23] a[24] a[25] a[26] a[27] a[28] a[29] a[30] a[31] a[32] a[33] a[34] a[35] b[0] b[1] b[2] b[3] b[4] b[5] b[6] \
b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] \
b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35]
.outputs out[0] out[1] out[2] out[3] out[4] out[5] out[6] out[7] out[8] out[9] out[10] out[11] out[12] out[13] out[14] \
out[15] out[16] out[17] out[18] out[19] out[20] out[21] out[22] out[23] out[24] out[25] out[26] out[27] out[28] out[29] \
out[30] out[31] out[32] out[33] out[34] out[35] out[36] out[37] out[38] out[39] out[40] out[41] out[42] out[43] out[44] \
out[45] out[46] out[47] out[48] out[49] out[50] out[51] out[52] out[53] out[54] out[55] out[56] out[57] out[58] out[59] \
out[60] out[61] out[62] out[63] out[64] out[65] out[66] out[67] out[68] out[69] out[70] out[71]
.blackbox
.end
.model adder
.inputs a[0] b[0] cin[0]
.outputs cout[0] sumout[0]
.blackbox
.end