jiao_tong.map.eqn

基于Quartus II FPGA/CPLD数字系统设计实例（VHDL源代码文件）

-- Copyright (C) 1991-2006 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.
--cnt[0] is cnt[0]
cnt[0] = DFFEAS(A1L62, clk1khz,  ,  ,  ,  ,  ,  ,  );


--qh[0] is qh[0]
qh[0] = DFFEAS(A1L135, clk1hz,  ,  , !jin,  ,  ,  ,  );


--ql[0] is ql[0]
ql[0] = DFFEAS(A1L149, clk1hz,  ,  , !jin,  ,  ,  ,  );


--A1L126 is Mux~101
A1L126 = cnt[0] & qh[0] # !cnt[0] & (ql[0]);


--qh[1] is qh[1]
qh[1] = DFFEAS(A1L165, clk1hz,  ,  , !jin,  ,  ,  ,  );


--ql[1] is ql[1]
ql[1] = DFFEAS(A1L150, clk1hz,  ,  , !jin,  ,  ,  ,  );


--A1L127 is Mux~102
A1L127 = cnt[0] & qh[1] # !cnt[0] & (ql[1]);


--qh[2] is qh[2]
qh[2] = DFFEAS(A1L139, clk1hz,  ,  ,  ,  ,  ,  ,  );


--ql[2] is ql[2]
ql[2] = DFFEAS(A1L151, clk1hz,  ,  , !jin, VCC,  ,  , !a);


--A1L128 is Mux~103
A1L128 = cnt[0] & qh[2] # !cnt[0] & (ql[2]);


--qh[3] is qh[3]
qh[3] = DFFEAS(A1L142, clk1hz,  ,  ,  ,  ,  ,  ,  );


--ql[3] is ql[3]
ql[3] = DFFEAS(A1L153, clk1hz,  ,  , !jin,  ,  ,  ,  );


--A1L129 is Mux~104
A1L129 = cnt[0] & qh[3] # !cnt[0] & (ql[3]);


--A1L90 is data_out1[0]~193
A1L90 = A1L129 # A1L127 & (!A1L128 # !A1L126) # !A1L127 & (A1L128);


--clk1hz is clk1hz
clk1hz = DFFEAS(A1L57, clk1khz,  ,  ,  ,  ,  ,  ,  );


