Showing papers by "Matteo Sonza Reorda published in 1994"

A BDD Package For A Massively Parallel SIMD Architecture

Abstract: paper describes a package for boolean f u n c t i o n njanipulalioii on a massi,ut;ly parallel S I M D architect u re . The package exploits B i n a r y Decis ion Diagrams ( B D D s ) t o symbolically operate ruith boolean fu i i c t ions . Th.e parallel a1gorith.iii.s f o r t h e basic procedures of t he package are report td . The approach is ba,sed o n distr ibut ing BDD nodes t o the available Processing Eleniwnts and traversing B D D s in a breadth-first m a n ner. Two parallel hash tables are imp lemen ted using a double hashing strategy. Air application h a s been dtueloped, arid the ei:periinen,tal results are compared with t h e o n e s proposed in previous works o n m o n o processor architectures. Two aduantages are reached with. o u r imp lemen ta t ion : the CPU t i m e is reduced and t h e ni imber of B D D n.odes which can be handled is s ign if; ca nt l y increase d. T h e