automat.fit.eqn

设计一个自动售货机控制程序

--A1L53 is Select~34 at LC_X14_Y1_N4
--operation mode is normal

A1L53 = cur_state.st4 # cur_state.st5;


--A1L13 is reduce_nor~3 at LC_X12_Y1_N5
--operation mode is normal

A1L13 = choice[1] # !choice[0];


--A1L04 is Select~180 at LC_X14_Y1_N5
--operation mode is normal

A1L04 = cur_state.st4 & choice[0] $ !choice[1] # !cur_state.st4 & cur_state.st5 & choice[0] $ !choice[1];


--A1L14 is Select~615 at LC_X13_Y1_N7
--operation mode is normal

cur_state.st3_qfbk = cur_state.st3;
A1L14 = cur_state.st3_qfbk & choice[1] # !choice[0];

--cur_state.st3 is cur_state.st3 at LC_X13_Y1_N7
--operation mode is normal

cur_state.st3 = DFFEAS(A1L14, GLOBAL(clk), !GLOBAL(rst), , , next_state.st3, , , VCC);


--commodity[1]$latch is commodity[1]$latch at LC_X12_Y1_N3
--operation mode is normal

commodity[1]$latch = A1L05 & A1L53 & A1L13 # !A1L05 & commodity[1]$latch;


--A1L63 is Select~39 at LC_X12_Y1_N1
--operation mode is normal

A1L63 = cur_state.st3 # !A1L13 & cur_state.st5 # cur_state.st4;


--commodity[0]$latch is commodity[0]$latch at LC_X12_Y1_N0
--operation mode is normal

commodity[0]$latch = A1L04 & commodity[0]$latch # !A1L04 & A1L14 & commodity[0]$latch # !A1L14 & A1L63;


--give_change[1]$latch is give_change[1]$latch at LC_X12_Y1_N7
--operation mode is normal

give_change[1]$latch = A1L05 & !A1L13 & cur_state.st5 # !A1L05 & give_change[1]$latch;


--A1L24 is Select~616 at LC_X12_Y1_N8
--operation mode is normal

A1L24 = cur_state.st5 & choice[1] # !choice[0];


--A1L73 is Select~41 at LC_X12_Y1_N4
--operation mode is normal

A1L73 = cur_state.st4 & choice[0] & !choice[1];


--give_change[0]$latch is give_change[0]$latch at LC_X12_Y1_N6
--operation mode is normal

give_change[0]$latch = A1L05 & A1L73 # A1L24 # !A1L05 & give_change[0]$latch;


--A1L43 is Select~27 at LC_X14_Y1_N6
--operation mode is normal

A1L43 = din[1] & !din[0] & cur_state.st2;


--A1L33 is Select~26 at LC_X12_Y1_N9
--operation mode is normal

A1L33 = A1L14 & !din[1] & din[0];


--next_state.st4 is next_state.st4 at LC_X14_Y1_N7
--operation mode is normal

next_state.st4 = A1L04 & next_state.st4 # !A1L04 & A1L33 # A1L43;

--cur_state.st4 is cur_state.st4 at LC_X14_Y1_N7
--operation mode is normal

cur_state.st4 = DFFEAS(next_state.st4, GLOBAL(clk), !GLOBAL(rst), , , , , , );


--A1L03 is process1~6 at LC_X15_Y1_N2
--operation mode is normal

A1L03 = choice[1] $ choice[0];


--cur_state.st0 is cur_state.st0 at LC_X13_Y1_N2
--operation mode is normal

cur_state.st0_lut_out = !next_state.st0;
cur_state.st0 = DFFEAS(cur_state.st0_lut_out, GLOBAL(clk), !GLOBAL(rst), , , , , , );


--A1L34 is Select~617 at LC_X14_Y1_N9
--operation mode is normal

A1L34 = din[0] & din[1] & !cur_state.st0;


--next_state.st5 is next_state.st5 at LC_X14_Y1_N3
--operation mode is normal

next_state.st5 = A1L03 & A1L34 # !A1L03 & A1L53 & next_state.st5 # !A1L53 & A1L34;

--cur_state.st5 is cur_state.st5 at LC_X14_Y1_N3
--operation mode is normal

