DocumentCode
947819
Title
Building BDDs with ordering-reshuffle strategy
Author
Lin, C.-S.
Volume
29
Issue
17
fYear
1993
Firstpage
1540
Lastpage
1541
Abstract
An ordering-reshuffle strategy for building binary decision diagrams (BDDs) from a net list description is proposed. This algorithm dynamically modifies an initial ordering according to the encountered adverse situation to maintain the intermediate BDD under a reasonable size. The effectiveness of this strategy is demonstrated by building common-ordering BDDs for large circuits in the ISCAS85 benchmark including c7552 which hitherto has not been successful.<>
Keywords
Boolean functions; diagrams; logic CAD; CAD; ISCAS85 benchmark; binary decision diagrams; c7552; circuits; common-ordering BDDs; logic design; net list description; ordering-reshuffle strategy;
fLanguage
English
Journal_Title
Electronics Letters
Publisher
iet
ISSN
0013-5194
Type
jour
DOI
10.1049/el:19931026
Filename
234378
Link To Document