@inproceedings{94e8f761a1944021be3f2094197c241d,
title = "Parallel implementation of BDD algorithms using a distributed shared memory",
abstract = "Binary Decision Diagrams (BDDs) are used extensively in VLSI CAD for verification, synthesis, logic minimization and testing. Parallel algorithms for Boolean Function Manipulation using BDDs have been proposed and implemented on a Connection Machine (CM-5). Abstractions have been developed to support the design of these algorithms using the message passing model of parallel programming. A Distributed Shared Memory (DSM) has been built for sharing data. Fine grained load balancing is achieved using a Distributed Stack. Experimental results are shown for the DSM and the BDD algorithms. These results demonstrate the feasibility of using parallel computing for irregular and memory intensive CAD applications such as the BDD algorithms. Improvements to the current implementation are identified for future work.",
author = "Yegnashankar Parasuram and Edward Stabler and Chin, {Shiu Kai}",
year = "1994",
month = jan,
day = "1",
language = "English (US)",
isbn = "0818650508",
series = "Proceedings of the Hawaii International Conference on System Sciences",
publisher = "IEEE Computer Society",
pages = "16--25",
editor = "Nunamaker, {Jay F.} and Sprague, {Ralph H.Jr.}",
booktitle = "Proceedings of the Hawaii International Conference on System Sciences",
address = "United States",
note = "Proceedings of the 27th Hawaii International Conference on System Sciences (HICSS-27). Part 4 (of 5) ; Conference date: 04-01-1994 Through 07-01-1994",
}