𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Zero, successor and equality in BDDs

✍ Scribed by Bahareh Badban; Jaco van de Pol

Book ID
103811396
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
902 KB
Volume
133
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Memory optimization in function and set
Memory optimization in function and set manipulation with BDDs
✍ G Cabodi; S Quer; P Camurati πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 222 KB

Binary Decision Diagrams (BDDs) are the state-of-the-art technique for many synthesis, verification and testing problems in CAD for VLSI. Many researchers proposed optimized BDD-based representations, but in many complex applications the (working) memory required is still too much. Virtual memory is