DocumentCode
1012393
Title
OBDD variable ordering by interleaving compacted clusters
Author
Yeh, Fu-Min ; Lin, Chen-Shang
Author_Institution
Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Volume
31
Issue
20
fYear
1995
fDate
9/28/1995 12:00:00 AM
Firstpage
1724
Lastpage
1725
Abstract
An effective method for variable ordering of OBDDs (ordered binary decision diagrams) based on the interleaving of the compacted clusters is proposed. The novelty of this method lies in the application of the divide-and-conquer approach to efficiently find a good variable ordering for circuits with a large number of I/Os. One notable result from this method is that the OBDD is able to be built using the cs38417 circuit, the remaining unreported circuit in the ISCAS89 benchmark
Keywords
Boolean functions; logic design; OBDD variable ordering; compacted clusters interleaving; divide/conquer approach; logic synthesis; ordered BDD;
fLanguage
English
Journal_Title
Electronics Letters
Publisher
iet
ISSN
0013-5194
Type
jour
DOI
10.1049/el:19951177
Filename
469213
Link To Document