cur_state.st5 = DFFEAS(next_state.st5, GLOBAL(clk), !GLOBAL(rst), , , , , , );


--A1L44 is Select~618 at LC_X13_Y1_N0
--operation mode is normal

cur_state.st1_qfbk = cur_state.st1;
A1L44 = din[1] & !din[0] & cur_state.st1_qfbk # !din[1] & din[0] & cur_state.st2;

--cur_state.st1 is cur_state.st1 at LC_X13_Y1_N0
--operation mode is normal

cur_state.st1 = DFFEAS(A1L44, GLOBAL(clk), !GLOBAL(rst), , , next_state.st1, , , VCC);


--A1L83 is Select~139 at LC_X13_Y1_N4
--operation mode is normal

A1L83 = A1L44 # A1L14 & din[1] # !din[0];


--next_state.st3 is next_state.st3 at LC_X13_Y1_N3
--operation mode is normal

next_state.st3 = A1L03 & A1L83 # !A1L03 & A1L53 & next_state.st3 # !A1L53 & A1L83;


--A1L54 is Select~619 at LC_X14_Y1_N2
--operation mode is normal

A1L54 = din[1] & din[0] & cur_state.st2 # !din[0] & !cur_state.st0 # !din[1] & cur_state.st2 & !din[0];


--A1L93 is Select~171 at LC_X14_Y1_N1
--operation mode is normal

A1L93 = A1L54 # din[0] & !din[1] & cur_state.st1;


--next_state.st2 is next_state.st2 at LC_X14_Y1_N8
--operation mode is normal

next_state.st2 = A1L53 & A1L03 & A1L93 # !A1L03 & next_state.st2 # !A1L53 & A1L93;

--cur_state.st2 is cur_state.st2 at LC_X14_Y1_N8
--operation mode is normal

cur_state.st2 = DFFEAS(next_state.st2, GLOBAL(clk), !GLOBAL(rst), , , , , , );


--A1L64 is Select~620 at LC_X13_Y1_N1
--operation mode is normal

A1L64 = cur_state.st0 # !din[1] & !din[0];


--A1L74 is Select~621 at LC_X13_Y1_N5
--operation mode is normal

A1L74 = !cur_state.st2 & !cur_state.st1 & !A1L14 & A1L64;


--next_state.st0 is next_state.st0 at LC_X13_Y1_N6
--operation mode is normal

next_state.st0 = A1L53 & A1L03 & A1L74 # !A1L03 & next_state.st0 # !A1L53 & A1L74;


--A1L84 is Select~622 at LC_X14_Y1_N0
--operation mode is normal

A1L84 = cur_state.st1 & din[1] $ !din[0];


--A1L94 is Select~623 at LC_X13_Y1_N8
--operation mode is normal

A1L94 = !din[1] & !cur_state.st0 & din[0];


--next_state.st1 is next_state.st1 at LC_X13_Y1_N9
--operation mode is normal

next_state.st1 = A1L04 & next_state.st1 # !A1L04 & A1L84 # A1L94;


--A1L05 is Select~624 at LC_X12_Y1_N2
--operation mode is normal

A1L05 = !A1L04 & choice[0] & !choice[1] # !cur_state.st3;


--choice[1] is choice[1] at PIN_52
--operation mode is input

choice[1] = INPUT();


--choice[0] is choice[0] at PIN_53
--operation mode is input

choice[0] = INPUT();


--clk is clk at PIN_17
--operation mode is input

clk = INPUT();


--rst is rst at PIN_16
--operation mode is input

rst = INPUT();


--din[1] is din[1] at PIN_50
--operation mode is input

din[1] = INPUT();


--din[0] is din[0] at PIN_51
--operation mode is input

din[0] = INPUT();


--commodity[1] is commodity[1] at PIN_48
--operation mode is output

commodity[1] = OUTPUT(commodity[1]$latch);


--commodity[0] is commodity[0] at PIN_49
--operation mode is output

commodity[0] = OUTPUT(commodity[0]$latch);


--give_change[1] is give_change[1] at PIN_47
--operation mode is output

give_change[1] = OUTPUT(give_change[1]$latch);


--give_change[0] is give_change[0] at PIN_42
--operation mode is output

give_change[0] = OUTPUT(give_change[0]$latch);