i2c.map.eqn

基于EPM1270的EProm at24c02 驱动

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

A1L023 = phase0 & A1L123 # !phase0 & (!sda_buf);


--A1L26 is Select~18640
--operation mode is normal

A1L26 = inner_state.ack & (phase3 # A1L023) # !A1L25;


--A1L36 is Select~18641
--operation mode is normal

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


--A1L46 is Select~18642
--operation mode is normal

A1L46 = A1L711 # A1L023 & (inner_state.eighth # !A1L95);


--A1L56 is Select~18643
--operation mode is normal

A1L56 = i2c_state.read_data & (A1L46 # i2c_state.sendaddr & A1L26) # !i2c_state.read_data & i2c_state.sendaddr & A1L26;


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

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


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

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


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

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


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

A1L96 = A1L83 # A1L86 # !A1L76 & !sda_buf;


--A1L07 is Select~18648
--operation mode is normal

A1L07 = A1L84 # A1L913 & (!A1L34 # !A1L24);


--A1L17 is Select~18649
--operation mode is normal

A1L17 = A1L66 # i2c_state.read_ini & (A1L96 # A1L07);


--A1L27 is Select~18651
--operation mode is normal

A1L27 = A1L482 & (phase3 # !inner_state.ack & !inner_state.eighth);


--A1L37 is Select~18652
--operation mode is normal

A1L37 = phase1 & (link & !A1L27 # !inner_state.start) # !phase1 & (link & !A1L27);


--A1L362 is link~45
--operation mode is normal

A1L362 = phase3 # link;


--A1L47 is Select~18653
--operation mode is normal

A1L47 = i2c_state.read_ini & (A1L37 # A1L362 & !A1L95);


--A1L57 is Select~18654
--operation mode is normal

A1L57 = phase3 & (A1L482 & (!inner_state.eighth) # !A1L482 & link) # !phase3 & link;


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

A1L67 = link # phase3 & inner_state.ack;


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

A1L77 = i2c_state.read_data & (A1L67 # i2c_state.sendaddr & A1L57) # !i2c_state.read_data & i2c_state.sendaddr & A1L57;


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

A1L87 = A1L47 # A1L77 # i2c_state.write_data & link;


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

A1L97 = phase1 & (link & !A1L811 # !inner_state.start) # !phase1 & (link & !A1L811);


--A1L08 is Select~18659
--operation mode is normal

A1L08 = A1L97 # A1L362 & (inner_state.ack # !A1L95);


--A1L18 is Select~18660
--operation mode is normal

A1L18 = main_state.10 & (A1L87 # A1L08 & !i2c_state.ini);


--A1L28 is Select~18661
--operation mode is normal

A1L28 = main_state.01 & link & A1L32 & !phase3;


--A1L38 is Select~18662
--operation mode is normal

A1L38 = A1L62 & (A1L72) # !A1L62 & (A1L72 & A1L57 # !A1L72 & (link));


--A1L48 is Select~18663
--operation mode is normal

A1L48 = A1L62 & (A1L38 & (A1L362) # !A1L38 & A1L08) # !A1L62 & (A1L38);


--A1L58 is Select~18665
--operation mode is normal

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


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

A1L68 = A1L58 & (phase3 & inner_state.seventh # !phase3 & (inner_state.eighth));


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

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


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

A1L88 = A1L692 # !A1L482 & (i2c_state.write_data # i2c_state.sendaddr);


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

A1L98 = i2c_state.write_data # A1L02 & !A1L482 # !phase3;


--A1L09 is Select~18670
--operation mode is normal

A1L09 = main_state.10 & (A1L98 # main_state.01 & A1L88) # !main_state.10 & main_state.01 & A1L88;


--A1L471 is add~686
--operation mode is arithmetic

A1L471 = CARRY(!A1L221 # !cnt_scan[1]);


--A1L181 is always2~181
--operation mode is normal

A1L181 = !cnt_delay[12] & !cnt_delay[10] & !cnt_delay[8] & !cnt_delay[19];


--A1L281 is always2~182
--operation mode is normal

A1L281 = A1L1 & A1L181 & !cnt_delay[18] & !cnt_delay[13];


--A1L19 is Select~18672
--operation mode is normal

A1L19 = A1L58 & (phase3 & inner_state.first # !phase3 & (inner_state.second));


--A1L29 is Select~18673
--operation mode is normal

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


--A1L39 is Select~18675
--operation mode is normal

A1L39 = A1L58 & (phase3 & inner_state.sixth # !phase3 & (inner_state.seventh));


--A1L49 is Select~18676
--operation mode is normal

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


--A1L59 is Select~18678
--operation mode is normal

A1L59 = A1L58 & (phase3 & inner_state.fourth # !phase3 & (inner_state.fifth));


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

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


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

A1L79 = A1L58 & (phase3 & inner_state.second # !phase3 & (inner_state.third));


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

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


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

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


--A1L001 is Select~18685
--operation mode is normal

A1L001 = A1L692 # !A1L99 & (i2c_state.write_data # i2c_state.sendaddr);


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

A1L101 = main_state.01 & (A1L81 # inner_state.first & A1L001);


--A1L201 is Select~18687
--operation mode is normal

A1L201 = A1L02 & (inner_state.stop # !inner_state.start # !phase3);


--A1L301 is Select~18688
--operation mode is normal

A1L301 = main_state.10 & inner_state.first & (i2c_state.write_data # A1L201);


--A1L401 is Select~18689
--operation mode is normal

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


--A1L501 is Select~18690
--operation mode is normal

A1L501 = A1L83 # phase3 & inner_state.ack # !phase3 & (inner_state.first);


--A1L601 is Select~18692
--operation mode is normal

A1L601 = A1L58 & (phase3 & inner_state.fifth # !phase3 & (inner_state.sixth));


--A1L701 is Select~18693
--operation mode is normal

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


--A1L801 is Select~18695
--operation mode is normal

A1L801 = A1L58 & (phase3 & inner_state.third # !phase3 & (inner_state.fourth));


--A1L901 is Select~18696
--operation mode is normal

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


--A1L011 is Select~18698
--operation mode is normal

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


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

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


--A1L211 is Select~18700
--operation mode is normal

A1L211 = phase3 & (inner_state.start & !inner_state.stop # !A1L02);


--A1L311 is Select~18701
--operation mode is normal

A1L311 = A1L72 & (A1L62 # inner_state.start & !inner_state.stop);


--A1L411 is Select~18702
--operation mode is normal

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


--A1L511 is Select~18704
--operation mode is normal

A1L511 = !inner_state.sixth & !inner_state.fourth & !inner_state.seventh & A1L24;


--A1L611 is Select~18705
--operation mode is normal

A1L611 = !inner_state.sixth & !inner_state.fourth & (sda_buf # A1L15);


--A1L711 is Select~18706
--operation mode is normal

A1L711 = A1L36 # !phase3 & !sda_buf & inner_state.ack;


--A1L811 is Select~18707
--operation mode is normal

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


--A1L911 is Select~18708
--operation mode is normal

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


--A1L021 is Select~18709
--operation mode is normal

A1L021 = i2c_state.read_data & (main_state.10) # !i2c_state.read_data & (A1L911 # A1L3 & main_state.10);


--clk is clk
--operation mode is input

clk = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


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

data_in[3] = INPUT();


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

data_in[2] = INPUT();


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

data_in[1] = INPUT();


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

data_in[0] = INPUT();


--wr_input is wr_input
--operation mode is input

wr_input = INPUT();


--rd_input is rd_input
--operation mode is input

rd_input = INPUT();


--scl is scl
--operation mode is output

scl = OUTPUT(!A1L613Q);


--lowbit is lowbit
--operation mode is output

lowbit = OUTPUT(GND);


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

en[0] = OUTPUT(A1L242Q);


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

en[1] = OUTPUT(!A1L442Q);


--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(A1L103);


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

seg_data[2] = OUTPUT(A1L303);


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

seg_data[3] = OUTPUT(A1L503);


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

seg_data[4] = OUTPUT(A1L703);


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

seg_data[5] = OUTPUT(A1L903);


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

seg_data[6] = OUTPUT(A1L113);


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

seg_data[7] = OUTPUT(A1L313);


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

A1L123 = sda;

--sda is sda
--operation mode is bidir

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