--A1L104 is data_out~245
A1L104 = A1L90 & (clk1hz # !jin);


--A1L91 is data_out1[1]~194
A1L91 = !A1L129 & (A1L126 & (A1L127 # !A1L128) # !A1L126 & A1L127 & !A1L128);


--A1L105 is data_out~246
A1L105 = !A1L91 & (clk1hz # !jin);


--A1L92 is data_out1[2]~195
A1L92 = A1L127 & A1L126 & (!A1L129) # !A1L127 & (A1L128 & (!A1L129) # !A1L128 & A1L126);


--A1L106 is data_out~247
A1L106 = !A1L92 & (clk1hz # !jin);


--A1L93 is data_out1[3]~196
A1L93 = !A1L129 & (A1L126 & (A1L127 $ !A1L128) # !A1L126 & !A1L127 & A1L128);


--A1L107 is data_out~248
A1L107 = !A1L93 & (clk1hz # !jin);


--A1L94 is data_out1[4]~197
A1L94 = A1L128 & (A1L129) # !A1L128 & A1L127 & (A1L129 # !A1L126);


--A1L108 is data_out~249
A1L108 = !A1L94 & (clk1hz # !jin);


--A1L95 is data_out1[5]~198
A1L95 = A1L128 & (A1L129 # A1L126 $ A1L127) # !A1L128 & (A1L127 & A1L129);


--A1L109 is data_out~250
A1L109 = !A1L95 & (clk1hz # !jin);


--A1L96 is data_out1[6]~199
A1L96 = !A1L127 & !A1L129 & (A1L126 $ A1L128);


--A1L110 is data_out~251
A1L110 = !A1L96 & (clk1hz # !jin);


--r1 is r1
r1 = DFFEAS(A1L155, clk1hz,  ,  , A1L156,  ,  ,  ,  );


--A1L158 is ra~4
A1L158 = jin # r1;


--A1L160 is rb~4
A1L160 = jin # !r1;


--g1 is g1
g1 = DFFEAS(A1L119, clk1hz,  ,  , A1L156,  ,  ,  ,  );


--A1L122 is ga~16
A1L122 = g1 & !jin;


--g2 is g2
g2 = DFFEAS(stx.st3, clk1hz,  ,  , A1L156,  ,  ,  ,  );


--A1L124 is gb~16
A1L124 = g2 & !jin;


--y1 is y1
y1 = DFFEAS(stx.st2, clk1hz,  ,  , A1L156,  ,  ,  ,  );


--A1L178 is ya~16
A1L178 = y1 & !jin;


--y2 is y2
y2 = DFFEAS(stx.st4, clk1hz,  ,  , A1L156,  ,  ,  ,  );


--A1L180 is yb~16
A1L180 = y2 & !jin;


--clk1khz is clk1khz
clk1khz = DFFEAS(A1L59, clk,  ,  ,  ,  ,  ,  ,  );


--A1L111 is Equal~289
A1L111 = !ql[1] & !ql[2] & !ql[3];


--A1L143 is qh~996
A1L143 = qh[0] $ (!ql[0] & A1L111);


--A1L131 is process2~17
A1L131 = !qh[0] & !qh[1] & !qh[2];


--A1L130 is process2~0
A1L130 = qh[3] # !A1L131 # !A1L111 # !ql[0];


--a is a
a = DFFEAS(A1L141, clk1hz,  ,  , !jin, VCC,  ,  , !a);


--stx.st1 is stx.st1
stx.st1 = DFFEAS(A1L167, clk1hz,  ,  ,  ,  ,  ,  ,  );


--A1L135 is qh[0]~997
A1L135 = a & A1L143 & A1L130 # !a & (!stx.st1);


--A1L149 is ql~230
A1L149 = a & !ql[0];


--stx.st3 is stx.st3
stx.st3 = DFFEAS(A1L168, clk1hz,  ,  ,  ,  ,  ,  ,  );


--A1L164 is Select~840
A1L164 = qh[1] $ (!ql[0] & A1L111 & !qh[0]);


--A1L165 is Select~841
A1L165 = a & (A1L164) # !a & (stx.st3 # !stx.st1);


--A1L132 is process2~18
A1L132 = ql[1] # ql[2] # ql[3] # !ql[0];


--A1L141 is qh[3]~998
A1L141 = a & (qh[3] # A1L132 # !A1L131);


--A1L150 is ql~231
A1L150 = A1L141 & (ql[0] & ql[1] # !ql[0] & !ql[1] & !A1L111);


--A1L10 is add~614
A1L10 = !qh[0] & !qh[1];


--A1L138 is qh[2]~999
A1L138 = !jin & (A1L111 & !ql[0] # !A1L141);


--A1L139 is qh[2]~1000
A1L139 = A1L138 & A1L141 & (qh[2] $ A1L10) # !A1L138 & (qh[2]);


--A1L151 is ql~232
A1L151 = ql[0] & (ql[2]) # !ql[0] & (ql[1] & (ql[2]) # !ql[1] & ql[3] & !ql[2]);


--A1L142 is qh[3]~1001
A1L142 = A1L138 & A1L141 & (qh[3] $ A1L131) # !A1L138 & (qh[3]);


--A1L152 is ql~233
A1L152 = ql[3] $ (!ql[0] & !ql[1] & !ql[2]);


--A1L153 is ql~234
A1L153 = A1L141 & A1L152;


--\process2:count[8] is \process2:count[8]
\process2:count[8] = DFFEAS(A1L78, clk1khz,  ,  ,  ,  ,  ,  ,  );


--\process2:count[7] is \process2:count[7]
\process2:count[7] = DFFEAS(A1L79, clk1khz,  ,  ,  ,  ,  ,  ,  );


--\process2:count[6] is \process2:count[6]
\process2:count[6] = DFFEAS(A1L80, clk1khz,  ,  ,  ,  ,  ,  ,  );


--A1L112 is Equal~290
A1L112 = cnt[0] & \process2:count[8] & \process2:count[7] & \process2:count[6];


--\process2:count[1] is \process2:count[1]
\process2:count[1] = DFFEAS(A1L11, clk1khz,  ,  ,  ,  ,  ,  ,  );


--\process2:count[5] is \process2:count[5]
\process2:count[5] = DFFEAS(A1L81, clk1khz,  ,  ,  ,  ,  ,  ,  );


--\process2:count[4] is \process2:count[4]
\process2:count[4] = DFFEAS(A1L82, clk1khz,  ,  ,  ,  ,  ,  ,  );


--\process2:count[3] is \process2:count[3]
\process2:count[3] = DFFEAS(A1L15, clk1khz,  ,  ,  ,  ,  ,  ,  );


--\process2:count[2] is \process2:count[2]
\process2:count[2] = DFFEAS(A1L83, clk1khz,  ,  ,  ,  ,  ,  ,  );


--A1L113 is Equal~291
A1L113 = \process2:count[5] & \process2:count[4] & !\process2:count[3] & !\process2:count[2];


--A1L57 is clk1hz~42
A1L57 = clk1hz $ (A1L112 & \process2:count[1] & A1L113);


--stx.st4 is stx.st4
stx.st4 = DFFEAS(A1L169, clk1hz,  ,  ,  ,  ,  ,  ,  );


--A1L155 is r2~31
A1L155 = stx.st3 # stx.st4;


--A1L156 is r2~32
A1L156 = !jin & !a;


--stx.st2 is stx.st2
stx.st2 = DFFEAS(A1L170, clk1hz,  ,  ,  ,  ,  ,  ,  );


--count[13] is count[13]
count[13] = DFFEAS(A1L84, clk,  ,  ,  ,  ,  ,  ,  );


--count[10] is count[10]
count[10] = DFFEAS(A1L85, clk,  ,  ,  ,  ,  ,  ,  );


--count[12] is count[12]
count[12] = DFFEAS(A1L51, clk,  ,  ,  ,  ,  ,  ,  );


--count[11] is count[11]
count[11] = DFFEAS(A1L49, clk,  ,  ,  ,  ,  ,  ,  );


--A1L114 is Equal~292
A1L114 = count[13] & count[10] & !count[12] & !count[11];


--count[9] is count[9]
count[9] = DFFEAS(A1L86, clk,  ,  ,  ,  ,  ,  ,  );


--count[8] is count[8]
count[8] = DFFEAS(A1L87, clk,  ,  ,  ,  ,  ,  ,  );


--count[7] is count[7]
count[7] = DFFEAS(A1L41, clk,  ,  ,  ,  ,  ,  ,  );


--count[6] is count[6]
count[6] = DFFEAS(A1L39, clk,  ,  ,  ,  ,  ,  ,  );


--A1L115 is Equal~293
A1L115 = count[9] & count[8] & !count[7] & !count[6];


--count[3] is count[3]
count[3] = DFFEAS(A1L33, clk,  ,  ,  ,  ,  ,  ,  );


--count[2] is count[2]
count[2] = DFFEAS(A1L31, clk,  ,  ,  ,  ,  ,  ,  );


--count[5] is count[5]
count[5] = DFFEAS(A1L37, clk,  ,  ,  ,  ,  ,  ,  );


--count[4] is count[4]
count[4] = DFFEAS(A1L88, clk,  ,  ,  ,  ,  ,  ,  );


--A1L116 is Equal~294
A1L116 = count[3] & count[2] & !count[5] & !count[4];


--count[1] is count[1]
count[1] = DFFEAS(A1L29, clk,  ,  ,  ,  ,  ,  ,  );


--count[0] is count[0]
count[0] = DFFEAS(A1L27, clk,  ,  ,  ,  ,  ,  ,  );


--A1L117 is Equal~295
A1L117 = A1L116 & count[1] & count[0];


--A1L59 is clk1khz~45
A1L59 = clk1khz $ (A1L114 & A1L115 & A1L117);


--A1L166 is Select~842
A1L166 = a & !jin & !A1L130;


--A1L167 is Select~843
A1L167 = stx.st4 & !A1L166 # !stx.st4 & (A1L166 # stx.st1);


--A1L168 is Select~844
A1L168 = stx.st2 & A1L166 # !stx.st2 & !A1L166 & stx.st3;


--A1L11 is add~615
A1L11 = cnt[0] & (\process2:count[1] $ VCC) # !cnt[0] & \process2:count[1] & VCC;

--A1L12 is add~616
A1L12 = CARRY(cnt[0] & \process2:count[1]);


--A1L13 is add~617
A1L13 = \process2:count[2] & !A1L12 # !\process2:count[2] & (A1L12 # GND);

--A1L14 is add~618
A1L14 = CARRY(!A1L12 # !\process2:count[2]);


--A1L15 is add~619
A1L15 = \process2:count[3] & (A1L14 $ GND) # !\process2:count[3] & !A1L14 & VCC;

--A1L16 is add~620
A1L16 = CARRY(\process2:count[3] & !A1L14);


--A1L17 is add~621
A1L17 = \process2:count[4] & !A1L16 # !\process2:count[4] & (A1L16 # GND);

--A1L18 is add~622
A1L18 = CARRY(!A1L16 # !\process2:count[4]);


--A1L19 is add~623
A1L19 = \process2:count[5] & (A1L18 $ GND) # !\process2:count[5] & !A1L18 & VCC;

--A1L20 is add~624
A1L20 = CARRY(\process2:count[5] & !A1L18);


--A1L21 is add~625
A1L21 = \process2:count[6] & !A1L20 # !\process2:count[6] & (A1L20 # GND);

--A1L22 is add~626
A1L22 = CARRY(!A1L20 # !\process2:count[6]);


--A1L23 is add~627
A1L23 = \process2:count[7] & (A1L22 $ GND) # !\process2:count[7] & !A1L22 & VCC;

--A1L24 is add~628
A1L24 = CARRY(\process2:count[7] & !A1L22);


--A1L25 is add~629
A1L25 = \process2:count[8] $ A1L24;


--A1L78 is count~545
A1L78 = A1L25 & (!A1L113 # !\process2:count[1] # !A1L112);


--A1L79 is count~546
A1L79 = A1L23 & (!A1L113 # !\process2:count[1] # !A1L112);


--A1L80 is count~547
A1L80 = A1L21 & (!A1L113 # !\process2:count[1] # !A1L112);


--A1L81 is count~548
A1L81 = A1L19 & (!A1L113 # !\process2:count[1] # !A1L112);


--A1L82 is count~549
A1L82 = A1L17 & (!A1L113 # !\process2:count[1] # !A1L112);


--A1L83 is count~550
A1L83 = A1L13 & (!A1L113 # !\process2:count[1] # !A1L112);


--A1L169 is Select~845
A1L169 = stx.st3 & A1L166 # !stx.st3 & !A1L166 & stx.st4;


--A1L170 is Select~846
A1L170 = A1L166 & (!stx.st1) # !A1L166 & stx.st2 & stx.st1;


--A1L27 is add~631
A1L27 = count[0] $ VCC;

--A1L28 is add~632
A1L28 = CARRY(count[0]);


--A1L29 is add~633
A1L29 = count[1] & !A1L28 # !count[1] & (A1L28 # GND);

--A1L30 is add~634
A1L30 = CARRY(!A1L28 # !count[1]);


--A1L31 is add~635
A1L31 = count[2] & (A1L30 $ GND) # !count[2] & !A1L30 & VCC;

--A1L32 is add~636
A1L32 = CARRY(count[2] & !A1L30);


--A1L33 is add~637
A1L33 = count[3] & !A1L32 # !count[3] & (A1L32 # GND);

--A1L34 is add~638
A1L34 = CARRY(!A1L32 # !count[3]);


--A1L35 is add~639
A1L35 = count[4] & (A1L34 $ GND) # !count[4] & !A1L34 & VCC;

--A1L36 is add~640
A1L36 = CARRY(count[4] & !A1L34);


--A1L37 is add~641
A1L37 = count[5] & !A1L36 # !count[5] & (A1L36 # GND);

--A1L38 is add~642
A1L38 = CARRY(!A1L36 # !count[5]);


--A1L39 is add~643
A1L39 = count[6] & (A1L38 $ GND) # !count[6] & !A1L38 & VCC;

--A1L40 is add~644
A1L40 = CARRY(count[6] & !A1L38);


--A1L41 is add~645
A1L41 = count[7] & !A1L40 # !count[7] & (A1L40 # GND);

--A1L42 is add~646
A1L42 = CARRY(!A1L40 # !count[7]);


--A1L43 is add~647
A1L43 = count[8] & (A1L42 $ GND) # !count[8] & !A1L42 & VCC;

--A1L44 is add~648
A1L44 = CARRY(count[8] & !A1L42);


--A1L45 is add~649
A1L45 = count[9] & !A1L44 # !count[9] & (A1L44 # GND);

--A1L46 is add~650
A1L46 = CARRY(!A1L44 # !count[9]);


--A1L47 is add~651
A1L47 = count[10] & (A1L46 $ GND) # !count[10] & !A1L46 & VCC;

--A1L48 is add~652
A1L48 = CARRY(count[10] & !A1L46);


--A1L49 is add~653
A1L49 = count[11] & !A1L48 # !count[11] & (A1L48 # GND);

--A1L50 is add~654
A1L50 = CARRY(!A1L48 # !count[11]);


--A1L51 is add~655
A1L51 = count[12] & (A1L50 $ GND) # !count[12] & !A1L50 & VCC;

--A1L52 is add~656
A1L52 = CARRY(count[12] & !A1L50);


--A1L53 is add~657
A1L53 = count[13] $ A1L52;


--A1L84 is count~551
A1L84 = A1L53 & (!A1L117 # !A1L115 # !A1L114);


--A1L85 is count~552
A1L85 = A1L47 & (!A1L117 # !A1L115 # !A1L114);


--A1L86 is count~553
A1L86 = A1L45 & (!A1L117 # !A1L115 # !A1L114);


--A1L87 is count~554
A1L87 = A1L43 & (!A1L117 # !A1L115 # !A1L114);


--A1L88 is count~555
A1L88 = A1L35 & (!A1L117 # !A1L115 # !A1L114);


--A1L62 is cnt[0]~33
A1L62 = !cnt[0];


--A1L119 is g1~6
A1L119 = !stx.st1;


--jin is jin
--operation mode is input

jin = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


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

scan[0] = OUTPUT(!cnt[0]);


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

scan[1] = OUTPUT(cnt[0]);


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

data_out[0] = OUTPUT(A1L104);


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

data_out[1] = OUTPUT(A1L105);


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

data_out[2] = OUTPUT(A1L106);


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

data_out[3] = OUTPUT(A1L107);


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

data_out[4] = OUTPUT(A1L108);


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

data_out[5] = OUTPUT(A1L109);


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

data_out[6] = OUTPUT(A1L110);


--ra is ra
--operation mode is output

ra = OUTPUT(A1L158);


--rb is rb
--operation mode is output

rb = OUTPUT(A1L160);


--ga is ga
--operation mode is output

ga = OUTPUT(A1L122);


--gb is gb
--operation mode is output

gb = OUTPUT(A1L124);


--ya is ya
--operation mode is output

ya = OUTPUT(A1L178);


--yb is yb
--operation mode is output

yb = OUTPUT(A1L180);