TY - GEN
T1 - Parallel implementation of BDD algorithms using a distributed shared memory
AU - Parasuram, Yegnashankar
AU - Stabler, Edward
AU - Chin, Shiu Kai
PY - 1994
Y1 - 1994
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0028015172&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0028015172&partnerID=8YFLogxK
U2 - 10.1109/hicss.1994.323189
DO - 10.1109/hicss.1994.323189
M3 - Conference contribution
AN - SCOPUS:0028015172
SN - 0818650508
SN - 9780818650505
T3 - Proceedings of the Hawaii International Conference on System Sciences
SP - 16
EP - 25
BT - Proceedings of the Hawaii International Conference on System Sciences
PB - IEEE Computer Society
T2 - Proceedings of the 27th Hawaii International Conference on System Sciences (HICSS-27). Part 4 (of 5)
Y2 - 4 January 1994 through 7 January 1994
ER -