light.map.eqn

这是一个用VHDL编写的发光二极管走马灯

--A1L9Q is a~16
A1L9Q_p1_out = a[2] & a[1] & a[0];
A1L9Q_or_out = a[3];
A1L9Q_reg_input = A1L9Q_p1_out $ A1L9Q_or_out;
A1L9Q_p2_out = a[2] & a[1] & a[0] & a[3];
A1L9Q = DFFE(A1L9Q_reg_input, GLOBAL(clo), !A1L9Q_p2_out, , );


--a[3] is a[3]
a[3]_p1_out = a[2] & a[1] & a[0];
a[3]_or_out = a[3]_p1_out;
a[3]_reg_input = a[3]_or_out;
a[3]_p2_out = A1L21 & A1L31 & A1L41 & A1L51 & A1L61;
a[3]_p4_out = !sw1 & A1L9Q;
a[3]_p3_out = sw1 & !btn2;
a[3] = TFFE(a[3]_reg_input, GLOBAL(clo), !a[3]_p2_out, !a[3]_p4_out, a[3]_p3_out);


--A1L21 is comb~207
A1L21 = EXP(!a[1] & sw1);


--A1L31 is comb~208
A1L31 = EXP(!a[0] & sw1);


--A1L41 is comb~209
A1L41 = EXP(!a[2] & sw1);


--A1L51 is comb~210
A1L51 = EXP(a[3] & sw1);


--A1L61 is comb~211
A1L61 = EXP(!sw1 & A1L9Q);


--A1L6Q is a~0
A1L6Q_p1_out = a[1] & a[0];
A1L6Q_or_out = a[2];
A1L6Q_reg_input = A1L6Q_p1_out $ A1L6Q_or_out;
A1L6Q_p2_out = a[1] & a[0] & a[2] & a[3];
A1L6Q = DFFE(A1L6Q_reg_input, GLOBAL(clo), !A1L6Q_p2_out, , );


--A1L8Q is a~2
A1L8Q_or_out = !a[0];
A1L8Q_reg_input = A1L8Q_or_out;
A1L8Q_p2_out = a[0] & a[2] & a[3] & a[1];
A1L8Q = DFFE(A1L8Q_reg_input, GLOBAL(clo), !A1L8Q_p2_out, , );


--a[2] is a[2]
a[2]_p1_out = a[1] & a[0];
a[2]_or_out = a[2]_p1_out;
a[2]_reg_input = a[2]_or_out;
a[2]_p2_out = A1L21 & A1L31 & A1L41 & A1L51 & A1L71;
a[2]_p4_out = !sw1 & A1L6Q;
a[2]_p3_out = sw1 & !btn2;
a[2] = TFFE(a[2]_reg_input, GLOBAL(clo), !a[2]_p2_out, !a[2]_p4_out, a[2]_p3_out);


--A1L71 is comb~216
A1L71 = EXP(!sw1 & A1L6Q);


--A1L03 is ld[5]$latch$d_and~11
A1L03_p1_out = !a[3] & !btn2 & !a[2] & sw1;
A1L03_p2_out = !a[3] & !btn2 & sw1 & !a[1];
A1L03_p3_out = !a[3] & !btn2 & sw1 & !a[0];
A1L03_p4_out = !btn2 & !a[2] & !sw1 & a[1] & a[0];
A1L03_or_out = A1L03_p1_out # A1L03_p2_out # A1L03_p3_out # A1L03_p4_out;
A1L03 = A1L03_or_out;


--a[0] is a[0]
a[0]_reg_input = VCC;
a[0]_p2_out = A1L21 & A1L31 & A1L41 & A1L51 & A1L81;
a[0]_p4_out = !sw1 & A1L8Q;
a[0]_p3_out = sw1 & !btn2;
a[0] = TFFE(a[0]_reg_input, GLOBAL(clo), !a[0]_p2_out, !a[0]_p4_out, a[0]_p3_out);


--A1L81 is comb~221
A1L81 = EXP(!sw1 & A1L8Q);


--A1L7Q is a~1
A1L7Q_or_out = a[0];
A1L7Q_reg_input = a[1] $ A1L7Q_or_out;
A1L7Q_p2_out = a[1] & a[0] & a[2] & a[3];
A1L7Q = DFFE(A1L7Q_reg_input, GLOBAL(clo), !A1L7Q_p2_out, , );


--A1L22 is ld[1]$latch$d_and~9
A1L22_p1_out = !btn2 & sw1 & !a[2] & !a[3] & a[1] & a[0];
A1L22_p2_out = !btn2 & !sw1 & a[2] & !a[3] & a[1] & a[0];
A1L22_or_out = A1L22_p1_out # A1L22_p2_out;
A1L22 = A1L22_or_out;


