Can I read Distributed dynamic BDD reordering on EtoBox?

Distributed dynamic BDD reordering by Ziv Nevo; Monica Farkash is a scholarly article available to read on EtoBox.

What is Distributed dynamic BDD reordering about?

Dynamic BDD reordering is usually a computationallydemanding process, and may slow down BDD-based applications. We propose a novel algorithm for distributing this process over a number of computers, improving both reordering time and application time. Our algorithm is based on Rudell's popular sifting algorithm, and takes advantage of a few empirical observations we make regarding Rudell's algorithm. Experimental results show the efficiency and scalability of our approach, when applied within an industrial model checker.

Author

Ziv Nevo; Monica Farkash

Publisher

ACM Press

Published

2006

Language

EN