I
"n+-
I
®
'e-
DRAM
PLD
DESCRIPTIONS
state_dl~gram
[RASI
state
[01:
If
(RA4
RA3'
RA2
,
RAl
,
RAO)
then
1
e
15e
[0
I ;
state
[11:
If
(RA4 ,
RA3
,
RA2
,
RAl
,
RAO)
then
[01
e I s e
[1
I ;
5t~te_dlagr~m
[RAGI
state
[01:
If
(RAS ,
RA4
,
RA3
&
RA2
&
RAl
&RAO)
then
1
e I s e
[0
I ;
state
[11:
If
(RAS ,
RA4
,
RA3
&
RA2
,
RAl
,
RAO)
then
[01
e I s e [1 I ;
state_diagram
[RA71
state
[01:
If
(RAG
else
[0];
state
[11:
RAS
,
RA4
,
RA3
,
RA2
&
RAl
&
RAO)
then
1
If
(RAG'
RAS
&
RA4
,
RA3
&
RA2
&
RAl
&
RAO)
then
[01
e I s e
[1
I ;
state_dlaQram
[RA81
state
[01:
if
(RA7
RAG
&
RAS
&
RA4
&
RA3
&
RA2
&
RAl
&
RAO)
then
1
e I s e
[0
I ;
state
[11:
If
(RA7 ,
RAG
&
RAS
,
RA4
&
RA3
&
RA2
&
RAl
&
RAO)
then
[0]
e I s e
[1
I ;
test_vectors
([clkl
..
[RA8,RA7,RAG,RAS,RA4,RA3,RA2,RA1,RAO])
end
refaddr;
[cl
..
[x,O,O,O,O,O,O,O,OI
"0
[el
-+
[x,I,x,x,x,x,x,x,1]
[cl
..
[x,x,x,x,x,x,x,l,OI
[c]
-+
[X,X,I,X,X,X,x,x,x]
[el
...
[X,I,X,X,X,x,x,x,x]
[el
..
[x,x,x,x,x,x,x,x,x]
liS
[el
...
[X,X,X,I,X,X,X,x,x]
[el
...
[x,X,X,X,I,X,X,X,x]
(
c]
.. ,
[x
1 X I X I X I X 1 X I X I x' J X ] 1
[col
...
(x,x.,X,X,I,X,X,X,x];
[cl
..
[0,0,0,0,0,1,0,1,01;
"10
[el
..
[x,x,x,x,x,x,x,x,x];
[el
...
[X,I,X,X,X,x,x,x,x];
(el
...
[X,I,X,X,X,x,x,x,x];
[el
...
[X,I,X,X,X,x,x,x,x];
[cl
..
[x,x,x,x,x,l,l,l,ll;
"lS
Figure 8-4. Refresh Address Counter
PLD
Equations (Contd.)
8-14