automat.map.eqn

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

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

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


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

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


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

A1L53 = cur_state.st4 # cur_state.st5;


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

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


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

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


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

cur_state.st3_lut_out = next_state.st3;
cur_state.st3 = DFFEAS(cur_state.st3_lut_out, clk, !rst, , , , , , );


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

cur_state.st1_lut_out = next_state.st1;
cur_state.st1 = DFFEAS(cur_state.st1_lut_out, clk, !rst, , , , , , );


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

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


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

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


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

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


--A1L54 is Select~619
--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
--operation mode is normal

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

choice[1] = INPUT();


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

choice[0] = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


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

din[1] = INPUT();


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

din[0] = INPUT();


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

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


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

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


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

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


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

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