Efficient OBDD-based boolean manipulation in CAD beyond current limits
Jochen Bern, Christoph Meinel, Anna Slobodová · 1995
We present the concept of TBDD's which considerably enlarges the class of Boolean functions that can be efficiently manipulated in terms of OBDD's. It extends the idea of using domain trans-formations, which is well-known in many areas of mathematics, physics, and technical sciences, to the context of OBDD-based Boolean function manipulation in CAD: Instead of working with the OBDD-representation of a function f, TBDD's allow working with an OBDD-representation of a suited cube transformed version of f. Besides of giving some theoretical insights into the new concept, we investigate in some detail cube transformations which are based on complete types. We show that such TBDD-representations can be derived similarly as OBDD-representations, give evidence of the practical importance of such TBDD's by presenting very small-size TBDD-representations of the hidden weighted bit functions