Generation of Cube Sets from BDDs
- 110 Downloads
In many problems on digital system design, cube sets (also called covers, PLA forms, sum-of-products forms, or two-level logics) are used to represent Boolean functions. They have been extensively studied for many years, and their manipulation algorithms are important in LSI CAD systems. In general, it is not so difficult to generate BDDs from cube sets, but there are no efficient methods for generating compact cube sets from BDDs.
KeywordsBoolean Function Recursive Operator Redundant Node Prime Implicant Digital System Design
Unable to display preview. Download preview PDF.