LOCAL BUS CONTROL
PAL
DESCRIPTIONS
111111111"'111111'11'1111"""'11""'"""'11"11"""'"'111"111111""""'11""""1111"111""'1"""IIH""HIIIIIIII11111'I'IIIII'"
equations
!MRDC
:=
«LOCALSTATE==WAITING) &
#«LOCALSTATE==SAMPLECS) &
# «LOCALSTATE==CMDDELAY) &
OFF)
ifMEMORYREAD
OFF)
&
!CSOWS)
"activate
if
OWS
access
#«LOCALSTATE==IO) &
# «LOCALSTATE==ENDIO) &
#«LOCALSTATE==MEMORY) &
#«LOCALSTATE==FLOAT) &
#«LOCALSTATE==NOTLDCAL) &
!MWTC
:=
«LOCALSTATE==WAITING) &
#«LOCALSTATE==SAMPLECS) &
#«LOCALSTATE==CMDDELAY) &
(
(ifMEMORYREAD
(
(ifMEMORYREAD
(
(ifMEMORYREAD
OFF)
&
DEN)
#
!MRDC»
&
DEN)
#
!MRDC»
&
DEN)
#
!MRDC»
(
!MRDC
&
(RDY
#
!CLK»);
OFF)
ifMEMORYWRITE
&
!CSOWS)
OFF)
"activate
if
IO
"remain
if
IO
"activate
IWS
"remain
if
OWS
# «LOCALSTATE==IO) &
#«LOCALSTATE==ENDIO) &
#«LOCALSTATE==MEMORY) &
#«LOCALSTATE==FLOAT) &
#«LOCALSTATE==NOTLOCAL) &
«ifMEMORYWRITE &
DEN)
#
(!MWTC
&
RDY»)
«ifMEMORYWRITE &
DEN)
#
(!MWTC
&
RDY»)
«ifMEMORYWRITE &
DEN)
#
!MWTC»
!IORC
:=
«LOCALSTATE==WAITING)
#«LOCALSTATE==SAMPLECS)
#«LOCALSTATE==CMDDELAY)
#«LOCALSTATE==IO)
#«LOCALSTATE==ENDIO)
#«LOCALSTATE==MEMORY)
#«LOCALSTATE==FLOAT)
#«LOCALSTATE==NOTLOCAL)
!IOWC
:==
«LOCALSTATE==WAITING)
#«LOCALSTATE==SAMPLECS)
#
«LOCALSTATE==CMDDELAY)
# «LOCALSTATE==IO)
#«LOCALSTATE==ENDIO)
#«LOCALSTATE==MEMORY)
# «LOCALSTATE==FLOAT)
#«LOCALSTATE==NOTLOCAL)
!INTA
:=
«LOCALSTATE==WAITING)
#«LOCALSTATE==SAMPLECS)
#«LOCALSTATE==CMDDELAY)
#«LOCALSTATE==IO)
#«LOCALSTATE==ENDIO)
#
«LOCALSTATE==MEMORY)
# «LOCALSTATE==FLOAT)
#«LOCALSTATE==NOTLOCAL)
ALE
:=
«LOCALSTATE==WAITING)
#«LOCALSTATE==SAMPLECS)
#«LOCALSTATE==CMDDELAY)
#
«LOCALSTATE==IO)
# «LOCALSTATE==ENDIO)
#
«LOCALSTATE==MEMORY)
#«LOCALSTATE==FLOAT)
#
«LOCALSTATE==NOTLOCAL)
OFF)
(!MWTC
&
RDY»;
& OFF)
& ifIOREAD &
!CSOWS)
& OFF)
&
«ifIOREAD
&
DEN)
#
!IORC) )
& (
(ifIOREAD
&
DEN)
#
I IORC) )
& (
(ifIOREAD
&
DEN)
# !IORC»
& OFF)
&
(!IORC
&
(RDY
#
!CLK»)
;
& OFF)
&
ifIOWRITE
&
!CSOWS)
& OFF)
&
«ifIOWRITE
&
DEN)
#
(!IOWC &
RDY»)
& (
(ifIOWRITE
&
DEN)
#
(!
IOWC
&
RDY»)
& (
(ifIOWRITE
&
DEN)
#
!IOWC) )
&
OFF)
& (!IOWC &
RDY»
;
& OFF)
& ifINTACK &
!CSOWS)
&
OFF)
& (
(ifINTACK
&
DEN)
#
!INTA) )
&
(
(ifINTACK
&
DEN)
#
!INTA) )
& (
(ifItlTACK
&
DEN)
#
!INTA) )
&
OFF)
&
(!INTA
&
(RDY
#
!CLK»)
;
&
ON)
"activate
ALE
while
waiting
& OFF)
& OFF)
& OFF)
& OFF)
& OFF)
& OFF)
& (
(DEN
&
CSOWS)
"activate
ALE
if
not-local
#
ALE
"if
active
...
remain
active
#(!RDY &
CLK»);
"activate
if
last
CLK2
of
OWS
access
Figure A-2. PAL-2 State Listings (Cont'd.)
A-10