Abstract
The manipulation of Boolean functions is a fundamental part of computer science, and many problems in the design and testing of digital systems can be expressed as a sequence of operations on Boolean functions. The recent advance in very large-scale integration (VLSI) technology has caused these problems to grow beyond the scope of manual design procedures, and has resulted in the wide use of computer-aided design (CAD) systems. The performance of these systems greatly depends on the efficiency with which Boolean functions are manipulated, and this is also a very important technique in computer science problems such as artificial intelligence and combinatorics.
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). Introduction. 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_1
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1303-8_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8558-8
Online ISBN: 978-1-4613-1303-8
eBook Packages: Springer Book Archive