sram.map.eqn

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

-- Copyright (C) 1991-2005 Altera Corporation
-- Your use of Altera Corporation's design tools, logic functions 
-- and other software and tools, and its AMPP partner logic 
-- functions, and any output files any of the foregoing 
-- (including device programming or simulation files), and any 
-- associated documentation or information are expressly subject 
-- to the terms and conditions of the Altera Program License 
-- Subscription Agreement, Altera MegaCore Function License 
-- Agreement, or other applicable license agreement, including, 
-- without limitation, that your use is for the sole purpose of 
-- programming logic devices manufactured by Altera and sold by 
-- Altera or its authorized distributors.  Please refer to the 
-- applicable agreement for further details.
--A1L46Q is sram_ab[0]~reg0
--operation mode is arithmetic

A1L46Q_lut_out = A1L95 $ A1L46Q;
A1L46Q = DFFEAS(A1L46Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L36 is sram_ab[0]~278
--operation mode is arithmetic

A1L36 = CARRY(A1L95 & A1L46Q);


--A1L76Q is sram_ab[1]~reg0
--operation mode is arithmetic

A1L76Q_carry_eqn = A1L36;
A1L76Q_lut_out = A1L76Q $ (A1L76Q_carry_eqn);
A1L76Q = DFFEAS(A1L76Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L66 is sram_ab[1]~282
--operation mode is arithmetic

A1L66 = CARRY(!A1L36 # !A1L76Q);


--A1L07Q is sram_ab[2]~reg0
--operation mode is arithmetic

A1L07Q_carry_eqn = A1L66;
A1L07Q_lut_out = A1L07Q $ (!A1L07Q_carry_eqn);
A1L07Q = DFFEAS(A1L07Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L96 is sram_ab[2]~286
--operation mode is arithmetic

A1L96 = CARRY(A1L07Q & (!A1L66));


--A1L37Q is sram_ab[3]~reg0
--operation mode is arithmetic

A1L37Q_carry_eqn = A1L96;
A1L37Q_lut_out = A1L37Q $ (A1L37Q_carry_eqn);
A1L37Q = DFFEAS(A1L37Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L27 is sram_ab[3]~290
--operation mode is arithmetic

A1L27 = CARRY(!A1L96 # !A1L37Q);


--A1L67Q is sram_ab[4]~reg0
--operation mode is arithmetic

A1L67Q_carry_eqn = A1L27;
A1L67Q_lut_out = A1L67Q $ (!A1L67Q_carry_eqn);
A1L67Q = DFFEAS(A1L67Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L57 is sram_ab[4]~294
--operation mode is arithmetic

A1L57 = CARRY(A1L67Q & (!A1L27));


--A1L97Q is sram_ab[5]~reg0
--operation mode is arithmetic

A1L97Q_carry_eqn = A1L57;
A1L97Q_lut_out = A1L97Q $ (A1L97Q_carry_eqn);
A1L97Q = DFFEAS(A1L97Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L87 is sram_ab[5]~298
--operation mode is arithmetic

A1L87 = CARRY(!A1L57 # !A1L97Q);


--A1L28Q is sram_ab[6]~reg0
--operation mode is arithmetic

A1L28Q_carry_eqn = A1L87;
A1L28Q_lut_out = A1L28Q $ (!A1L28Q_carry_eqn);
A1L28Q = DFFEAS(A1L28Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L18 is sram_ab[6]~302
--operation mode is arithmetic

A1L18 = CARRY(A1L28Q & (!A1L87));


--A1L58Q is sram_ab[7]~reg0
--operation mode is arithmetic

A1L58Q_carry_eqn = A1L18;
A1L58Q_lut_out = A1L58Q $ (A1L58Q_carry_eqn);
A1L58Q = DFFEAS(A1L58Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L48 is sram_ab[7]~306
--operation mode is arithmetic

A1L48 = CARRY(!A1L18 # !A1L58Q);


--A1L88Q is sram_ab[8]~reg0
--operation mode is arithmetic

A1L88Q_carry_eqn = A1L48;
A1L88Q_lut_out = A1L88Q $ (!A1L88Q_carry_eqn);
A1L88Q = DFFEAS(A1L88Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L78 is sram_ab[8]~310
--operation mode is arithmetic

A1L78 = CARRY(A1L88Q & (!A1L48));


--A1L19Q is sram_ab[9]~reg0
--operation mode is arithmetic

A1L19Q_carry_eqn = A1L78;
A1L19Q_lut_out = A1L19Q $ (A1L19Q_carry_eqn);
A1L19Q = DFFEAS(A1L19Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L09 is sram_ab[9]~314
--operation mode is arithmetic

A1L09 = CARRY(!A1L78 # !A1L19Q);


--A1L49Q is sram_ab[10]~reg0
--operation mode is arithmetic

A1L49Q_carry_eqn = A1L09;
A1L49Q_lut_out = A1L49Q $ (!A1L49Q_carry_eqn);
A1L49Q = DFFEAS(A1L49Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L39 is sram_ab[10]~318
--operation mode is arithmetic

A1L39 = CARRY(A1L49Q & (!A1L09));


--A1L79Q is sram_ab[11]~reg0
--operation mode is arithmetic

A1L79Q_carry_eqn = A1L39;
A1L79Q_lut_out = A1L79Q $ (A1L79Q_carry_eqn);
A1L79Q = DFFEAS(A1L79Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L69 is sram_ab[11]~322
--operation mode is arithmetic

A1L69 = CARRY(!A1L39 # !A1L79Q);


--A1L001Q is sram_ab[12]~reg0
--operation mode is arithmetic

A1L001Q_carry_eqn = A1L69;
A1L001Q_lut_out = A1L001Q $ (!A1L001Q_carry_eqn);
A1L001Q = DFFEAS(A1L001Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L99 is sram_ab[12]~326
--operation mode is arithmetic

A1L99 = CARRY(A1L001Q & (!A1L69));


--A1L301Q is sram_ab[13]~reg0
--operation mode is arithmetic

A1L301Q_carry_eqn = A1L99;
A1L301Q_lut_out = A1L301Q $ (A1L301Q_carry_eqn);
A1L301Q = DFFEAS(A1L301Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L201 is sram_ab[13]~330
--operation mode is arithmetic

A1L201 = CARRY(!A1L99 # !A1L301Q);


--A1L601Q is sram_ab[14]~reg0
--operation mode is arithmetic

A1L601Q_carry_eqn = A1L201;
A1L601Q_lut_out = A1L601Q $ (!A1L601Q_carry_eqn);
A1L601Q = DFFEAS(A1L601Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L501 is sram_ab[14]~334
--operation mode is arithmetic

A1L501 = CARRY(A1L601Q & (!A1L201));


--A1L901Q is sram_ab[15]~reg0
--operation mode is arithmetic

A1L901Q_carry_eqn = A1L501;
A1L901Q_lut_out = A1L901Q $ (A1L901Q_carry_eqn);
A1L901Q = DFFEAS(A1L901Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L801 is sram_ab[15]~338
--operation mode is arithmetic

A1L801 = CARRY(!A1L501 # !A1L901Q);


--A1L211Q is sram_ab[16]~reg0
--operation mode is arithmetic

A1L211Q_carry_eqn = A1L801;
A1L211Q_lut_out = A1L211Q $ (!A1L211Q_carry_eqn);
A1L211Q = DFFEAS(A1L211Q_lut_out, clk_2, VCC, , , VCC, !rst, , );

--A1L111 is sram_ab[16]~342
--operation mode is arithmetic

A1L111 = CARRY(A1L211Q & (!A1L801));


--A1L411Q is sram_ab[17]~reg0
--operation mode is normal

A1L411Q_carry_eqn = A1L111;
A1L411Q_lut_out = A1L411Q $ (A1L411Q_carry_eqn);
A1L411Q = DFFEAS(A1L411Q_lut_out, clk_2, VCC, , , VCC, !rst, , );


--A1L781Q is sram_wr~reg0
--operation mode is normal

A1L781Q_lut_out = STATE.WRITE_1;
A1L781Q = DFFEAS(A1L781Q_lut_out, clk_2, rst, , !STATE.READ_2, , , , );


--A1L581Q is sram_rd~reg0
--operation mode is normal

A1L581Q_lut_out = STATE.READ_1;
A1L581Q = DFFEAS(A1L581Q_lut_out, clk_2, rst, , !STATE.READ_2, , , , );


--A1L102Q is task_finish~reg0
--operation mode is normal

A1L102Q_lut_out = VCC;
A1L102Q = DFFEAS(A1L102Q_lut_out, clk_2, rst, , A1L981, , , , );


--A1L71 is altera_internal_jtag~TDO
A1L71 = STRATIX_ELA(altera_reserved_tms, altera_reserved_tck, altera_reserved_tdi, , , !C1_hub_tdo);

--A1L81 is altera_internal_jtag~TMSUTAP
A1L81 = STRATIX_ELA(altera_reserved_tms, altera_reserved_tck, altera_reserved_tdi, , , !C1_hub_tdo);

--A1L61 is altera_internal_jtag~TCKUTAP
A1L61 = STRATIX_ELA(altera_reserved_tms, altera_reserved_tck, altera_reserved_tdi, , , !C1_hub_tdo);

--altera_internal_jtag is altera_internal_jtag
altera_internal_jtag = STRATIX_ELA(altera_reserved_tms, altera_reserved_tck, altera_reserved_tdi, , , !C1_hub_tdo);


--clk_2 is clk_2
--operation mode is normal

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


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

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


--STATE.WRITE_1 is STATE.WRITE_1
--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, clk_2, rst, , , , , , );


--A1L95 is reduce_or~12
--operation mode is normal

A1L95 = STATE.READ_1 # STATE.WRITE_1;


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

STATE.READ_2_lut_out = STATE.READ_1;
STATE.READ_2 = DFFEAS(STATE.READ_2_lut_out, clk_2, rst, , , , , , );


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

A1L1 = !A1L37Q # !A1L07Q # !A1L76Q # !A1L46Q;


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

A1L2 = !A1L58Q # !A1L28Q # !A1L97Q # !A1L67Q;


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

A1L3 = !A1L79Q # !A1L49Q # !A1L19Q # !A1L88Q;


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

A1L4 = !A1L901Q # !A1L601Q # !A1L301Q # !A1L001Q;


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

A1L5 = A1L1 # A1L2 # A1L3 # A1L4;


--A1L091 is task_finish~132
--operation mode is normal

A1L091 = A1L211Q & A1L411Q & STATE.READ_2 & !A1L5;


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

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

--A1L53 is count[3]~132
--operation mode is arithmetic

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


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

count[15]_carry_eqn = A1L75;
count[15]_lut_out = count[15] $ (count[15]_carry_eqn);
count[15] = DFFEAS(count[15]_lut_out, clk_2, VCC, , A1L95, VCC, !rst, , !STATE.READ_1);


--A1L191 is task_finish~133
--operation mode is normal

A1L191 = count[3] & A1L721 & (count[15] $ !A1L151) # !count[3] & !A1L721 & (count[15] $ !A1L151);