sram.fit.eqn

this is a sample about SRAM read/write transmission,it s default installation is D:RedLogicRCII_samp

clk_2_lut_out = !clk_2;
clk_2 = DFFEAS(clk_2_lut_out, GLOBAL(clkin), VCC, , , , , , );


--STATE.READ_1 is STATE.READ_1 at LC_X39_Y3_N9
--operation mode is normal

STATE.READ_1_lut_out = A1L6 & (STATE.READ_2) # !A1L6 & (A1L5 & (STATE.READ_2) # !A1L5 & STATE.WRITE_2);
STATE.READ_1 = DFFEAS(STATE.READ_1_lut_out, GLOBAL(clk_2), GLOBAL(rst), , , , , , );


--STATE.WRITE_1 is STATE.WRITE_1 at LC_X39_Y3_N5
--operation mode is normal

STATE.WRITE_1_lut_out = STATE.WRITE_2 & (A1L5 # A1L6) # !STATE.IDLE;
STATE.WRITE_1 = DFFEAS(STATE.WRITE_1_lut_out, GLOBAL(clk_2), GLOBAL(rst), , , , , , );


--A1L17 is reduce_or~12 at LC_X38_Y3_N0
--operation mode is normal

A1L17 = STATE.WRITE_1 # STATE.READ_1;


--A1L1 is LessThan~270 at LC_X39_Y3_N0
--operation mode is normal

A1L1 = !A1L77Q # !A1L88Q # !A1L18Q # !A1L58Q;


--A1L2 is LessThan~271 at LC_X40_Y4_N0
--operation mode is normal

A1L2 = !A1L69Q # !A1L401Q # !A1L29Q # !A1L001Q;


--A1L3 is LessThan~272 at LC_X39_Y3_N8
--operation mode is normal

A1L3 = !A1L111Q # !A1L701Q # !A1L911Q # !A1L511Q;


--A1L4 is LessThan~273 at LC_X39_Y3_N1
--operation mode is normal

A1L4 = !A1L431Q # !A1L031Q # !A1L321Q # !A1L621Q;


--A1L5 is LessThan~274 at LC_X39_Y3_N6
--operation mode is normal

A1L5 = A1L4 # A1L1 # A1L3 # A1L2;


--A1L822 is task_finish~132 at LC_X39_Y3_N7
--operation mode is normal

STATE.READ_2_qfbk = STATE.READ_2;
A1L822 = A1L831Q & A1L041Q & STATE.READ_2_qfbk & !A1L5;

--STATE.READ_2 is STATE.READ_2 at LC_X39_Y3_N7
--operation mode is normal

STATE.READ_2 = DFFEAS(A1L822, GLOBAL(clk_2), GLOBAL(rst), , , STATE.READ_1, , , VCC);


--count[3] is count[3] at LC_X38_Y3_N5
--operation mode is arithmetic

count[3]_carry_eqn = A1L53;
count[3]_lut_out = count[3] $ count[3]_carry_eqn;
count[3] = DFFEAS(count[3]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L73 is count[3]~132 at LC_X38_Y3_N5
--operation mode is arithmetic

A1L73_cout_0 = !A1L53 # !count[3];
A1L73 = CARRY(A1L73_cout_0);

--A1L83 is count[3]~132COUT1_198 at LC_X38_Y3_N5
--operation mode is arithmetic

A1L83_cout_1 = !A1L53 # !count[3];
A1L83 = CARRY(A1L83_cout_1);


--count[15] is count[15] at LC_X38_Y2_N7
--operation mode is normal

count[15]_carry_eqn = (!A1L36 & A1L86) # (A1L36 & A1L96);
count[15]_lut_out = count[15] $ (count[15]_carry_eqn);
count[15] = DFFEAS(count[15]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);


--A1L922 is task_finish~133 at LC_X37_Y2_N7
--operation mode is normal

A1L922 = count[3] & A1L351 & (count[15] $ !A1L771) # !count[3] & !A1L351 & (count[15] $ !A1L771);


--count[2] is count[2] at LC_X38_Y3_N4
--operation mode is arithmetic

count[2]_lut_out = count[2] $ !A1L23;
count[2] = DFFEAS(count[2]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L53 is count[2]~140 at LC_X38_Y3_N4
--operation mode is arithmetic

A1L53 = CARRY(count[2] & !A1L33);


--count[0] is count[0] at LC_X38_Y3_N2
--operation mode is arithmetic

count[0]_lut_out = !count[0];
count[0] = DFFEAS(count[0]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L92 is count[0]~144 at LC_X38_Y3_N2
--operation mode is arithmetic

A1L92_cout_0 = count[0];
A1L92 = CARRY(A1L92_cout_0);

--A1L03 is count[0]~144COUT1_196 at LC_X38_Y3_N2
--operation mode is arithmetic

A1L03_cout_1 = count[0];
A1L03 = CARRY(A1L03_cout_1);


--A1L032 is task_finish~134 at LC_X37_Y2_N8
--operation mode is normal

A1L032 = count[2] & A1L151 & (count[0] $ !A1L741) # !count[2] & !A1L151 & (count[0] $ !A1L741);


--count[11] is count[11] at LC_X38_Y2_N3
--operation mode is arithmetic

count[11]_carry_eqn = (!A1L94 & A1L75) # (A1L94 & A1L85);
count[11]_lut_out = count[11] $ count[11]_carry_eqn;
count[11] = DFFEAS(count[11]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L06 is count[11]~148 at LC_X38_Y2_N3
--operation mode is arithmetic

A1L06_cout_0 = !A1L75 # !count[11];
A1L06 = CARRY(A1L06_cout_0);

--A1L16 is count[11]~148COUT1_205 at LC_X38_Y2_N3
--operation mode is arithmetic

A1L16_cout_1 = !A1L85 # !count[11];
A1L16 = CARRY(A1L16_cout_1);


--count[10] is count[10] at LC_X38_Y2_N2
--operation mode is arithmetic

count[10]_carry_eqn = (!A1L94 & A1L45) # (A1L94 & A1L55);
count[10]_lut_out = count[10] $ (!count[10]_carry_eqn);
count[10] = DFFEAS(count[10]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L75 is count[10]~152 at LC_X38_Y2_N2
--operation mode is arithmetic

A1L75_cout_0 = count[10] & (!A1L45);
A1L75 = CARRY(A1L75_cout_0);

--A1L85 is count[10]~152COUT1_204 at LC_X38_Y2_N2
--operation mode is arithmetic

A1L85_cout_1 = count[10] & (!A1L55);
A1L85 = CARRY(A1L85_cout_1);


--A1L132 is task_finish~135 at LC_X37_Y2_N5
--operation mode is normal

A1L132 = A1L761 & count[10] & (A1L961 $ !count[11]) # !A1L761 & !count[10] & (A1L961 $ !count[11]);


--count[9] is count[9] at LC_X38_Y2_N1
--operation mode is arithmetic

count[9]_carry_eqn = (!A1L94 & A1L15) # (A1L94 & A1L25);
count[9]_lut_out = count[9] $ (count[9]_carry_eqn);
count[9] = DFFEAS(count[9]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L45 is count[9]~156 at LC_X38_Y2_N1
--operation mode is arithmetic

A1L45_cout_0 = !A1L15 # !count[9];
A1L45 = CARRY(A1L45_cout_0);

--A1L55 is count[9]~156COUT1_203 at LC_X38_Y2_N1
--operation mode is arithmetic

A1L55_cout_1 = !A1L25 # !count[9];
A1L55 = CARRY(A1L55_cout_1);


--count[8] is count[8] at LC_X38_Y2_N0
--operation mode is arithmetic

count[8]_carry_eqn = A1L94;
count[8]_lut_out = count[8] $ !count[8]_carry_eqn;
count[8] = DFFEAS(count[8]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L15 is count[8]~160 at LC_X38_Y2_N0
--operation mode is arithmetic

A1L15_cout_0 = count[8] & !A1L94;
A1L15 = CARRY(A1L15_cout_0);

--A1L25 is count[8]~160COUT1_202 at LC_X38_Y2_N0
--operation mode is arithmetic

A1L25_cout_1 = count[8] & !A1L94;
A1L25 = CARRY(A1L25_cout_1);


--A1L232 is task_finish~136 at LC_X37_Y2_N1
--operation mode is normal

A1L232 = A1L361 & count[8] & (A1L561 $ !count[9]) # !A1L361 & !count[8] & (A1L561 $ !count[9]);


--A1L332 is task_finish~137 at LC_X37_Y2_N6
--operation mode is normal

A1L332 = A1L232 & A1L032 & A1L922 & A1L132;


--count[12] is count[12] at LC_X38_Y2_N4
--operation mode is arithmetic

count[12]_carry_eqn = (!A1L94 & A1L06) # (A1L94 & A1L16);
count[12]_lut_out = count[12] $ !count[12]_carry_eqn;
count[12] = DFFEAS(count[12]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L36 is count[12]~164 at LC_X38_Y2_N4
--operation mode is arithmetic

A1L36 = CARRY(count[12] & !A1L16);


--count[5] is count[5] at LC_X38_Y3_N7
--operation mode is arithmetic

count[5]_carry_eqn = (!A1L53 & A1L04) # (A1L53 & A1L14);
count[5]_lut_out = count[5] $ (count[5]_carry_eqn);
count[5] = DFFEAS(count[5]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L34 is count[5]~168 at LC_X38_Y3_N7
--operation mode is arithmetic

A1L34_cout_0 = !A1L04 # !count[5];
A1L34 = CARRY(A1L34_cout_0);

--A1L44 is count[5]~168COUT1_200 at LC_X38_Y3_N7
--operation mode is arithmetic

A1L44_cout_1 = !A1L14 # !count[5];
A1L44 = CARRY(A1L44_cout_1);


--A1L432 is task_finish~138 at LC_X37_Y3_N5
--operation mode is normal

A1L432 = A1L171 & count[12] & (A1L751 $ !count[5]) # !A1L171 & !count[12] & (A1L751 $ !count[5]);


--count[4] is count[4] at LC_X38_Y3_N6
--operation mode is arithmetic

count[4]_carry_eqn = (!A1L53 & A1L73) # (A1L53 & A1L83);
count[4]_lut_out = count[4] $ (!count[4]_carry_eqn);
count[4] = DFFEAS(count[4]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L04 is count[4]~172 at LC_X38_Y3_N6
--operation mode is arithmetic

A1L04_cout_0 = count[4] & (!A1L73);
A1L04 = CARRY(A1L04_cout_0);

--A1L14 is count[4]~172COUT1_199 at LC_X38_Y3_N6
--operation mode is arithmetic

A1L14_cout_1 = count[4] & (!A1L83);
A1L14 = CARRY(A1L14_cout_1);


--count[1] is count[1] at LC_X38_Y3_N3
--operation mode is arithmetic

count[1]_lut_out = count[1] $ A1L92;
count[1] = DFFEAS(count[1]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L23 is count[1]~176 at LC_X38_Y3_N3
--operation mode is arithmetic

A1L23_cout_0 = !A1L92 # !count[1];
A1L23 = CARRY(A1L23_cout_0);

--A1L33 is count[1]~176COUT1_197 at LC_X38_Y3_N3
--operation mode is arithmetic

A1L33_cout_1 = !A1L03 # !count[1];
A1L33 = CARRY(A1L33_cout_1);


--A1L532 is task_finish~139 at LC_X37_Y3_N8
--operation mode is normal

A1L532 = count[4] & A1L551 & (count[1] $ !A1L941) # !count[4] & !A1L551 & (count[1] $ !A1L941);


--count[13] is count[13] at LC_X38_Y2_N5
--operation mode is arithmetic

count[13]_carry_eqn = A1L36;
count[13]_lut_out = count[13] $ count[13]_carry_eqn;
count[13] = DFFEAS(count[13]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L56 is count[13]~180 at LC_X38_Y2_N5
--operation mode is arithmetic

A1L56_cout_0 = !A1L36 # !count[13];
A1L56 = CARRY(A1L56_cout_0);

--A1L66 is count[13]~180COUT1_206 at LC_X38_Y2_N5
--operation mode is arithmetic

A1L66_cout_1 = !A1L36 # !count[13];
A1L66 = CARRY(A1L66_cout_1);


--count[7] is count[7] at LC_X38_Y3_N9
--operation mode is arithmetic

count[7]_carry_eqn = (!A1L53 & A1L64) # (A1L53 & A1L74);
count[7]_lut_out = count[7] $ (count[7]_carry_eqn);
count[7] = DFFEAS(count[7]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L94 is count[7]~184 at LC_X38_Y3_N9
--operation mode is arithmetic

A1L94 = CARRY(!A1L74 # !count[7]);


--A1L632 is task_finish~140 at LC_X37_Y3_N9
--operation mode is normal

A1L632 = count[13] & A1L371 & (A1L161 $ !count[7]) # !count[13] & !A1L371 & (A1L161 $ !count[7]);


--count[14] is count[14] at LC_X38_Y2_N6
--operation mode is arithmetic

count[14]_carry_eqn = (!A1L36 & A1L56) # (A1L36 & A1L66);
count[14]_lut_out = count[14] $ (!count[14]_carry_eqn);
count[14] = DFFEAS(count[14]_lut_out, GLOBAL(clk_2), VCC, , A1L17, VCC, !GLOBAL(rst), , !STATE.READ_1);

--A1L86 is count[14]~188 at LC_X38_Y2_N6
--operation mode is arithmetic

A1L86_cout_0 = count[14] & (!A1L56);
A1L86 = CARRY(A1L86_cout_0);