lock.map.eqn

这个是我毕业设计的最初方案 8位二进制密码锁

--E1L7 is cornaa:inst10|add~89
--operation mode is normal

E1L7 = E1_a[2] & E1_a[1] & E1_a[0];


--B1_cnt[13] is fen:inst|cnt[13]
--operation mode is normal

B1_cnt[13]_lut_out = B1L1 & (!A1L45);
B1_cnt[13] = DFFEAS(B1_cnt[13]_lut_out, clk, VCC, , , , , , );


--B1_cnt[10] is fen:inst|cnt[10]
--operation mode is normal

B1_cnt[10]_lut_out = B1L2 & (!A1L45);
B1_cnt[10] = DFFEAS(B1_cnt[10]_lut_out, clk, VCC, , , , , , );


--B1_cnt[12] is fen:inst|cnt[12]
--operation mode is normal

B1_cnt[12]_lut_out = B1L4;
B1_cnt[12] = DFFEAS(B1_cnt[12]_lut_out, clk, VCC, , , , , , );


--B1_cnt[11] is fen:inst|cnt[11]
--operation mode is normal

B1_cnt[11]_lut_out = B1L6;
B1_cnt[11] = DFFEAS(B1_cnt[11]_lut_out, clk, VCC, , , , , , );


--A1L41 is rtl~241
--operation mode is normal

A1L41 = B1_cnt[13] & B1_cnt[10] & !B1_cnt[12] & !B1_cnt[11];


--B1_cnt[9] is fen:inst|cnt[9]
--operation mode is normal

B1_cnt[9]_lut_out = B1L8 & (!A1L45);
B1_cnt[9] = DFFEAS(B1_cnt[9]_lut_out, clk, VCC, , , , , , );


--B1_cnt[8] is fen:inst|cnt[8]
--operation mode is normal

B1_cnt[8]_lut_out = B1L10 & (!A1L45);
B1_cnt[8] = DFFEAS(B1_cnt[8]_lut_out, clk, VCC, , , , , , );


--B1_cnt[7] is fen:inst|cnt[7]
--operation mode is normal

B1_cnt[7]_lut_out = B1L12;
B1_cnt[7] = DFFEAS(B1_cnt[7]_lut_out, clk, VCC, , , , , , );


--B1_cnt[6] is fen:inst|cnt[6]
--operation mode is normal

B1_cnt[6]_lut_out = B1L14;
B1_cnt[6] = DFFEAS(B1_cnt[6]_lut_out, clk, VCC, , , , , , );


--A1L42 is rtl~242
--operation mode is normal

A1L42 = B1_cnt[9] & B1_cnt[8] & !B1_cnt[7] & !B1_cnt[6];


--B1_cnt[3] is fen:inst|cnt[3]
--operation mode is normal

B1_cnt[3]_lut_out = B1L16;
B1_cnt[3] = DFFEAS(B1_cnt[3]_lut_out, clk, VCC, , , , , , );


--B1_cnt[2] is fen:inst|cnt[2]
--operation mode is normal

B1_cnt[2]_lut_out = B1L18;
B1_cnt[2] = DFFEAS(B1_cnt[2]_lut_out, clk, VCC, , , , , , );


--B1_cnt[5] is fen:inst|cnt[5]
--operation mode is normal

B1_cnt[5]_lut_out = B1L20;
B1_cnt[5] = DFFEAS(B1_cnt[5]_lut_out, clk, VCC, , , , , , );


--B1_cnt[4] is fen:inst|cnt[4]
--operation mode is normal

B1_cnt[4]_lut_out = B1L22 & (!A1L45);
B1_cnt[4] = DFFEAS(B1_cnt[4]_lut_out, clk, VCC, , , , , , );


--A1L43 is rtl~243
--operation mode is normal

A1L43 = B1_cnt[3] & B1_cnt[2] & !B1_cnt[5] & !B1_cnt[4];


--B1_cnt[1] is fen:inst|cnt[1]
--operation mode is normal

B1_cnt[1]_lut_out = B1L24;
B1_cnt[1] = DFFEAS(B1_cnt[1]_lut_out, clk, VCC, , , , , , );


--B1_cnt[0] is fen:inst|cnt[0]
--operation mode is normal

B1_cnt[0]_lut_out = B1L26;
B1_cnt[0] = DFFEAS(B1_cnt[0]_lut_out, clk, VCC, , , , , , );


--A1L44 is rtl~244
--operation mode is normal

A1L44 = B1_cnt[1] & B1_cnt[0];


--A1L45 is rtl~245
--operation mode is normal

A1L45 = A1L41 & A1L42 & A1L43 & A1L44;


--B1L1 is fen:inst|add~211
--operation mode is normal

B1L1_carry_eqn = B1L5;
B1L1 = B1_cnt[13] $ (B1L1_carry_eqn);


--B1L2 is fen:inst|add~216
--operation mode is arithmetic

B1L2_carry_eqn = B1L9;
B1L2 = B1_cnt[10] $ (!B1L2_carry_eqn);

--B1L3 is fen:inst|add~218
--operation mode is arithmetic

B1L3 = CARRY(B1_cnt[10] & (!B1L9));


--B1L4 is fen:inst|add~221
--operation mode is arithmetic

B1L4_carry_eqn = B1L7;
B1L4 = B1_cnt[12] $ (!B1L4_carry_eqn);

--B1L5 is fen:inst|add~223
--operation mode is arithmetic

B1L5 = CARRY(B1_cnt[12] & (!B1L7));


