mirror of https://github.com/YosysHQ/yosys.git
gatemate: Add test for LUT tree mapping
Signed-off-by: gatecat <gatecat@ds0.me>
This commit is contained in:
gatecat
myrtle
parent
38a24ec5cc
commit
48efc9b75c
|
|
@ -0,0 +1,48 @@
|
||||||
|
from random import Random
|
||||||
|
|
||||||
|
def main():
|
||||||
|
r = Random(1)
|
||||||
|
|
||||||
|
N = 750
|
||||||
|
with open("tests/arch/gatemate/luttrees.v", "w") as v:
|
||||||
|
print(f"module luttrees(input [{N-1}:0] a, b, c, d, e, output [{N-1}:0] q);", file=v)
|
||||||
|
for i in range(N):
|
||||||
|
def f():
|
||||||
|
return r.choice(["&", "|", "^"])
|
||||||
|
|
||||||
|
def a(x):
|
||||||
|
return f"({r.choice(['', '!'])}{x}[{i}])"
|
||||||
|
|
||||||
|
# Bias towards testing bigger functions
|
||||||
|
k = r.choice([2, 3, 4, 4, 4, 5, 5, 5])
|
||||||
|
if k == 2:
|
||||||
|
expr = f"{a('a')}{f()}{a('b')}"
|
||||||
|
elif k == 3:
|
||||||
|
expr = f"({a('a')}{f()}{a('b')}){f()}{a('c')}"
|
||||||
|
elif k == 4:
|
||||||
|
# Two types of 4-input function
|
||||||
|
if r.choice([False, True]):
|
||||||
|
expr = f"(({a('a')}{f()}{a('b')}){f()}{a('c')}){f()}{a('d')}"
|
||||||
|
else:
|
||||||
|
expr = f"({a('a')}{f()}{a('b')}){f()}({a('c')}{f()}{a('d')})"
|
||||||
|
elif k == 5:
|
||||||
|
expr = f"(({a('a')}{f()}{a('b')}){f()}({a('c')}{f()}{a('d')})){f()}{a('e')}"
|
||||||
|
print(f" assign q[{i}] = {expr};", file=v)
|
||||||
|
print("endmodule", file=v)
|
||||||
|
with open("tests/arch/gatemate/luttrees.ys", "w") as s:
|
||||||
|
print(f"""
|
||||||
|
read_verilog luttrees.v
|
||||||
|
design -save read
|
||||||
|
|
||||||
|
hierarchy -top luttrees
|
||||||
|
proc
|
||||||
|
equiv_opt -async2sync -assert -map +/gatemate/cells_sim.v synth_gatemate -noiopad -luttree -nomx4 -nomx8 # equivalency check
|
||||||
|
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||||
|
cd luttrees # Constrain all select calls below inside the top module
|
||||||
|
|
||||||
|
select -assert-count {N} t:CC_LUT2 t:CC_L2T4 t:CC_L2T5 %%
|
||||||
|
select -assert-none t:CC_LUT2 t:CC_L2T4 t:CC_L2T5 %% t:* %D
|
||||||
|
""", file=s)
|
||||||
|
|
||||||
|
if __name__ == '__main__':
|
||||||
|
main()
|
||||||
|
|
@ -0,0 +1,752 @@
|
||||||
|
module luttrees(input [749:0] a, b, c, d, e, output [749:0] q);
|
||||||
|
assign q[0] = ((!a[0])&(!b[0]))|((!c[0])^(!d[0]));
|
||||||
|
assign q[1] = ((!a[1])&(!b[1]))|((c[1])^(!d[1]));
|
||||||
|
assign q[2] = ((a[2])|(b[2]))&((c[2])^(d[2]));
|
||||||
|
assign q[3] = (((a[3])|(b[3]))^((c[3])|(!d[3])))^(e[3]);
|
||||||
|
assign q[4] = (((a[4])^(b[4]))|((!c[4])&(!d[4])))^(e[4]);
|
||||||
|
assign q[5] = (((a[5])^(!b[5]))^(!c[5]))^(d[5]);
|
||||||
|
assign q[6] = (((!a[6])^(!b[6]))^(c[6]))|(d[6]);
|
||||||
|
assign q[7] = (((!a[7])^(b[7]))|((!c[7])&(!d[7])))^(e[7]);
|
||||||
|
assign q[8] = (((!a[8])|(b[8]))|(c[8]))|(!d[8]);
|
||||||
|
assign q[9] = ((a[9])&(b[9]))^((c[9])|(!d[9]));
|
||||||
|
assign q[10] = (((!a[10])|(b[10]))|((c[10])^(d[10])))|(e[10]);
|
||||||
|
assign q[11] = (((!a[11])^(b[11]))^((!c[11])|(!d[11])))|(!e[11]);
|
||||||
|
assign q[12] = (!a[12])|(b[12]);
|
||||||
|
assign q[13] = ((a[13])&(!b[13]))&((c[13])&(d[13]));
|
||||||
|
assign q[14] = (((a[14])|(b[14]))|((c[14])^(d[14])))|(!e[14]);
|
||||||
|
assign q[15] = ((a[15])&(!b[15]))^(c[15]);
|
||||||
|
assign q[16] = (((!a[16])^(!b[16]))|(!c[16]))&(d[16]);
|
||||||
|
assign q[17] = (((!a[17])|(b[17]))|(c[17]))|(d[17]);
|
||||||
|
assign q[18] = (((a[18])&(b[18]))|((c[18])&(d[18])))|(!e[18]);
|
||||||
|
assign q[19] = (((a[19])^(b[19]))|(!c[19]))^(!d[19]);
|
||||||
|
assign q[20] = (!a[20])&(b[20]);
|
||||||
|
assign q[21] = (!a[21])&(b[21]);
|
||||||
|
assign q[22] = (((a[22])|(!b[22]))&(c[22]))^(d[22]);
|
||||||
|
assign q[23] = (((a[23])^(b[23]))|(c[23]))|(d[23]);
|
||||||
|
assign q[24] = (((a[24])|(b[24]))^(!c[24]))|(!d[24]);
|
||||||
|
assign q[25] = (!a[25])^(!b[25]);
|
||||||
|
assign q[26] = ((a[26])&(!b[26]))^((c[26])|(!d[26]));
|
||||||
|
assign q[27] = (((a[27])|(!b[27]))^(!c[27]))^(d[27]);
|
||||||
|
assign q[28] = ((a[28])&(b[28]))&(c[28]);
|
||||||
|
assign q[29] = (((!a[29])^(!b[29]))|(!c[29]))|(d[29]);
|
||||||
|
assign q[30] = ((!a[30])&(b[30]))|((c[30])|(d[30]));
|
||||||
|
assign q[31] = (((a[31])&(!b[31]))&((!c[31])&(d[31])))^(e[31]);
|
||||||
|
assign q[32] = (((!a[32])^(b[32]))|(!c[32]))&(d[32]);
|
||||||
|
assign q[33] = ((a[33])&(!b[33]))&((c[33])&(d[33]));
|
||||||
|
assign q[34] = (((a[34])&(!b[34]))&((c[34])&(d[34])))|(!e[34]);
|
||||||
|
assign q[35] = (((!a[35])|(b[35]))&(!c[35]))&(d[35]);
|
||||||
|
assign q[36] = (!a[36])^(!b[36]);
|
||||||
|
assign q[37] = (((!a[37])|(!b[37]))&((c[37])|(!d[37])))&(!e[37]);
|
||||||
|
assign q[38] = (((!a[38])|(b[38]))^(c[38]))|(d[38]);
|
||||||
|
assign q[39] = (((a[39])|(b[39]))|(c[39]))^(!d[39]);
|
||||||
|
assign q[40] = (((!a[40])&(!b[40]))&(!c[40]))^(!d[40]);
|
||||||
|
assign q[41] = (((a[41])^(b[41]))&(c[41]))&(d[41]);
|
||||||
|
assign q[42] = (((a[42])|(b[42]))^((c[42])&(d[42])))|(!e[42]);
|
||||||
|
assign q[43] = (((!a[43])&(b[43]))^((!c[43])&(d[43])))&(e[43]);
|
||||||
|
assign q[44] = (((!a[44])&(!b[44]))&(c[44]))&(d[44]);
|
||||||
|
assign q[45] = (((a[45])&(!b[45]))|((c[45])&(d[45])))|(e[45]);
|
||||||
|
assign q[46] = (((!a[46])^(!b[46]))^((!c[46])^(!d[46])))&(!e[46]);
|
||||||
|
assign q[47] = (((a[47])|(!b[47]))&((!c[47])^(d[47])))&(!e[47]);
|
||||||
|
assign q[48] = ((a[48])|(!b[48]))|((!c[48])&(d[48]));
|
||||||
|
assign q[49] = (((a[49])&(!b[49]))^(!c[49]))^(d[49]);
|
||||||
|
assign q[50] = (((!a[50])^(!b[50]))&(!c[50]))|(!d[50]);
|
||||||
|
assign q[51] = ((a[51])^(!b[51]))&((c[51])|(!d[51]));
|
||||||
|
assign q[52] = (((a[52])^(!b[52]))^(c[52]))&(!d[52]);
|
||||||
|
assign q[53] = ((!a[53])|(b[53]))^((c[53])|(!d[53]));
|
||||||
|
assign q[54] = (((!a[54])^(b[54]))^((c[54])^(d[54])))|(e[54]);
|
||||||
|
assign q[55] = ((a[55])^(b[55]))|((c[55])|(!d[55]));
|
||||||
|
assign q[56] = (((a[56])|(!b[56]))&((!c[56])&(d[56])))|(!e[56]);
|
||||||
|
assign q[57] = ((!a[57])|(b[57]))|(c[57]);
|
||||||
|
assign q[58] = (((a[58])&(b[58]))|(c[58]))&(!d[58]);
|
||||||
|
assign q[59] = ((!a[59])|(!b[59]))^((!c[59])&(!d[59]));
|
||||||
|
assign q[60] = (((!a[60])&(b[60]))^((!c[60])&(!d[60])))&(e[60]);
|
||||||
|
assign q[61] = ((a[61])^(!b[61]))^(c[61]);
|
||||||
|
assign q[62] = ((!a[62])^(!b[62]))|(!c[62]);
|
||||||
|
assign q[63] = (((a[63])&(!b[63]))^((!c[63])|(!d[63])))^(!e[63]);
|
||||||
|
assign q[64] = (((!a[64])&(!b[64]))|((c[64])^(d[64])))|(e[64]);
|
||||||
|
assign q[65] = (((!a[65])^(!b[65]))^((c[65])|(d[65])))|(e[65]);
|
||||||
|
assign q[66] = (((!a[66])|(!b[66]))^((c[66])|(d[66])))^(!e[66]);
|
||||||
|
assign q[67] = (!a[67])^(b[67]);
|
||||||
|
assign q[68] = (((!a[68])&(b[68]))^((c[68])|(!d[68])))^(!e[68]);
|
||||||
|
assign q[69] = ((!a[69])|(!b[69]))&((!c[69])^(d[69]));
|
||||||
|
assign q[70] = ((!a[70])&(!b[70]))&((!c[70])&(d[70]));
|
||||||
|
assign q[71] = ((!a[71])^(!b[71]))^((!c[71])&(d[71]));
|
||||||
|
assign q[72] = (((!a[72])&(b[72]))^(!c[72]))|(d[72]);
|
||||||
|
assign q[73] = (((!a[73])|(b[73]))|(!c[73]))&(!d[73]);
|
||||||
|
assign q[74] = (((a[74])|(b[74]))^(c[74]))^(!d[74]);
|
||||||
|
assign q[75] = (((!a[75])&(!b[75]))&((c[75])^(d[75])))^(!e[75]);
|
||||||
|
assign q[76] = (((!a[76])^(b[76]))&(c[76]))^(!d[76]);
|
||||||
|
assign q[77] = (((!a[77])|(b[77]))&((c[77])^(!d[77])))&(e[77]);
|
||||||
|
assign q[78] = (((!a[78])|(b[78]))&(c[78]))&(d[78]);
|
||||||
|
assign q[79] = ((!a[79])^(!b[79]))|((!c[79])&(d[79]));
|
||||||
|
assign q[80] = ((a[80])|(b[80]))|(!c[80]);
|
||||||
|
assign q[81] = (((a[81])&(b[81]))|((!c[81])^(!d[81])))&(!e[81]);
|
||||||
|
assign q[82] = (((!a[82])^(b[82]))&(c[82]))&(d[82]);
|
||||||
|
assign q[83] = (!a[83])|(!b[83]);
|
||||||
|
assign q[84] = ((!a[84])&(b[84]))&((c[84])|(d[84]));
|
||||||
|
assign q[85] = (!a[85])|(b[85]);
|
||||||
|
assign q[86] = ((!a[86])^(!b[86]))&(c[86]);
|
||||||
|
assign q[87] = (a[87])&(!b[87]);
|
||||||
|
assign q[88] = ((!a[88])&(b[88]))&(!c[88]);
|
||||||
|
assign q[89] = (((a[89])^(!b[89]))|(!c[89]))^(!d[89]);
|
||||||
|
assign q[90] = ((a[90])&(b[90]))|((!c[90])^(d[90]));
|
||||||
|
assign q[91] = (((!a[91])^(b[91]))^((!c[91])^(d[91])))^(!e[91]);
|
||||||
|
assign q[92] = ((!a[92])&(b[92]))&(c[92]);
|
||||||
|
assign q[93] = (((a[93])&(b[93]))^(!c[93]))^(!d[93]);
|
||||||
|
assign q[94] = ((!a[94])&(b[94]))^(c[94]);
|
||||||
|
assign q[95] = (((a[95])|(!b[95]))&((!c[95])&(!d[95])))|(e[95]);
|
||||||
|
assign q[96] = ((!a[96])&(!b[96]))|((c[96])|(!d[96]));
|
||||||
|
assign q[97] = ((!a[97])&(!b[97]))&(c[97]);
|
||||||
|
assign q[98] = (((!a[98])^(!b[98]))^((!c[98])&(d[98])))^(!e[98]);
|
||||||
|
assign q[99] = (!a[99])^(b[99]);
|
||||||
|
assign q[100] = (((!a[100])^(!b[100]))&(!c[100]))|(d[100]);
|
||||||
|
assign q[101] = ((a[101])|(!b[101]))|(!c[101]);
|
||||||
|
assign q[102] = (((!a[102])|(!b[102]))^((c[102])^(d[102])))&(!e[102]);
|
||||||
|
assign q[103] = (((!a[103])^(b[103]))|((!c[103])|(!d[103])))|(!e[103]);
|
||||||
|
assign q[104] = ((a[104])&(b[104]))^(!c[104]);
|
||||||
|
assign q[105] = ((!a[105])|(!b[105]))|((!c[105])|(!d[105]));
|
||||||
|
assign q[106] = ((a[106])|(b[106]))^((c[106])&(d[106]));
|
||||||
|
assign q[107] = (((a[107])&(!b[107]))^((c[107])&(!d[107])))&(e[107]);
|
||||||
|
assign q[108] = ((a[108])^(b[108]))^(!c[108]);
|
||||||
|
assign q[109] = (!a[109])|(!b[109]);
|
||||||
|
assign q[110] = ((!a[110])&(!b[110]))|((!c[110])^(d[110]));
|
||||||
|
assign q[111] = (((a[111])|(!b[111]))&((c[111])^(!d[111])))^(!e[111]);
|
||||||
|
assign q[112] = ((!a[112])^(!b[112]))&(!c[112]);
|
||||||
|
assign q[113] = (((a[113])&(!b[113]))^((c[113])^(d[113])))|(!e[113]);
|
||||||
|
assign q[114] = (((!a[114])^(!b[114]))|(!c[114]))&(!d[114]);
|
||||||
|
assign q[115] = ((!a[115])^(b[115]))|((c[115])|(!d[115]));
|
||||||
|
assign q[116] = (((!a[116])^(b[116]))&((c[116])&(!d[116])))|(!e[116]);
|
||||||
|
assign q[117] = (((!a[117])|(!b[117]))|(c[117]))|(!d[117]);
|
||||||
|
assign q[118] = (((a[118])&(b[118]))|(!c[118]))&(!d[118]);
|
||||||
|
assign q[119] = (((!a[119])^(!b[119]))^((!c[119])^(!d[119])))|(!e[119]);
|
||||||
|
assign q[120] = (((a[120])^(!b[120]))|((!c[120])&(d[120])))&(e[120]);
|
||||||
|
assign q[121] = ((a[121])&(!b[121]))&((!c[121])&(!d[121]));
|
||||||
|
assign q[122] = ((a[122])|(b[122]))^((c[122])^(!d[122]));
|
||||||
|
assign q[123] = (((a[123])^(b[123]))^((!c[123])^(d[123])))|(!e[123]);
|
||||||
|
assign q[124] = (((a[124])&(b[124]))|(c[124]))^(!d[124]);
|
||||||
|
assign q[125] = (((!a[125])&(!b[125]))&(c[125]))|(d[125]);
|
||||||
|
assign q[126] = (((!a[126])^(!b[126]))|(c[126]))^(!d[126]);
|
||||||
|
assign q[127] = (((a[127])&(!b[127]))^((!c[127])&(!d[127])))|(e[127]);
|
||||||
|
assign q[128] = (((!a[128])^(b[128]))|(c[128]))&(!d[128]);
|
||||||
|
assign q[129] = (((a[129])^(b[129]))|(!c[129]))|(!d[129]);
|
||||||
|
assign q[130] = (((!a[130])&(!b[130]))|(!c[130]))&(!d[130]);
|
||||||
|
assign q[131] = ((!a[131])^(b[131]))&((!c[131])^(d[131]));
|
||||||
|
assign q[132] = (((!a[132])|(!b[132]))&(c[132]))&(!d[132]);
|
||||||
|
assign q[133] = ((a[133])^(b[133]))^((c[133])&(d[133]));
|
||||||
|
assign q[134] = (((!a[134])&(b[134]))|(c[134]))&(d[134]);
|
||||||
|
assign q[135] = (((!a[135])^(!b[135]))&(c[135]))|(!d[135]);
|
||||||
|
assign q[136] = ((!a[136])&(b[136]))|((c[136])&(d[136]));
|
||||||
|
assign q[137] = (((a[137])|(b[137]))|(c[137]))&(d[137]);
|
||||||
|
assign q[138] = (((!a[138])^(b[138]))&((!c[138])|(d[138])))^(!e[138]);
|
||||||
|
assign q[139] = ((!a[139])^(b[139]))^(!c[139]);
|
||||||
|
assign q[140] = (((a[140])^(!b[140]))^((!c[140])^(!d[140])))|(e[140]);
|
||||||
|
assign q[141] = ((a[141])^(b[141]))&((c[141])&(!d[141]));
|
||||||
|
assign q[142] = ((!a[142])^(!b[142]))^((!c[142])|(d[142]));
|
||||||
|
assign q[143] = (((a[143])^(!b[143]))&((!c[143])^(d[143])))^(!e[143]);
|
||||||
|
assign q[144] = (((a[144])&(b[144]))^((c[144])^(d[144])))|(!e[144]);
|
||||||
|
assign q[145] = (((!a[145])&(b[145]))|((!c[145])|(d[145])))^(e[145]);
|
||||||
|
assign q[146] = (((a[146])^(b[146]))^(c[146]))|(d[146]);
|
||||||
|
assign q[147] = (((a[147])|(!b[147]))|((!c[147])|(!d[147])))^(!e[147]);
|
||||||
|
assign q[148] = (a[148])|(b[148]);
|
||||||
|
assign q[149] = (a[149])&(b[149]);
|
||||||
|
assign q[150] = (((!a[150])^(!b[150]))|((c[150])^(d[150])))&(!e[150]);
|
||||||
|
assign q[151] = ((a[151])^(!b[151]))|((!c[151])|(d[151]));
|
||||||
|
assign q[152] = (((!a[152])|(!b[152]))|((!c[152])|(d[152])))^(e[152]);
|
||||||
|
assign q[153] = (!a[153])^(b[153]);
|
||||||
|
assign q[154] = (((!a[154])^(b[154]))^(c[154]))|(d[154]);
|
||||||
|
assign q[155] = (((a[155])|(b[155]))&((c[155])|(!d[155])))^(e[155]);
|
||||||
|
assign q[156] = (((!a[156])|(!b[156]))^((c[156])|(!d[156])))|(e[156]);
|
||||||
|
assign q[157] = (((!a[157])&(b[157]))&((!c[157])|(d[157])))&(e[157]);
|
||||||
|
assign q[158] = (((!a[158])^(!b[158]))&(c[158]))^(d[158]);
|
||||||
|
assign q[159] = ((!a[159])|(b[159]))^((!c[159])&(d[159]));
|
||||||
|
assign q[160] = (((a[160])^(b[160]))|((c[160])&(d[160])))&(!e[160]);
|
||||||
|
assign q[161] = (a[161])|(b[161]);
|
||||||
|
assign q[162] = (a[162])^(b[162]);
|
||||||
|
assign q[163] = (((!a[163])&(b[163]))|(c[163]))^(d[163]);
|
||||||
|
assign q[164] = (((a[164])^(b[164]))&((c[164])|(!d[164])))|(!e[164]);
|
||||||
|
assign q[165] = ((!a[165])^(!b[165]))^((!c[165])^(d[165]));
|
||||||
|
assign q[166] = (((!a[166])&(!b[166]))|((!c[166])&(!d[166])))^(!e[166]);
|
||||||
|
assign q[167] = ((!a[167])|(b[167]))|((!c[167])|(!d[167]));
|
||||||
|
assign q[168] = (((!a[168])^(!b[168]))&((c[168])&(!d[168])))&(e[168]);
|
||||||
|
assign q[169] = ((a[169])^(!b[169]))^(c[169]);
|
||||||
|
assign q[170] = (((!a[170])^(b[170]))&(c[170]))&(d[170]);
|
||||||
|
assign q[171] = (!a[171])|(!b[171]);
|
||||||
|
assign q[172] = ((a[172])&(!b[172]))&((!c[172])&(!d[172]));
|
||||||
|
assign q[173] = (((a[173])&(!b[173]))^((c[173])|(!d[173])))^(!e[173]);
|
||||||
|
assign q[174] = ((!a[174])&(!b[174]))&(!c[174]);
|
||||||
|
assign q[175] = ((!a[175])|(!b[175]))^(c[175]);
|
||||||
|
assign q[176] = (!a[176])&(b[176]);
|
||||||
|
assign q[177] = ((a[177])|(b[177]))^(c[177]);
|
||||||
|
assign q[178] = (((a[178])^(b[178]))|((c[178])^(!d[178])))^(e[178]);
|
||||||
|
assign q[179] = ((a[179])^(!b[179]))^(!c[179]);
|
||||||
|
assign q[180] = (((a[180])^(b[180]))^(c[180]))|(!d[180]);
|
||||||
|
assign q[181] = (((!a[181])|(!b[181]))&((c[181])&(d[181])))|(e[181]);
|
||||||
|
assign q[182] = (((a[182])|(!b[182]))&((c[182])&(d[182])))|(!e[182]);
|
||||||
|
assign q[183] = ((a[183])^(!b[183]))^((!c[183])&(d[183]));
|
||||||
|
assign q[184] = (((a[184])|(b[184]))|((c[184])^(d[184])))&(!e[184]);
|
||||||
|
assign q[185] = (((a[185])^(b[185]))^((!c[185])&(!d[185])))^(!e[185]);
|
||||||
|
assign q[186] = (((!a[186])|(!b[186]))&((!c[186])&(!d[186])))|(!e[186]);
|
||||||
|
assign q[187] = (((a[187])^(!b[187]))|(!c[187]))^(d[187]);
|
||||||
|
assign q[188] = ((a[188])^(b[188]))&(!c[188]);
|
||||||
|
assign q[189] = (((!a[189])^(b[189]))^((!c[189])^(d[189])))|(e[189]);
|
||||||
|
assign q[190] = (((!a[190])^(b[190]))&((!c[190])|(d[190])))&(e[190]);
|
||||||
|
assign q[191] = ((!a[191])|(!b[191]))|(!c[191]);
|
||||||
|
assign q[192] = (((a[192])^(b[192]))^(c[192]))|(!d[192]);
|
||||||
|
assign q[193] = ((a[193])^(b[193]))|((!c[193])&(d[193]));
|
||||||
|
assign q[194] = (((a[194])&(b[194]))|(!c[194]))&(!d[194]);
|
||||||
|
assign q[195] = ((!a[195])|(!b[195]))^((c[195])&(!d[195]));
|
||||||
|
assign q[196] = (((a[196])&(!b[196]))|((c[196])^(d[196])))^(!e[196]);
|
||||||
|
assign q[197] = ((a[197])&(b[197]))^((c[197])^(!d[197]));
|
||||||
|
assign q[198] = (((a[198])&(!b[198]))|((!c[198])^(!d[198])))&(e[198]);
|
||||||
|
assign q[199] = (!a[199])&(b[199]);
|
||||||
|
assign q[200] = ((a[200])&(b[200]))^((c[200])&(d[200]));
|
||||||
|
assign q[201] = (((!a[201])&(!b[201]))^(!c[201]))|(!d[201]);
|
||||||
|
assign q[202] = ((a[202])^(b[202]))&(!c[202]);
|
||||||
|
assign q[203] = (((!a[203])|(b[203]))|((c[203])&(!d[203])))^(!e[203]);
|
||||||
|
assign q[204] = (((a[204])^(!b[204]))&((!c[204])^(!d[204])))^(!e[204]);
|
||||||
|
assign q[205] = (((a[205])|(!b[205]))^((!c[205])^(!d[205])))|(!e[205]);
|
||||||
|
assign q[206] = (a[206])|(!b[206]);
|
||||||
|
assign q[207] = (((a[207])^(!b[207]))&((!c[207])|(d[207])))|(!e[207]);
|
||||||
|
assign q[208] = (a[208])|(b[208]);
|
||||||
|
assign q[209] = ((!a[209])|(b[209]))|((!c[209])|(d[209]));
|
||||||
|
assign q[210] = ((!a[210])&(b[210]))&((!c[210])|(!d[210]));
|
||||||
|
assign q[211] = ((a[211])^(!b[211]))|((!c[211])|(!d[211]));
|
||||||
|
assign q[212] = (((a[212])&(!b[212]))&((c[212])^(d[212])))^(e[212]);
|
||||||
|
assign q[213] = (((!a[213])&(b[213]))^(!c[213]))^(!d[213]);
|
||||||
|
assign q[214] = (!a[214])|(!b[214]);
|
||||||
|
assign q[215] = ((a[215])|(!b[215]))^((!c[215])^(!d[215]));
|
||||||
|
assign q[216] = (((a[216])^(!b[216]))^((!c[216])|(d[216])))|(e[216]);
|
||||||
|
assign q[217] = (((a[217])^(b[217]))^((!c[217])|(!d[217])))&(e[217]);
|
||||||
|
assign q[218] = ((a[218])&(!b[218]))&(c[218]);
|
||||||
|
assign q[219] = ((a[219])|(b[219]))&((c[219])&(d[219]));
|
||||||
|
assign q[220] = (((!a[220])&(b[220]))^((c[220])|(d[220])))|(!e[220]);
|
||||||
|
assign q[221] = ((a[221])&(!b[221]))&((c[221])^(!d[221]));
|
||||||
|
assign q[222] = (!a[222])|(!b[222]);
|
||||||
|
assign q[223] = ((a[223])^(b[223]))^(c[223]);
|
||||||
|
assign q[224] = ((a[224])&(!b[224]))&((c[224])|(d[224]));
|
||||||
|
assign q[225] = ((!a[225])&(b[225]))&(!c[225]);
|
||||||
|
assign q[226] = (((a[226])^(b[226]))|((c[226])&(d[226])))&(e[226]);
|
||||||
|
assign q[227] = ((a[227])&(b[227]))|((!c[227])^(!d[227]));
|
||||||
|
assign q[228] = ((!a[228])&(!b[228]))|((!c[228])|(!d[228]));
|
||||||
|
assign q[229] = (((a[229])|(b[229]))|((!c[229])&(d[229])))&(e[229]);
|
||||||
|
assign q[230] = (((!a[230])^(!b[230]))|((!c[230])|(!d[230])))|(!e[230]);
|
||||||
|
assign q[231] = (((!a[231])|(b[231]))|((c[231])|(d[231])))|(e[231]);
|
||||||
|
assign q[232] = ((!a[232])^(b[232]))&((c[232])&(!d[232]));
|
||||||
|
assign q[233] = (((!a[233])&(!b[233]))|(!c[233]))&(!d[233]);
|
||||||
|
assign q[234] = (((!a[234])&(b[234]))^(!c[234]))&(d[234]);
|
||||||
|
assign q[235] = (((a[235])&(b[235]))^((!c[235])^(!d[235])))^(!e[235]);
|
||||||
|
assign q[236] = (((!a[236])^(b[236]))&((!c[236])&(!d[236])))^(e[236]);
|
||||||
|
assign q[237] = (a[237])|(!b[237]);
|
||||||
|
assign q[238] = (((a[238])|(b[238]))&((!c[238])^(d[238])))&(e[238]);
|
||||||
|
assign q[239] = ((!a[239])^(!b[239]))&((c[239])&(d[239]));
|
||||||
|
assign q[240] = (((!a[240])^(!b[240]))&(!c[240]))&(!d[240]);
|
||||||
|
assign q[241] = ((!a[241])&(b[241]))&(c[241]);
|
||||||
|
assign q[242] = ((a[242])|(!b[242]))&((c[242])|(d[242]));
|
||||||
|
assign q[243] = ((a[243])|(b[243]))^((!c[243])&(d[243]));
|
||||||
|
assign q[244] = (((!a[244])^(b[244]))&(!c[244]))|(!d[244]);
|
||||||
|
assign q[245] = (((a[245])^(!b[245]))^(!c[245]))^(!d[245]);
|
||||||
|
assign q[246] = ((!a[246])|(!b[246]))&(!c[246]);
|
||||||
|
assign q[247] = ((!a[247])&(b[247]))|(c[247]);
|
||||||
|
assign q[248] = (((!a[248])|(!b[248]))|((!c[248])&(!d[248])))&(!e[248]);
|
||||||
|
assign q[249] = (a[249])|(!b[249]);
|
||||||
|
assign q[250] = (((!a[250])^(!b[250]))^(!c[250]))^(!d[250]);
|
||||||
|
assign q[251] = (((a[251])|(b[251]))|(!c[251]))^(d[251]);
|
||||||
|
assign q[252] = (((!a[252])&(!b[252]))^((c[252])&(d[252])))&(e[252]);
|
||||||
|
assign q[253] = (!a[253])^(!b[253]);
|
||||||
|
assign q[254] = (((a[254])^(!b[254]))|((c[254])|(!d[254])))&(!e[254]);
|
||||||
|
assign q[255] = (!a[255])|(!b[255]);
|
||||||
|
assign q[256] = (((a[256])|(!b[256]))&(c[256]))&(!d[256]);
|
||||||
|
assign q[257] = (!a[257])^(!b[257]);
|
||||||
|
assign q[258] = (((!a[258])&(b[258]))^(c[258]))|(d[258]);
|
||||||
|
assign q[259] = (((!a[259])&(!b[259]))|(c[259]))&(!d[259]);
|
||||||
|
assign q[260] = ((!a[260])&(!b[260]))|((!c[260])^(!d[260]));
|
||||||
|
assign q[261] = (((a[261])|(b[261]))^(c[261]))|(d[261]);
|
||||||
|
assign q[262] = (((!a[262])^(b[262]))^((!c[262])|(!d[262])))|(e[262]);
|
||||||
|
assign q[263] = (a[263])^(b[263]);
|
||||||
|
assign q[264] = ((!a[264])&(!b[264]))|(c[264]);
|
||||||
|
assign q[265] = (((!a[265])^(b[265]))^((c[265])^(!d[265])))|(!e[265]);
|
||||||
|
assign q[266] = (((a[266])^(!b[266]))&(c[266]))^(d[266]);
|
||||||
|
assign q[267] = ((a[267])|(!b[267]))|(!c[267]);
|
||||||
|
assign q[268] = ((!a[268])&(!b[268]))|(!c[268]);
|
||||||
|
assign q[269] = (((!a[269])^(b[269]))&((!c[269])^(!d[269])))^(!e[269]);
|
||||||
|
assign q[270] = (((a[270])|(b[270]))^(c[270]))&(d[270]);
|
||||||
|
assign q[271] = (((a[271])&(b[271]))|((c[271])|(d[271])))|(!e[271]);
|
||||||
|
assign q[272] = (((a[272])|(!b[272]))^(!c[272]))|(!d[272]);
|
||||||
|
assign q[273] = (((!a[273])|(b[273]))&((!c[273])&(!d[273])))&(!e[273]);
|
||||||
|
assign q[274] = ((a[274])^(!b[274]))|(!c[274]);
|
||||||
|
assign q[275] = (((!a[275])^(!b[275]))|((!c[275])^(!d[275])))^(e[275]);
|
||||||
|
assign q[276] = ((a[276])^(b[276]))&((!c[276])^(d[276]));
|
||||||
|
assign q[277] = (((!a[277])&(!b[277]))|((!c[277])^(!d[277])))&(!e[277]);
|
||||||
|
assign q[278] = (((!a[278])^(!b[278]))^(c[278]))&(!d[278]);
|
||||||
|
assign q[279] = (((a[279])&(b[279]))^((!c[279])|(d[279])))^(!e[279]);
|
||||||
|
assign q[280] = ((!a[280])&(!b[280]))&(!c[280]);
|
||||||
|
assign q[281] = ((a[281])|(b[281]))|((!c[281])|(!d[281]));
|
||||||
|
assign q[282] = ((a[282])&(b[282]))&((c[282])|(d[282]));
|
||||||
|
assign q[283] = (((a[283])|(!b[283]))^((c[283])&(!d[283])))&(e[283]);
|
||||||
|
assign q[284] = (((!a[284])&(b[284]))&(!c[284]))^(d[284]);
|
||||||
|
assign q[285] = (((a[285])|(!b[285]))&(!c[285]))|(d[285]);
|
||||||
|
assign q[286] = (((a[286])^(b[286]))&((c[286])^(!d[286])))&(!e[286]);
|
||||||
|
assign q[287] = ((a[287])&(!b[287]))|((c[287])|(!d[287]));
|
||||||
|
assign q[288] = ((!a[288])|(!b[288]))|((!c[288])|(!d[288]));
|
||||||
|
assign q[289] = ((a[289])&(b[289]))&((c[289])&(!d[289]));
|
||||||
|
assign q[290] = (((!a[290])^(b[290]))&((c[290])^(d[290])))&(!e[290]);
|
||||||
|
assign q[291] = (((a[291])&(!b[291]))|(!c[291]))^(d[291]);
|
||||||
|
assign q[292] = (((a[292])^(!b[292]))^((c[292])|(d[292])))&(e[292]);
|
||||||
|
assign q[293] = (((a[293])&(!b[293]))&((c[293])|(d[293])))|(e[293]);
|
||||||
|
assign q[294] = (((a[294])^(!b[294]))&((!c[294])^(d[294])))&(!e[294]);
|
||||||
|
assign q[295] = (((a[295])^(!b[295]))|((!c[295])|(d[295])))&(e[295]);
|
||||||
|
assign q[296] = (((a[296])&(!b[296]))&((c[296])&(d[296])))&(!e[296]);
|
||||||
|
assign q[297] = ((!a[297])|(b[297]))^((!c[297])^(!d[297]));
|
||||||
|
assign q[298] = (((a[298])^(b[298]))|((!c[298])|(d[298])))|(!e[298]);
|
||||||
|
assign q[299] = (((!a[299])^(b[299]))|((c[299])^(!d[299])))|(!e[299]);
|
||||||
|
assign q[300] = (((!a[300])^(!b[300]))^(!c[300]))|(d[300]);
|
||||||
|
assign q[301] = ((a[301])&(!b[301]))&((!c[301])|(!d[301]));
|
||||||
|
assign q[302] = ((a[302])^(b[302]))|((c[302])|(!d[302]));
|
||||||
|
assign q[303] = (((!a[303])&(b[303]))^((c[303])|(d[303])))|(!e[303]);
|
||||||
|
assign q[304] = (!a[304])^(b[304]);
|
||||||
|
assign q[305] = (((a[305])&(!b[305]))^((!c[305])&(!d[305])))^(!e[305]);
|
||||||
|
assign q[306] = (a[306])&(b[306]);
|
||||||
|
assign q[307] = ((a[307])&(!b[307]))&(c[307]);
|
||||||
|
assign q[308] = ((a[308])&(!b[308]))^((!c[308])|(d[308]));
|
||||||
|
assign q[309] = ((a[309])^(!b[309]))&((c[309])|(!d[309]));
|
||||||
|
assign q[310] = (((!a[310])|(b[310]))&((c[310])^(d[310])))^(!e[310]);
|
||||||
|
assign q[311] = (((!a[311])|(b[311]))&((c[311])&(d[311])))|(e[311]);
|
||||||
|
assign q[312] = (((!a[312])&(b[312]))|((c[312])^(!d[312])))&(!e[312]);
|
||||||
|
assign q[313] = (!a[313])|(!b[313]);
|
||||||
|
assign q[314] = ((a[314])^(!b[314]))^((c[314])|(!d[314]));
|
||||||
|
assign q[315] = (a[315])&(!b[315]);
|
||||||
|
assign q[316] = ((!a[316])^(!b[316]))&(!c[316]);
|
||||||
|
assign q[317] = ((a[317])&(!b[317]))^(c[317]);
|
||||||
|
assign q[318] = (((!a[318])^(!b[318]))|(!c[318]))&(!d[318]);
|
||||||
|
assign q[319] = (((a[319])&(!b[319]))|(!c[319]))^(d[319]);
|
||||||
|
assign q[320] = (((!a[320])^(!b[320]))|(c[320]))|(d[320]);
|
||||||
|
assign q[321] = ((a[321])|(!b[321]))|((c[321])|(d[321]));
|
||||||
|
assign q[322] = ((!a[322])^(!b[322]))&(!c[322]);
|
||||||
|
assign q[323] = (((!a[323])&(b[323]))|(c[323]))|(d[323]);
|
||||||
|
assign q[324] = ((!a[324])&(!b[324]))^((c[324])|(d[324]));
|
||||||
|
assign q[325] = ((a[325])&(!b[325]))|(!c[325]);
|
||||||
|
assign q[326] = ((!a[326])^(!b[326]))|(c[326]);
|
||||||
|
assign q[327] = (((a[327])|(b[327]))&((c[327])|(!d[327])))^(!e[327]);
|
||||||
|
assign q[328] = ((!a[328])|(b[328]))&((c[328])&(d[328]));
|
||||||
|
assign q[329] = (((a[329])&(b[329]))^(c[329]))|(!d[329]);
|
||||||
|
assign q[330] = ((a[330])|(b[330]))|((c[330])^(!d[330]));
|
||||||
|
assign q[331] = (((!a[331])|(b[331]))&(c[331]))&(d[331]);
|
||||||
|
assign q[332] = (((!a[332])&(b[332]))|((!c[332])^(d[332])))&(e[332]);
|
||||||
|
assign q[333] = (((a[333])^(!b[333]))|(!c[333]))|(!d[333]);
|
||||||
|
assign q[334] = ((a[334])&(!b[334]))&((c[334])&(!d[334]));
|
||||||
|
assign q[335] = (((!a[335])&(b[335]))^((c[335])&(d[335])))&(e[335]);
|
||||||
|
assign q[336] = (!a[336])^(b[336]);
|
||||||
|
assign q[337] = (((a[337])^(b[337]))&(c[337]))&(d[337]);
|
||||||
|
assign q[338] = (((a[338])^(!b[338]))&(!c[338]))&(!d[338]);
|
||||||
|
assign q[339] = (((!a[339])^(!b[339]))|((!c[339])|(d[339])))&(!e[339]);
|
||||||
|
assign q[340] = (((a[340])^(b[340]))^((c[340])^(d[340])))|(e[340]);
|
||||||
|
assign q[341] = (((!a[341])&(!b[341]))^(!c[341]))^(d[341]);
|
||||||
|
assign q[342] = (a[342])^(!b[342]);
|
||||||
|
assign q[343] = (((!a[343])^(b[343]))&((c[343])|(!d[343])))|(e[343]);
|
||||||
|
assign q[344] = ((a[344])&(b[344]))&((!c[344])&(d[344]));
|
||||||
|
assign q[345] = (((!a[345])&(b[345]))&((c[345])^(!d[345])))|(e[345]);
|
||||||
|
assign q[346] = (((a[346])^(!b[346]))&(c[346]))&(!d[346]);
|
||||||
|
assign q[347] = (((!a[347])^(!b[347]))|((c[347])|(!d[347])))|(!e[347]);
|
||||||
|
assign q[348] = (((a[348])|(b[348]))&((!c[348])&(d[348])))|(!e[348]);
|
||||||
|
assign q[349] = (!a[349])&(b[349]);
|
||||||
|
assign q[350] = (((!a[350])^(b[350]))|((c[350])|(!d[350])))&(e[350]);
|
||||||
|
assign q[351] = (((!a[351])^(!b[351]))^((c[351])|(!d[351])))&(!e[351]);
|
||||||
|
assign q[352] = ((!a[352])|(b[352]))^(c[352]);
|
||||||
|
assign q[353] = (((a[353])&(!b[353]))^((c[353])&(!d[353])))|(!e[353]);
|
||||||
|
assign q[354] = (((!a[354])^(b[354]))^((!c[354])^(d[354])))^(e[354]);
|
||||||
|
assign q[355] = (a[355])|(b[355]);
|
||||||
|
assign q[356] = (((a[356])^(!b[356]))^(!c[356]))&(!d[356]);
|
||||||
|
assign q[357] = (((a[357])&(!b[357]))^((c[357])&(!d[357])))^(e[357]);
|
||||||
|
assign q[358] = (((a[358])&(b[358]))&((!c[358])&(d[358])))|(e[358]);
|
||||||
|
assign q[359] = (((a[359])&(!b[359]))&((!c[359])^(!d[359])))&(e[359]);
|
||||||
|
assign q[360] = (((!a[360])|(!b[360]))|((!c[360])|(d[360])))&(!e[360]);
|
||||||
|
assign q[361] = (((a[361])|(b[361]))^((c[361])|(!d[361])))^(!e[361]);
|
||||||
|
assign q[362] = (((!a[362])|(!b[362]))|(c[362]))|(d[362]);
|
||||||
|
assign q[363] = ((a[363])|(!b[363]))&((!c[363])^(!d[363]));
|
||||||
|
assign q[364] = (((a[364])&(!b[364]))&((c[364])&(d[364])))|(e[364]);
|
||||||
|
assign q[365] = ((a[365])|(!b[365]))&((c[365])|(d[365]));
|
||||||
|
assign q[366] = (((a[366])|(!b[366]))&((!c[366])|(!d[366])))^(!e[366]);
|
||||||
|
assign q[367] = ((a[367])^(!b[367]))^((!c[367])|(!d[367]));
|
||||||
|
assign q[368] = (((!a[368])&(b[368]))&((!c[368])|(!d[368])))&(!e[368]);
|
||||||
|
assign q[369] = ((a[369])^(b[369]))|((c[369])|(d[369]));
|
||||||
|
assign q[370] = (((a[370])^(b[370]))^(!c[370]))|(!d[370]);
|
||||||
|
assign q[371] = (((a[371])^(b[371]))&((!c[371])&(d[371])))&(!e[371]);
|
||||||
|
assign q[372] = (((!a[372])|(!b[372]))|((!c[372])&(d[372])))&(!e[372]);
|
||||||
|
assign q[373] = ((a[373])&(b[373]))&((!c[373])&(!d[373]));
|
||||||
|
assign q[374] = (((!a[374])^(!b[374]))^((!c[374])&(!d[374])))|(e[374]);
|
||||||
|
assign q[375] = ((!a[375])&(b[375]))^(!c[375]);
|
||||||
|
assign q[376] = (!a[376])|(b[376]);
|
||||||
|
assign q[377] = (((!a[377])^(b[377]))^((!c[377])^(!d[377])))^(e[377]);
|
||||||
|
assign q[378] = (((a[378])|(!b[378]))^((c[378])^(d[378])))&(!e[378]);
|
||||||
|
assign q[379] = (((a[379])|(b[379]))&((!c[379])^(!d[379])))^(e[379]);
|
||||||
|
assign q[380] = (((!a[380])^(!b[380]))^((c[380])|(!d[380])))&(!e[380]);
|
||||||
|
assign q[381] = (((!a[381])^(b[381]))^(c[381]))^(!d[381]);
|
||||||
|
assign q[382] = (((!a[382])^(b[382]))^(!c[382]))&(!d[382]);
|
||||||
|
assign q[383] = (((!a[383])&(!b[383]))&((c[383])^(d[383])))|(e[383]);
|
||||||
|
assign q[384] = (((a[384])&(b[384]))&((c[384])&(d[384])))^(e[384]);
|
||||||
|
assign q[385] = ((a[385])|(!b[385]))&(!c[385]);
|
||||||
|
assign q[386] = ((a[386])|(b[386]))&(!c[386]);
|
||||||
|
assign q[387] = (((!a[387])^(b[387]))|(c[387]))^(d[387]);
|
||||||
|
assign q[388] = (!a[388])&(!b[388]);
|
||||||
|
assign q[389] = ((a[389])^(b[389]))^(!c[389]);
|
||||||
|
assign q[390] = (((!a[390])|(b[390]))^(c[390]))|(d[390]);
|
||||||
|
assign q[391] = (!a[391])^(!b[391]);
|
||||||
|
assign q[392] = ((!a[392])^(b[392]))|(c[392]);
|
||||||
|
assign q[393] = (((!a[393])&(!b[393]))^((c[393])^(d[393])))^(e[393]);
|
||||||
|
assign q[394] = (((!a[394])^(b[394]))|(!c[394]))|(!d[394]);
|
||||||
|
assign q[395] = ((!a[395])&(!b[395]))^(!c[395]);
|
||||||
|
assign q[396] = ((a[396])^(b[396]))|((!c[396])|(d[396]));
|
||||||
|
assign q[397] = (((a[397])|(!b[397]))&((!c[397])&(d[397])))&(!e[397]);
|
||||||
|
assign q[398] = (((a[398])&(!b[398]))^((c[398])&(d[398])))|(!e[398]);
|
||||||
|
assign q[399] = (((!a[399])^(!b[399]))^((c[399])&(d[399])))|(!e[399]);
|
||||||
|
assign q[400] = (!a[400])&(b[400]);
|
||||||
|
assign q[401] = (((a[401])&(!b[401]))^(!c[401]))^(!d[401]);
|
||||||
|
assign q[402] = ((a[402])|(!b[402]))^((!c[402])^(!d[402]));
|
||||||
|
assign q[403] = (((!a[403])|(!b[403]))|((c[403])|(d[403])))^(!e[403]);
|
||||||
|
assign q[404] = (((!a[404])^(b[404]))&((c[404])&(d[404])))^(!e[404]);
|
||||||
|
assign q[405] = (((!a[405])^(b[405]))&(!c[405]))&(d[405]);
|
||||||
|
assign q[406] = (((!a[406])|(b[406]))|((c[406])^(!d[406])))&(!e[406]);
|
||||||
|
assign q[407] = (!a[407])|(b[407]);
|
||||||
|
assign q[408] = (((!a[408])&(!b[408]))|(!c[408]))&(!d[408]);
|
||||||
|
assign q[409] = (!a[409])^(!b[409]);
|
||||||
|
assign q[410] = (((!a[410])|(b[410]))|((!c[410])|(d[410])))|(!e[410]);
|
||||||
|
assign q[411] = (((!a[411])^(b[411]))|((c[411])&(d[411])))|(e[411]);
|
||||||
|
assign q[412] = ((!a[412])&(!b[412]))&((c[412])|(d[412]));
|
||||||
|
assign q[413] = (((!a[413])^(b[413]))^((c[413])&(!d[413])))&(!e[413]);
|
||||||
|
assign q[414] = (a[414])^(!b[414]);
|
||||||
|
assign q[415] = (((!a[415])^(b[415]))&(c[415]))|(!d[415]);
|
||||||
|
assign q[416] = ((!a[416])|(!b[416]))&(c[416]);
|
||||||
|
assign q[417] = (((!a[417])^(!b[417]))^((c[417])^(d[417])))|(!e[417]);
|
||||||
|
assign q[418] = ((!a[418])&(!b[418]))^((!c[418])&(!d[418]));
|
||||||
|
assign q[419] = (!a[419])&(!b[419]);
|
||||||
|
assign q[420] = ((a[420])^(!b[420]))|(!c[420]);
|
||||||
|
assign q[421] = ((!a[421])&(!b[421]))&((!c[421])^(d[421]));
|
||||||
|
assign q[422] = ((!a[422])^(b[422]))^((!c[422])&(!d[422]));
|
||||||
|
assign q[423] = (((a[423])|(b[423]))^((c[423])&(d[423])))^(!e[423]);
|
||||||
|
assign q[424] = (a[424])|(b[424]);
|
||||||
|
assign q[425] = (!a[425])^(b[425]);
|
||||||
|
assign q[426] = (!a[426])^(!b[426]);
|
||||||
|
assign q[427] = ((a[427])&(!b[427]))^((!c[427])^(!d[427]));
|
||||||
|
assign q[428] = (((!a[428])&(!b[428]))^(!c[428]))^(d[428]);
|
||||||
|
assign q[429] = (((!a[429])^(b[429]))&(c[429]))&(d[429]);
|
||||||
|
assign q[430] = ((!a[430])&(b[430]))^((c[430])^(d[430]));
|
||||||
|
assign q[431] = (((!a[431])|(b[431]))^((!c[431])|(d[431])))&(e[431]);
|
||||||
|
assign q[432] = (((!a[432])|(!b[432]))|((!c[432])^(d[432])))|(!e[432]);
|
||||||
|
assign q[433] = (((a[433])^(!b[433]))&(!c[433]))&(d[433]);
|
||||||
|
assign q[434] = ((!a[434])&(!b[434]))|((c[434])|(!d[434]));
|
||||||
|
assign q[435] = (!a[435])|(!b[435]);
|
||||||
|
assign q[436] = (((!a[436])^(!b[436]))&((!c[436])|(!d[436])))&(e[436]);
|
||||||
|
assign q[437] = (((!a[437])^(!b[437]))^(!c[437]))&(!d[437]);
|
||||||
|
assign q[438] = (!a[438])^(b[438]);
|
||||||
|
assign q[439] = ((a[439])^(!b[439]))|(c[439]);
|
||||||
|
assign q[440] = ((a[440])^(!b[440]))|((!c[440])&(!d[440]));
|
||||||
|
assign q[441] = (((a[441])&(b[441]))^((c[441])&(d[441])))|(e[441]);
|
||||||
|
assign q[442] = (!a[442])|(b[442]);
|
||||||
|
assign q[443] = (!a[443])^(b[443]);
|
||||||
|
assign q[444] = ((a[444])^(!b[444]))|((c[444])&(d[444]));
|
||||||
|
assign q[445] = (((a[445])|(!b[445]))&(c[445]))|(d[445]);
|
||||||
|
assign q[446] = ((a[446])&(b[446]))^((c[446])^(!d[446]));
|
||||||
|
assign q[447] = ((!a[447])&(!b[447]))^(!c[447]);
|
||||||
|
assign q[448] = (((!a[448])^(b[448]))&(c[448]))|(!d[448]);
|
||||||
|
assign q[449] = (((a[449])|(!b[449]))|((c[449])&(d[449])))|(!e[449]);
|
||||||
|
assign q[450] = (((!a[450])|(b[450]))|(c[450]))^(!d[450]);
|
||||||
|
assign q[451] = ((a[451])^(b[451]))|((c[451])^(d[451]));
|
||||||
|
assign q[452] = (((a[452])^(!b[452]))|(c[452]))|(d[452]);
|
||||||
|
assign q[453] = (!a[453])^(!b[453]);
|
||||||
|
assign q[454] = (((a[454])|(!b[454]))|(c[454]))^(d[454]);
|
||||||
|
assign q[455] = ((!a[455])&(b[455]))^((!c[455])|(!d[455]));
|
||||||
|
assign q[456] = (((a[456])^(!b[456]))|((c[456])^(d[456])))^(e[456]);
|
||||||
|
assign q[457] = (((a[457])&(!b[457]))^(c[457]))|(d[457]);
|
||||||
|
assign q[458] = (((!a[458])^(b[458]))^(c[458]))&(!d[458]);
|
||||||
|
assign q[459] = (((!a[459])&(b[459]))^((!c[459])&(!d[459])))&(e[459]);
|
||||||
|
assign q[460] = ((!a[460])^(!b[460]))|((c[460])&(!d[460]));
|
||||||
|
assign q[461] = ((a[461])&(!b[461]))&(c[461]);
|
||||||
|
assign q[462] = (((a[462])|(b[462]))^((c[462])^(d[462])))|(!e[462]);
|
||||||
|
assign q[463] = (((a[463])|(!b[463]))&((!c[463])|(d[463])))|(e[463]);
|
||||||
|
assign q[464] = (((!a[464])^(b[464]))&((!c[464])|(!d[464])))^(e[464]);
|
||||||
|
assign q[465] = ((!a[465])|(b[465]))&((c[465])&(d[465]));
|
||||||
|
assign q[466] = (((!a[466])^(b[466]))|((!c[466])&(d[466])))&(e[466]);
|
||||||
|
assign q[467] = (((!a[467])|(!b[467]))&((!c[467])&(!d[467])))^(!e[467]);
|
||||||
|
assign q[468] = ((!a[468])^(!b[468]))&((c[468])&(!d[468]));
|
||||||
|
assign q[469] = (((a[469])^(b[469]))^(c[469]))&(!d[469]);
|
||||||
|
assign q[470] = (((a[470])&(b[470]))^(c[470]))&(d[470]);
|
||||||
|
assign q[471] = (((!a[471])&(b[471]))^(c[471]))&(!d[471]);
|
||||||
|
assign q[472] = (((!a[472])|(b[472]))|((!c[472])|(!d[472])))|(!e[472]);
|
||||||
|
assign q[473] = (((a[473])|(b[473]))|((c[473])^(d[473])))|(e[473]);
|
||||||
|
assign q[474] = (a[474])^(!b[474]);
|
||||||
|
assign q[475] = (a[475])&(!b[475]);
|
||||||
|
assign q[476] = (((a[476])^(!b[476]))&((c[476])&(d[476])))|(!e[476]);
|
||||||
|
assign q[477] = ((a[477])^(b[477]))&(!c[477]);
|
||||||
|
assign q[478] = (((a[478])|(!b[478]))&((c[478])^(d[478])))|(e[478]);
|
||||||
|
assign q[479] = (((a[479])|(!b[479]))&((c[479])&(!d[479])))|(!e[479]);
|
||||||
|
assign q[480] = (((!a[480])|(b[480]))&((!c[480])|(!d[480])))|(e[480]);
|
||||||
|
assign q[481] = (((!a[481])&(b[481]))|((!c[481])^(d[481])))&(!e[481]);
|
||||||
|
assign q[482] = (a[482])^(!b[482]);
|
||||||
|
assign q[483] = (a[483])|(b[483]);
|
||||||
|
assign q[484] = (((a[484])|(!b[484]))&(c[484]))|(!d[484]);
|
||||||
|
assign q[485] = (((a[485])^(!b[485]))&(c[485]))|(!d[485]);
|
||||||
|
assign q[486] = ((!a[486])^(b[486]))&(c[486]);
|
||||||
|
assign q[487] = ((!a[487])&(b[487]))^((!c[487])^(!d[487]));
|
||||||
|
assign q[488] = ((a[488])&(b[488]))^((c[488])^(d[488]));
|
||||||
|
assign q[489] = (a[489])^(!b[489]);
|
||||||
|
assign q[490] = (((!a[490])^(b[490]))&(!c[490]))|(!d[490]);
|
||||||
|
assign q[491] = (a[491])^(!b[491]);
|
||||||
|
assign q[492] = (!a[492])|(!b[492]);
|
||||||
|
assign q[493] = (((!a[493])|(!b[493]))|((c[493])^(d[493])))^(e[493]);
|
||||||
|
assign q[494] = (((a[494])&(b[494]))^((c[494])&(!d[494])))&(e[494]);
|
||||||
|
assign q[495] = (((a[495])|(!b[495]))|((!c[495])^(d[495])))^(!e[495]);
|
||||||
|
assign q[496] = (((a[496])^(b[496]))&((!c[496])^(!d[496])))&(!e[496]);
|
||||||
|
assign q[497] = (((a[497])^(!b[497]))|((!c[497])&(d[497])))|(e[497]);
|
||||||
|
assign q[498] = (((!a[498])|(!b[498]))&(c[498]))&(!d[498]);
|
||||||
|
assign q[499] = (((a[499])|(b[499]))^((c[499])^(!d[499])))|(!e[499]);
|
||||||
|
assign q[500] = ((a[500])&(b[500]))^((!c[500])^(!d[500]));
|
||||||
|
assign q[501] = (((a[501])&(!b[501]))|(!c[501]))|(!d[501]);
|
||||||
|
assign q[502] = (((a[502])^(!b[502]))^(!c[502]))|(!d[502]);
|
||||||
|
assign q[503] = (((!a[503])&(b[503]))|(!c[503]))^(!d[503]);
|
||||||
|
assign q[504] = (((a[504])&(b[504]))|(c[504]))|(d[504]);
|
||||||
|
assign q[505] = (((!a[505])&(b[505]))&((c[505])&(!d[505])))^(!e[505]);
|
||||||
|
assign q[506] = (((!a[506])|(b[506]))|(c[506]))&(!d[506]);
|
||||||
|
assign q[507] = (((!a[507])^(b[507]))^(c[507]))&(d[507]);
|
||||||
|
assign q[508] = (((!a[508])&(b[508]))|((!c[508])|(d[508])))|(!e[508]);
|
||||||
|
assign q[509] = (!a[509])|(b[509]);
|
||||||
|
assign q[510] = (((a[510])|(!b[510]))^(c[510]))^(d[510]);
|
||||||
|
assign q[511] = ((!a[511])|(!b[511]))|((c[511])|(d[511]));
|
||||||
|
assign q[512] = ((a[512])|(!b[512]))&((!c[512])&(d[512]));
|
||||||
|
assign q[513] = (!a[513])&(!b[513]);
|
||||||
|
assign q[514] = (((a[514])|(!b[514]))^(!c[514]))&(d[514]);
|
||||||
|
assign q[515] = (((!a[515])|(!b[515]))^(c[515]))|(!d[515]);
|
||||||
|
assign q[516] = ((a[516])|(b[516]))|((c[516])&(!d[516]));
|
||||||
|
assign q[517] = (((a[517])^(!b[517]))^((c[517])&(!d[517])))&(e[517]);
|
||||||
|
assign q[518] = (((a[518])&(!b[518]))^((c[518])|(!d[518])))^(!e[518]);
|
||||||
|
assign q[519] = (((!a[519])^(!b[519]))&((c[519])&(d[519])))|(e[519]);
|
||||||
|
assign q[520] = ((a[520])^(b[520]))|((c[520])&(!d[520]));
|
||||||
|
assign q[521] = (((!a[521])^(!b[521]))^((!c[521])|(!d[521])))|(e[521]);
|
||||||
|
assign q[522] = (((a[522])|(b[522]))|(c[522]))&(!d[522]);
|
||||||
|
assign q[523] = (((a[523])|(b[523]))^((c[523])|(!d[523])))|(e[523]);
|
||||||
|
assign q[524] = ((!a[524])^(b[524]))&(c[524]);
|
||||||
|
assign q[525] = (a[525])&(b[525]);
|
||||||
|
assign q[526] = ((a[526])|(!b[526]))^((!c[526])^(!d[526]));
|
||||||
|
assign q[527] = ((!a[527])&(!b[527]))&((!c[527])|(!d[527]));
|
||||||
|
assign q[528] = ((a[528])^(b[528]))&(!c[528]);
|
||||||
|
assign q[529] = ((a[529])^(b[529]))|((c[529])|(!d[529]));
|
||||||
|
assign q[530] = ((!a[530])&(b[530]))|((c[530])&(!d[530]));
|
||||||
|
assign q[531] = (a[531])|(b[531]);
|
||||||
|
assign q[532] = (((!a[532])|(b[532]))&(c[532]))|(d[532]);
|
||||||
|
assign q[533] = ((a[533])&(!b[533]))&((c[533])&(!d[533]));
|
||||||
|
assign q[534] = (((a[534])&(!b[534]))&(!c[534]))|(d[534]);
|
||||||
|
assign q[535] = ((!a[535])^(b[535]))|((c[535])&(!d[535]));
|
||||||
|
assign q[536] = (((a[536])&(!b[536]))|((c[536])|(!d[536])))|(!e[536]);
|
||||||
|
assign q[537] = ((!a[537])^(b[537]))^((c[537])&(!d[537]));
|
||||||
|
assign q[538] = (((!a[538])&(b[538]))&(c[538]))|(d[538]);
|
||||||
|
assign q[539] = (a[539])|(!b[539]);
|
||||||
|
assign q[540] = (((!a[540])|(!b[540]))^((!c[540])|(d[540])))&(!e[540]);
|
||||||
|
assign q[541] = ((!a[541])&(!b[541]))&((c[541])^(d[541]));
|
||||||
|
assign q[542] = (((a[542])|(!b[542]))^(!c[542]))&(d[542]);
|
||||||
|
assign q[543] = (((!a[543])&(b[543]))&(!c[543]))^(d[543]);
|
||||||
|
assign q[544] = (((!a[544])|(b[544]))&((!c[544])&(d[544])))&(e[544]);
|
||||||
|
assign q[545] = (((a[545])^(!b[545]))|(!c[545]))&(d[545]);
|
||||||
|
assign q[546] = (((!a[546])|(!b[546]))^((!c[546])|(d[546])))&(!e[546]);
|
||||||
|
assign q[547] = (((a[547])^(!b[547]))|(c[547]))|(!d[547]);
|
||||||
|
assign q[548] = (((!a[548])^(b[548]))&((c[548])|(!d[548])))&(!e[548]);
|
||||||
|
assign q[549] = ((a[549])|(!b[549]))^((!c[549])^(d[549]));
|
||||||
|
assign q[550] = ((!a[550])&(!b[550]))^(c[550]);
|
||||||
|
assign q[551] = (((!a[551])&(b[551]))|((c[551])&(!d[551])))&(!e[551]);
|
||||||
|
assign q[552] = (((a[552])|(b[552]))^((!c[552])|(!d[552])))&(!e[552]);
|
||||||
|
assign q[553] = (((a[553])|(b[553]))|((!c[553])|(d[553])))&(e[553]);
|
||||||
|
assign q[554] = (((a[554])&(!b[554]))^(!c[554]))^(d[554]);
|
||||||
|
assign q[555] = ((!a[555])^(b[555]))|(!c[555]);
|
||||||
|
assign q[556] = (((!a[556])^(!b[556]))^(!c[556]))|(d[556]);
|
||||||
|
assign q[557] = ((a[557])&(!b[557]))|((c[557])&(d[557]));
|
||||||
|
assign q[558] = (((a[558])&(!b[558]))^((!c[558])^(!d[558])))^(!e[558]);
|
||||||
|
assign q[559] = (((!a[559])|(!b[559]))|((!c[559])|(!d[559])))^(!e[559]);
|
||||||
|
assign q[560] = ((!a[560])|(!b[560]))|((!c[560])^(d[560]));
|
||||||
|
assign q[561] = (((!a[561])|(b[561]))|(c[561]))^(!d[561]);
|
||||||
|
assign q[562] = ((!a[562])&(!b[562]))&((!c[562])^(!d[562]));
|
||||||
|
assign q[563] = (((a[563])^(b[563]))^(!c[563]))|(d[563]);
|
||||||
|
assign q[564] = (((!a[564])|(b[564]))|(!c[564]))|(d[564]);
|
||||||
|
assign q[565] = (((a[565])&(!b[565]))&((c[565])|(d[565])))|(!e[565]);
|
||||||
|
assign q[566] = (((a[566])&(b[566]))^(!c[566]))|(!d[566]);
|
||||||
|
assign q[567] = (((!a[567])&(!b[567]))&((c[567])&(!d[567])))|(!e[567]);
|
||||||
|
assign q[568] = (((!a[568])|(!b[568]))|(!c[568]))&(!d[568]);
|
||||||
|
assign q[569] = (!a[569])&(b[569]);
|
||||||
|
assign q[570] = ((!a[570])|(b[570]))|((!c[570])|(!d[570]));
|
||||||
|
assign q[571] = (((a[571])|(b[571]))&((!c[571])|(!d[571])))&(!e[571]);
|
||||||
|
assign q[572] = ((!a[572])&(b[572]))|((c[572])|(!d[572]));
|
||||||
|
assign q[573] = ((a[573])^(!b[573]))|((!c[573])|(!d[573]));
|
||||||
|
assign q[574] = (((!a[574])|(b[574]))&((!c[574])&(!d[574])))&(!e[574]);
|
||||||
|
assign q[575] = (((!a[575])&(b[575]))&((!c[575])|(!d[575])))|(!e[575]);
|
||||||
|
assign q[576] = (((a[576])|(!b[576]))^((c[576])^(d[576])))|(e[576]);
|
||||||
|
assign q[577] = (((a[577])|(b[577]))&(c[577]))^(d[577]);
|
||||||
|
assign q[578] = ((a[578])^(!b[578]))&(!c[578]);
|
||||||
|
assign q[579] = (((!a[579])&(!b[579]))^((!c[579])|(!d[579])))|(!e[579]);
|
||||||
|
assign q[580] = (((!a[580])|(b[580]))|(!c[580]))^(d[580]);
|
||||||
|
assign q[581] = ((a[581])&(b[581]))&((!c[581])|(d[581]));
|
||||||
|
assign q[582] = (((!a[582])^(b[582]))|(!c[582]))&(!d[582]);
|
||||||
|
assign q[583] = (a[583])&(b[583]);
|
||||||
|
assign q[584] = (((!a[584])|(b[584]))|((c[584])^(d[584])))^(e[584]);
|
||||||
|
assign q[585] = ((a[585])&(b[585]))|((!c[585])|(!d[585]));
|
||||||
|
assign q[586] = (((a[586])|(b[586]))^((!c[586])|(d[586])))^(!e[586]);
|
||||||
|
assign q[587] = ((a[587])|(!b[587]))&(!c[587]);
|
||||||
|
assign q[588] = (((!a[588])&(b[588]))^((!c[588])|(!d[588])))|(!e[588]);
|
||||||
|
assign q[589] = (((!a[589])|(b[589]))&((!c[589])|(d[589])))&(e[589]);
|
||||||
|
assign q[590] = (((a[590])^(b[590]))^((!c[590])&(d[590])))&(!e[590]);
|
||||||
|
assign q[591] = ((a[591])^(!b[591]))|(!c[591]);
|
||||||
|
assign q[592] = ((a[592])|(!b[592]))^((!c[592])^(!d[592]));
|
||||||
|
assign q[593] = ((!a[593])|(b[593]))&((c[593])&(!d[593]));
|
||||||
|
assign q[594] = ((!a[594])&(!b[594]))^(!c[594]);
|
||||||
|
assign q[595] = (((!a[595])^(b[595]))|(!c[595]))&(d[595]);
|
||||||
|
assign q[596] = (((a[596])|(!b[596]))&(!c[596]))|(!d[596]);
|
||||||
|
assign q[597] = (a[597])&(!b[597]);
|
||||||
|
assign q[598] = ((a[598])^(b[598]))|((!c[598])&(d[598]));
|
||||||
|
assign q[599] = ((a[599])&(b[599]))&(!c[599]);
|
||||||
|
assign q[600] = ((!a[600])|(b[600]))|((!c[600])^(!d[600]));
|
||||||
|
assign q[601] = ((a[601])&(!b[601]))|((c[601])^(!d[601]));
|
||||||
|
assign q[602] = ((!a[602])&(!b[602]))^(!c[602]);
|
||||||
|
assign q[603] = ((a[603])&(!b[603]))^((c[603])&(!d[603]));
|
||||||
|
assign q[604] = ((a[604])&(!b[604]))&((c[604])^(!d[604]));
|
||||||
|
assign q[605] = (((!a[605])|(b[605]))&((c[605])|(d[605])))|(e[605]);
|
||||||
|
assign q[606] = (((a[606])|(!b[606]))|((!c[606])^(d[606])))&(e[606]);
|
||||||
|
assign q[607] = ((a[607])&(!b[607]))^(!c[607]);
|
||||||
|
assign q[608] = ((a[608])^(!b[608]))&(!c[608]);
|
||||||
|
assign q[609] = ((a[609])^(!b[609]))&((!c[609])&(d[609]));
|
||||||
|
assign q[610] = ((!a[610])&(!b[610]))&(c[610]);
|
||||||
|
assign q[611] = (((!a[611])|(b[611]))&(!c[611]))|(!d[611]);
|
||||||
|
assign q[612] = (((a[612])^(!b[612]))&((!c[612])|(d[612])))^(e[612]);
|
||||||
|
assign q[613] = (((!a[613])|(b[613]))^((c[613])&(!d[613])))|(!e[613]);
|
||||||
|
assign q[614] = (a[614])^(!b[614]);
|
||||||
|
assign q[615] = (((!a[615])^(b[615]))|(!c[615]))^(d[615]);
|
||||||
|
assign q[616] = ((!a[616])&(!b[616]))|((c[616])&(!d[616]));
|
||||||
|
assign q[617] = (((a[617])^(b[617]))|(c[617]))|(d[617]);
|
||||||
|
assign q[618] = (((!a[618])^(!b[618]))^((c[618])^(d[618])))^(e[618]);
|
||||||
|
assign q[619] = (((!a[619])|(!b[619]))|(c[619]))^(!d[619]);
|
||||||
|
assign q[620] = (!a[620])^(!b[620]);
|
||||||
|
assign q[621] = ((!a[621])&(!b[621]))&((!c[621])|(d[621]));
|
||||||
|
assign q[622] = (((a[622])^(b[622]))&((!c[622])|(!d[622])))|(!e[622]);
|
||||||
|
assign q[623] = (((a[623])&(!b[623]))^(c[623]))&(d[623]);
|
||||||
|
assign q[624] = (((a[624])&(b[624]))|(c[624]))^(!d[624]);
|
||||||
|
assign q[625] = (((!a[625])^(!b[625]))&((!c[625])|(d[625])))&(!e[625]);
|
||||||
|
assign q[626] = (((!a[626])&(!b[626]))^(!c[626]))|(!d[626]);
|
||||||
|
assign q[627] = ((!a[627])|(b[627]))|(c[627]);
|
||||||
|
assign q[628] = (((!a[628])&(!b[628]))^((!c[628])|(!d[628])))^(e[628]);
|
||||||
|
assign q[629] = ((a[629])&(!b[629]))|((c[629])^(d[629]));
|
||||||
|
assign q[630] = (((!a[630])|(b[630]))^((c[630])|(!d[630])))|(!e[630]);
|
||||||
|
assign q[631] = (((!a[631])&(b[631]))&(!c[631]))^(!d[631]);
|
||||||
|
assign q[632] = (((a[632])&(!b[632]))&(!c[632]))|(!d[632]);
|
||||||
|
assign q[633] = (((a[633])|(b[633]))^(c[633]))|(d[633]);
|
||||||
|
assign q[634] = (((a[634])&(b[634]))|((c[634])|(d[634])))&(e[634]);
|
||||||
|
assign q[635] = (((a[635])&(!b[635]))&((c[635])&(!d[635])))&(!e[635]);
|
||||||
|
assign q[636] = (((!a[636])|(b[636]))^((!c[636])^(d[636])))^(e[636]);
|
||||||
|
assign q[637] = (((a[637])&(b[637]))&((!c[637])&(d[637])))|(!e[637]);
|
||||||
|
assign q[638] = ((!a[638])|(!b[638]))&(!c[638]);
|
||||||
|
assign q[639] = (((a[639])|(!b[639]))&((c[639])|(d[639])))^(!e[639]);
|
||||||
|
assign q[640] = (!a[640])&(b[640]);
|
||||||
|
assign q[641] = ((!a[641])^(!b[641]))^((!c[641])^(d[641]));
|
||||||
|
assign q[642] = (((!a[642])^(!b[642]))&(c[642]))&(!d[642]);
|
||||||
|
assign q[643] = (!a[643])^(!b[643]);
|
||||||
|
assign q[644] = ((!a[644])|(!b[644]))|((!c[644])^(!d[644]));
|
||||||
|
assign q[645] = (((a[645])&(b[645]))^((c[645])&(!d[645])))|(e[645]);
|
||||||
|
assign q[646] = ((a[646])&(!b[646]))&(c[646]);
|
||||||
|
assign q[647] = ((a[647])&(!b[647]))^((!c[647])^(!d[647]));
|
||||||
|
assign q[648] = (((!a[648])|(b[648]))&((!c[648])&(d[648])))|(e[648]);
|
||||||
|
assign q[649] = ((!a[649])|(b[649]))|((c[649])&(!d[649]));
|
||||||
|
assign q[650] = (((!a[650])&(b[650]))^(c[650]))^(d[650]);
|
||||||
|
assign q[651] = ((a[651])|(b[651]))^(!c[651]);
|
||||||
|
assign q[652] = (((a[652])^(b[652]))&((c[652])|(d[652])))|(e[652]);
|
||||||
|
assign q[653] = (((!a[653])|(b[653]))^(c[653]))^(d[653]);
|
||||||
|
assign q[654] = (((a[654])^(!b[654]))^(!c[654]))^(d[654]);
|
||||||
|
assign q[655] = (((!a[655])|(b[655]))|((!c[655])&(d[655])))&(e[655]);
|
||||||
|
assign q[656] = (((a[656])^(b[656]))|((!c[656])^(!d[656])))^(!e[656]);
|
||||||
|
assign q[657] = ((a[657])&(!b[657]))&(c[657]);
|
||||||
|
assign q[658] = (((!a[658])|(b[658]))|((!c[658])^(!d[658])))|(e[658]);
|
||||||
|
assign q[659] = (((a[659])&(b[659]))&((c[659])|(!d[659])))^(e[659]);
|
||||||
|
assign q[660] = (((!a[660])&(!b[660]))|((!c[660])|(!d[660])))&(e[660]);
|
||||||
|
assign q[661] = ((a[661])&(!b[661]))^((!c[661])^(!d[661]));
|
||||||
|
assign q[662] = (((!a[662])|(!b[662]))|((c[662])|(!d[662])))^(!e[662]);
|
||||||
|
assign q[663] = (a[663])^(b[663]);
|
||||||
|
assign q[664] = ((!a[664])&(!b[664]))|((!c[664])&(!d[664]));
|
||||||
|
assign q[665] = (((a[665])|(b[665]))&((!c[665])&(!d[665])))^(e[665]);
|
||||||
|
assign q[666] = (((a[666])&(b[666]))|((c[666])|(d[666])))|(!e[666]);
|
||||||
|
assign q[667] = ((a[667])&(!b[667]))&(!c[667]);
|
||||||
|
assign q[668] = (((!a[668])&(b[668]))^(c[668]))|(d[668]);
|
||||||
|
assign q[669] = (((!a[669])^(b[669]))^((!c[669])^(!d[669])))&(e[669]);
|
||||||
|
assign q[670] = ((!a[670])|(b[670]))&((c[670])|(!d[670]));
|
||||||
|
assign q[671] = (((a[671])&(!b[671]))^(c[671]))^(!d[671]);
|
||||||
|
assign q[672] = (((a[672])^(b[672]))^((c[672])&(!d[672])))|(!e[672]);
|
||||||
|
assign q[673] = (((a[673])^(!b[673]))&((c[673])|(d[673])))|(!e[673]);
|
||||||
|
assign q[674] = ((!a[674])|(!b[674]))|((!c[674])^(d[674]));
|
||||||
|
assign q[675] = ((!a[675])^(b[675]))&((!c[675])|(!d[675]));
|
||||||
|
assign q[676] = (((!a[676])&(!b[676]))^((!c[676])&(d[676])))|(!e[676]);
|
||||||
|
assign q[677] = (((!a[677])&(!b[677]))^(c[677]))&(!d[677]);
|
||||||
|
assign q[678] = (((!a[678])|(!b[678]))&((c[678])^(!d[678])))&(e[678]);
|
||||||
|
assign q[679] = (!a[679])|(b[679]);
|
||||||
|
assign q[680] = (a[680])&(!b[680]);
|
||||||
|
assign q[681] = (((!a[681])|(b[681]))|((c[681])&(d[681])))|(!e[681]);
|
||||||
|
assign q[682] = ((a[682])&(!b[682]))^((!c[682])|(!d[682]));
|
||||||
|
assign q[683] = ((!a[683])&(!b[683]))|((!c[683])^(!d[683]));
|
||||||
|
assign q[684] = (!a[684])&(!b[684]);
|
||||||
|
assign q[685] = (((a[685])&(!b[685]))|((c[685])&(!d[685])))|(!e[685]);
|
||||||
|
assign q[686] = (a[686])^(!b[686]);
|
||||||
|
assign q[687] = (((!a[687])|(b[687]))&((!c[687])|(d[687])))^(e[687]);
|
||||||
|
assign q[688] = (((a[688])^(!b[688]))^((!c[688])&(!d[688])))&(!e[688]);
|
||||||
|
assign q[689] = (((!a[689])^(b[689]))^(c[689]))&(!d[689]);
|
||||||
|
assign q[690] = ((a[690])^(!b[690]))|((!c[690])|(!d[690]));
|
||||||
|
assign q[691] = (((!a[691])^(b[691]))&((!c[691])&(!d[691])))^(!e[691]);
|
||||||
|
assign q[692] = ((a[692])^(!b[692]))|((c[692])|(!d[692]));
|
||||||
|
assign q[693] = (((a[693])&(b[693]))&((!c[693])|(d[693])))^(e[693]);
|
||||||
|
assign q[694] = ((!a[694])^(!b[694]))^((c[694])^(!d[694]));
|
||||||
|
assign q[695] = ((a[695])&(b[695]))&((!c[695])|(!d[695]));
|
||||||
|
assign q[696] = ((a[696])|(b[696]))&((c[696])|(d[696]));
|
||||||
|
assign q[697] = (((!a[697])^(b[697]))|((c[697])^(!d[697])))|(e[697]);
|
||||||
|
assign q[698] = (((a[698])|(b[698]))|((!c[698])&(!d[698])))^(!e[698]);
|
||||||
|
assign q[699] = (((!a[699])|(!b[699]))&(c[699]))|(!d[699]);
|
||||||
|
assign q[700] = ((!a[700])&(b[700]))|((!c[700])|(d[700]));
|
||||||
|
assign q[701] = (((!a[701])|(b[701]))|((c[701])^(d[701])))&(e[701]);
|
||||||
|
assign q[702] = (((!a[702])&(b[702]))&(c[702]))&(!d[702]);
|
||||||
|
assign q[703] = ((!a[703])&(!b[703]))|((c[703])|(d[703]));
|
||||||
|
assign q[704] = (((a[704])^(b[704]))^((c[704])&(d[704])))|(!e[704]);
|
||||||
|
assign q[705] = ((a[705])^(!b[705]))^((!c[705])^(!d[705]));
|
||||||
|
assign q[706] = (((!a[706])^(b[706]))^((!c[706])&(!d[706])))&(e[706]);
|
||||||
|
assign q[707] = ((a[707])&(!b[707]))|((c[707])^(d[707]));
|
||||||
|
assign q[708] = (((a[708])^(b[708]))|(!c[708]))|(d[708]);
|
||||||
|
assign q[709] = (((!a[709])&(b[709]))^((!c[709])&(!d[709])))&(!e[709]);
|
||||||
|
assign q[710] = ((!a[710])^(!b[710]))^(c[710]);
|
||||||
|
assign q[711] = (!a[711])&(b[711]);
|
||||||
|
assign q[712] = ((a[712])^(b[712]))&((c[712])^(!d[712]));
|
||||||
|
assign q[713] = (((a[713])^(b[713]))|((!c[713])^(d[713])))|(!e[713]);
|
||||||
|
assign q[714] = (((a[714])|(b[714]))&((c[714])^(d[714])))^(!e[714]);
|
||||||
|
assign q[715] = ((a[715])|(b[715]))|((!c[715])^(d[715]));
|
||||||
|
assign q[716] = (((a[716])|(b[716]))^(c[716]))^(!d[716]);
|
||||||
|
assign q[717] = (((!a[717])|(!b[717]))^((!c[717])^(!d[717])))^(e[717]);
|
||||||
|
assign q[718] = (((a[718])^(!b[718]))&(!c[718]))^(d[718]);
|
||||||
|
assign q[719] = (((!a[719])^(!b[719]))&((!c[719])|(d[719])))&(!e[719]);
|
||||||
|
assign q[720] = ((!a[720])^(b[720]))|(c[720]);
|
||||||
|
assign q[721] = ((!a[721])&(!b[721]))|((c[721])&(d[721]));
|
||||||
|
assign q[722] = (((!a[722])|(!b[722]))&((!c[722])&(!d[722])))&(!e[722]);
|
||||||
|
assign q[723] = ((a[723])|(b[723]))&((c[723])|(d[723]));
|
||||||
|
assign q[724] = (((!a[724])|(b[724]))^((c[724])^(!d[724])))^(e[724]);
|
||||||
|
assign q[725] = (((!a[725])^(!b[725]))|(!c[725]))&(!d[725]);
|
||||||
|
assign q[726] = ((a[726])^(!b[726]))^(c[726]);
|
||||||
|
assign q[727] = ((!a[727])&(!b[727]))^(c[727]);
|
||||||
|
assign q[728] = ((!a[728])^(!b[728]))^(c[728]);
|
||||||
|
assign q[729] = ((!a[729])&(b[729]))&(!c[729]);
|
||||||
|
assign q[730] = (((a[730])|(!b[730]))&(!c[730]))&(!d[730]);
|
||||||
|
assign q[731] = ((!a[731])|(!b[731]))^(c[731]);
|
||||||
|
assign q[732] = ((!a[732])&(!b[732]))|(c[732]);
|
||||||
|
assign q[733] = ((!a[733])&(!b[733]))^(!c[733]);
|
||||||
|
assign q[734] = (((a[734])|(b[734]))|((!c[734])^(!d[734])))|(!e[734]);
|
||||||
|
assign q[735] = (a[735])^(b[735]);
|
||||||
|
assign q[736] = ((!a[736])|(b[736]))&(!c[736]);
|
||||||
|
assign q[737] = (((!a[737])|(b[737]))|(c[737]))&(!d[737]);
|
||||||
|
assign q[738] = (((a[738])^(b[738]))^((c[738])^(!d[738])))|(e[738]);
|
||||||
|
assign q[739] = (!a[739])^(b[739]);
|
||||||
|
assign q[740] = (((a[740])|(b[740]))^((!c[740])^(!d[740])))&(!e[740]);
|
||||||
|
assign q[741] = ((!a[741])&(b[741]))^((!c[741])^(!d[741]));
|
||||||
|
assign q[742] = (((a[742])|(b[742]))|(c[742]))|(d[742]);
|
||||||
|
assign q[743] = (((a[743])&(b[743]))&((c[743])&(d[743])))|(!e[743]);
|
||||||
|
assign q[744] = (((!a[744])&(!b[744]))^((!c[744])&(d[744])))^(e[744]);
|
||||||
|
assign q[745] = (((!a[745])&(b[745]))^((!c[745])|(!d[745])))^(e[745]);
|
||||||
|
assign q[746] = (((a[746])&(b[746]))^(!c[746]))&(!d[746]);
|
||||||
|
assign q[747] = (((!a[747])^(b[747]))^((!c[747])^(d[747])))|(e[747]);
|
||||||
|
assign q[748] = (((a[748])^(b[748]))|((c[748])^(d[748])))&(!e[748]);
|
||||||
|
assign q[749] = (((a[749])^(b[749]))|((c[749])|(!d[749])))|(e[749]);
|
||||||
|
endmodule
|
||||||
|
|
@ -0,0 +1,13 @@
|
||||||
|
|
||||||
|
read_verilog luttrees.v
|
||||||
|
design -save read
|
||||||
|
|
||||||
|
hierarchy -top luttrees
|
||||||
|
proc
|
||||||
|
equiv_opt -async2sync -assert -map +/gatemate/cells_sim.v synth_gatemate -noiopad -luttree -nomx4 -nomx8 # equivalency check
|
||||||
|
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
|
||||||
|
cd luttrees # Constrain all select calls below inside the top module
|
||||||
|
|
||||||
|
select -assert-count 750 t:CC_LUT2 t:CC_L2T4 t:CC_L2T5 %%
|
||||||
|
select -assert-none t:CC_LUT2 t:CC_L2T4 t:CC_L2T5 %% t:* %D
|
||||||
|
|
||||||
Loading…
Reference in New Issue