--a[1] is a[1]
a[1]_or_out = a[0];
a[1]_reg_input = a[1]_or_out;
a[1]_p2_out = A1L21 & A1L31 & A1L41 & A1L51 & A1L91;
a[1]_p4_out = !sw1 & A1L7Q;
a[1]_p3_out = sw1 & !btn2;
a[1] = TFFE(a[1]_reg_input, GLOBAL(clo), !a[1]_p2_out, !a[1]_p4_out, a[1]_p3_out);


--A1L91 is comb~226
A1L91 = EXP(!sw1 & A1L7Q);


--A1L63 is ld[8]$latch$d_and~10
A1L63_p1_out = !btn2 & !sw1 & !a[2] & !a[3] & !a[1] & !a[0];
A1L63_p2_out = !btn2 & !sw1 & a[2] & a[3] & a[1] & !a[0];
A1L63_p3_out = !btn2 & sw1 & !a[2] & !a[3] & a[1] & a[0];
A1L63_or_out = A1L63_p1_out # A1L63_p2_out # A1L63_p3_out;
A1L63 = A1L63_or_out;


--A1L43 is ld[7]$latch$d_and~11
A1L43_p1_out = !btn2 & sw1 & !a[2] & !a[3] & a[1];
A1L43_p2_out = !btn2 & sw1 & a[2] & !a[3] & !a[1] & !a[0];
A1L43_p3_out = !btn2 & !sw1 & !a[2] & !a[3] & !a[1] & a[0];
A1L43_p4_out = !btn2 & !sw1 & a[2] & a[3] & !a[1] & a[0];
A1L43_or_out = A1L43_p1_out # A1L43_p2_out # A1L43_p3_out # A1L43_p4_out;
A1L43 = A1L43_or_out;


--A1L82 is ld[4]$latch$d_and~12
A1L82_p0_out = !btn2 & !sw1 & a[3] & !a[2] & a[1] & !a[0];
A1L82_p1_out = !btn2 & sw1 & !a[3] & !a[2];
A1L82_p2_out = !btn2 & sw1 & !a[3] & !a[1];
A1L82_p3_out = !btn2 & sw1 & !a[3] & !a[0];
A1L82_p4_out = !btn2 & !a[3] & a[2] & !a[1] & !a[0];
A1L82_or_out = A1L82_p0_out # A1L82_p1_out # A1L82_p2_out # A1L82_p3_out # A1L82_p4_out;
A1L82 = A1L82_or_out;


--A1L42 is ld[2]$latch$d_and~11
A1L42_p1_out = !btn2 & sw1 & a[1] & !a[2] & !a[3];
A1L42_p2_out = !btn2 & sw1 & !a[1] & a[2] & !a[3] & !a[0];
A1L42_p3_out = !btn2 & !sw1 & a[1] & a[2] & !a[3] & !a[0];
A1L42_p4_out = !btn2 & !sw1 & !a[1] & !a[2] & a[3] & !a[0];
A1L42_or_out = A1L42_p1_out # A1L42_p2_out # A1L42_p3_out # A1L42_p4_out;
A1L42 = A1L42_or_out;


--A1L23 is ld[6]$latch$d_and~12
A1L23_p0_out = !btn2 & !sw1 & a[2] & a[3] & !a[1] & !a[0];
A1L23_p1_out = !btn2 & sw1 & !a[2] & !a[3] & a[1];
A1L23_p2_out = !btn2 & sw1 & !a[2] & !a[3] & a[0];
A1L23_p3_out = !btn2 & sw1 & a[2] & !a[3] & !a[1];
A1L23_p4_out = !btn2 & !a[2] & !a[3] & a[1] & !a[0];
A1L23_or_out = A1L23_p0_out # A1L23_p1_out # A1L23_p2_out # A1L23_p3_out # A1L23_p4_out;
A1L23 = A1L23_or_out;


--A1L62 is ld[3]$latch$d_and~12
A1L62_p0_out = !btn2 & !sw1 & !a[1] & !a[2] & a[3] & a[0];
A1L62_p1_out = !btn2 & sw1 & a[1] & !a[2] & !a[3];
A1L62_p2_out = !btn2 & sw1 & !a[2] & !a[3] & a[0];
A1L62_p3_out = !btn2 & sw1 & !a[1] & a[2] & !a[3];
A1L62_p4_out = !btn2 & !a[1] & a[2] & !a[3] & a[0];
A1L62_or_out = A1L62_p0_out # A1L62_p1_out # A1L62_p2_out # A1L62_p3_out # A1L62_p4_out;
A1L62 = A1L62_or_out;


--clo is clo
--operation mode is input

clo = INPUT();


--sw1 is sw1
--operation mode is input

sw1 = INPUT();


--btn2 is btn2
--operation mode is input

btn2 = INPUT();


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

ld[5] = OUTPUT(A1L03);


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

ld[1] = OUTPUT(A1L22);


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

ld[8] = OUTPUT(A1L63);


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

ld[7] = OUTPUT(A1L43);


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

ld[4] = OUTPUT(A1L82);


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

ld[2] = OUTPUT(A1L42);


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

ld[6] = OUTPUT(A1L23);


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

ld[3] = OUTPUT(A1L62);