Documente Academic
Documente Profesional
Documente Cultură
This function is
symmetric!
abcd+a’b’c’d+a’b’cd’+a’bc’d’+ab’c’d’
a’ a
b’c’d+b’cd’+bc’d’ b’c’d’+bcd
b’ b b’ b
cd
c’d+cd’ c’d’
c’ c
c’ c c’ c
0 0
d d’ d
0 1 1 0 0 1
MULTIPLEXOR CIRCUIT REALIZATION OF FUNCTION
F=ab’c’d’+a’bc’d’+a’b’c’d+a’b’cd’+abcd
b b
c c c
d d 0 0 d
0 1 1 0 0 1
PASS TRANSISTOR LAYOUT OF A FUNCTION
F=a’b’c’d+ab’c’d’+a’bc’d’+a’b’cd’+abcd
a’ a
b’ b b’ b
c’ c c’ c c’ c
0 0
d’ d d’ d d’ d
0 1 1 0 0 1
BDDs of functions shown in the previous slide
abc+abd+acd+bcd
a a’
bc+bd+cd bcd
b b’ b b’
0
c+d cd
c’ c c’
c
0
1 d
d d’
1 0
abc’+abd+ac’d+bc’d
a a’
bc’+bd+c’d bc’d
b b’ b b’
0
c’+d c’d
c c’ c
c’
0
1 d
d d’
1 0 variables are not repeated therefore, both
are symmetric functions.
DEFINITON AND PROPERTIES OF SYMMETRIC
FUNCTIONS
Definitions:
A switching function of n variables f(x1,x2,……..xn) is
called symmetric or totally symmetric if and only if it is invariant
under any permutation of variables ;
f2(a,b,c,d) = S (a,b,c,d)
3,4
{0,1,2,3,4}.
REPRESENTATION OF SYMMETRIC FUNCTIONS
•The basic network for symmetric function is shown in the next slide
network is drown for four variables it can be extended for n variables.
It is a multi output network consisting of a single input and 5output
numbered from 0 to 4 .
d 3
d’
c d 2
c’
b c d 1
b’ c’ d’
a b c d 0
a’ b’ c’ d’
LATTICE REALIZATION
OF SYMMETRIC FUNCTION
4
d 3
+ -OR GATE
+
-AND GATE
c 2
-NAGATED
AND GATE + +
b 1
+ + +
a
0
+ + + +
LATTICE RELIZATION OF SYMMETRIC FUNCTION
c d 2
c’
b c d 1
b’ c’ d’
a b c d 0
a’ b’ c’ d’
Let us realize symmetric function S1,4(a,b,c,d)
c
c’
S1,4(a,b,c,d)
b
b’ c’ d’
a b c d
a’ b’ c’
APPLICATION
00 01 11 10
00 0 1 2 1
01 1 2 3 2
11 2 3 4 3
10 1 2 3 2
0 1 1 2 2 3 3 4
OBSERVATION
cd cd
For example : 00 01 11 10 00 01 11 10
00
ab 00
01 1 01
ab = 1
11 1 1 1 11 1 1 1
10 1 10 1
F=abc+abd+acd+bcd F=abc’+abd+c’db+c’da
both are symmetric function
Problems to think about
• Symmetry versus BDDs, KFDDs, ZBDDs and
other DAG-based representations
• Regular structures for multi-output functions, based
on symmetries or partial symmetries
• Finding partial symmetry in non-symmetrical
function
• How to generalize the concepts of symmetry?
• Symmetry and pass-transistor logic
• Symmetry of Multi-Valued functions