jianpan.ab1

用51单片机编译成的频率计的源程序

module jianpan
pa7 PIN 21; "GP I/O
pa6 PIN 22; "GP I/O
pa5 PIN 24; "GP I/O
pa4 PIN 26; "GP I/O
pa3 PIN 28; "GP I/O
pa2 PIN 32; "GP I/O
pa1 PIN 34; "GP I/O
pa0 PIN 35; "GP I/O
tdo PIN 6; "TDO
tdi PIN 7; "TDI
tck PIN 16; "TCK
tms PIN 20;  "TMS
ale PIN 4; "ALE output
_psen PIN 63;
_rd PIN 65;
_wr PIN 62;
p4_7 PIN 18; "GP I/O
p4_6 PIN 19; "GP I/O
p4_5 PIN 23; "GP I/O
p4_4 PIN 25; "GP I/O
p4_3 PIN 27; "GP I/O
p4_2 PIN 30; "GP I/O
p4_1 PIN 31; "GP I/O
p4_0 PIN 33; "GP I/O
p3_7 PIN 46; "GP I/O
p3_6 PIN 44; "GP I/O
p3_5 PIN 42; "GP I/O
p3_4 PIN 40; "GP I/O
p3_3 PIN 2; "GP I/O
p3_2 PIN 79; "GP I/O
p3_1 PIN 77; "GP I/O
p3_0 PIN 75; "GP I/O
p1_7 PIN 64; "GP I/O
p1_6 PIN 61; "GP I/O
p1_5 PIN 60; "GP I/O
p1_4 PIN 59; "GP I/O
ADC_Ch3 PIN 58; "ADC channel3 input
ADC_Ch2 PIN 56; "ADC channel2 input
ADC_Ch1 PIN 54; "ADC channel1 input
ADC_Ch0 PIN 52; "ADC channel0 input
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
JTAG_debug_pin PIN 8; "JTAG debug pin
Xtal1 PIN 48; "Xtal1
Xtal2 PIN 49; "Xtal2
_Reset_In PIN 68;
VREF PIN 70; "VREF input
rs0 node;
csiop node;
fs0 node;
csboot0 node;
_reset node 543;
a12 node 512;
a13 node 513;
a14 node 514;
a15 node 515;
jtagsel node;

X = .x.;
address = [a15..a0];
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 >= ^h3000) & (address <= ^h4FFF));
csiop = ((address >= ^h0200) & (address <= ^h02FF));
fs0 = ((address >= ^h8000) & (address <= ^hFFFF));
csboot0 = ((address >= ^h0000) & (address <= ^h1FFF));



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

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

end jianpan