📄 i2c.map.eqn
字号:
--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);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -