shuikong.abl

upsd3200单片机IAP的实现

module shuikong
SMDET PIN 21; "GP I/O
PT_le PIN 22;
AD14 PIN 24;
AD13 PIN 26;
AD12 PIN 28;
smclk PIN 32;
simclk PIN 34;
clkcard PIN 35;
rd_cpld PIN 66;
USB_INT PIN 67; "GP I/O
CS1 PIN 72;
K_DI PIN 73; "GP I/O
VFD_STB PIN 74; "GP I/O
VFD_SCK PIN 76; "GP I/O
VFD_DO PIN 78; "GP I/O
EN_LCD PIN 80; "GP I/O
SMC8 PIN 5; "GP I/O
tdo PIN 6; "TDO
tdi PIN 7; "TDI
CEFS PIN 9;
SRAMCS PIN 14;
CSPLD PIN 15;
tck PIN 16; "TCK
tms PIN 20;  "TMS
WIND PIN 1; "GP I/O
USB_CS PIN 3;
ale PIN 4; "ALE output
A19 PIN 18; "GP I/O
A18 PIN 19; "GP I/O
A17 PIN 23; "GP I/O
A16 PIN 25; "GP I/O
A15 PIN 27; "GP I/O
SM_DET PIN 30; "GP I/O
SMIOCLK PIN 31; "GP I/O
SMC4 PIN 33; "GP I/O
HOME_P PIN 40; "GP I/O
UART1_TxD PIN 77; "UART1 TxD
UART1_RxD PIN 75; "UART1 RxD
BUSY PIN 64; "GP I/O
PAPER PIN 61; "GP I/O
MARK PIN 60; "GP I/O
TH_SIG PIN 59; "GP I/O
UART2_TxD PIN 58; "UART2 TxD
UART2_RxD PIN 56; "UART2 RxD
a11 PIN 57; "Address line
a10 PIN 55; "Address line
a9 PIN 53; "Address line
a8 PIN 51; "Address line
a7 PIN 47;  "Data/address bus line
a6 PIN 45;  "Data/address bus line
a5 PIN 43;  "Data/address bus line
a4 PIN 41;  "Data/address bus line
a3 PIN 39;  "Data/address bus line
a2 PIN 38;  "Data/address bus line
a1 PIN 37;  "Data/address bus line
a0 PIN 36;  "Data/address bus line
_Reset_In PIN 68;
VREF PIN 70; "VREF input
_rd PIN 65;
_psen PIN 63;
_wr PIN 62;
Xtal1 PIN 48; "Xtal1
Xtal2 PIN 49; "Xtal2
rs0 node;
csiop node;
fs0 node;
fs1 node;
fs2 node;
fs3 node;
fs4 node;
fs5 node;
fs6 node;
fs7 node;
csboot0 node;
csboot1 node;
csboot2 node;
csboot3 node;
_reset node 543;
a12 node 512;
a13 node 513;
a14 node 514;
a15 node 515;
pgr2..pgr0 node;
BOOT node 113;
UPDATA node 114;
FLSAH node 115;
PGR6 node 116;
SRAM node 117;
CNT1 NODE istype 'reg_D';
CNT0 NODE istype 'reg_D';
CNT2 NODE istype 'reg_D';
jtagsel node;

X = .x.;
address = [a15..a0];
page = [pgr2..pgr0];
Vcc = 1;
Gnd = 0;


// Begin user preserved declarations (not affected by iterations of DA usage) ===================

// End user preserved declarations (not affected by iterations of DA usage) ===================



equations

jtagsel = !_reset;
rs0 = ((address >= ^h8200) & (address <= ^hFFFF));
csiop = ((address >= ^h8000) & (address <= ^h80FF));
fs0 = ((address >= ^h0000) & (address <= ^h7FFF) & (!_psen))
     # ((page == 0) & (address >= ^h0000) & (address <= ^h7FFF) & (UPDATA));
fs1 = ((page == 0) & (address >= ^h8000) & (address <= ^hFFFF) & (!_psen))
     # ((page == 1) & (address >= ^h0000) & (address <= ^h7FFF) & (UPDATA));
fs2 = ((page == 1) & (address >= ^h8000) & (address <= ^hFFFF) & (!_psen))
     # ((page == 2) & (address >= ^h0000) & (address <= ^h7FFF) & (UPDATA));
fs3 = ((page == 2) & (address >= ^h8000) & (address <= ^hFFFF) & (!_psen))
     # ((page == 3) & (address >= ^h0000) & (address <= ^h7FFF) & (UPDATA));
fs4 = ((page == 3) & (address >= ^h8000) & (address <= ^hFFFF) & (!_psen))
     # ((page == 4) & (address >= ^h0000) & (address <= ^h7FFF) & (UPDATA));
fs5 = ((page == 4) & (address >= ^h8000) & (address <= ^hFFFF) & (!_psen))
     # ((page == 5) & (address >= ^h0000) & (address <= ^h7FFF) & (UPDATA));
fs6 = ((page == 5) & (address >= ^h8000) & (address <= ^hFFFF) & (!_psen))
     # ((page == 6) & (address >= ^h0000) & (address <= ^h7FFF) & (UPDATA));
fs7 = ((page == 6) & (address >= ^h8000) & (address <= ^hFFFF) & (!_psen))
     # ((page == 7) & (address >= ^h0000) & (address <= ^h7FFF) & (UPDATA));
csboot0 = ((address >= ^h0000) & (address <= ^h1FFF) & (!_psen));
csboot1 = ((address >= ^h2000) & (address <= ^h3FFF) & (!_psen));
csboot2 = ((address >= ^h4000) & (address <= ^h5FFF) & (!_psen));
csboot3 = ((address >= ^h6000) & (address <= ^h7FFF) & (!_psen));
PT_le = ((address >= ^h8112) & (address <= ^h8112) & (!_wr&PGR6));
! rd_cpld = ((address >= ^h8110) & (address <= ^h8110) & (PGR6));
CS1 = ((address >= ^h8113) & (address <= ^h8113) & (!_wr&PGR6));
! CEFS = ((address >= ^h0000) & (address <= ^h7FFF) & (!_rd & FLSAH))
     # ((address >= ^h0000) & (address <= ^h7FFF) & (!_wr & FLSAH));
! SRAMCS = ((address >= ^h0000) & (address <= ^h7FFF) & (!_wr & SRAM))
     # ((address >= ^h0000) & (address <= ^h7FFF) & (!_rd & SRAM));
! CSPLD = ((address >= ^h8100) & (address <= ^h8107));
! USB_CS = ((address >= ^h8115) & (address <= ^h8115) & (PGR6));
AD14 = a14;
AD14.oe = Vcc ;
AD13 = a13;
AD13.oe = Vcc;
AD12 = a12;
AD12.oe = Vcc;
smclk = !CNT2;
smclk.oe = Vcc;
simclk = !CNT2;
simclk.oe =  Vcc;
K_DI.oe = Vcc;
VFD_STB.oe = Vcc;
VFD_SCK.oe = Vcc;
VFD_DO.oe = Vcc;
CNT1 := !CNT1 & CNT0;
CNT1.ck = !clkcard;
CNT1.re = Gnd;
CNT1.pr = Gnd;
CNT0 := !CNT1 & !CNT0;
CNT0.ck = !clkcard;
CNT0.re = Gnd;
CNT0.pr = Gnd;
CNT2 := !CNT2&CNT1;
CNT2.ck = CNT1;
CNT2.re = Gnd;
CNT2.pr = Gnd;


// Begin user preserved equations (not affected by iterations of DA usage) ===================

// End user preserved equations (not affected by iterations of DA usage) ===================


end shuikong