PATMOS'97  Seventh International Workshop Program  ARAMIS A.S.B.L. - UCL-DICE  Université Catholique de Louvain  Louvain-la-Neuve, Belgium September 8-10, 1997

4.1 " Carry Circuit Depth Optimisation by BDD Based Decomposition ",Alexander I. Kornilov Tatiana Y. Isaeva Vasily A. Syngaevsky 1 NIISAPRAN, Academy of Sciences of Russia, Moscow

Abstract We present a BDD-based algorithm for carry functions decomposition that is aimed at speed-up of arithmetic units. The circuits are constructed as straightforward mapping of BDDs. Existing algorithms (including BDD-based) aimed at circuits size optimisation do not solve this problem. We propose transformation techniques that allows to obtain pyramidal structures instead of linear ones. This improves carry circuits performance drastically, leading to novel improved arithmetic units implementation.
korn@ici.ru