IEEE - Institute of Electrical and Electronics Engineers, Inc. - A variable reordering method for fast optimization of binary decision diagrams

Proceedings Sixth Asian Test Symposium (ATS'97)

Author(s): Moon-Bae Song ; Hoon Chang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Akita, Japan, Japan
Conference Date: 17 November 1997
Page(s): 228 - 233
ISBN (Paper): 0-8186-8209-4
ISSN (Paper): 1081-7735
DOI: 10.1109/ATS.1997.643963
Regular:

In this paper, a new variable ordering algorithm, distributed reordering algorithm that allows more faster solution than existing ones, is presented. Since this method can accomplish fast... View More

Advertisement