𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - Efficient implementation of a BDD package

✍ Scribed by Brace, Karl S.; Rudell, Richard L.; Bryant, Randal E.

Book ID: 111937497
Publisher: ACM Press
Year: 1990
Weight: 768 KB
Volume: 0
Category: Article
ISBN-13: 9780897913638
DOI: 10.1145/123186.123222

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press Conference proceedings - Orla

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - System simulation of printed circuit boards including packages and connectors

✍ Adamiak, K.; Allen, R.; Poltz, J.; Rebizant, C.; Wexler, A. 📂 Article 📅 1990 🏛 ACM Press ⚖ 560 KB

[ACM Press 24th ACM/IEEE conference proc

[ACM Press 24th ACM/IEEE conference proceedings - Miami Beach, Florida, United States (1987.06.28-1987.07.01)] 24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 - A parallel PLA minimization program

✍ Galivanche, R.; Reddy, S. M. 📂 Article 📅 1987 🏛 ACM Press ⚖ 765 KB

[ACM Press the 28th conference - San Fra

[ACM Press the 28th conference - San Francisco, California, United States (1991.06.17-1991.06.22)] Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 - Analytical placement

✍ Sigl, Georg; Doll, Konrad; Johannes, Frank M. 📂 Article 📅 1991 🏛 ACM Press ⚖ 624 KB

[ACM Press the 36th ACM/IEEE conference

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Time-mapped harmonic balance

✍ Nastov, Ognen J.; White, Jacob K. 📂 Article 📅 1999 🏛 ACM Press ⚖ 130 KB

[ACM Press the 36th ACM/IEEE conference

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Developing an architecture validation suite

✍ Fournier, Laurent; Koyfman, Anatoly; Levinger, Moshe 📂 Article 📅 1999 🏛 ACM Press ⚖ 48 KB

[ACM Press the 36th ACM/IEEE conference

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - A study in coverage-driven test generation

✍ Benjamin, Mike; Geist, Daniel; Hartman, Alan; Mas, Gerard; Smeets, Ralph; Wolfst 📂 Article 📅 1999 🏛 ACM Press ⚖ 65 KB