Abstract: The data structures which have a significant role for representing and manipulating Boolean functions in VLSI Design Automation are Reduced Ordered Binary Decision Diagrams (ROBDDs). Boolean ...