i2c.map.eqn

CPLD VHDL CODE非常好的参考资料

main_state[1]_or_out = main_state[1]_p1_out # main_state[1]_p2_out # main_state[1]_p3_out # main_state[1]_p4_out;
main_state[1]_reg_input = main_state[1]_or_out;
main_state[1] = TFFE(main_state[1]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--scl_xhdl1 is scl_xhdl1
scl_xhdl1_p0_out = scl_xhdl1 & !phase2;
scl_xhdl1_p1_out = phase0 & !main_state[0];
scl_xhdl1_p2_out = phase0 & !main_state[1];
scl_xhdl1_p3_out = main_state[0] & main_state[1] & scl_xhdl1;
scl_xhdl1_or_out = A1L39 # scl_xhdl1_p0_out # scl_xhdl1_p1_out # scl_xhdl1_p2_out # scl_xhdl1_p3_out;
scl_xhdl1_reg_input = scl_xhdl1_or_out;
scl_xhdl1 = DFFE(scl_xhdl1_reg_input, GLOBAL(clk), , rst, );


--A1L141 is rtl~1331
A1L141_p1_out = !i2c_state[1] & inner_state[1] & !inner_state[3] & inner_state[0] & phase3 & !i2c_state[2] & !main_state[0] & inner_state[2];
A1L141 = A1L141_p1_out;


--A1L241 is rtl~1333
A1L241_p1_out = !main_state[0] & !i2c_state[1] & !inner_state[3] & inner_state[0] & phase3 & !i2c_state[2] & inner_state[1];
A1L241_p2_out = main_state[0] & !i2c_state[1] & !inner_state[3] & inner_state[0] & phase3 & !i2c_state[2] & !main_state[1];
A1L241_p3_out = main_state[0] & !inner_state[3] & inner_state[0] & phase3 & !i2c_state[2] & !main_state[1] & !i2c_state[0];
A1L241 = A1L241_p1_out # A1L241_p2_out # A1L241_p3_out;


--A1L57 is Mux~17849
A1L57_p1_out = link & main_state[1] & !main_state[0] & inner_state[1];
A1L57_p2_out = main_state[1] & !main_state[0] & inner_state[1] & !i2c_state[2] & phase3 & !inner_state[3] & !i2c_state[1];
A1L57_p3_out = main_state[1] & !main_state[0] & inner_state[1] & phase3 & !inner_state[3] & !i2c_state[1] & !i2c_state[0];
A1L57_p4_out = link & main_state[1] & !main_state[0] & inner_state[2];
A1L57 = A1L57_p1_out # A1L57_p2_out # A1L57_p3_out # A1L57_p4_out;


--A1L67 is Mux~17854
A1L67_p0_out = main_state[1] & !main_state[0] & !inner_state[3] & link;
A1L67_p1_out = !i2c_state[2] & phase3 & main_state[1] & !main_state[0] & inner_state[2] & !inner_state[3] & !i2c_state[1];
A1L67_p2_out = phase3 & main_state[1] & !main_state[0] & inner_state[2] & !inner_state[3] & !i2c_state[1] & !i2c_state[0];
A1L67_p3_out = !i2c_state[2] & phase3 & main_state[1] & !main_state[0] & !inner_state[2] & !i2c_state[1] & inner_state[0] & !inner_state[1];
A1L67_p4_out = !i2c_state[2] & phase3 & main_state[1] & !main_state[0] & !inner_state[2] & inner_state[3] & i2c_state[0] & inner_state[0] & !inner_state[1];
A1L67 = A1L57 # A1L67_p0_out # A1L67_p1_out # A1L67_p2_out # A1L67_p3_out # A1L67_p4_out;


--A1L77 is Mux~17860
A1L77_p1_out = phase1 & main_state[0] & !i2c_state[1] & !inner_state[2] & !inner_state[1] & !inner_state[0] & !inner_state[3] & !i2c_state[0] & !main_state[1] & !i2c_state[2] & !link;
A1L77_p2_out = main_state[0] & !i2c_state[1] & !inner_state[2] & !inner_state[1] & inner_state[0] & !main_state[1] & !i2c_state[2] & !link & phase3;
A1L77 = A1L77_p1_out # A1L77_p2_out;


--A1L87 is Mux~17863
A1L87_p0_out = main_state[0] & phase3 & inner_state[2] & !i2c_state[0] & !main_state[1] & !i2c_state[2] & !link & !inner_state[3];
A1L87_p1_out = !phase1 & main_state[0] & phase3 & !inner_state[2] & !inner_state[1] & inner_state[0] & !i2c_state[0] & !main_state[1] & !i2c_state[2] & !link;
A1L87_p2_out = main_state[0] & phase3 & inner_state[1] & !main_state[1] & !i2c_state[2] & !link & !i2c_state[1] & !inner_state[3];
A1L87_p3_out = main_state[0] & phase3 & inner_state[1] & !i2c_state[0] & !main_state[1] & !i2c_state[2] & !link & !inner_state[3];
A1L87_p4_out = main_state[0] & phase3 & inner_state[2] & !main_state[1] & !i2c_state[2] & !link & !i2c_state[1] & !inner_state[3];
A1L87 = A1L77 # A1L87_p0_out # A1L87_p1_out # A1L87_p2_out # A1L87_p3_out # A1L87_p4_out;


--A1L97 is Mux~17869
A1L97_p1_out = phase3 & !i2c_state[2] & !inner_state[3] & inner_state[0] & !main_state[0] & i2c_state[0];
A1L97_p2_out = phase3 & !inner_state[3] & inner_state[0] & !main_state[0] & !i2c_state[0] & !i2c_state[1];
A1L97_p3_out = phase3 & !i2c_state[2] & inner_state[0] & !main_state[0] & i2c_state[0] & !inner_state[2] & !inner_state[1];
A1L97 = A1L97_p1_out # A1L97_p2_out # A1L97_p3_out;


--A1L08 is Mux~17873
A1L08_p0_out = main_state[0] & main_state[1] & !inner_state[0];
A1L08_p1_out = !main_state[0] & !main_state[1];
A1L08_p2_out = !main_state[1] & i2c_state[1] & phase3 & !i2c_state[2] & inner_state[0] & !i2c_state[0] & !inner_state[2] & !inner_state[1] & !phase1;
A1L08_p3_out = !phase3 & !inner_state[0];
A1L08_p4_out = main_state[1] & i2c_state[1] & !inner_state[0] & !i2c_state[0];
A1L08 = A1L97 # A1L08_p0_out # A1L08_p1_out # A1L08_p2_out # A1L08_p3_out # A1L08_p4_out;


--A1L341 is rtl~1337
A1L341_p1_out = inner_state[1] & inner_state[2] & inner_state[0] & phase3 & !i2c_state[1] & !i2c_state[2] & main_state[0] & !main_state[1] & !inner_state[3];
A1L341_p2_out = inner_state[1] & inner_state[2] & inner_state[0] & phase3 & !i2c_state[2] & main_state[0] & !main_state[1] & !inner_state[3] & !i2c_state[0];
A1L341_p3_out = inner_state[1] & inner_state[2] & inner_state[0] & phase3 & !i2c_state[2] & !main_state[0] & main_state[1] & !inner_state[3] & i2c_state[0];
A1L341 = A1L341_p1_out # A1L341_p2_out # A1L341_p3_out;


--A1L941 is sda~14
A1L941_p1_out = A1L841 & phase1 & i2c_state[1] & !inner_state[0] & !inner_state[1] & !inner_state[2] & inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[0];
A1L941_p2_out = A1L841 & phase1 & i2c_state[1] & inner_state[0] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[0];
A1L941_p3_out = A1L841 & phase1 & i2c_state[1] & inner_state[1] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[0];
A1L941 = A1L941_p1_out # A1L941_p2_out # A1L941_p3_out;


--A1L101 is readData_reg[0]~297
A1L101_p1_out = readData_reg[0] & phase1 & i2c_state[1] & !inner_state[0] & !inner_state[1] & !inner_state[2] & inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[1];
A1L101_p2_out = readData_reg[0] & phase1 & i2c_state[1] & inner_state[0] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[1];
A1L101_p3_out = readData_reg[0] & phase1 & i2c_state[1] & inner_state[1] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[1];
A1L101 = A1L101_p1_out # A1L101_p2_out # A1L101_p3_out;


--A1L301 is readData_reg[1]~301
A1L301_p1_out = readData_reg[1] & phase1 & i2c_state[1] & !inner_state[0] & !inner_state[1] & !inner_state[2] & inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[2];
A1L301_p2_out = readData_reg[1] & phase1 & i2c_state[1] & inner_state[0] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[2];
A1L301_p3_out = readData_reg[1] & phase1 & i2c_state[1] & inner_state[1] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[2];
A1L301 = A1L301_p1_out # A1L301_p2_out # A1L301_p3_out;


--A1L18 is Mux~17879
A1L18_p1_out = sda_buf & inner_state[1] & !i2c_state[1] & !i2c_state[0] & inner_state[3];
A1L18 = A1L18_p1_out;


--A1L28 is Mux~17881
A1L28_p0_out = sda_buf & !i2c_state[1] & !i2c_state[0] & !inner_state[2] & !inner_state[0] & !phase1;
A1L28_p1_out = sda_buf & inner_state[1] & !i2c_state[1] & !i2c_state[0] & !phase3;
A1L28_p2_out = sda_buf & !i2c_state[1] & !i2c_state[0] & inner_state[3] & inner_state[2];
A1L28_p3_out = sda_buf & !i2c_state[1] & !i2c_state[0] & !phase3 & inner_state[2];
A1L28_p4_out = sda_buf & !i2c_state[1] & !i2c_state[0] & inner_state[3] & !inner_state[0];
A1L28 = A1L18 # A1L28_p0_out # A1L28_p1_out # A1L28_p2_out # A1L28_p3_out # A1L28_p4_out;


--A1L38 is Mux~17887
A1L38_p0_out = i2c_state[1] & phase3 & inner_state[1] & inner_state[2] & !inner_state[3] & inner_state[0] & !writeData_reg[0];
A1L38_p1_out = i2c_state[0] & i2c_state[1];
A1L38_p2_out = i2c_state[1] & writeData_reg[3] & phase3 & !inner_state[1] & inner_state[2] & !inner_state[3] & !inner_state[0];
A1L38_p3_out = i2c_state[1] & phase3 & inner_state[1] & inner_state[2] & !inner_state[3] & !inner_state[0] & writeData_reg[1];
A1L38_p4_out = i2c_state[1] & phase3 & !inner_state[1] & inner_state[2] & !inner_state[3] & inner_state[0] & !writeData_reg[2];
A1L38 = A1L38_p0_out # A1L38_p1_out # A1L38_p2_out # A1L38_p3_out # A1L38_p4_out;


--A1L48 is Mux~17893
A1L48_p0_out = !inner_state[1] & !inner_state[2] & i2c_state[1] & inner_state[0] & inner_state[3] & A1L841 & phase0 & phase1;
A1L48_p1_out = !inner_state[1] & !inner_state[2] & i2c_state[1] & sda_buf & !inner_state[0];
A1L48_p2_out = i2c_state[1] & sda_buf & !phase3 & !inner_state[3];
A1L48_p3_out = !inner_state[1] & !inner_state[2] & i2c_state[1] & inner_state[0] & !phase3 & inner_state[3] & A1L841 & phase0;
A1L48_p4_out = i2c_state[1] & sda_buf & !phase3 & !phase0;
A1L48 = A1L38 # A1L48_p0_out # A1L48_p1_out # A1L48_p2_out # A1L48_p3_out # A1L48_p4_out;


--A1L58 is Mux~17899
A1L58_p1_out = sda_buf & i2c_state[2];
A1L58_p2_out = sda_buf & A1L26;
A1L58 = A1L58_p1_out # A1L58_p2_out;


--A1L68 is Mux~17902
A1L68_p1_out = !inner_state[0] & i2c_state[1] & sda_buf & A1L841;
A1L68_p2_out = inner_state[0] & !i2c_state[1] & sda_buf & !inner_state[3] & !phase3;
A1L68_p3_out = !inner_state[0] & sda_buf & A1L841 & i2c_state[0] & !inner_state[1];
A1L68_p4_out = !inner_state[0] & sda_buf & !inner_state[3] & i2c_state[0] & !inner_state[1] & !inner_state[2];
A1L68 = A1L68_p1_out # A1L68_p2_out # A1L68_p3_out # A1L68_p4_out;


--A1L78 is Mux~17907
A1L78_p0_out = !inner_state[0] & i2c_state[1] & inner_state[3] & i2c_state[0] & !inner_state[2] & !inner_state[1] & A1L841 & phase0;
A1L78_p1_out = inner_state[0] & !i2c_state[1] & inner_state[3] & i2c_state[0] & !inner_state[2] & phase3 & !inner_state[1];
A1L78_p2_out = !inner_state[0] & !i2c_state[1] & !inner_state[3] & i2c_state[0] & inner_state[2] & phase3;
A1L78_p3_out = !inner_state[0] & !i2c_state[0] & !inner_state[2] & sda_buf & !phase1;
A1L78_p4_out = inner_state[0] & !i2c_state[1] & inner_state[3] & !inner_state[2] & !phase3 & !inner_state[1] & A1L841 & phase0;
A1L78 = A1L68 # A1L78_p0_out # A1L78_p1_out # A1L78_p2_out # A1L78_p3_out # A1L78_p4_out;


--A1L88 is Mux~17913
A1L88_p0_out = i2c_state[1] & !inner_state[3] & i2c_state[0] & phase0 & A1L86 & A1L841;
A1L88_p1_out = !inner_state[0] & i2c_state[1] & inner_state[3] & i2c_state[0] & !inner_state[2] & inner_state[1] & phase1;
A1L88_p2_out = i2c_state[1] & !i2c_state[0] & sda_buf;
A1L88_p3_out = i2c_state[1] & !inner_state[3] & sda_buf & !phase0;
A1L88_p4_out = inner_state[0] & i2c_state[1] & inner_state[3] & sda_buf & !phase3;
A1L88 = A1L78 # A1L88_p0_out # A1L88_p1_out # A1L88_p2_out # A1L88_p3_out # A1L88_p4_out;


--A1L98 is Mux~17919
A1L98_p1_out = sda_buf & i2c_state[1];
A1L98_p2_out = sda_buf & i2c_state[0];
A1L98_p3_out = sda_buf & !inner_state[3] & !phase3 & inner_state[0];
A1L98_p4_out = sda_buf & !inner_state[0] & !phase1 & !inner_state[2];
A1L98 = A1L98_p1_out # A1L98_p2_out # A1L98_p3_out # A1L98_p4_out;


--A1L09 is Mux~17924
A1L09_p0_out = sda_buf & inner_state[3] & !phase0;
A1L09_p1_out = sda_buf & inner_state[1] & inner_state[3];
A1L09_p2_out = sda_buf & inner_state[1] & !phase3;
A1L09_p3_out = sda_buf & inner_state[3] & inner_state[2];
A1L09_p4_out = sda_buf & !phase3 & inner_state[2];
A1L09 = A1L98 # A1L09_p0_out # A1L09_p1_out # A1L09_p2_out # A1L09_p3_out # A1L09_p4_out;


--A1L501 is readData_reg[2]~305
A1L501_p1_out = readData_reg[2] & phase1 & i2c_state[1] & !inner_state[0] & !inner_state[1] & !inner_state[2] & inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[3];
A1L501_p2_out = readData_reg[2] & phase1 & i2c_state[1] & inner_state[0] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[3];
A1L501_p3_out = readData_reg[2] & phase1 & i2c_state[1] & inner_state[1] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[3];
A1L501 = A1L501_p1_out # A1L501_p2_out # A1L501_p3_out;


--A1L701 is readData_reg[3]~309
A1L701_p1_out = readData_reg[3] & phase1 & i2c_state[1] & !inner_state[0] & !inner_state[1] & !inner_state[2] & inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[4];
A1L701_p2_out = readData_reg[3] & phase1 & i2c_state[1] & inner_state[0] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[4];
A1L701_p3_out = readData_reg[3] & phase1 & i2c_state[1] & inner_state[1] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[4];
A1L701 = A1L701_p1_out # A1L701_p2_out # A1L701_p3_out;


--A1L901 is readData_reg[4]~313
A1L901_p1_out = readData_reg[4] & phase1 & i2c_state[1] & !inner_state[0] & !inner_state[1] & !inner_state[2] & inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[5];
A1L901_p2_out = readData_reg[4] & phase1 & i2c_state[1] & inner_state[0] & !inner_state[3] & main_state[1] & !main_state[0] & !i2c_state[2] & i2c_state[0] & !readData_reg[5];
A1L901_p3