✦ LIBER ✦

History-based dynamic BDD minimization

✍ Scribed by Rolf Drechsler; Wolfgang Günther

Book ID: 108410935
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 160 KB
Volume: 31
Category: Article
ISSN: 0167-9260
DOI: 10.1016/s0167-9260(01)00021-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimization of free BDDs

✍ Wolfgang Günther; Rolf Drechsler 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Free binary decision diagrams (FBDDs) are an extension of ordered BDDs (OBDDs) that allow different variable orders along each path. FBDDs are a more efficient representation, while (nearly) all of the properties of OBDDs are kept. In some cases, even an exponential reduction can be observed. In th

BDD

📂 Article 📅 2009 🏛 Springer-Verlag 🌐 German ⚖ 115 KB

A dynamic minimization method

✍ S.S. Kozlov; T.V. Sazonova 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 179 KB

BDD-based synthesis for mixed CMOS/PTL l

BDD-based synthesis for mixed CMOS/PTL logic

✍ Chi-Chou Kao 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 104 KB

Mitteilungen des BDD

📂 Article 📅 2007 🏛 Springer-Verlag 🌐 German ⚖ 145 KB

Mitteilungen des BDD

📂 Article 📅 2008 🏛 Springer-Verlag 🌐 German ⚖ 142 KB