i2c.map.eqn

vhdl的很多例子

--B1L187 is i2c_test:inst|Mux~22876
--operation mode is normal

B1L187 = B1_i2c_state[2] & !B1_main_state[0] & !B1_i2c_state[0] & B1_main_state[1] # !B1_i2c_state[2] & B1_main_state[0] & B1_i2c_state[0] & !B1_main_state[1];


--B1L188 is i2c_test:inst|Mux~22878
--operation mode is normal

B1L188 = B1_inner_state[0] & (B1_phase1 # !B1L165 # !B1_phase3) # !B1_inner_state[0] & (B1_phase3 & B1L165);


--B1L189 is i2c_test:inst|Mux~22879
--operation mode is normal

B1L189 = B1_inner_state[0] & (!B1_phase3) # !B1_inner_state[0] & B1_phase3 & (B1_inner_state[1] # B1_inner_state[2]);


--B1L190 is i2c_test:inst|Mux~22880
--operation mode is normal

B1L190 = B1_inner_state[3] & B1L188 # !B1_inner_state[3] & (B1L189);


--B1L191 is i2c_test:inst|Mux~22881
--operation mode is normal

B1L191 = B1_phase3 & (B1_inner_state[3] $ (!B1_inner_state[0] & !B1L165)) # !B1_phase3 & (B1_inner_state[0]);


--B1L192 is i2c_test:inst|Mux~22882
--operation mode is normal

B1L192 = B1_phase3 & B1_inner_state[3] & (B1_inner_state[0] # B1L165) # !B1_phase3 & (B1_inner_state[0]);


--B1L193 is i2c_test:inst|Mux~22883
--operation mode is normal

B1L193 = B1_inner_state[1] # B1_inner_state[2] # B1_link;


--B1L194 is i2c_test:inst|Mux~22884
--operation mode is normal

B1L194 = B1L192 # B1L167 & B1L193 & !B1_inner_state[3];


--B1L195 is i2c_test:inst|Mux~22885
--operation mode is normal

B1L195 = B1_i2c_state[1] & (B1_i2c_state[0]) # !B1_i2c_state[1] & (B1_i2c_state[0] & B1L191 # !B1_i2c_state[0] & (B1L194));


--B1L196 is i2c_test:inst|Mux~22886
--operation mode is normal

B1L196 = B1_i2c_state[1] & (B1L195 & (B1_inner_state[0]) # !B1L195 & B1L190) # !B1_i2c_state[1] & (B1L195);


--B1L197 is i2c_test:inst|Mux~22887
--operation mode is normal

B1L197 = B1_i2c_state[2] & B1_inner_state[0] # !B1_i2c_state[2] & (B1L196 & !B1_main_state[1]);


--B1L198 is i2c_test:inst|Mux~22888
--operation mode is normal

B1L198 = B1_inner_state[0] & (B1_inner_state[3] & !B1L165 # !B1_phase3) # !B1_inner_state[0] & B1_phase3 & (B1_inner_state[3] $ !B1L165);


--B1L199 is i2c_test:inst|Mux~22889
--operation mode is normal

B1L199 = B1_i2c_state[0] & B1L198 # !B1_i2c_state[0] & (B1L194);


--B1L200 is i2c_test:inst|Mux~22890
--operation mode is normal

B1L200 = !B1_main_state[0] & (B1_i2c_state[0] # !B1_i2c_state[1]);


--B1L201 is i2c_test:inst|Mux~22891
--operation mode is normal

B1L201 = B1L200 & (B1L166 & B1_inner_state[0] # !B1L166 & (B1L199)) # !B1L200 & B1_inner_state[0];


--B1L127 is i2c_test:inst|Equal~537
--operation mode is normal

B1L127 = B1_clk_div[3] & (!B1_clk_div[0]);


--B1L128 is i2c_test:inst|Equal~538
--operation mode is normal

B1L128 = B1_clk_div[1] & B1L125 & B1L127 & !B1_clk_div[5];


--B1L202 is i2c_test:inst|Mux~22893
--operation mode is normal

B1L202 = B1_phase3 & B1_inner_state[0] & B1_inner_state[1] & B1_inner_state[2];


--B1L203 is i2c_test:inst|Mux~22894
--operation mode is normal

B1L203 = B1_phase3 & B1_inner_state[0] & !B1_inner_state[1] & !B1_inner_state[2];


--B1L204 is i2c_test:inst|Mux~22895
--operation mode is normal

B1L204 = B1L202 & (B1_i2c_state[1]) # !B1L202 & B1L203 & !B1_i2c_state[1];


--B1L205 is i2c_test:inst|Mux~22896
--operation mode is normal

B1L205 = !B1_i2c_state[2] & !B1_main_state[1];


--B1L206 is i2c_test:inst|Mux~22897
--operation mode is normal

B1L206 = !B1_sda_buf & !B1L178;


--B1L207 is i2c_test:inst|Mux~22898
--operation mode is normal

B1L207 = B1_inner_state[1] & (B1_inner_state[0]) # !B1_inner_state[1] & (B1_inner_state[0] & !B1_writeData_reg[2] # !B1_inner_state[0] & (B1_writeData_reg[3]));


--B1L208 is i2c_test:inst|Mux~22899
--operation mode is normal

B1L208 = B1_inner_state[1] & (B1L207 & (!B1_writeData_reg[0]) # !B1L207 & B1_writeData_reg[1]) # !B1_inner_state[1] & (B1L207);


--B1L209 is i2c_test:inst|Mux~22900
--operation mode is normal

B1L209 = B1_phase3 & B1L208 # !B1_phase3 & (!B1_sda_buf);


--B1L210 is i2c_test:inst|Mux~22901
--operation mode is normal

B1L210 = B1_inner_state[1] & (B1_phase1 & !B1_inner_state[0] # !B1_sda_buf) # !B1_inner_state[1] & (!B1_inner_state[0] & !B1_sda_buf);


--B1L301 is i2c_test:inst|sda_buf~89
--operation mode is normal

B1L301 = B1_phase0 & A1L6 # !B1_phase0 & (!B1_sda_buf);


--B1L211 is i2c_test:inst|Mux~22902
--operation mode is normal

B1L211 = B1_inner_state[0] & B1L301 & (!B1_inner_state[1]);


--B1L212 is i2c_test:inst|Mux~22903
--operation mode is normal

B1L212 = B1L210 # B1L211 & (B1_phase1 # !B1_phase3);


--B1L213 is i2c_test:inst|Mux~22904
--operation mode is normal

B1L213 = !B1_sda_buf & (!B1_inner_state[0] & !B1_inner_state[1] # !B1_phase3);


--B1L214 is i2c_test:inst|Mux~22905
--operation mode is normal

B1L214 = B1_inner_state[2] & (B1_inner_state[3]) # !B1_inner_state[2] & (B1_inner_state[3] & B1L212 # !B1_inner_state[3] & (B1L213));


--B1L215 is i2c_test:inst|Mux~22906
--operation mode is normal

B1L215 = B1_inner_state[2] & (B1L214 & (!B1_sda_buf) # !B1L214 & B1L209) # !B1_inner_state[2] & (B1L214);


--B1L216 is i2c_test:inst|Mux~22907
--operation mode is normal

B1L216 = B1_i2c_state[1] & B1L215 & (!B1_i2c_state[0]);


--B1L217 is i2c_test:inst|Mux~22908
--operation mode is normal

B1L217 = !B1_phase3 & !B1_inner_state[2];


--B1L218 is i2c_test:inst|Mux~22909
--operation mode is normal

B1L218 = B1L211 & (B1L217 # !B1L168 & !B1_sda_buf) # !B1L211 & (!B1L168 & !B1_sda_buf);


--B1L219 is i2c_test:inst|Mux~22910
--operation mode is normal

B1L219 = !B1_inner_state[0] & !B1_inner_state[1] & !B1_inner_state[2] # !B1_phase3;


--B1L220 is i2c_test:inst|Mux~22911
--operation mode is normal

B1L220 = B1_inner_state[2] & (B1L167 # B1L219 & !B1_sda_buf) # !B1_inner_state[2] & (B1L219 & !B1_sda_buf);


--B1L221 is i2c_test:inst|Mux~22912
--operation mode is normal

B1L221 = B1_inner_state[0] # B1_inner_state[2];


--B1L222 is i2c_test:inst|Mux~22913
--operation mode is normal

B1L222 = B1_inner_state[1] # B1_phase3 & B1_link;


--B1L223 is i2c_test:inst|Mux~22914
--operation mode is normal

B1L223 = B1_sda_buf & (B1L222) # !B1_sda_buf & B1_phase1 & !B1L222;


--B1L224 is i2c_test:inst|Mux~22915
--operation mode is normal

B1L224 = B1L221 & !B1_phase3 & !B1_sda_buf # !B1L221 & (B1_sda_buf & B1_phase3 & B1L223 # !B1_sda_buf & (!B1L223));


--B1L225 is i2c_test:inst|Mux~22916
--operation mode is normal

B1L225 = B1_i2c_state[0] & B1L220 # !B1_i2c_state[0] & (B1L224);


--B1L226 is i2c_test:inst|Mux~22917
--operation mode is normal

B1L226 = !B1_i2c_state[1] & (B1_inner_state[3] & B1L218 # !B1_inner_state[3] & (B1L225));


--B1L227 is i2c_test:inst|Mux~22918
--operation mode is normal

B1L227 = B1L206 # B1L205 & (B1L216 # B1L226);


--B1L228 is i2c_test:inst|Mux~22919
--operation mode is normal

B1L228 = B1_phase3 & B1_inner_state[0] & B1_inner_state[1] # !B1_phase3 & (!B1_sda_buf);


--B1L229 is i2c_test:inst|Mux~22920
--operation mode is normal

B1L229 = B1_inner_state[0] & (!B1_inner_state[1]);


--B1L230 is i2c_test:inst|Mux~22921
--operation mode is normal

B1L230 = B1_phase0 & (B1L229 & A1L6 # !B1L229 & (!B1_sda_buf)) # !B1_phase0 & (!B1_sda_buf);


--B1L231 is i2c_test:inst|Mux~22922
--operation mode is normal

B1L231 = B1_inner_state[1] # !B1_phase1;


--B1L232 is i2c_test:inst|Mux~22923
--operation mode is normal

B1L232 = !B1_sda_buf & (B1_inner_state[0] & (!B1_phase3) # !B1_inner_state[0] & B1L231);


--B1L233 is i2c_test:inst|Mux~22924
--operation mode is normal

B1L233 = B1L232 # B1L167 & (B1_inner_state[1] # B1_link);


--B1L234 is i2c_test:inst|Mux~22925
--operation mode is normal

B1L234 = B1_inner_state[2] & (B1_inner_state[3]) # !B1_inner_state[2] & (B1_inner_state[3] & B1L230 # !B1_inner_state[3] & (B1L233));


--B1L235 is i2c_test:inst|Mux~22926
--operation mode is normal

B1L235 = B1_inner_state[2] & (B1L234 & (!B1_sda_buf) # !B1L234 & B1L228) # !B1_inner_state[2] & (B1L234);


--B1L236 is i2c_test:inst|Mux~22927
--operation mode is normal

B1L236 = B1_i2c_state[0] & (!B1_sda_buf) # !B1_i2c_state[0] & B1L235;


--B1L237 is i2c_test:inst|Mux~22928
--operation mode is normal

B1L237 = B1_inner_state[1] & B1_phase1 # !B1_inner_state[1] & (A1L6 & B1_phase0);


--B1L238 is i2c_test:inst|Mux~22929
--operation mode is normal

B1L238 = B1_inner_state[1] # B1_inner_state[0] & (!B1_phase3) # !B1_inner_state[0] & !B1_phase0;


--B1L239 is i2c_test:inst|Mux~22930
--operation mode is normal

B1L239 = B1L237 & (B1L238 & !B1_sda_buf # !B1_inner_state[0]) # !B1L237 & B1L238 & (!B1_sda_buf);


--B1L240 is i2c_test:inst|Mux~22931
--operation mode is normal

B1L240 = B1_phase0 & (B1L295 & (!B1_sda_buf) # !B1L295 & A1L6) # !B1_phase0 & (!B1_sda_buf);


--B1L241 is i2c_test:inst|Mux~22932
--operation mode is normal

B1L241 = B1_inner_state[2] & (B1_inner_state[3]) # !B1_inner_state[2] & (B1_inner_state[3] & B1L239 # !B1_inner_state[3] & (B1L240));


--B1L242 is i2c_test:inst|Mux~22933
--operation mode is normal

B1L242 = B1_inner_state[2] & (B1L241 & (!B1_sda_buf) # !B1L241 & B1L301) # !B1_inner_state[2] & (B1L241);


--B1L243 is i2c_test:inst|Mux~22934
--operation mode is normal

B1L243 = B1_i2c_state[0] & B1L242 # !B1_i2c_state[0] & (!B1_sda_buf);


--B1L244 is i2c_test:inst|Mux~22935
--operation mode is normal

B1L244 = B1_i2c_state[0] & (B1_inner_state[3]) # !B1_i2c_state[0] & (B1_inner_state[3] & B1L218 # !B1_inner_state[3] & (B1L224));


--B1L245 is i2c_test:inst|Mux~22936
--operation mode is normal

B1L245 = B1L168 & (B1_phase3 # B1L301) # !B1L168 & (!B1_sda_buf);


--B1L246 is i2c_test:inst|Mux~22937
--operation mode is normal

B1L246 = B1_i2c_state[0] & (B1L244 & (B1L245) # !B1L244 & B1L220) # !B1_i2c_state[0] & (B1L244);


--B1L247 is i2c_test:inst|Mux~22938
--operation mode is normal

B1L247 = B1_i2c_state[2] & (B1_i2c_state[1]) # !B1_i2c_state[2] & (B1_i2c_state[1] & B1L243 # !B1_i2c_state[1] & (B1L246));


--B1L248 is i2c_test:inst|Mux~22939
--operation mode is normal

B1L248 = B1_i2c_state[2] & (B1L247 & (!B1_sda_buf) # !B1L247 & B1L236) # !B1_i2c_state[2] & (B1L247);


--B1L249 is i2c_test:inst|Mux~22941
--operation mode is normal

B1L249 = B1_i2c_state[0] & B1L185;


--B1L250 is i2c_test:inst|Mux~22942
--operation mode is normal

B1L250 = B1L185 & (!B1_i2c_state[0]);


--B1L251 is i2c_test:inst|Mux~22943
--operation mode is normal

B1L251 = B1_phase1 & !B1_i2c_state[0];


--B1L252 is i2c_test:inst|Mux~22944
--operation mode is normal

B1L252 = B1L165 & !B1_inner_state[0] & (B1_inner_state[3] # B1L251);


--B1L253 is i2c_test:inst|Mux~22945
--operation mode is normal

B1L253 = B1L268 & (B1_link # B1L252) # !B1L268 & (B1_phase3 & (!B1L252) # !B1_phase3 & B1_link);


--B1L254 is i2c_test:inst|Mux~22946
--operation mode is normal

B1L254 = !B1L165 & (B1_link # B1_phase3 & !B1_inner_state[3]);


--B1L255 is i2c_test:inst|Mux~22947
--operation mode is normal

B1L255 = B1L254 # B1L203 & (!B1_inner_state[3] # !B1_phase1);


--B1L256 is i2c_test:inst|Mux~22948
--operation mode is normal

B1L256 = B1_i2c_state[1] & (B1L255 & !B1_i2c_state[0]) # !B1_i2c_state[1] & B1L253;


--B1L257 is i2c_test:inst|Mux~22949
--operation mode is normal

B1L257 = B1_phase3 & B1_inner_state[3] & (!B1_inner_state[0]);


--B1L258 is i2c_test:inst|Mux~22950
--operation mode is normal

B1L258 = B1_i2c_state[1] & (B1_i2c_state[0] # B1L165 & !B1L257);


--B1L259 is i2c_test:inst|Mux~22951
--operation mode is normal

B1L259 = B1L205 & (B1L256 # B1_link & B1L258) # !B1L205 & B1_link;


--B1L260 is i2c_test:inst|Mux~22952
--operation mode is normal