Preprint
Sep 2026
XBDD: A Highly Optimized ROBDD with Per-Edge Variable-Flip Maps
The Reduced Ordered Binary Decision Diagram (ROBDD) is a canonical representation of Boolean functions and is widely used in tasks such as equivalence checking and satisfiability checking of combinational circuits. Classical ROBDD packages greatly improve the efficiency of building ROBDDs through a series of optimizati...
Ying-Long Gan, Jin-Tao Yu, Sheng-Gang Ying et al.
· 0 citations