Professional Documents
Culture Documents
2010Dr.AshrafArmoush,AnNajahNationalUniversity
40
ImplicationTable
Twostatesinastatetablecanbecombinedintoone,aslongas
theycanbeshowntobeequivalent
EquivalentStates:Twostatesareequivalentif,foreachpossible
Equivalent States: Two states are equivalent if, for each possible
input,they giveexactlythesameoutputandgotothesamenext
statesortoequivalentnextstates.
a andb havethesameoutputforthesameinput,theirnextstatesare
c andd forx=0 andb anda forx=1
Ifwecanshowthat(candd)areequivalent,then(aandb)are
(
)
(
)
equivalent. [(a,b)imply(c,d)]
2010Dr.AshrafArmoush,AnNajahNationalUniversity
41
ImplicationTable(cont.)
The checking of each pair of states for possible equivalence in a
table with a large number of states can be done systematically by
means of an implication table.
It is a chart that consists of squares, one for every possible pair of
states.
On the left side along the vertical are listed all the states defined in the
state table except the last.
Across the bottom horizontally are listed all the states except the last.
The states that are not equivalent are marked with (X) in the
corresponding squares.
The states that are equivalent are marked with (9) in the
corresponding squares.
Some of the squares
q
have entries of implied
p
states that must be
further investigated to determine whether they are equivalent or not.
2010Dr.AshrafArmoush,AnNajahNationalUniversity
42
ImplicationTable(cont.)
1.
2.
3.
4.
Place a cross in any square corresponding to a pair whose outputs are not equal
q
the p
pairs of states that are implied
p
byy the p
pair of
Enter in the remainingg squares
states representing the squares. (Start form the top square in the left column
and going down and then proceeding with the next column to the right).
Make successive passes through the table to determine whether any additional
squares should be marked with a x
x.
Finally, all the squares that have no crosses are recorded with check marks.
2010Dr.AshrafArmoush,AnNajahNationalUniversity
43
ImplicationTable(cont.)
The equivalent states are:
{4 states}
Present NextState
State
x=0
0 x=1
1
Output
x=0
0
x=1
1
0
44
2010Dr.AshrafArmoush,AnNajahNationalUniversity
45
Compatible Pairs
Compatible States: Two states are compatible if in every column of
the corresponding rows in the flow table, they are identical or
compatible states and if there is no conflict in the output values.
values
Thecompatible
pairsare:
i
(a,b)
(a,c)
( d)
(a,d)
(b,e)
(b,f)
(c,d)
(e,f)
2010Dr.AshrafArmoush,AnNajahNationalUniversity
46
Maximal Compatibles
Maximalcompatible: isagroupofcompatiblesthatcontainsall
thepossiblecombinations ofcompatiblestates.
Amergerdiagramcanbeusedtoobtainthemaximalcompatible.
A merger diagram can be used to obtain the maximal compatible
2010Dr.AshrafArmoush,AnNajahNationalUniversity
47
Coverallstates.
Cover
all states
Beclosed:(theclosureconditionissatisfiediftherearenoimpliedstatesor
iftheimpliedstatesareincludedwithintheset)
Inthelastexample,the maximalcompatiblesare(a,b)(a,c,d)(b,e,f)
ifweremove(a,b),wegetasetoftwocompatibles:(a,c,d)(b,e,f)
Allthesixstatesareincludedinthisset.9
Therearenoimpiled states for(a,c);(a,d);(c,d);(b,e);(b,f)and(e,f)[you
canchecktheimplicationtable] . thecloserconditionissatisfied 9
Theoriginalprimitiveflowtablecanbemergedintotworows,onefor
g
p
f
g
,
f
eachofthecompatibles.
2010Dr.AshrafArmoush,AnNajahNationalUniversity
48
49
Notes
The same state can be repeated more than once.
There may be more than one possible way of merging rows
when reducing a primitive flow table.
2010Dr.AshrafArmoush,AnNajahNationalUniversity
50
RaceFreeStateAssignment
Once a reduced flow table has been derived, the next step in the
design is to assign binary variables to each stable state.
The main objective in choosing a proper binary state assignment is
the prevention of critical races.
Adjacent Binary Values: 2 binary values are said to be adjacent if
they differ in only one variable ( e.g.
e g 010 and 011 are adjacent)
2Row FlowTable:
The assignment of a single variable to a flow table with two rows
does not impose critical race problems.
[two adjacent values 0 and 1]
2010Dr.AshrafArmoush,AnNajahNationalUniversity
51
3RowFlowTableExample
A flow table with 3 states requires an assignment of 2
variables.
We have the following transitions:
ab , ac, ba , bc&ca
(seethetransitiondiagram)
Value
00
01
11
2010Dr.AshrafArmoush,AnNajahNationalUniversity
3RowFlowTableExample(cont.)
Aracefreeassignmentcanbeobtainedbyaddinganextrarowtotheoriginal
flowtable:
The
Th use off an extra
t row will
ill nott increase
i
the number of binary state variables (2
variables), but it allows the formation of
cycles
y
between two stable states.
The added row (d) is assigned the binary
value (10), which is adjacent to both a & c.
The transition from a to c must go
through d, thus avoiding a critical race.
The two squares with dashes in row d
represent unspecified states (dont care).
These squares must not be assigned to 01
in order to avoid the possibility of stable
state being established in the 4th row.
2010Dr.Ashraf Armoush ,AnNajah NationalUniversity
53
3RowFlowTableExample(cont.)
Thenewflowtableisconvertedtoatransitiontabletocompletethedesign
process.
54
4RowFlowTableExample
2010Dr.AshrafArmoush,AnNajahNationalUniversity
55
4RowFlowTableExample(cont.)
The following state assignment map is suitable for any 4row flow table.
a, b, c, and d are the original states.
e,
e ff, and g are extra states.
states
States placed in adjacent squares in the map will have adjacent assignments
56
2010Dr.AshrafArmoush,AnNajahNationalUniversity
4RowFlowTableExample(cont.)
To produce cycles:
The transition from a to d must be directed through the extra state e
The transition from c to a must be directed through the extra state g
The transition from d to c must be directed through the extra state f
2010Dr.AshrafArmoush,AnNajahNationalUniversity
57
MultipleRowMethod forracefreeassignment
It is less efficient than the previous method (shared row method).
Each state in the original flow table is replaced by two or more
combinations of state variables.
e.g.:
g
a is replaced with a1 and a2, where a1 is the logical complement of a2
Each
E h stable
bl state has
h two binary
bi
assignments
i
with
i h exactly
l the
h
same output
e.g.:
The output values must be the same in a1 and a2
At any given
i
ti
time,
only
l one off the
th assignments
i
t is
i in
i use.
2010Dr.AshrafArmoush,AnNajahNationalUniversity
58
MultipleRowMethod(cont.)
2010Dr.AshrafArmoush,AnNajahNationalUniversity
59
Hazards
In order to ensure the proper operation in asynchronous circuits , the
circuits must be:
1. Operated in fundamental mode with only one input changing at any time.
1
time
2. Free of critical races.
3. Checked for hazards .
60
2010Dr.AshrafArmoush,AnNajahNationalUniversity
HazardsinCombinationalCircuits
x2
x3
AND1
AND 2
Thedelayintheinvertermaycausetheoutputofgate1tochangeto0
The
delay in the inverter may cause the output of gate 1 to change to 0
beforetheoutputofgate2changesto1.
Inthatcase,theoutputgoesto0forshortintervaloftime.
Y = x1 x2 + x2 ' x3
(sum of products)
x1
or Y = ( x1 + x2 ' )( x2 + x3 )
(product of sums)
Thefirstimplementationmaycausetheoutputtogoto0whenitshould
remainat1(Static1
remain
at 1 (Static 1hazard),
hazard),whilethesecondimplementationmaycause
while the second implementation may cause
theoutputtogoto1whenitshouldremainat0(Static0hazard).
2010Dr.AshrafArmoush,AnNajahNationalUniversity
61
HazardsinCombinationalCircuits(cont.)
62
HazardFreeCircuit
The change in x2 from 1 to 0 moves the circuit
from minterm 111 to minterm 101.
The hazard exists because the change of input
results in a different product term covering the
two minterms.
minterms
Whenever the circuit must move from one
product term to another, there is a possibility
of a momentary interval when neither term is
equal to 1, giving rise to undesirable 0 output.
The solution is to enclose the minterms with
another product term that overlaps both
groupings.
63
HazardFreeCircuit(cont.)
2010Dr.AshrafArmoush,AnNajahNationalUniversity
64
HazardsinSequentialCircuits
o If the circuit is in total state yx1x2 = 111 and input x2 changes from 1 to 0, the
next total state should be 110. However, because of the hazard, output Y
may go 0 momentarily.
o If this false signal feeds back into gate 2, the output of gate 2 will remain at
0 and the circuit will switch to the incorrect total state 010.
This problem can be eliminated by adding an extra gate.
2010Dr.Ashraf Armoush ,AnNajah NationalUniversity
65
HazardsinSequentialCircuits
ImplementationwithSRLatches
Another way to avoid static hazards in asynchronous sequential circuits is
to implement the circuit with SR latches.
A momentary 0 signal applied to the S or R inputs of a NOR latch will have no
effect on the state of the latch.
Similarly, a momentary 1 signal applied to the S or R inputs of a NAND latch
will also have no effect on the state of the latch.
Ex:
This implementation
Thi
i l
t ti may have
h
a static
t ti 1hazard
1h
d if both
b th inputs
i
t off gate#3
t #3 go
to 1, changing the output from 1 to 0 momentarily.
But if gate 3 is part of a NANDlatch, the momentarily 1 signal will have no
effect
ff t because
b
another
th input
i
t will
ill come from
f
Q that
th t will
ill be
b equall to
t 0 and
d
thus maintain the output at 1
2010Dr.Ashraf Armoush ,AnNajah NationalUniversity
66
Ex:
ConsideraNANDSRlatchwiththefollowingBooleanfunctionsforSandR
S=AB+CD
R AC
R=AC
SincethisisaNANDlatchwemustusethecomplementvalueforSandR
S=(AB+CD)=(AB)(CD)
R=(AC)
2010Dr.AshrafArmoush,AnNajahNationalUniversity
67
Ex(cont.):
TheBooleanfunctionforoutputis
Q=(QS)=[Q(AB)(CD)]
TheoutputisgeneratedwithtwolevelsofNANDgates:
68
EssentialHazards
AnEssentialHazard: iscausedbyunequaldelaysalongtwoor
morepathsthatoriginatefromthesameinput.
Essentialhazardscannotbecorrectedbyaddingredundant
gates as in static hazards
gatesasinstatichazards.
Theproblemcanbecorrectedbyadjustingtheamountof
p
y j
g
delayintheaffectedpaths.
2010Dr.AshrafArmoush,AnNajahNationalUniversity
69
DESIGNEXAMPLE
The recommended procedural steps for the design of a complete
asynchronous sequential circuit are:
1 State the design specifications.
1.
specifications
2. Derive a Primitive Flow Table.
3. Reduce the Flow Table by merging rows.
4. Make
k a racefree
f
bi
binary
state assignment.
i
5. Obtain the transition table and output map.
6. Obtain the logic diagram using SR latches.
1) Design Specification:
It is necessary to design a negativeedgetriggered T flipflop.
flipflop The
circuit has two inputs T (toggle) and C (clock) and one output Q.
The output state is complemented if T=1 and the clock changes
from 1 to 0 ((negativeedgetriggering).
g
g
gg
g) Otherwise,, under all input
p
condition, the output remains unchanged.
70
Designexample(cont)
2) Primitive flow table.
Inputs
Output
State
Comments
I iti l t t i 0
Initialoutputis0
Afterstatea
Initialoutputis1
Afterstate
f
c
Afterstatedorf
Afterstateeora
Afterstateborh
AfterStategorc
71
Designexample(cont)
3) Merging of the Flow Table
Th maximal
The
i l compatibles
tibl pairs
i are:
(a,f)(b,g,h)(c,h)(d,e,f)
2010Dr.Ashraf Armoush ,AnNajah NationalUniversity
72
Designexample(cont)
In this particular example, the minimal collection of compatibles
is also the maximal compatibles set:
( f) (b
(a,f)(b,g,h)(c,h)(d,e,f)
h) ( h) (d
f)
73
Designexample(cont)
4) State Assignment and Transition Table
From the transition diagram, it is clear that there are no diagonal lines.
Therefore,, it is p
possible to find a suitable adjacent
j
assignment
g
without
the need of extra states.
74
Designexample(cont)
5) Logic Diagram
There are two state variables Y1 and Y2, and one output Q. The
previous output map shows that Q is equal to y2.
75
Designexample(cont)
76