ping_pang.map.eqn

大量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.
--shift_1[0] is shift_1[0]
shift_1[0] = DFFEAS(A1L119, clk1_2hz, !rst,  ,  , A1L175,  ,  , b);


--shift_1[1] is shift_1[1]
shift_1[1] = DFFEAS(A1L131, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[2] is shift_1[2]
shift_1[2] = DFFEAS(A1L134, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[3] is shift_1[3]
shift_1[3] = DFFEAS(A1L137, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[4] is shift_1[4]
shift_1[4] = DFFEAS(A1L140, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[5] is shift_1[5]
shift_1[5] = DFFEAS(A1L143, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[6] is shift_1[6]
shift_1[6] = DFFEAS(A1L146, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[7] is shift_1[7]
shift_1[7] = DFFEAS(A1L149, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[8] is shift_1[8]
shift_1[8] = DFFEAS(A1L152, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[9] is shift_1[9]
shift_1[9] = DFFEAS(A1L155, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[10] is shift_1[10]
shift_1[10] = DFFEAS(A1L158, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[11] is shift_1[11]
shift_1[11] = DFFEAS(A1L161, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[12] is shift_1[12]
shift_1[12] = DFFEAS(A1L164, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[13] is shift_1[13]
shift_1[13] = DFFEAS(A1L167, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[14] is shift_1[14]
shift_1[14] = DFFEAS(A1L170, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--shift_1[15] is shift_1[15]
shift_1[15] = DFFEAS(A1L172, clk1_2hz, !rst,  ,  , A1L179,  ,  , !b);


--cnt[1] is cnt[1]
cnt[1] = DFFEAS(A1L51, clk1khz,  ,  ,  ,  ,  ,  ,  );


--cnt[0] is cnt[0]
cnt[0] = DFFEAS(A1L49, clk1khz,  ,  ,  ,  ,  ,  ,  );


--A1L62 is data[1]~179
A1L62 = !cnt[1] & !cnt[0];


--A1L83 is Mux~254
A1L83 = cnt[0] & !cnt[1];


--A1L84 is Mux~255
A1L84 = cnt[1] & !cnt[0];


--A1L85 is Mux~256
A1L85 = cnt[1] & cnt[0];


--b_score[3] is b_score[3]
b_score[3] = DFFEAS(A1L33, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--b_score[1] is b_score[1]
b_score[1] = DFFEAS(A1L28, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--a_score[3] is a_score[3]
a_score[3] = DFFEAS(A1L14, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--a_score[1] is a_score[1]
a_score[1] = DFFEAS(A1L9, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--A1L59 is data[0]~180
A1L59 = cnt[1] & (a_score[3] & a_score[1]) # !cnt[1] & b_score[1];


--b_score[0] is b_score[0]
b_score[0] = DFFEAS(A1L25, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--a_score[0] is a_score[0]
a_score[0] = DFFEAS(A1L6, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--A1L60 is data[0]~181
A1L60 = cnt[0] & (cnt[1]) # !cnt[0] & (cnt[1] & (a_score[0]) # !cnt[1] & b_score[0]);


--A1L61 is data[0]~182
A1L61 = cnt[0] & A1L59 & (b_score[3] # A1L60) # !cnt[0] & (A1L60);


--A1L63 is data[1]~183
A1L63 = b_score[1] & !cnt[1] & !cnt[0] & !b_score[3];


--A1L64 is data[1]~184
A1L64 = A1L63 # A1L84 & a_score[1] & !a_score[3];


--a_score[2] is a_score[2]
a_score[2] = DFFEAS(A1L11, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--b_score[2] is b_score[2]
b_score[2] = DFFEAS(A1L30, clk1_2hz, !rst,  ,  ,  ,  ,  ,  );


--A1L65 is data[2]~185
A1L65 = !cnt[0] & (cnt[1] & a_score[2] # !cnt[1] & (b_score[2]));


--A1L66 is data[3]~186
A1L66 = b_score[3] & !cnt[1] & !cnt[0] & !b_score[1];


--A1L67 is data[3]~187
A1L67 = A1L66 # A1L84 & a_score[3] & !a_score[1];


--A1L86 is Mux~257
A1L86 = A1L67 # A1L64 & (!A1L65 # !A1L61) # !A1L64 & (A1L65);


--A1L87 is Mux~258
A1L87 = !A1L67 & (A1L61 & (A1L64 # !A1L65) # !A1L61 & A1L64 & !A1L65);


--A1L88 is Mux~259
A1L88 = A1L64 & A1L61 & (!A1L67) # !A1L64 & (A1L65 & (!A1L67) # !A1L65 & A1L61);


--A1L89 is Mux~260
A1L89 = !A1L67 & (A1L61 & (A1L64 $ !A1L65) # !A1L61 & !A1L64 & A1L65);


--A1L90 is Mux~261
A1L90 = A1L65 & (A1L67) # !A1L65 & A1L64 & (A1L67 # !A1L61);


--A1L91 is Mux~262
A1L91 = A1L65 & (A1L67 # A1L61 $ A1L64) # !A1L65 & (A1L64 & A1L67);


--A1L92 is Mux~263
A1L92 = !A1L64 & !A1L67 & (A1L61 $ A1L65);


--clk1_2hz is clk1_2hz
clk1_2hz = DFFEAS(A1L44, clk1khz,  ,  ,  ,  ,  ,  ,  );


--a is a
a = DFFEAS(A1L17, clk1_2hz, !rst,  ,  , A1L21,  ,  , a);


--b is b
b = DFFEAS(A1L36, clk1_2hz, !rst,  ,  , A1L41,  ,  , b);


--A1L174 is shift_1~3424
A1L174 = shift_1[0] & (a # !b);


--A1L76 is Equal~280
A1L76 = !shift_1[8] & !shift_1[9];


--A1L77 is Equal~281
A1L77 = !shift_1[12] & !shift_1[13] & !shift_1[14] & !shift_1[15];


--A1L78 is Equal~282
A1L78 = A1L76 & A1L77 & !shift_1[10] & !shift_1[11];


--A1L175 is shift_1~3425
A1L175 = A1L174 # shift_1[0] & aj & !A1L78;


--A1L176 is shift_1~3426
A1L176 = !af & (bf # A1L175);


--A1L79 is Equal~283
A1L79 = !shift_1[0] & !shift_1[1] & !shift_1[2] & !shift_1[3];


--A1L80 is Equal~284
A1L80 = A1L79 & !shift_1[4] & !shift_1[5] & !shift_1[6];


--A1L82 is LessThan~284
A1L82 = shift_1[7] & !A1L80 # !A1L78;


--A1L177 is shift_1~3427
A1L177 = bj & (shift_1[0] & !A1L82) # !bj & shift_1[1];


--A1L119 is shift_1[0]~1123
A1L119 = a & (A1L177) # !a & A1L176;


--A1L122 is shift_1[1]~3428
A1L122 = a & (b & shift_1[0] # !b & (shift_1[2])) # !a & shift_1[0];


--A1L93 is process2~44
A1L93 = a & !b;


--A1L123 is shift_1[1]~3429
A1L123 = !b & !a & (bf # af);


--A1L124 is shift_1[1]~3430
A1L124 = !A1L123 & (!A1L93 # !A1L82 # !bj);


--A1L81 is Equal~285
A1L81 = A1L78 & A1L80 & !shift_1[7];


--A1L125 is shift_1[1]~3431
A1L125 = b & (A1L81 # aj & !A1L78);


--A1L38 is b~260
A1L38 = A1L78 & bj & (A1L80 # !shift_1[7]);


--A1L126 is shift_1[1]~3432
A1L126 = A1L125 # a & (A1L38 # A1L81);


--A1L127 is shift_1[1]~3433
A1L127 = b & a # !b & !a & !bf & !af;


--A1L128 is shift_1[1]~3434
A1L128 = A1L78 & aj & !A1L81 & !A1L93;


--A1L129 is shift_1[1]~3435
A1L129 = A1L124 & !A1L126 & !A1L127 & !A1L128;


--A1L130 is shift_1[1]~3436
A1L130 = A1L126 # A1L127;


--A1L131 is shift_1[1]~3437
A1L131 = shift_1[1] & (A1L130 # A1L122 & A1L129) # !shift_1[1] & A1L122 & A1L129;


--A1L133 is shift_1[2]~3438
A1L133 = a & (b & shift_1[1] # !b & (shift_1[3])) # !a & shift_1[1];


--A1L134 is shift_1[2]~3439
A1L134 = shift_1[2] & (A1L130 # A1L129 & A1L133) # !shift_1[2] & A1L129 & A1L133;


--A1L136 is shift_1[3]~3440
A1L136 = a & (b & shift_1[2] # !b & (shift_1[4])) # !a & shift_1[2];


--A1L137 is shift_1[3]~3441
A1L137 = shift_1[3] & (A1L130 # A1L129 & A1L136) # !shift_1[3] & A1L129 & A1L136;


--A1L139 is shift_1[4]~3442
A1L139 = a & (b & shift_1[3] # !b & (shift_1[5])) # !a & shift_1[3];


--A1L140 is shift_1[4]~3443
A1L140 = shift_1[4] & (A1L130 # A1L129 & A1L139) # !shift_1[4] & A1L129 & A1L139;


--A1L142 is shift_1[5]~3444
A1L142 = a & (b & shift_1[4] # !b & (shift_1[6])) # !a & shift_1[4];


--A1L143 is shift_1[5]~3445
A1L143 = shift_1[5] & (A1L130 # A1L129 & A1L142) # !shift_1[5] & A1L129 & A1L142;


--A1L145 is shift_1[6]~3446
A1L145 = a & (b & shift_1[5] # !b & (shift_1[7])) # !a & shift_1[5];


--A1L146 is shift_1[6]~3447
A1L146 = shift_1[6] & (A1L130 # A1L129 & A1L145) # !shift_1[6] & A1L129 & A1L145;


--A1L148 is shift_1[7]~3448
A1L148 = a & (b & shift_1[6] # !b & (shift_1[8])) # !a & shift_1[6];


--A1L149 is shift_1[7]~3449
A1L149 = shift_1[7] & (A1L130 # A1L129 & A1L148) # !shift_1[7] & A1L129 & A1L148;


--A1L151 is shift_1[8]~3450
A1L151 = a & (b & shift_1[7] # !b & (shift_1[9])) # !a & shift_1[7];


--A1L152 is shift_1[8]~3451
A1L152 = shift_1[8] & (A1L130 # A1L129 & A1L151) # !shift_1[8] & A1L129 & A1L151;


--A1L154 is shift_1[9]~3452
A1L154 = a & (b & shift_1[8] # !b & (shift_1[10])) # !a & shift_1[8];


--A1L155 is shift_1[9]~3453
A1L155 = shift_1[9] & (A1L130 # A1L129 & A1L154) # !shift_1[9] & A1L129 & A1L154;


--A1L157 is shift_1[10]~3454
A1L157 = a & (b & shift_1[9] # !b & (shift_1[11])) # !a & shift_1[9];


--A1L158 is shift_1[10]~3455
A1L158 = shift_1[10] & (A1L130 # A1L129 & A1L157) # !shift_1[10] & A1L129 & A1L157;


--A1L160 is shift_1[11]~3456
A1L160 = a & (b & shift_1[10] # !b & (shift_1[12])) # !a & shift_1[10];


--A1L161 is shift_1[11]~3457
A1L161 = shift_1[11] & (A1L130 # A1L129 & A1L160) # !shift_1[11] & A1L129 & A1L160;


--A1L163 is shift_1[12]~3458
A1L163 = a & (b & shift_1[11] # !b & (shift_1[13])) # !a & shift_1[11];


--A1L164 is shift_1[12]~3459
A1L164 = shift_1[12] & (A1L130 # A1L129 & A1L163) # !shift_1[12] & A1L129 & A1L163;


--A1L166 is shift_1[13]~3460
A1L166 = a & (b & shift_1[12] # !b & (shift_1[14])) # !a & shift_1[12];


--A1L167 is shift_1[13]~3461
A1L167 = shift_1[13] & (A1L130 # A1L129 & A1L166) # !shift_1[13] & A1L129 & A1L166;


--A1L169 is shift_1[14]~3462
A1L169 = a & (b & shift_1[13] # !b & (shift_1[15])) # !a & shift_1[13];


--A1L170 is shift_1[14]~3463
A1L170 = shift_1[14] & (A1L130 # A1L129 & A1L169) # !shift_1[14] & A1L129 & A1L169;


--A1L178 is shift_1~3464
A1L178 = b & !aj & !a;


--A1L172 is shift_1[15]~1124
A1L172 = A1L178 & (shift_1[14]) # !A1L178 & shift_1[15];


--A1L179 is shift_1~3465
A1L179 = !a & (af # A1L172 & !bf);


--A1L51 is cnt[1]~28
A1L51 = cnt[1] $ cnt[0];


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


--A1L32 is b_score[3]~240
A1L32 = A1L78 & (aj # A1L80 & !shift_1[7]);


--A1L27 is b_score[1]~241
A1L27 = b_score[0] & b & A1L32 & !a;


--A1L33 is b_score[3]~242
A1L33 = b_score[3] $ (b_score[1] & b_score[2] & A1L27);


--A1L28 is b_score[1]~243
A1L28 = b_score[1] $ A1L27;


--A1L13 is a_score[3]~385
A1L13 = a & bj & A1L82 & !b;


--A1L8 is a_score[1]~386
A1L8 = a_score[0] & (A1L13 # A1L81 & A1L93);


--A1L14 is a_score[3]~387
A1L14 = a_score[3] $ (a_score[1] & a_score[2] & A1L8);


--A1L9 is a_score[1]~388
A1L9 = a_score[1] $ A1L8;


--A1L25 is b_score[0]~244
A1L25 = b_score[0] $ (!a & b & A1L32);


--A1L6 is a_score[0]~389
A1L6 = a_score[0] $ (A1L13 # A1L81 & A1L93);


--A1L11 is a_score[2]~390
A1L11 = a_score[2] $ (a_score[1] & A1L8);


--A1L30 is b_score[2]~245
A1L30 = b_score[2] $ (b_score[1] & A1L27);


--\process2:count[0] is \process2:count[0]
\process2:count[0] = DFFEAS(A1L55, clk1khz,  ,  ,  ,  ,  ,  ,  );


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


--A1L44 is clk1_2hz~21
A1L44 = clk1_2hz $ (!\process2:count[0] & \process2:count[1]);


--A1L19 is a~427
A1L19 = aj & !A1L78;


--A1L17 is a~219
A1L17 = b & (A1L19) # !b & af;


--A1L20 is a~428
A1L20 = a & !bj;


--A1L21 is a~429
A1L21 = b # A1L20 & (A1L82 # !A1L81);


--A1L39 is b~261
A1L39 = bf & !af;


--A1L40 is b~262
A1L40 = A1L78 & bj & (shift_1[7] $ !A1L80);


--A1L36 is b~147
A1L36 = a & (A1L40) # !a & A1L39;


--A1L41 is b~263
A1L41 = a # !aj & !A1L81;


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


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


--A1L46 is clk1khz~21
A1L46 = clk1khz $ (!count[0] & count[1]);


--A1L55 is count~46
A1L55 = !\process2:count[1] & !\process2:count[0];


--A1L56 is count~47
A1L56 = !\process2:count[1] & \process2:count[0];


--A1L57 is count~48
A1L57 = !count[1] & !count[0];


--A1L58 is count~49
A1L58 = !count[1] & count[0];


--A1L49 is cnt[0]~29
A1L49 = !cnt[0];


--bf is bf
--operation mode is input

bf = INPUT();


--aj is aj
--operation mode is input

aj = INPUT();


--af is af
--operation mode is input

af = INPUT();


--bj is bj
--operation mode is input

bj = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


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

shift[0] = OUTPUT(shift_1[0]);


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

shift[1] = OUTPUT(shift_1[1]);


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

shift[2] = OUTPUT(shift_1[2]);


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

shift[3] = OUTPUT(shift_1[3]);


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

shift[4] = OUTPUT(shift_1[4]);


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

shift[5] = OUTPUT(shift_1[5]);


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

shift[6] = OUTPUT(shift_1[6]);


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

shift[7] = OUTPUT(shift_1[7]);


--shift[8] is shift[8]
--operation mode is output

shift[8] = OUTPUT(shift_1[8]);


--shift[9] is shift[9]
--operation mode is output

shift[9] = OUTPUT(shift_1[9]);


--shift[10] is shift[10]
--operation mode is output

shift[10] = OUTPUT(shift_1[10]);


--shift[11] is shift[11]
--operation mode is output

shift[11] = OUTPUT(shift_1[11]);


--shift[12] is shift[12]
--operation mode is output

shift[12] = OUTPUT(shift_1[12]);


--shift[13] is shift[13]
--operation mode is output

shift[13] = OUTPUT(shift_1[13]);


--shift[14] is shift[14]
--operation mode is output

shift[14] = OUTPUT(shift_1[14]);


--shift[15] is shift[15]
--operation mode is output

shift[15] = OUTPUT(shift_1[15]);


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

scan[0] = OUTPUT(A1L62);


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

scan[1] = OUTPUT(A1L83);


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

scan[2] = OUTPUT(A1L84);


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

scan[3] = OUTPUT(A1L85);


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

data_out[0] = OUTPUT(A1L86);


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

data_out[1] = OUTPUT(!A1L87);


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

data_out[2] = OUTPUT(!A1L88);


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

data_out[3] = OUTPUT(!A1L89);


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

data_out[4] = OUTPUT(!A1L90);


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

data_out[5] = OUTPUT(!A1L91);


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

data_out[6] = OUTPUT(!A1L92);