Current Research - Parallel BDD's

My current research involves taking the Homebrew BDD library and distributing its depth-first algorithm across multiple processors.

The current implementation is happening on Computer Science's Meiko CS-2 parallel computer. High-level communication and rpc abstractions are being provided by Split-C.

Here is a sample distributed Binary Decision Diagram, with a pretty wild distribution, where the first number in each bubble represents the level number and the second number indicates, in this example, one of the 4 processors on which the node is located.