i2c.map.eqn

verilog语言在maxII系列芯片上实现iic功能

A1L61 = A1L46 # A1L53 # i2c_state.write_data & A1L60;


--A1L319 is sda_buf~140
--operation mode is normal

A1L319 = phase0 & A1L320 # !phase0 & (!sda_buf);


--A1L62 is Select~18725
--operation mode is normal

A1L62 = inner_state.ack & (phase3 # A1L319) # !A1L52;


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

A1L63 = inner_state.stop & (phase1 # !sda_buf) # !inner_state.stop & (!inner_state.start & !sda_buf);


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

A1L64 = A1L117 # A1L319 & (inner_state.eighth # !A1L59);


--A1L65 is Select~18728
--operation mode is normal

A1L65 = i2c_state.read_data & (A1L64 # i2c_state.sendaddr & A1L62) # !i2c_state.read_data & i2c_state.sendaddr & A1L62;


--A1L66 is Select~18729
--operation mode is normal

A1L66 = i2c_state.write_data & !sda_buf # !main_state.10;


--A1L67 is Select~18730
--operation mode is normal

A1L67 = !inner_state.stop & !inner_state.eighth & (phase1 # inner_state.start);


--A1L68 is Select~18731
--operation mode is normal

A1L68 = phase3 & (inner_state.seventh # inner_state.second) # !phase3 & !sda_buf & (inner_state.seventh # inner_state.second);


--A1L69 is Select~18732
--operation mode is normal

A1L69 = A1L38 # A1L68 # !A1L67 & !sda_buf;


--A1L70 is Select~18733
--operation mode is normal

A1L70 = A1L48 # A1L318 & (!A1L43 # !A1L42);


--A1L71 is Select~18734
--operation mode is normal

A1L71 = A1L66 # i2c_state.read_ini & (A1L69 # A1L70);


--A1L72 is Select~18736
--operation mode is normal

A1L72 = A1L270 & (phase3 # !inner_state.ack & !inner_state.eighth);


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

A1L73 = phase1 & (link & !A1L72 # !inner_state.start) # !phase1 & (link & !A1L72);


--A1L257 is link~47
--operation mode is normal

A1L257 = phase3 # link;


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

A1L74 = i2c_state.read_ini & (A1L73 # A1L257 & !A1L59);


--A1L75 is Select~18739
--operation mode is normal

A1L75 = phase3 & (A1L270 & (!inner_state.eighth) # !A1L270 & link) # !phase3 & link;


--A1L76 is Select~18740
--operation mode is normal

A1L76 = link # phase3 & inner_state.ack;


--A1L77 is Select~18741
--operation mode is normal

A1L77 = i2c_state.read_data & (A1L76 # i2c_state.sendaddr & A1L75) # !i2c_state.read_data & i2c_state.sendaddr & A1L75;


--A1L78 is Select~18742
--operation mode is normal

A1L78 = A1L74 # A1L77 # i2c_state.write_data & link;


--A1L79 is Select~18743
--operation mode is normal

A1L79 = phase1 & (link & !A1L118 # !inner_state.start) # !phase1 & (link & !A1L118);


--A1L80 is Select~18744
--operation mode is normal

A1L80 = A1L79 # A1L257 & (inner_state.ack # !A1L59);


--A1L81 is Select~18745
--operation mode is normal

A1L81 = main_state.10 & (A1L78 # A1L80 & !i2c_state.ini);


--A1L82 is Select~18746
--operation mode is normal

A1L82 = main_state.01 & link & A1L23 & !phase3;


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

A1L83 = A1L26 & (A1L27) # !A1L26 & (A1L27 & A1L75 # !A1L27 & (link));


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

A1L84 = A1L26 & (A1L83 & (A1L257) # !A1L83 & A1L80) # !A1L26 & (A1L83);


--A1L85 is Select~18750
--operation mode is normal

A1L85 = main_state.01 & (i2c_state.write_data # i2c_state.sendaddr # !i2c_state.ini);


--A1L86 is Select~18751
--operation mode is normal

A1L86 = A1L85 & (phase3 & inner_state.seventh # !phase3 & (inner_state.eighth));


--A1L87 is Select~18752
--operation mode is normal

A1L87 = phase3 & main_state.10 & inner_state.seventh & !i2c_state.write_data;


--A1L88 is Select~18753
--operation mode is normal

A1L88 = A1L279 # !A1L270 & (i2c_state.write_data # i2c_state.sendaddr);


--A1L89 is Select~18754
--operation mode is normal

A1L89 = i2c_state.write_data # A1L20 & !A1L270 # !phase3;


--A1L90 is Select~18755
--operation mode is normal

A1L90 = main_state.10 & (A1L89 # main_state.01 & A1L88) # !main_state.10 & main_state.01 & A1L88;


--A1L172 is add~677
--operation mode is arithmetic

A1L172 = CARRY(cnt_scan[0] & cnt_scan[1]);


--A1L174 is always2~85
--operation mode is normal

A1L174 = !cnt_delay[13] & !cnt_delay[12] & !cnt_delay[10] & !cnt_delay[8];


--A1L175 is always2~86
--operation mode is normal

A1L175 = A1L1 & A1L174 & !cnt_delay[19] & !cnt_delay[18];


--A1L91 is Select~18757
--operation mode is normal

A1L91 = A1L85 & (phase3 & inner_state.first # !phase3 & (inner_state.second));


--A1L92 is Select~18758
--operation mode is normal

A1L92 = phase3 & main_state.10 & inner_state.first & !i2c_state.write_data;


--A1L93 is Select~18760
--operation mode is normal

A1L93 = A1L85 & (phase3 & inner_state.sixth # !phase3 & (inner_state.seventh));


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

A1L94 = phase3 & main_state.10 & inner_state.sixth & !i2c_state.write_data;


--A1L95 is Select~18763
--operation mode is normal

A1L95 = A1L85 & (phase3 & inner_state.fourth # !phase3 & (inner_state.fifth));


--A1L96 is Select~18764
--operation mode is normal

A1L96 = phase3 & main_state.10 & inner_state.fourth & !i2c_state.write_data;


--A1L97 is Select~18766
--operation mode is normal

A1L97 = A1L85 & (phase3 & inner_state.second # !phase3 & (inner_state.third));


--A1L98 is Select~18767
--operation mode is normal

A1L98 = phase3 & main_state.10 & inner_state.second & !i2c_state.write_data;


--A1L99 is Select~18769
--operation mode is normal

A1L99 = phase3 & inner_state.start & (!inner_state.stop);


--A1L100 is Select~18770
--operation mode is normal

A1L100 = A1L279 # !A1L99 & (i2c_state.write_data # i2c_state.sendaddr);


--A1L101 is Select~18771
--operation mode is normal

A1L101 = main_state.01 & (A1L18 # inner_state.first & A1L100);


--A1L102 is Select~18772
--operation mode is normal

A1L102 = A1L20 & (inner_state.stop # !inner_state.start # !phase3);


--A1L103 is Select~18773
--operation mode is normal

A1L103 = main_state.10 & inner_state.first & (i2c_state.write_data # A1L102);


--A1L104 is Select~18774
--operation mode is normal

A1L104 = main_state.10 & (i2c_state.read_ini # !i2c_state.ini) # !main_state.10 & (main_state.01 & !i2c_state.ini);


--A1L105 is Select~18775
--operation mode is normal

A1L105 = A1L38 # phase3 & inner_state.ack # !phase3 & (inner_state.first);


--A1L106 is Select~18777
--operation mode is normal

A1L106 = A1L85 & (phase3 & inner_state.fifth # !phase3 & (inner_state.sixth));


--A1L107 is Select~18778
--operation mode is normal

A1L107 = phase3 & main_state.10 & inner_state.fifth & !i2c_state.write_data;


--A1L108 is Select~18780
--operation mode is normal

A1L108 = A1L85 & (phase3 & inner_state.third # !phase3 & (inner_state.fourth));


--A1L109 is Select~18781
--operation mode is normal

A1L109 = phase3 & main_state.10 & inner_state.third & !i2c_state.write_data;


--A1L110 is Select~18783
--operation mode is normal

A1L110 = main_state.01 & (i2c_state.read_data # i2c_state.read_ini);


--A1L111 is Select~18784
--operation mode is normal

A1L111 = main_state.10 & (A1L10 # !i2c_state.read_data & !A1L3);


--A1L112 is Select~18785
--operation mode is normal

A1L112 = phase3 & (inner_state.start & !inner_state.stop # !A1L20);


--A1L113 is Select~18786
--operation mode is normal

A1L113 = A1L27 & (A1L26 # inner_state.start & !inner_state.stop);


--A1L114 is Select~18787
--operation mode is normal

A1L114 = !i2c_state.read_data & !i2c_state.read_ini & i2c_state.write_data & A1L33;


--A1L115 is Select~18789
--operation mode is normal

A1L115 = !inner_state.sixth & !inner_state.fourth & !inner_state.seventh & A1L42;


--A1L116 is Select~18790
--operation mode is normal

A1L116 = !inner_state.sixth & !inner_state.fourth & (sda_buf # A1L51);


--A1L117 is Select~18791
--operation mode is normal

A1L117 = A1L63 # !phase3 & !sda_buf & inner_state.ack;


--A1L118 is Select~18792
--operation mode is normal

A1L118 = inner_state.start & !inner_state.stop & (phase3 # !inner_state.eighth);


--A1L119 is Select~18793
--operation mode is normal

A1L119 = inner_state.ack & !i2c_state.read_ini & main_state.01;


--A1L120 is Select~18794
--operation mode is normal

A1L120 = i2c_state.read_data & (main_state.10) # !i2c_state.read_data & (A1L119 # A1L3 & main_state.10);


--clk is clk
--operation mode is input

clk = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


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

data_in[0] = INPUT();


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

data_in[1] = INPUT();


--data_in[2] is data_in[2]
--operation mode is input

data_in[2] = INPUT();


--data_in[3] is data_in[3]
--operation mode is input

data_in[3] = INPUT();


--rd_input is rd_input
--operation mode is input

rd_input = INPUT();


--wr_input is wr_input
--operation mode is input

wr_input = INPUT();


--scl is scl
--operation mode is output

scl = OUTPUT(!A1L315Q);


--lowbit is lowbit
--operation mode is output

lowbit = OUTPUT(GND);


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

en[0] = OUTPUT(A1L236Q);


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

en[1] = OUTPUT(!A1L238Q);


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

seg_data[0] = OUTPUT(VCC);


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

seg_data[1] = OUTPUT(!A1L283);


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

seg_data[2] = OUTPUT(A1L285);


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

seg_data[3] = OUTPUT(A1L287);


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

seg_data[4] = OUTPUT(A1L289);


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

seg_data[5] = OUTPUT(A1L291);


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

seg_data[6] = OUTPUT(A1L293);


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

seg_data[7] = OUTPUT(A1L295);


--A1L320 is sda~1
--operation mode is bidir

A1L320 = sda;

--sda is sda
--operation mode is bidir

sda_tri_out = TRI(!sda_buf, link);
sda = BIDIR(sda_tri_out);