ÿþ S z y b k i e s u m a t o r y
A l g o r y t m d o d a w a n i a i o d e j m o w a n i a
x 1 y 1 x 0 y 0
x k - 1 y k - 1 x k - 2 y k - 2
c k c 2 c 1
c k - 1 c k - 2
c 0
F A / F S F A / F S F A / F S F A / F S
s 1 s 0
s k - 1 s k - 2
S c h e m a t d o d a w a n i a / o d e j m o w a n i a b i n a r n e g o
d o d a w a n i e ( X + Y ) o d e j m o w a n i e ( X Y )
s i = x i •" y i •" c i s i = x i •" y i •" c i
c i + 1 = x i y i + ( x i •" y i ) c i c i + 1 = x i y i + ( x i •" y i ) c i
= x i y i + ( x i + y i ) c i = x i y i + ( x i •" y i ) c i
P r o p a g a c j a p r z e n i e s i e n i a
" o b l i c z e n i e s u m y / r ó n i c y n a p o z y c j i i w y m a g a p r z e n i e s i e n i a z p o z y c j i i - 1
" c z a s w y t w o r z e n i a s u m y / r ó n i c y s t a By o d c h w i l i u s t a l e n i a p r z e n i e s i e n i a
" g w a r a n t o w a n y c z a s w y k o n a n i a d o d a w a n i a / o d e j m o w a n i a z a l e y o d
n a j d Bu s z e g o c z a s u p r z e s Ba n i a z m i a n y p r z e n i e s i e n i a z p o z y c j i n a j n i s z e j
" c z a s s e k w e n c y j n e g o d o d a w a n i a / o d e j m o w a n i a n - p o z y c y j n e g o n T
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1
S z y b k i e s u m a t o r y
P r z y s p i e s z a n i e d o d a w a n i a d w u a r g u m e n t o w e g o
S k r a c a n i e c z a s u p r o p a g a c j i p r z e n i e s i e
" a n t y c y p a c j a p r z e n i e s i e ( c a r r y l o o k - a h e a d a d d e r , C L A )
" w y t w a r z a n i e p r z e n i e s i e r ó w n o l e g By c h ( p a r a l l e l p r e f i x a d d e r , P P A )
" s k r a c a n i e c i e k i p r o p a g a c j i p r z e n i e s i e n i a ( c a r r y s k i p a d d e r , C S K A )
S k Ba d a n i e s u m t y m c z a s o w y c h
" s k Ba d a n i e s u m w a r u n k o w y c h ( c o n d i t i o n a l s u m a d d e r , C O S A )
t w o r z e n i e w a r i a n t o w y c h s u m d l a b l o k ó w 2 i k o l e j n y c h p o z y c j i
" s u m a t o r z p r z e B c z a n i e m s u m c z c i o w y c h ( c a r r y - s e l e c t a d d e r , C S L A )
r ó w n o l e g Be w y t w a r z a n i e a l t e r n a t y w n y c h s u m c z c i o w y c h
" s k Ba d a n i e s u m k o r y g o w a n y c h ( c a r r y - i n c r e m e n t a d d e r , C I A )
k o r e k c j a s u m b l o k o w y c h p r z e n i e s i e n i a m i
" o b l i c z a n i e i k o r e k c j a s u m t y m c z a s o w y c h ( E L M )
S k Ba d a n i e s u m r e d u n d a n t n y c h
" n a d m i a r o w a r e p r e z e n t a c j a a r g u m e n t ó w ( S D ) ’! d o d a w a n i e d w u e t a p o w e
T e o r e t y c z n i e o s i g a l n y c z a s d o d a w a n i a / o d e j m o w a n i a n - p o z y c y j n e g o : T îøl o g 2 n ùø
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 2
S z y b k i e s u m a t o r y
W y t w a r z a n i e i p r o p a g a c j a p r z e n i e s i e w d o d a w a n i u
F u n k c j a p r z e n i e s i e n i a m o e m i e j e d n z r ó w n o w a n y c h f o r m
c i + 1 = x i y i + ( x i •" y i ) c i = x i y i + ( x i + y i ) c i
p o n i e w a a + b = a •"b + a b ( O R ( a , b ) = X O R ( a , b ) + a b ) . S k Ba d o w y m i w y r a e n i a s :
" f u n k c j a w y t w a r z a n i a ( g e n e r o w a n i a ) p r z e n i e s i e n i a , o k r e l a j c a w a r u n k i
p r z y k t ó r y c h p r z e n i e s i e n i e w y j c i o w e c i + 1 = 1 n i e z a l e n i e o d c i :
g i = x i y i ,
" f u n k c j a p ó Bs u m y , k t ó r a t a k e o k r e l a w a r u n k i p r z e k a z y w a n i a ( p r o p a g a c j i )
p r z e n i e s i e n i a ( x i `" y i Ò! c i + 1 = c i ) :
h i = x i •" y i
W w y r a e n i a c h n a p r z e n i e s i e n i e m o e j z a s t p i
" ( n a d m i a r o w a ) f u n k c j a p r z e k a z y w a n i a p r z e n i e s i e n i a ( p i f . w y g a s z a n i a )
p i = x i + y i
U W A G A :
W w y r a e n i a c h n a p r z e n i e s i e n i e f u n k c j e p # i h # s w z a j e m n i e z a m i e n n e .
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 3
S z y b k i e s u m a t o r y
W y t w a r z a n i e i p r o p a g a c j a p r z e n i e s i e w o d e j m o w a n i u
F u n k c j a p o y c z k i ( p r z e n i e s i e n i a w s t e c z n e g o ) m o e m i e j e d n z f o r m
c i + 1 = x i y i + ( x i •" y i ) c i = x i y i + ( x i + y i ) c i
p o n i e w a a + b = a •"b + a b ( O R ( a , b ) = X O R ( a , b ) + a b ) . S k Ba d o w y m i w y r a e n i a s :
" f u n k c j a w y t w a r z a n i a ( g e n e r o w a n i a ) p o y c z k i , o k r e l a j c a w a r u n k i p r z y
k t ó r y c h p o y c z k a z w y s z e j p o z y c j i c i + 1 = 1 n i e z a l e n i e o d c i :
g i = x i y i ,
" f u n k c j a p ó Br ó n i c y , k t ó r a o k r e l a t e w a r u n k i p r z e k a z y w a n i a ( w s t e c z n e j
p r o p a g a c j i ) p o y c z k i ( x i = y i Ò! c i + 1 = c i ) :
h i = x i •" y i
W w y r a e n i a c h n a p o y c z k i m o e j z a s t p i
" ( n a d m i a r o w a ) f u n k c j a p r z e k a z y w a n i a p o y c z k i ( p i f . w y g a s z a n i a )
p i = x i + y i
U W A G A :
W w y r a e n i a c h n a p o y c z k i f u n k c j e p # i h # s w z a j e m n i e z a m i e n n e .
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 4
S z y b k i e s u m a t o r y
P r o p a g a c j a i g e n e r o w a n i e p r z e n i e s i e i n t u i c j e ( 1 )
H L
c c
c o u t = 1 j e l i :
" c i n = 1 j e s t p r z e s y Ba n e p r z e z b l o k H L d o w y j c i a c o u t
" w e w n t r z b l o k u H L j e s t w y t w a r z a n e c o u t = 1 , z a c i n j e s t d o w o l n e
H L
c c c
c o u t = 1 j e l i :
" c i n = 1 j e s t p r z e s y Ba n e p r z e z b l o k L d o c m a n a s t p n i e p r z e z b l o k H d o c o u t
" w e w n t r z b l o k u H j e s t w y t w a r z a n e c o u t = 1 , z a c m j e s t d o w o l n e
" w e w n t r z b l o k u L j e s t w y t w a r z a n e c m = 1 ,
a n a s t p n i e p r z e z b l o k H j e s t p r z e k a z y w a n e d o c o u t
U w a g a : A n a l o g i c z n e z a l e n o c i m o n a p o d a d l a p o y c z e k w o d e j m o w a n i u
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 5
S z y b k i e s u m a t o r y
P r o p a g a c j a i g e n e r o w a n i e p r z e n i e s i e i n t u i c j e ( 2 )
1
G H = 1
G H L = 1
1 1
P H = 1 G L = 1
G H L F = 1
P H L = 1
1
1 1
P H = 1 P L = 1 G F = 1
P H L F = 1
P H L = 1
1 1 1 1
P H = 1 P L = 1 P F = 1
c o u t = G H + P H G L + P H P L c i n L = G H L + P h l c i n L
c o u t = G H L + P H L G F + P H L P F c i n F = G H L F + P H L F c i n F
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 6
S z y b k i e s u m a t o r y
F u n k c j e g r u p o w e j a n t y c y p a c j i p r z e n i e s i e
W y z n a c z a n i e f u n k c j i p r z e k a z y w a n i a ( p r o p a g a c j i ) p r z e n i e s i e n i a P
p r z e z b l o k i s u m a t o r a ( i l o c z y n ) j e s t d z i a Ba n i e m B c z n y m ( a s o c j a c y j n y m )
P H L F = P H P L P F = P H P L P F
W y z n a c z a n i e f u n k c j i w y t w a r z a n i a ( g e n e r o w a n i a ) p r z e n i e s i e n i a G
w b l o k u s u m a t o r a j e s t t a k e d z i a Ba n i e m B c z n y m ( a s o c j a c y j n y m )
G H L F = G H + P H G L F = G H + P H G L + P L G F =
= G H L + P H L G F = G H + P H G L + P H P L G F
F u n k c j e r e k u r s y w n i e s k o j a r z o n e t a k i e , k t ó r e o p i s u j e o p e r a t o r a s o c j a c y j n y "
y i = x i " y i 1 , y 0 = x 0
W y z n a c z a n i e f u n k c j i r e k u r s y w n i e s k o j a r z o n e j p r o b l e m p r e f i k s o w a n i a
F u n k c j e G , P s r e k u r s y w n i e s k o j a r z o n e p r z e z w e k t o r o w y o p e r a t o r a s o c j a c y j n y
G H L P H L = G H P H " G L P L = G H + P H G L P H P L
G H L F P H L F = G H P H " G L P L " G F P F
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 7
S z y b k i e s u m a t o r y
F u n k c j e w y t w a r z a n i a p r z e n i e s i e i s u m
D l a d o w o l n e g o b l o k u s u m a t o r a p o m i d z y p o z y c j a m i i o r a z k ( k e"s e"i ) :
c k + 1 = G k : i + P k : i c i
p r z y t y m G k : i = G k : s + 1 + P k : s + 1 G s : i ,
P k : i = P k : s + 1 P s : i .
P o n i e w a G k : k = g k = x k y k i P k : k = p k = x k + y k ( l u b P k : k = h k = x k •" y k ) , w i c
k
G k : i = g k + p k g k - 1 + . . . + p j g i ,
"
j = i + 1
k
P k : i = p j ,
"
j = i
s c h e m a t w y z n a c z a n i a f u n k c j i G i : 0 i P i : 0 m o n a o p t y m a l i z o w a
w s z y s t k i e f u n k c j e G i : 0 i P i : 0 m o n a w y z n a c z y w s e k w e n c j i îøl o g 2 n ùø d z i a Ba
W a r t o s u m y s i z a l e y o d h i , w a r t o c i f u n k c j i G i - 1 : 0 , P i - 1 : 0 o r a z c 0 :
s i = h i •" c i = h i •" ( G i - 1 : 0 + P i - 1 : 0 c 0 )
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 8
S z y b k i e s u m a t o r y
S u m a t o r z a n t y c y p a c j p r z e n i e s i e ( c a r r y l o o k - a h e a d a d d e r , C L A )
F u n k c j e c # m o n a r o z w i j a w z g l d e m k i l k u k o l e j n y c h p o z y c j i
c i + 1 = g i + p i c i
c i + 2 = g i + 1 + p i + 1 g i + p i + 1 p i c i
c i + 3 = g i + 2 + p i + 2 g i + 1 + p i + 2 p i + 1 g i + p i + 2 p i + 1 p i c i
c i + 4 = g i + 3 + p i + 3 g i + 2 + p i + 3 p i + 2 g i + 1 + p i + 3 p i + 2 p i + 1 g i + p i + 3 p i + 2 p i + 1 p i c i
" z Bo o n o f u n k c j i c # r o n i e z k w a d r a t e m z a s i g u s
" b a r i e r a t e c h n o l o g i c z n a o g r a n i c z o n a l i c z b a w e j b r a m k i
c i + s + 1 = g i + s + p i + s c i + s = g i + s + p i + s ( g i + s - 1 + p i + s - 1 c i + s - 1 ) = . . .
= g i + s + p i + s g i + s - 1 + p i + s p i + s - 1 g i + s - 2 + . . . + p i + s p i + s - 1 . . . p i + 1 ( g i + p i c i )
c i + s + 1 = G ( g i + s , p i + s , . . . , g i , p i ) + c i P ( g i + s , p i + s , . . . , g i , p i ) =
= G ( g i + s , h i + s , . . . , g i , h i ) + c i P ( g i + s , h i + s , . . . , g i , h i )
U w a g a : A n a l o g i c z n e z a l e n o c i m o n a p o d a d l a p o y c z e k w o d e j m o w a n i u
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 9
S z y b k i e s u m a t o r y
M o d u B s u m a t o r a z a n t y c y p a c j p r z e n i e s i e ( C L A )
x i + 3 y i + 3 x i + 2 y i + 2 x i + 1 y i + 1 x i y i
C L A
p i + 3 g i + 3 p i + 2 g i + 2 p i + 1 g i + 1 p i g i
c i
c i + 2 c i + 1
c i + 3
G i + 4 : i P i + 4 : i
c i + 4
s i + 3 s i + 2 s i + 1 s i
C z t e r o b i t o w y s u m a t o r C L A z s y g n a Ba m i G , P d l a b l o k u C L G
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 0
S z y b k i e s u m a t o r y
W i e l o m o d u Bo w y s u m a t o r ó w z a n t y c y p a c j p r z e n i e s i e ( C L A )
x x 7 : 4
x 1 5 : 1 2 y 1 1 : 8 y 7 : 4 x 3 : 0
y 1 5 : 1 2 1 1 : 8 y 3 : 0
c
c 1 2 c 8 c 4
1 6
c 0
C L A
C L A
C L A C L A
s 1 5 : 1 2 s 1 1 : 8 s 7 : 4 s 3 : 0
S u m a t o r z b u d o w a n y z k a s k a d y b l o k ó w C L A
x x 7 : 4
x 1 5 : 1 2 y 1 1 : 8 y 7 : 4 x 3 : 0
y 1 5 : 1 2 1 1 : 8 y 3 : 0
c 4
c 1 2 c 8
c 0
C L A
C L A
C L A C L A
G P 7 : 4 G P
G P G P
3 : 0
1 5 : 1 2 1 1 : 8
C L G
c 1 6
s 1 5 : 1 2 s 1 1 : 8 s 7 : 4 s 3 : 0
S u m a t o r C L A z b l o k i e m w y t w a r z a n i a p r z e n i e s i e C L G
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 1
S z y b k i e s u m a t o r y
S u m a t o r y p r e f i k s o w e ( P P A )
s u m a t o r p r e f i k s o w y p a r a l l e l p r e f i x a d d e r , P P A
b l o k G P w y t w a r z a n i e w a r t o c i w s z y s t k i c h p r z e n i e s i e c i = G i - 1 : 0 + P i - 1 : 0 c 0
s i = h i •" c i = h i •" ( G i - 1 : 0 + P i - 1 : 0 c 0 )
x i y i
x k 1 y k 1 x i 1 y i 1 x 0 y 0
G P
c 0
s k 1 s i s i 1 s 0
s i = h i •"c i = h i •"G i - 1 : 0
J e l i c 0 = 0 , t o c i = G i 1 : 0 i w t e d y , w p r z e c i w n y m r a z i e
p r o b l e m : s i l n e r o z g a B z i e n i e s y g n a Bu p r z e n i e s i e n i a w e j c i o w e g o c 0
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 2
S z y b k i e s u m a t o r y
S u m a t o r p r e f i k s o w y z r e d u k c j r o z g a B z i e n i a
A b y u n i k n r o z g a B z i a n i a s y g n a Bu c 0 w o b l i c z a n i u c i = G i - 1 : 0 + P i - 1 : 0 c 0 m o n a :
a ) d o B c z y b l o k w e j c i o w y C S A , r e d u k u j c y s y g n a B c 0
x k y k x k y k x k y k x y x y x y x y
c
c w e =
s u m a t o r P P A
c w y
b ) p o t r a k t o w a c 0 j a k o f u n k c j g e n e r o w a n i a p r z e n i e s i e n i a z p o z y c j i 1 :
g 1 = c 0 , z a [ c 1 = 0 . W t e d y w s u m a t o r z e o b e j m u j c y m n + 1 p o z y c j i m a m y :
s i = h i •" c i = h i •" G i - 1 : - 1 = h i •" ( G i - 1 : 1 + P i - 1 : 1 G 0 : - 1 )
c o j e s t r ó w n o w a \n e z a s t p i e n i u s y g n a Bu g 0 p r z e z
*
g 0 = G 0 : - 1 = g 0 + p 0 g - 1 = g 0 + p 0 c 0
*
T w o r z e n i e a l t e r n a t y w n e g o s y g n a Bu p 0 j e s t z b d n e , b o c 1 = 0 , w i c c 1 = g 0 .
W o b u w e r s j a c h o p ó zn i e n i e T j e s t t a k i e j a k w r e a l i z a c j i f u n k c j i G i 1 : 0 + P i 1 : 0 c 0 .
P o d o b n e r o z w i z a n i a m o \n a z a s t o s o w a w u n i w e r s a l n y m s u m a t o r z e U 2 .
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 3
S z y b k i e s u m a t o r y
Z a s a d y k o n s t r u k c j i s i e c i p r e f i k s o w e j G P
W z e B s i e c i G P r e a l i z u j e f u n k c j e
( G H L , P H L ) = ( G H , P H ) " ( G L , P L ) = ( G H + P H G L , P H P L )
Z a s a d a k o n s t r u k c j i s t r u k t u r y G P :
i n t e g r a c j a f u n k c j i G H i P H o r a z G L i P L o b e j m u j c y c h s s i a d u j c e b l o k i H i L :
" b l o k i H i L p o w i n n y b y s t y c z n e
" b l o k i H i L n i e m o g b y r o z d z i e l o n e
" b l o k i H i L m o g m i e c z [ w s p ó l n f u n k c j e G H L i P H L s n a d m i a r o w e
i n t e g r a c j a n a d m i a r o w a i n t e g r a c j a o p t y m a l n a i n t e g r a c j a b Bd n a
" r e g u l a r n e s t r u k t u r y d l a n = 2 k w e j [ ( p o z y c j i ) ,
" w i n n y c h p r z y p a d k a c h p r z y j k = i n t ( 1 + l o g 2 n ) i u s u n z b d n e g a Bz i e
( s i e i n t e g r u j c 2 k 1 p o z y c j i p o Bc z y s i e c i i n t e g r u j c p o z o s t a Be w e j [c i a )
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 4
S z y b k i e s u m a t o r y
P r z e k s z t a Bc e n i e p r e f i k s o w e L a d n e r a - F i s c h e r a ( S k l a n s k y e g o ) *
m i n i m a l n a l i c z b a e l e m e n t ó w
P i : i = x i •"y i , G i : i = x i y i ( i = 0 , 1 , & , n - 1 ) G 0 : 0
P o z i o m 1 ( i = 0 , 1 , & , 2 - 1 n - 1 ) G 1 : 0
( G 2 i + 1 : 2 i , P 2 i + 1 : 2 i ) = ( G 2 i + 1 : 2 i + 1 , P 2 i + 1 : 2 i + 1 ) l ( G 2 i : 2 i , P 2 i : 2 i )
P o z i o m 2 ( i = 0 , 1 , & , 2 - 2 n - 1 ; s = 2 , 3 ) G 3 : 0 , G 2 : 0
( G 4 i + s : 4 i , P 4 i + s : 4 i ) = ( G 4 i + s : 4 i + 2 , P 4 i + s : 4 i + 2 ) l ( G 4 i + 1 : 4 i , P 4 i + 1 : 4 i )
P o z i o m 3 ( i = 0 , 1 , & , 2 - 3 n - 1 ; s = 4 , 5 , 6 , 7 ) G 7 : 0 , & , G 4 : 0
( G 8 i + s , 8 i , P 8 i + s , 8 i ) = ( G 8 i + s , 8 i + 4 , P 8 i + s , 8 i + 4 ) l ( G 8 i + 3 , 8 i , P 8 i + 3 , 8 i )
P o z i o m 4 ( i = 0 , 1 , & , 2 - 4 n - 1 ; s = 8 , 9 , & , 1 5 ) G 1 5 : 0 , & , G 8 : 0
( G 1 6 i + s , 1 6 i , P 1 6 i + s , 1 6 i ) = ( G 1 6 i + s , 1 6 i + 8 , P 1 6 i + s , 1 6 i + 8 ) l ( G 1 6 i + 7 , 1 6 i , P 1 6 i + 7 , 1 6 i )
&
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 5
S z y b k i e s u m a t o r y
P r z e k s z t a Bc e n i e p r e f i k s o w e K o g g e - S t o n e a *
m i n i m a l i z a c j a r o z g a B z i e
P i : i = x i •"y i , G i : i = x i y i ( i = 0 , 1 , & , n - 1 ) G 0 : 0
P o z i o m 1 ( i = 0 , 1 , & , 2 - 1 n - 1 ) G 1 : 0
( G i + 1 : i , P i + 1 : i ) = ( G i + 1 : i + 1 , P i + 1 : i + 1 ) l ( G i : i , P i : i )
P o z i o m 2 ( s = 0 , 1 ; i = 0 , 1 , & , n - 2 2 )
G s + 2 : 0 = G s + 2 , s + 1 + P s + 2 , s + 1 G s : 0 ( G 3 : 0 ) , G 2 : 0
( G i + 3 : i , P i + 3 : i ) = ( G i + 3 , i + 2 , P i + 3 , i + 2 ) l ( G i , i + 1 , P i , i + 1 ) G 3 : 0
P o z i o m 3 ( s = 0 , 1 , & , 2 2 - 1 ; i = 0 , 1 , & , n - 2 3 )
G s + 4 : 0 = G s + 1 , s + 4 + P s + 1 , s + 4 G s : 0 ( G 7 : 0 ) , G 6 : 0 , G 5 : 0 , G 4 : 0
( G i + 7 : i , P i + 7 : i ) = ( G i + 7 , i + 4 , P i + 7 , i + 4 ) l ( G i + 3 : i , P i + 3 : i ) G 7 : 0
P o z i o m 4 ( s = 0 , 1 , & , 2 3 - 1 ; i = 0 , 1 , & , n - 2 4 )
G s + 8 : 0 = G s + 8 , s + 1 + P s + 8 , s + 1 G s : 0 ( G 1 5 : 0 ) , & & , G 8 : 0
( G i + 1 5 : i , P i + 1 5 : i ) = ( G i + 1 5 , i + 8 , P i + 1 5 , i + 8 ) l ( G i + 7 : i , P i + 7 : i ) G 1 5 : 0
&
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 6
S z y b k i e s u m a t o r y
P r z e k s z t a Bc e n i e p r e f i k s o w e B r e n t a - K u n g a *
o p t y m a l i z a c j a s t r u k t u r y C M O S
P i : i = x i •"y i , G i : i = x i y i ( i = 0 , 1 , & , n - 1 ) G 0 : 0
P o z i o m 1 ( i = 0 , 1 , & , 2 - 1 n - 1 ) G 1 : 0
( G 2 i + 1 : 2 i , P 2 i + 1 : 2 i ) = ( G 2 i + 1 : 2 i + 1 , P 2 i + 1 : 2 i + 1 ) l ( G 2 i : 2 i , P 2 i : 2 i )
P o z i o m 2 ( i = 0 , 1 , & , 2 - 2 n - 1 ) G 3 : 0
( G 4 i + 3 : 4 i , P 4 i + 3 : 4 i ) = ( G 4 i + 3 : 4 i + 2 , P 4 i + 3 : 4 i + 2 ) l ( G 4 i + 1 : 4 i , P 4 i + 1 : 4 i )
P o z i o m 3 ( i = 0 , 1 , & , 2 - 3 n - 1 ) G 7 : 0
( G 8 i + 7 : 8 i , P 8 i + 7 : 8 i ) = ( G 8 i + 7 : 8 i + 4 , P 8 i + 7 : 8 i + 4 ) l ( G 8 i + 3 : 8 i , P 8 i + 3 : 8 i )
&
P o z i o m m = îøl o g 2 n ùø ( T = 2 m - 2 )
( G 3 T - 1 : 0 , P 3 T - 1 : 0 ) = ( G 3 T - 1 : 2 T , P 3 T - 1 : 2 T ) l ( G 2 T - 1 : 0 , P 2 T - 1 : 0 ) G 3 T : 0
( G 0 , n - 1 : 0 , P n - 1 : 0 ) = ( G n - 1 : 2 T , P n - 1 : 2 T ) l ( G 2 T - 1 : 0 , P 2 T - 1 : 0 ) G n - 1 : 0
&
P o z i o m m + r ( i = ( 0 ) , 1 , & , 2 2 - 1 , R = 2 m - 2 - s ) , r = 1 , & , m - 2
( G i R - 1 : 0 , P i R - 1 : 0 ) = ( G i R - 1 : 2 R , P i R - 1 : 2 R ) l ( G 2 R - 1 : 0 , P 2 R - 1 : 0 )
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 7
S z y b k i e s u m a t o r y
P r z e k s z t a Bc e n i e p r e f i k s o w e H a n a - C a r l s o n a *
n a j p i e r w i n t e g r a c j a r o z B c z n y c h p a r
P i : i = x i •"y i , G i : i = x i y i ( i = 0 , 1 , & , n - 1 ) G 0 : 0
P o z i o m 1 ( i = 0 , 1 , & , 2 - 1 n - 1 ) G 1 : 0
( G 2 i + 1 : 2 i , P 2 i + 1 : 2 i ) = ( G 2 i + 1 : 2 i + 1 , P 2 i + 1 : 2 i + 1 ) l ( G 2 i : 2 i , P 2 i : 2 i )
P o z i o m 2 ( i = 0 , 1 , & , 2 - 2 n - 1 ) G 3 : 0
( G 2 i + 3 : 2 i , P 2 i + 3 : 2 i ) = ( G 2 i + 3 : 2 i + 2 , P 2 i + 3 : 2 i + 2 ) l ( G 2 i + 1 : 2 i , P 2 i + 1 : 2 i )
P o z i o m 3 ( i = 0 , 1 , & , 2 - 3 n - 1 , s = 0 , 1 )
( G 2 i + 7 : 2 i , P 2 i + 7 : 2 i ) = ( G 2 i + 7 : 2 i + 4 , P 2 i + 7 : 2 i + 4 ) l ( G 2 i + 3 : 2 i , P 2 i + 3 : 2 i )
G 2 s + 5 : 0 = G 2 s + 5 , 2 s + 1 + P 2 s + 5 , 2 s + 1 G 2 s : 0 G 7 : 0 , G 5 : 0
P o z i o m 4 ( s = 0 , 1 , & , 2 2 - 1 ; i = 0 , 1 , & , 2 - 3 n - 1 )
( G 2 i + 1 5 : 2 i , P 2 i + 1 5 : 2 i ) = ( G 2 i + 1 5 : 2 i + 8 , P 2 i + 1 5 : 2 i + 8 ) l ( G 2 i + 7 : 2 i , P 2 i + 7 : 2 i )
G 2 s + 9 : 0 = G 2 s + 9 , 2 s + 1 + P 2 s + 9 , 2 s + 1 G 2 s : 0 G 1 5 : 0 , G 1 3 : 0 , G 1 1 : 0 , G 9 : 0
. . .
P o z i o m îøl o g 2 n ùø+ 1 ( i = 0 , 1 , & , 2 - 1 n - 1 )
G 2 i : 0 = G 2 i : 2 i + P 2 i : 2 i G 2 i - 1 : 0 G 2 i : 0 , & , G 4 : 0 , G 2 : 0
© J a n u s z B i e r n a t , A K 1 - 7 - 0 9 S z y b k i e s u m a t o r y . d o c , 4 l i s t o p a d a 2 0 0 9 F A S T 1 8
S z y b k i e s u m a t o r y
P r e f i k s o w e s c h e m a t y g e n e r o w a n i a i p r o p a g a c j i p r z e n i e s i e n i a ( P P A )
1 5 1 4 1 3 1 2 1 1 1 0 9 8 7 6 5 4 3 2 1 0
0
1 5 1 4 1 3 1 2 1 1 1 0 9 8 7 6 5 4 3 2 1 0
1
0
2
1
2
3
3
4
4
G r a f p r e f i x o w y ( K o g g e &