da.map.eqn

实现da转换功能

--counter2[5] is counter2[5]
--operation mode is normal

counter2[5] = state.s1 & counter2[5] # !state.s1 & A1L801 # A1L501;


--process5_283 is process5_283
--operation mode is arithmetic

process5_283_carry_eqn = A1L07;
process5_283_lut_out = counter1[5] $ (process5_283_carry_eqn);
process5_283 = DFFEAS(process5_283_lut_out, clk1, VCC, , , , , , );

--A1L86 is process5_283~COUT
--operation mode is arithmetic

A1L86 = CARRY(!A1L07 # !counter1[5]);


--counter1[5] is counter1[5]
--operation mode is normal

counter1[5] = A1L06 & counter1[5] # !A1L06 & process5_283 & state.s1;


--process5_378 is process5_378
--operation mode is arithmetic

process5_378_carry_eqn = A1L78;
process5_378_lut_out = counter2[4] $ (process5_378_carry_eqn);
process5_378 = DFFEAS(process5_378_lut_out, clk2, VCC, , , , , , );

--A1L58 is process5_378~COUT
--operation mode is arithmetic

A1L58 = CARRY(counter2[4] # !A1L78);


--A1L901 is Select~321
--operation mode is normal

A1L901 = process5_378 & state.s3;


--counter2[4] is counter2[4]
--operation mode is normal

counter2[4] = state.s1 & counter2[4] # !state.s1 & A1L901 # A1L501;


--process5_292 is process5_292
--operation mode is arithmetic

process5_292_carry_eqn = A1L27;
process5_292_lut_out = counter1[4] $ (!process5_292_carry_eqn);
process5_292 = DFFEAS(process5_292_lut_out, clk1, VCC, , , , , , );

--A1L07 is process5_292~COUT
--operation mode is arithmetic

A1L07 = CARRY(counter1[4] & !A1L27);


--counter1[4] is counter1[4]
--operation mode is normal

counter1[4] = A1L06 & counter1[4] # !A1L06 & process5_292 & state.s1;


--process5_387 is process5_387
--operation mode is arithmetic

process5_387_carry_eqn = A1L98;
process5_387_lut_out = counter2[3] $ (!process5_387_carry_eqn);
process5_387 = DFFEAS(process5_387_lut_out, clk2, VCC, , , , , , );

--A1L78 is process5_387~COUT
--operation mode is arithmetic

A1L78 = CARRY(!counter2[3] & !A1L98);


--A1L011 is Select~322
--operation mode is normal

A1L011 = process5_387 & state.s3;


--counter2[3] is counter2[3]
--operation mode is normal

counter2[3] = state.s1 & counter2[3] # !state.s1 & A1L011 # A1L501;


--process5_301 is process5_301
--operation mode is arithmetic

process5_301_carry_eqn = A1L47;
process5_301_lut_out = counter1[3] $ (process5_301_carry_eqn);
process5_301 = DFFEAS(process5_301_lut_out, clk1, VCC, , , , , , );

--A1L27 is process5_301~COUT
--operation mode is arithmetic

A1L27 = CARRY(!A1L47 # !counter1[3]);


--counter1[3] is counter1[3]
--operation mode is normal

counter1[3] = A1L06 & counter1[3] # !A1L06 & process5_301 & state.s1;


--process5_398 is process5_398
--operation mode is arithmetic

process5_398_carry_eqn = A1L19;
process5_398_lut_out = counter2[2] $ (process5_398_carry_eqn);
process5_398 = DFFEAS(process5_398_lut_out, clk2, VCC, , , , , , );

--A1L98 is process5_398~COUT
--operation mode is arithmetic

A1L98 = CARRY(counter2[2] # !A1L19);


--A1L111 is Select~323
--operation mode is normal

A1L111 = process5_398 & state.s3;


--counter2[2] is counter2[2]
--operation mode is normal

counter2[2] = state.s1 & counter2[2] # !state.s1 & A1L111 # A1L501;


--process5_310 is process5_310
--operation mode is arithmetic

process5_310_carry_eqn = A1L67;
process5_310_lut_out = counter1[2] $ (!process5_310_carry_eqn);
process5_310 = DFFEAS(process5_310_lut_out, clk1, VCC, , , , , , );

--A1L47 is process5_310~COUT
--operation mode is arithmetic

A1L47 = CARRY(counter1[2] & !A1L67);


--counter1[2] is counter1[2]
--operation mode is normal

counter1[2] = A1L06 & counter1[2] # !A1L06 & process5_310 & state.s1;


--process5_409 is process5_409
--operation mode is arithmetic

process5_409_carry_eqn = A1L39;
process5_409_lut_out = counter2[1] $ (!process5_409_carry_eqn);
process5_409 = DFFEAS(process5_409_lut_out, clk2, VCC, , , , , , );

--A1L19 is process5_409~COUT
--operation mode is arithmetic

A1L19 = CARRY(!counter2[1] & !A1L39);


--A1L211 is Select~324
--operation mode is normal

A1L211 = process5_409 & state.s3;


--counter2[1] is counter2[1]
--operation mode is normal

counter2[1] = state.s1 & counter2[1] # !state.s1 & A1L211 # A1L501;


--process5_319 is process5_319
--operation mode is arithmetic

process5_319_carry_eqn = A1L87;
process5_319_lut_out = counter1[1] $ (process5_319_carry_eqn);
process5_319 = DFFEAS(process5_319_lut_out, clk1, VCC, , , , , , );

--A1L67 is process5_319~COUT
--operation mode is arithmetic

A1L67 = CARRY(!A1L87 # !counter1[1]);


--counter1[1] is counter1[1]
--operation mode is normal

counter1[1] = A1L06 & counter1[1] # !A1L06 & process5_319 & state.s1;


--process5_418 is process5_418
--operation mode is arithmetic

process5_418_lut_out = !counter2[0];
process5_418 = DFFEAS(process5_418_lut_out, clk2, VCC, , , , , , );

--A1L39 is process5_418~COUT
--operation mode is arithmetic

A1L39 = CARRY(counter2[0]);


--A1L311 is Select~325
--operation mode is normal

A1L311 = process5_418 & state.s3;


--counter2[0] is counter2[0]
--operation mode is normal

counter2[0] = state.s1 & counter2[0] # !state.s1 & A1L311 # A1L501;


--process5_330 is process5_330
--operation mode is arithmetic

process5_330_lut_out = !counter1[0];
process5_330 = DFFEAS(process5_330_lut_out, clk1, VCC, , , , , , );

--A1L87 is process5_330~COUT
--operation mode is arithmetic

A1L87 = CARRY(counter1[0]);


--counter1[0] is counter1[0]
--operation mode is normal

counter1[0] = A1L06 & counter1[0] # !A1L06 & process5_330 & state.s1;


--A1L101 is reduce_nor~215
--operation mode is normal

A1L101 = !counter2[7] & !counter2[6] & !counter2[5] & !counter2[4];


--A1L201 is reduce_nor~216
--operation mode is normal

A1L201 = !counter2[3] & !counter2[2] & !counter2[1] & !counter2[0];


--clk0 is clk0
--operation mode is normal

clk0_lut_out = !clk0;
clk0 = DFFEAS(clk0_lut_out, clk, VCC, , A1L49, , , , );


--A1L301 is reduce_nor~217
--operation mode is normal

A1L301 = counter1[7] & counter1[6] & counter1[5] & counter1[4];


--A1L401 is reduce_nor~218
--operation mode is normal

A1L401 = counter1[3] & counter1[2] & counter1[1] & counter1[0];


--state.s0 is state.s0
--operation mode is normal

state.s0_lut_out = !A1L201 # !A1L101 # !state.s3;
state.s0 = DFFEAS(state.s0_lut_out, clk0, VCC, , , , , , );


--cnt0[2] is cnt0[2]
--operation mode is normal

cnt0[2]_lut_out = !cnt0[2];
cnt0[2] = DFFEAS(cnt0[2]_lut_out, clk, VCC, , A1L11, , , , );


--cnt0[1] is cnt0[1]
--operation mode is normal

cnt0[1]_lut_out = !cnt0[1];
cnt0[1] = DFFEAS(cnt0[1]_lut_out, clk, VCC, , cnt0[0], , , , );


--A1L49 is reduce_nor~0
--operation mode is normal

A1L49 = cnt0[0] & cnt0[2] & cnt0[1];


--A1L11 is cnt0[2]~64
--operation mode is normal

A1L11 = cnt0[0] & cnt0[1];


--clk is clk
--operation mode is input

clk = INPUT();


--clk_out is clk_out
--operation mode is output

clk_out = OUTPUT(A1L6);


--pdb1 is pdb1
--operation mode is output

pdb1 = OUTPUT(GND);


--pdb2 is pdb2
--operation mode is output

pdb2 = OUTPUT(GND);


--pdb3 is pdb3
--operation mode is output

pdb3 = OUTPUT(VCC);


--data1[7] is data1[7]
--operation mode is output

data1[7] = OUTPUT(A1L93);


--data1[6] is data1[6]
--operation mode is output

data1[6] = OUTPUT(A1L04);


--data1[5] is data1[5]
--operation mode is output

data1[5] = OUTPUT(A1L14);


--data1[4] is data1[4]
--operation mode is output

data1[4] = OUTPUT(A1L24);


--data1[3] is data1[3]
--operation mode is output

data1[3] = OUTPUT(A1L34);


--data1[2] is data1[2]
--operation mode is output

data1[2] = OUTPUT(A1L44);


--data1[1] is data1[1]
--operation mode is output

data1[1] = OUTPUT(A1L54);


--data1[0] is data1[0]
--operation mode is output

data1[0] = OUTPUT(A1L64);


--data2[7] is data2[7]
--operation mode is output

data2[7] = OUTPUT(A1L93);


--data2[6] is data2[6]
--operation mode is output

data2[6] = OUTPUT(A1L04);


--data2[5] is data2[5]
--operation mode is output

data2[5] = OUTPUT(A1L14);


--data2[4] is data2[4]
--operation mode is output

data2[4] = OUTPUT(A1L24);


--data2[3] is data2[3]
--operation mode is output

data2[3] = OUTPUT(A1L34);


--data2[2] is data2[2]
--operation mode is output

data2[2] = OUTPUT(A1L44);


--data2[1] is data2[1]
--operation mode is output

data2[1] = OUTPUT(A1L54);


--data2[0] is data2[0]
--operation mode is output

data2[0] = OUTPUT(A1L64);


--ins[2] is ins[2]
--operation mode is output

ins[2] = OUTPUT(GND);


--ins[1] is ins[1]
--operation mode is output

ins[1] = OUTPUT(VCC);


--ins[0] is ins[0]
--operation mode is output

ins[0] = OUTPUT(GND);