--B1L6 is fen:inst|add~226
--operation mode is arithmetic

B1L6_carry_eqn = B1L3;
B1L6 = B1_cnt[11] $ (B1L6_carry_eqn);

--B1L7 is fen:inst|add~228
--operation mode is arithmetic

B1L7 = CARRY(!B1L3 # !B1_cnt[11]);


--B1L8 is fen:inst|add~231
--operation mode is arithmetic

B1L8_carry_eqn = B1L11;
B1L8 = B1_cnt[9] $ (B1L8_carry_eqn);

--B1L9 is fen:inst|add~233
--operation mode is arithmetic

B1L9 = CARRY(!B1L11 # !B1_cnt[9]);


--B1L10 is fen:inst|add~236
--operation mode is arithmetic

B1L10_carry_eqn = B1L13;
B1L10 = B1_cnt[8] $ (!B1L10_carry_eqn);

--B1L11 is fen:inst|add~238
--operation mode is arithmetic

B1L11 = CARRY(B1_cnt[8] & (!B1L13));


--B1L12 is fen:inst|add~241
--operation mode is arithmetic

B1L12_carry_eqn = B1L15;
B1L12 = B1_cnt[7] $ (B1L12_carry_eqn);

--B1L13 is fen:inst|add~243
--operation mode is arithmetic

B1L13 = CARRY(!B1L15 # !B1_cnt[7]);


--B1L14 is fen:inst|add~246
--operation mode is arithmetic

B1L14_carry_eqn = B1L21;
B1L14 = B1_cnt[6] $ (!B1L14_carry_eqn);

--B1L15 is fen:inst|add~248
--operation mode is arithmetic

B1L15 = CARRY(B1_cnt[6] & (!B1L21));


--B1L16 is fen:inst|add~251
--operation mode is arithmetic

B1L16_carry_eqn = B1L19;
B1L16 = B1_cnt[3] $ (B1L16_carry_eqn);

--B1L17 is fen:inst|add~253
--operation mode is arithmetic

B1L17 = CARRY(!B1L19 # !B1_cnt[3]);


--B1L18 is fen:inst|add~256
--operation mode is arithmetic

B1L18_carry_eqn = B1L25;
B1L18 = B1_cnt[2] $ (!B1L18_carry_eqn);

--B1L19 is fen:inst|add~258
--operation mode is arithmetic

B1L19 = CARRY(B1_cnt[2] & (!B1L25));


--B1L20 is fen:inst|add~261
--operation mode is arithmetic

B1L20_carry_eqn = B1L23;
B1L20 = B1_cnt[5] $ (B1L20_carry_eqn);

--B1L21 is fen:inst|add~263
--operation mode is arithmetic

B1L21 = CARRY(!B1L23 # !B1_cnt[5]);


--B1L22 is fen:inst|add~266
--operation mode is arithmetic

B1L22_carry_eqn = B1L17;
B1L22 = B1_cnt[4] $ (!B1L22_carry_eqn);

--B1L23 is fen:inst|add~268
--operation mode is arithmetic

B1L23 = CARRY(B1_cnt[4] & (!B1L17));


--B1L24 is fen:inst|add~271
--operation mode is arithmetic

B1L24_carry_eqn = B1L27;
B1L24 = B1_cnt[1] $ (B1L24_carry_eqn);

--B1L25 is fen:inst|add~273
--operation mode is arithmetic

B1L25 = CARRY(!B1L27 # !B1_cnt[1]);


--B1L26 is fen:inst|add~276
--operation mode is arithmetic

B1L26 = !B1_cnt[0];

--B1L27 is fen:inst|add~278
--operation mode is arithmetic

B1L27 = CARRY(B1_cnt[0]);


--lc is lc
--operation mode is input

lc = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--clr is clr
--operation mode is input

clr = INPUT();


--k0 is k0
--operation mode is input

k0 = INPUT();


--k1 is k1
--operation mode is input

k1 = INPUT();


--load is load
--operation mode is input

load = INPUT();


--lt is lt
--operation mode is output

lt = OUTPUT(E1L42Q);


--lf is lf
--operation mode is output

lf = OUTPUT(E1_lf);


--alm is alm
--operation mode is output

alm = OUTPUT(E1_lf);


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

dout1[6] = OUTPUT(D1L7);


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

dout1[5] = OUTPUT(!D1L6);


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

dout1[4] = OUTPUT(!D1L5);


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

dout1[3] = OUTPUT(!D1L4);


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

dout1[2] = OUTPUT(!D1L3);


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

dout1[1] = OUTPUT(!D1L2);


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

dout1[0] = OUTPUT(!D1L1);


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

dout2[6] = OUTPUT(D2L7);


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

dout2[5] = OUTPUT(!D2L6);


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

dout2[4] = OUTPUT(!D2L5);


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

dout2[3] = OUTPUT(!D2L4);


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

dout2[2] = OUTPUT(!D2L3);


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

dout2[1] = OUTPUT(!D2L2);


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

dout2[0] = OUTPUT(!D2L1);


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

lamp[7] = OUTPUT(E1_lam[7]);


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

lamp[6] = OUTPUT(E1_lam[6]);


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

lamp[5] = OUTPUT(E1_lam[5]);


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

lamp[4] = OUTPUT(E1_lam[4]);


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

lamp[3] = OUTPUT(E1_lam[3]);


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

lamp[2] = OUTPUT(E1_lam[2]);


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

lamp[1] = OUTPUT(E1_lam[1]);


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

lamp[0] = OUTPUT(E1_lam[0]);