Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Minato, Si. (1996). Generation of Cube Sets from BDDs. In: Binary Decision Diagrams and Applications for VLSI CAD. The Kluwer International Series in Engineering and Computer Science, vol 342. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1303-8_5
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1303-8_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8558-8
Online ISBN: 978-1-4613-1303-8
eBook Packages: Springer Book Archive