sram_2.fit.eqn

FPGA的SDRAM控制器源程序 FPGA的SDRAM控制器源程序

--A1L283 is tmp_addr[2]~280 at LCCOMB_X16_Y2_N18
A1L283 = CARRY(tmp_addr[2] & !A1L280);


--A1L285 is tmp_addr[3]~281 at LCCOMB_X16_Y2_N20
A1L285 = tmp_addr[3] & !A1L283 # !tmp_addr[3] & (A1L283 # GND);

--A1L286 is tmp_addr[3]~282 at LCCOMB_X16_Y2_N20
A1L286 = CARRY(!A1L283 # !tmp_addr[3]);


--A1L288 is tmp_addr[4]~283 at LCCOMB_X16_Y2_N22
A1L288 = tmp_addr[4] & (A1L286 $ GND) # !tmp_addr[4] & !A1L286 & VCC;

--A1L289 is tmp_addr[4]~284 at LCCOMB_X16_Y2_N22
A1L289 = CARRY(tmp_addr[4] & !A1L286);


--A1L291 is tmp_addr[5]~285 at LCCOMB_X16_Y2_N24
A1L291 = tmp_addr[5] & !A1L289 # !tmp_addr[5] & (A1L289 # GND);

--A1L292 is tmp_addr[5]~286 at LCCOMB_X16_Y2_N24
A1L292 = CARRY(!A1L289 # !tmp_addr[5]);


--A1L294 is tmp_addr[6]~287 at LCCOMB_X16_Y2_N26
A1L294 = tmp_addr[6] & (A1L292 $ GND) # !tmp_addr[6] & !A1L292 & VCC;

--A1L295 is tmp_addr[6]~288 at LCCOMB_X16_Y2_N26
A1L295 = CARRY(tmp_addr[6] & !A1L292);


--A1L297 is tmp_addr[7]~289 at LCCOMB_X16_Y2_N28
A1L297 = tmp_addr[7] & !A1L295 # !tmp_addr[7] & (A1L295 # GND);

--A1L298 is tmp_addr[7]~290 at LCCOMB_X16_Y2_N28
A1L298 = CARRY(!A1L295 # !tmp_addr[7]);


--A1L300 is tmp_addr[8]~291 at LCCOMB_X16_Y2_N30
A1L300 = tmp_addr[8] & (A1L298 $ GND) # !tmp_addr[8] & !A1L298 & VCC;

--A1L301 is tmp_addr[8]~292 at LCCOMB_X16_Y2_N30
A1L301 = CARRY(tmp_addr[8] & !A1L298);


--A1L303 is tmp_addr[9]~293 at LCCOMB_X16_Y1_N0
A1L303 = tmp_addr[9] & !A1L301 # !tmp_addr[9] & (A1L301 # GND);

--A1L304 is tmp_addr[9]~294 at LCCOMB_X16_Y1_N0
A1L304 = CARRY(!A1L301 # !tmp_addr[9]);


--A1L306 is tmp_addr[10]~295 at LCCOMB_X16_Y1_N2
A1L306 = tmp_addr[10] & (A1L304 $ GND) # !tmp_addr[10] & !A1L304 & VCC;

--A1L307 is tmp_addr[10]~296 at LCCOMB_X16_Y1_N2
A1L307 = CARRY(tmp_addr[10] & !A1L304);


--A1L309 is tmp_addr[11]~297 at LCCOMB_X16_Y1_N4
A1L309 = tmp_addr[11] & !A1L307 # !tmp_addr[11] & (A1L307 # GND);

--A1L310 is tmp_addr[11]~298 at LCCOMB_X16_Y1_N4
A1L310 = CARRY(!A1L307 # !tmp_addr[11]);


--A1L312 is tmp_addr[12]~299 at LCCOMB_X16_Y1_N6
A1L312 = tmp_addr[12] & (A1L310 $ GND) # !tmp_addr[12] & !A1L310 & VCC;

--A1L313 is tmp_addr[12]~300 at LCCOMB_X16_Y1_N6
A1L313 = CARRY(tmp_addr[12] & !A1L310);


--A1L315 is tmp_addr[13]~301 at LCCOMB_X16_Y1_N8
A1L315 = tmp_addr[13] & !A1L313 # !tmp_addr[13] & (A1L313 # GND);

--A1L316 is tmp_addr[13]~302 at LCCOMB_X16_Y1_N8
A1L316 = CARRY(!A1L313 # !tmp_addr[13]);


--A1L318 is tmp_addr[14]~303 at LCCOMB_X16_Y1_N10
A1L318 = tmp_addr[14] & (A1L316 $ GND) # !tmp_addr[14] & !A1L316 & VCC;

--A1L319 is tmp_addr[14]~304 at LCCOMB_X16_Y1_N10
A1L319 = CARRY(tmp_addr[14] & !A1L316);


--A1L321 is tmp_addr[15]~305 at LCCOMB_X16_Y1_N12
A1L321 = tmp_addr[15] & !A1L319 # !tmp_addr[15] & (A1L319 # GND);

--A1L322 is tmp_addr[15]~306 at LCCOMB_X16_Y1_N12
A1L322 = CARRY(!A1L319 # !tmp_addr[15]);


--A1L324 is tmp_addr[16]~307 at LCCOMB_X16_Y1_N14
A1L324 = tmp_addr[16] & (A1L322 $ GND) # !tmp_addr[16] & !A1L322 & VCC;

--A1L325 is tmp_addr[16]~308 at LCCOMB_X16_Y1_N14
A1L325 = CARRY(tmp_addr[16] & !A1L322);


--A1L327 is tmp_addr[17]~309 at LCCOMB_X16_Y1_N16
A1L327 = tmp_addr[17] $ A1L325;


--A1L164Q is SRAM_DQ[0]~reg0 at LCFF_X15_Y1_N15
A1L164Q = DFFEAS(UNCONNECTED_DATAIN, GLOBAL(C1L2),  ,  , A1L106, tmp_addr[0],  ,  , VCC);


--A1L243Q is always0~0 at LCFF_X15_Y1_N9
A1L243Q = DFFEAS(A1L244, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L167Q is SRAM_DQ[1]~reg0 at LCFF_X15_Y1_N3
A1L167Q = DFFEAS(A1L168, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L171Q is SRAM_DQ[2]~reg0 at LCFF_X15_Y1_N11
A1L171Q = DFFEAS(A1L172, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L175Q is SRAM_DQ[3]~reg0 at LCFF_X16_Y2_N5
A1L175Q = DFFEAS(A1L176, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L179Q is SRAM_DQ[4]~reg0 at LCFF_X15_Y1_N21
A1L179Q = DFFEAS(UNCONNECTED_DATAIN, GLOBAL(C1L2),  ,  , A1L106, tmp_addr[4],  ,  , VCC);


--A1L182Q is SRAM_DQ[5]~reg0 at LCFF_X15_Y1_N13
A1L182Q = DFFEAS(A1L183, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L186Q is SRAM_DQ[6]~reg0 at LCFF_X15_Y1_N27
A1L186Q = DFFEAS(UNCONNECTED_DATAIN, GLOBAL(C1L2),  ,  , A1L106, tmp_addr[6],  ,  , VCC);


--A1L189Q is SRAM_DQ[7]~reg0 at LCFF_X16_Y2_N11
A1L189Q = DFFEAS(A1L190, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L193Q is SRAM_DQ[8]~reg0 at LCFF_X16_Y2_N13
A1L193Q = DFFEAS(A1L194, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L197Q is SRAM_DQ[9]~reg0 at LCFF_X15_Y1_N17
A1L197Q = DFFEAS(UNCONNECTED_DATAIN, GLOBAL(C1L2),  ,  , A1L106, tmp_addr[9],  ,  , VCC);


--A1L200Q is SRAM_DQ[10]~reg0 at LCFF_X17_Y1_N5
A1L200Q = DFFEAS(A1L201, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L204Q is SRAM_DQ[11]~reg0 at LCFF_X17_Y1_N29
A1L204Q = DFFEAS(UNCONNECTED_DATAIN, GLOBAL(C1L2),  ,  , A1L106, tmp_addr[11],  ,  , VCC);


--A1L207Q is SRAM_DQ[12]~reg0 at LCFF_X17_Y1_N25
A1L207Q = DFFEAS(UNCONNECTED_DATAIN, GLOBAL(C1L2),  ,  , A1L106, tmp_addr[12],  ,  , VCC);


--A1L210Q is SRAM_DQ[13]~reg0 at LCFF_X17_Y1_N11
A1L210Q = DFFEAS(A1L211, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L214Q is SRAM_DQ[14]~reg0 at LCFF_X17_Y1_N31
A1L214Q = DFFEAS(A1L215, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--A1L218Q is SRAM_DQ[15]~reg0 at LCFF_X17_Y1_N7
A1L218Q = DFFEAS(A1L219, GLOBAL(C1L2),  ,  , A1L106,  ,  ,  ,  );


--KEY[1] is KEY[1] at PIN_N23
--operation mode is input

KEY[1] = INPUT();


--SW[0] is SW[0] at PIN_N25
--operation mode is input

SW[0] = INPUT();


--SW[1] is SW[1] at PIN_N26
--operation mode is input

SW[1] = INPUT();


--SW[2] is SW[2] at PIN_P25
--operation mode is input

SW[2] = INPUT();


--SW[3] is SW[3] at PIN_AE14
--operation mode is input

SW[3] = INPUT();


--SW[4] is SW[4] at PIN_AF14
--operation mode is input

SW[4] = INPUT();


--SW[5] is SW[5] at PIN_AD13
--operation mode is input

SW[5] = INPUT();


--SW[6] is SW[6] at PIN_AC13
--operation mode is input

SW[6] = INPUT();


--SW[7] is SW[7] at PIN_C13
--operation mode is input

SW[7] = INPUT();


--SW[8] is SW[8] at PIN_B13
--operation mode is input

SW[8] = INPUT();


--SW[9] is SW[9] at PIN_A13
--operation mode is input

SW[9] = INPUT();


--SW[10] is SW[10] at PIN_N1
--operation mode is input

SW[10] = INPUT();


--SW[11] is SW[11] at PIN_P1
--operation mode is input

SW[11] = INPUT();


--SW[12] is SW[12] at PIN_P2
--operation mode is input

SW[12] = INPUT();


--SW[13] is SW[13] at PIN_T7
--operation mode is input

SW[13] = INPUT();


--SW[14] is SW[14] at PIN_U3
--operation mode is input

SW[14] = INPUT();


--SW[15] is SW[15] at PIN_U4
--operation mode is input

SW[15] = INPUT();


--SW[16] is SW[16] at PIN_V1
--operation mode is input

SW[16] = INPUT();


--SW[17] is SW[17] at PIN_V2
--operation mode is input

SW[17] = INPUT();


--KEY[2] is KEY[2] at PIN_P23
--operation mode is input

KEY[2] = INPUT();


--KEY[0] is KEY[0] at PIN_G26
--operation mode is input

KEY[0] = INPUT();


--KEY[3] is KEY[3] at PIN_W26
--operation mode is input

KEY[3] = INPUT();


--CLOCK_50 is CLOCK_50 at PIN_N2
--operation mode is input

CLOCK_50 = INPUT();


--HEX0[0] is HEX0[0] at PIN_AF10
--operation mode is output

HEX0[0] = OUTPUT(A1L4Q);


--HEX0[1] is HEX0[1] at PIN_AB12
--operation mode is output

HEX0[1] = OUTPUT(A1L6Q);


--HEX0[2] is HEX0[2] at PIN_AC12
--operation mode is output

HEX0[2] = OUTPUT(A1L8Q);


--HEX0[3] is HEX0[3] at PIN_AD11
--operation mode is output

HEX0[3] = OUTPUT(A1L10Q);


--HEX0[4] is HEX0[4] at PIN_AE11
--operation mode is output

HEX0[4] = OUTPUT(A1L12Q);


--HEX0[5] is HEX0[5] at PIN_V14
--operation mode is output

HEX0[5] = OUTPUT(A1L14Q);


--HEX0[6] is HEX0[6] at PIN_V13
--operation mode is output

HEX0[6] = OUTPUT(A1L16Q);


--HEX1[0] is HEX1[0] at PIN_V20
--operation mode is output

HEX1[0] = OUTPUT(A1L19Q);


--HEX1[1] is HEX1[1] at PIN_V21
--operation mode is output

HEX1[1] = OUTPUT(A1L21Q);


--HEX1[2] is HEX1[2] at PIN_W21
--operation mode is output

HEX1[2] = OUTPUT(A1L23Q);


--HEX1[3] is HEX1[3] at PIN_Y22
--operation mode is output

HEX1[3] = OUTPUT(A1L25Q);


--HEX1[4] is HEX1[4] at PIN_AA24
--operation mode is output

HEX1[4] = OUTPUT(A1L27Q);


--HEX1[5] is HEX1[5] at PIN_AA23
--operation mode is output

HEX1[5] = OUTPUT(A1L29Q);


--HEX1[6] is HEX1[6] at PIN_AB24
--operation mode is output

HEX1[6] = OUTPUT(A1L31Q);


--HEX2[0] is HEX2[0] at PIN_AB23
--operation mode is output

HEX2[0] = OUTPUT(A1L34Q);


--HEX2[1] is HEX2[1] at PIN_V22
--operation mode is output

HEX2[1] = OUTPUT(A1L36Q);


--HEX2[2] is HEX2[2] at PIN_AC25
--operation mode is output

HEX2[2] = OUTPUT(A1L38Q);


--HEX2[3] is HEX2[3] at PIN_AC26
--operation mode is output

HEX2[3] = OUTPUT(A1L40Q);


--HEX2[4] is HEX2[4] at PIN_AB26
--operation mode is output

HEX2[4] = OUTPUT(A1L42Q);


--HEX2[5] is HEX2[5] at PIN_AB25
--operation mode is output

HEX2[5] = OUTPUT(A1L44Q);


--HEX2[6] is HEX2[6] at PIN_Y24
--operation mode is output

HEX2[6] = OUTPUT(A1L46Q);


--HEX3[0] is HEX3[0] at PIN_Y23
--operation mode is output

HEX3[0] = OUTPUT(A1L49Q);


--HEX3[1] is HEX3[1] at PIN_AA25
--operation mode is output

HEX3[1] = OUTPUT(A1L51Q);


--HEX3[2] is HEX3[2] at PIN_AA26
--operation mode is output

HEX3[2] = OUTPUT(A1L53Q);


--HEX3[3] is HEX3[3] at PIN_Y26
--operation mode is output

HEX3[3] = OUTPUT(A1L55Q);


--HEX3[4] is HEX3[4] at PIN_Y25
--operation mode is output

HEX3[4] = OUTPUT(A1L57Q);


--HEX3[5] is HEX3[5] at PIN_U22
--operation mode is output

HEX3[5] = OUTPUT(A1L59Q);


--HEX3[6] is HEX3[6] at PIN_W24
--operation mode is output

HEX3[6] = OUTPUT(A1L61Q);


--LEDG[0] is LEDG[0] at PIN_AE22
--operation mode is output

LEDG[0] = OUTPUT(A1L69Q);


--LEDG[1] is LEDG[1] at PIN_AF22
--operation mode is output

LEDG[1] = OUTPUT(GND);


--LEDG[2] is LEDG[2] at PIN_W19
--operation mode is output

LEDG[2] = OUTPUT(GND);


--LEDG[3] is LEDG[3] at PIN_V18
--operation mode is output

LEDG[3] = OUTPUT(GND);


--LEDG[4] is LEDG[4] at PIN_U18
--operation mode is output

LEDG[4] = OUTPUT(GND);


--LEDG[5] is LEDG[5] at PIN_U17
--operation mode is output