Algorithms and Data Structures in Vlsi Design: Obdd - Foundations And Applications