clksim.map.eqn

设计实体：lcd驱动器 --彩色液晶芯片LQ080V3DG01 --原创针对博创开发板UP-SOPC2000开发板写的彩色液晶驱动程序

--A1L532 is count_Hsync[17]~585
A1L532 = count_Hsync[17] & !A1L332 # !count_Hsync[17] & (A1L332 # GND);

--A1L632 is count_Hsync[17]~586
A1L632 = CARRY(!A1L332 # !count_Hsync[17]);


--A1L832 is count_Hsync[18]~587
A1L832 = count_Hsync[18] & (A1L632 $ GND) # !count_Hsync[18] & !A1L632 & VCC;

--A1L932 is count_Hsync[18]~588
A1L932 = CARRY(count_Hsync[18] & !A1L632);


--A1L142 is count_Hsync[19]~589
A1L142 = count_Hsync[19] & !A1L932 # !count_Hsync[19] & (A1L932 # GND);

--A1L242 is count_Hsync[19]~590
A1L242 = CARRY(!A1L932 # !count_Hsync[19]);


--A1L442 is count_Hsync[20]~591
A1L442 = count_Hsync[20] & (A1L242 $ GND) # !count_Hsync[20] & !A1L242 & VCC;

--A1L542 is count_Hsync[20]~592
A1L542 = CARRY(count_Hsync[20] & !A1L242);


--A1L742 is count_Hsync[21]~593
A1L742 = count_Hsync[21] & !A1L542 # !count_Hsync[21] & (A1L542 # GND);

--A1L842 is count_Hsync[21]~594
A1L842 = CARRY(!A1L542 # !count_Hsync[21]);


--A1L052 is count_Hsync[22]~595
A1L052 = count_Hsync[22] & (A1L842 $ GND) # !count_Hsync[22] & !A1L842 & VCC;

--A1L152 is count_Hsync[22]~596
A1L152 = CARRY(count_Hsync[22] & !A1L842);


--A1L352 is count_Hsync[23]~597
A1L352 = count_Hsync[23] & !A1L152 # !count_Hsync[23] & (A1L152 # GND);

--A1L452 is count_Hsync[23]~598
A1L452 = CARRY(!A1L152 # !count_Hsync[23]);


--A1L652 is count_Hsync[24]~599
A1L652 = count_Hsync[24] & (A1L452 $ GND) # !count_Hsync[24] & !A1L452 & VCC;

--A1L752 is count_Hsync[24]~600
A1L752 = CARRY(count_Hsync[24] & !A1L452);


--A1L952 is count_Hsync[25]~601
A1L952 = count_Hsync[25] & !A1L752 # !count_Hsync[25] & (A1L752 # GND);

--A1L062 is count_Hsync[25]~602
A1L062 = CARRY(!A1L752 # !count_Hsync[25]);


--A1L262 is count_Hsync[26]~603
A1L262 = count_Hsync[26] & (A1L062 $ GND) # !count_Hsync[26] & !A1L062 & VCC;

--A1L362 is count_Hsync[26]~604
A1L362 = CARRY(count_Hsync[26] & !A1L062);


--A1L562 is count_Hsync[27]~605
A1L562 = count_Hsync[27] & !A1L362 # !count_Hsync[27] & (A1L362 # GND);

--A1L662 is count_Hsync[27]~606
A1L662 = CARRY(!A1L362 # !count_Hsync[27]);


--A1L862 is count_Hsync[28]~607
A1L862 = count_Hsync[28] & (A1L662 $ GND) # !count_Hsync[28] & !A1L662 & VCC;

--A1L962 is count_Hsync[28]~608
A1L962 = CARRY(count_Hsync[28] & !A1L662);


--A1L172 is count_Hsync[29]~609
A1L172 = count_Hsync[29] & !A1L962 # !count_Hsync[29] & (A1L962 # GND);

--A1L272 is count_Hsync[29]~610
A1L272 = CARRY(!A1L962 # !count_Hsync[29]);


--A1L472 is count_Hsync[30]~611
A1L472 = count_Hsync[30] & (A1L272 $ GND) # !count_Hsync[30] & !A1L272 & VCC;

--A1L572 is count_Hsync[30]~612
A1L572 = CARRY(count_Hsync[30] & !A1L272);


--A1L772 is count_Hsync[31]~613
A1L772 = count_Hsync[31] $ A1L572;


--present_state.st3 is present_state.st3
present_state.st3 = DFFEAS(A1L794, clkin, reset,  ,  ,  ,  ,  ,  );


--A1L645 is Select~177440
A1L645 = present_state.st3 & keycontrol;


--count_Vsync[31] is count_Vsync[31]
count_Vsync[31] = DFFEAS(A1L673, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[11] is count_Vsync[11]
count_Vsync[11] = DFFEAS(A1L613, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[12] is count_Vsync[12]
count_Vsync[12] = DFFEAS(A1L913, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L824 is frame_control~758
A1L824 = !count_Vsync[11] & !count_Vsync[12];


--count_Vsync[15] is count_Vsync[15]
count_Vsync[15] = DFFEAS(A1L823, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[16] is count_Vsync[16]
count_Vsync[16] = DFFEAS(A1L133, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[17] is count_Vsync[17]
count_Vsync[17] = DFFEAS(A1L433, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[18] is count_Vsync[18]
count_Vsync[18] = DFFEAS(A1L733, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L924 is frame_control~759
A1L924 = !count_Vsync[15] & !count_Vsync[16] & !count_Vsync[17] & !count_Vsync[18];


--count_Vsync[13] is count_Vsync[13]
count_Vsync[13] = DFFEAS(A1L223, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[14] is count_Vsync[14]
count_Vsync[14] = DFFEAS(A1L523, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L034 is frame_control~760
A1L034 = A1L824 & A1L924 & !count_Vsync[13] & !count_Vsync[14];


--count_Vsync[19] is count_Vsync[19]
count_Vsync[19] = DFFEAS(A1L043, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[20] is count_Vsync[20]
count_Vsync[20] = DFFEAS(A1L343, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[21] is count_Vsync[21]
count_Vsync[21] = DFFEAS(A1L643, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[22] is count_Vsync[22]
count_Vsync[22] = DFFEAS(A1L943, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L134 is frame_control~761
A1L134 = !count_Vsync[19] & !count_Vsync[20] & !count_Vsync[21] & !count_Vsync[22];


--count_Vsync[23] is count_Vsync[23]
count_Vsync[23] = DFFEAS(A1L253, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[24] is count_Vsync[24]
count_Vsync[24] = DFFEAS(A1L553, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[25] is count_Vsync[25]
count_Vsync[25] = DFFEAS(A1L853, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[26] is count_Vsync[26]
count_Vsync[26] = DFFEAS(A1L163, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L234 is frame_control~762
A1L234 = !count_Vsync[23] & !count_Vsync[24] & !count_Vsync[25] & !count_Vsync[26];


--count_Vsync[27] is count_Vsync[27]
count_Vsync[27] = DFFEAS(A1L463, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L334 is frame_control~763
A1L334 = A1L034 & A1L134 & A1L234 & !count_Vsync[27];


--count_Vsync[10] is count_Vsync[10]
count_Vsync[10] = DFFEAS(A1L313, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[29] is count_Vsync[29]
count_Vsync[29] = DFFEAS(A1L073, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[28] is count_Vsync[28]
count_Vsync[28] = DFFEAS(A1L763, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L064 is LessThan~6591
A1L064 = A1L334 & !count_Vsync[10] & !count_Vsync[29] & !count_Vsync[28];


--count_Vsync[8] is count_Vsync[8]
count_Vsync[8] = DFFEAS(A1L703, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[7] is count_Vsync[7]
count_Vsync[7] = DFFEAS(A1L403, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L003 is count_Vsync[6]~810
A1L003 = !count_Vsync[8] & !count_Vsync[7];


--count_Vsync[3] is count_Vsync[3]
count_Vsync[3] = DFFEAS(A1L092, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[4] is count_Vsync[4]
count_Vsync[4] = DFFEAS(A1L492, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[5] is count_Vsync[5]
count_Vsync[5] = DFFEAS(A1L792, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--count_Vsync[6] is count_Vsync[6]
count_Vsync[6] = DFFEAS(A1L103, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L164 is LessThan~6592
A1L164 = !count_Vsync[5] & (!count_Vsync[4] # !count_Vsync[3]) # !count_Vsync[6];


--count_Vsync[9] is count_Vsync[9]
count_Vsync[9] = DFFEAS(A1L013, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L524 is frame_control[3]~764
A1L524 = A1L064 & (A1L003 & A1L164 # !count_Vsync[9]);


--A1L264 is LessThan~6593
A1L264 = !count_Vsync[6] & (!count_Vsync[4] # !count_Vsync[5]) # !count_Vsync[7];


--A1L364 is LessThan~6594
A1L364 = A1L264 & !count_Vsync[9] & !count_Vsync[8] # !count_Vsync[10];


--A1L624 is frame_control[3]~765
A1L624 = count_Vsync[31] # A1L524 # A1L334 & A1L364;


--A1L464 is LessThan~6595
A1L464 = !count_Vsync[4] # !count_Vsync[5] # !count_Vsync[3] # !count_Vsync[6];


--A1L564 is LessThan~6596
A1L564 = !count_Vsync[9] & (A1L464 & !count_Vsync[7] # !count_Vsync[8]);


--A1L664 is LessThan~6597
A1L664 = A1L334 & !count_Vsync[28] & (A1L564 # !count_Vsync[10]);


--count_Vsync[30] is count_Vsync[30]
count_Vsync[30] = DFFEAS(A1L373, A1L8011,  ,  ,  ,  ,  , A1L074,  );


--A1L764 is LessThan~6598
A1L764 = A1L664 & !count_Vsync[30] & !count_Vsync[29];


--A1L864 is LessThan~6599
A1L864 = A1L334 & !count_Vsync[29] & !count_Vsync[28];


--A1L964 is LessThan~6600
A1L964 = A1L003 & !count_Vsync[6] # !count_Vsync[10] # !count_Vsync[9];


--A1L074 is LessThan~6601
A1L074 = !count_Vsync[31] & (count_Vsync[30] # !A1L964 # !A1L864);


--A1L745 is Select~177441
A1L745 = A1L645 & (A1L624 # A1L764 # A1L074);


--A1L392 is count_Vsync[4]~811
A1L392 = !count_Vsync[5] & !count_Vsync[4];


--A1L174 is LessThan~6602
A1L174 = A1L392 & !count_Vsync[3] # !count_Vsync[7] # !count_Vsync[6];


--A1L274 is LessThan~6603
A1L274 = A1L064 & A1L174 & !count_Vsync[9] & !count_Vsync[8];


--A1L374 is LessThan~6604
A1L374 = A1L334 & A1L364 & !count_Vsync[28];


--A1L814 is frame_control[1]~766
A1L814 = !count_Vsync[30] & !count_Vsync[29] & (A1L664 # A1L374);


--A1L474 is LessThan~6605
A1L474 = count_Vsync[9] & (count_Vsync[6] # count_Vsync[7] # count_Vsync[5]);


--A1L574 is LessThan~6606
A1L574 = A1L064 & !count_Vsync[30] & (!A1L474 # !count_Vsync[8]);


--A1L674 is LessThan~6607
A1L674 = count_Vsync[6] & count_Vsync[5] & (count_Vsync[3] # count_Vsync[4]);


--A1L774 is LessThan~6608
A1L774 = count_Vsync[9] & count_Vsync[8] & count_Vsync[7];


--A1L874 is LessThan~6609
A1L874 = count_Vsync[30] # A1L674 & A1L774 # !A1L064;


--A1L974 is LessThan~6610
A1L974 = !count_Vsync[6] & !count_Vsync[5] & !count_Vsync[4] # !count_Vsync[8];


--A1L084 is LessThan~6611
A1L084 = A1L064 & !count_Vsync[9] & (A1L974 # !count_Vsync[7]);


--A1L124 is frame_control[2]~767
A1L124 = count_Vsync[30] # !A1L524 & !A1L084;


--A1L914 is frame_control[1]~768
A1L914 = A1L124 & (A1L574 # !A1L874 # !A1L814);


--A1L024 is frame_control[1]~769
A1L024 = !count_Vsync[31] & !A1L914 & (count_Vsync[30] # !A1L274);


--A1L224 is frame_control[2]~770
A1L224 = count_Vsync[31] # A1L574 # A1L814 # !A1L874;


--A1L324 is frame_control[2]~771
A1L324 = A1L124 & A1L224 & (count_Vsync[30] # !A1L274);


--A1L424 is frame_control[2]~772
A1L424 = A1L324 & !count_Vsync[31];


--A1L214 is frame_control[0]~773
A1L214 = A1L874 & (count_Vsync[29] # A1L374 # !A1L664);


--A1L314 is frame_control[0]~774
A1L314 = A1L084 # !A1L524 & (A1L574 # A1L214);


--A1L414 is frame_control[0]~775
A1L414 = count_Vsync[31] # !count_Vsync[30] & (A1L274 # !A1L314);


--A1L845 is Select~177442
A1L845 = A1L745 & (A1L414 & A1L024 # !A1L414 & (A1L424));


--present_state.st5 is present_state.st5
present_state.st5 = DFFEAS(A1L994, clkin, reset,  ,  ,  ,  ,  ,  );


--present_state.st2 is present_state.st2
present_state.st2 = DFFEAS(A1L694, clkin, reset,  ,  ,  ,  ,  ,  );


--A1L945 is Select~177443
A1L945 = !keycontrol & (present_state.st5 # present_state.st2) # !present_state.st0;


--A1L055 is Select~177444
A1L055 = addr[4] # !addr[6] & addr[8];


--A1L155 is Select~177445
A1L155 = addr[6] & (addr[9] # addr[7] $ A1L055) # !addr[6] & (addr[7] # addr[9] $ !A1L055);


--A1L255 is Select~177446
A1L255 = addr[4] & addr[6];


--A1L355 is Select~177447
A1L355 = addr[9] & (addr[8] # addr[7] # !A1L255);


--A1L455 is Select~177448
A1L455 = addr[4] $ addr[7];


--A1L555 is Select~177449
A1L555 = addr[8] # addr[7];


--A1L655 is Select~177450
A1L655 = !addr[9] & (addr[6] & (!A1L555 # !A1L455) # !addr[6] & A1L455);


--A1L755 is Select~177451
A1L755 = addr[5] & A1L155 # !addr[5] & (A1L355 # A1L655);


--A1L8 is addr[5]~2036
A1L8 = addr[5] & !addr[4];


--A1L855 is Select~177452
A1L855 = !addr[4] & !addr[9];


--A1L955 is Select~177453
A1L955 = addr[5] $ addr[6];


--A1L065 is Select~177454
A1L065 = A1L8501 # addr[9] & !A1L5501;


--A1L165 is Select~177455
A1L165 = addr[2] & (addr[3]) # !addr[2] & (addr[3] & A1L145 # !addr[3] & (A1L065));


--A1L265 is Select~177456
A1L265 = addr[5] & addr[7];


--A1L365 is Select~177457
A1L365 = !addr[5] & !addr[7];


--A1L465 is Select~177458
A1L465 = addr[4] & addr[6] & !addr[5] # !addr[4] & !addr[6] & addr[5];


--A1L565 is Select~177459
A1L565 = addr[9] & (A1L555 # !A1L465) # !addr[9] & (A1L4701);


--A1L665 is Select~177460
A1L665 = addr[2] & (A1L165 & (A1L565) # !A1L165 & A1L755) # !addr[2] & (A1L165);


--A1L765 is Select~177461
A1L765 = addr[9] & (addr[5] # !addr[3] # !addr[4]);


--A1L865 is Select~177462
A1L865 = addr[7] & addr[4] & addr[3] & !addr[5] # !addr[7] & (addr[4] $ (!addr[5]));


--A1L965 is Select~177463
A1L965 = addr[5] $ addr[4];


--A1L075 is Select~177464
A1L075 = addr[7] & (addr[4] & (addr[8] # addr[3]) # !addr[4] & (!addr[3])) # !addr[7] & (addr[4]);


--A1L175 is Select~177465
A1L175 = addr[9] & addr[8];


--A1L275 is Select~177466
A1L275 = addr[3] & (A1L075 & (A1L175) # !A1L075 & A1L555) # !addr[3] & (A1L075);


--A1L375 is Select~177467
A1L375 = A1L765 # A1L865 # A1L965 & A1L275;