Lower Bound Proof for the Size of BDDs representing a Shifted Addition

Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler

Decision Diagrams(DDs) are one of the most popular representations for boolean functions. They are widely used in the design and verification of circuits. Different types of DDs ha…