The classical approach of coding BDD packages by recursive synthesis operations, i.e. If-Then-Else, is briefly reviewed [25, 19]. Then a new method based on dynamic reordering is considered [75, 76, 77]. Differences between the two approaches are discussed.
KeywordsOperator Variable Operator Exchange Boolean Variable Peak Size Operator Node
Unable to display preview. Download preview PDF.