Functional Decomposition with Applications to FPGA Synthesis
Seiten
2001
Springer (Verlag)
978-0-7923-7585-2 (ISBN)
Springer (Verlag)
978-0-7923-7585-2 (ISBN)
Field Programmable Gate Arrays (FPGAs) offer millions of system gates at low cost and considerable speed. This work charts the renewed interest in functional decomposition, which has emerged as an essential technique in automatic logic synthesis for FPGAs.
During the last few years Field Programmable Gate Arrays (FPGAs) have become increasingly important. Thanks to recent breakthroughs in technology, FPGAs offer millions of system gates at low cost and considerable speed.
Functional decomposition has emerged as an essential technique in automatic logic synthesis for FPGAs. Functional decomposition as a technique to find realizations for Boolean functions was already introduced in the late fifties and early sixties by Ashenhurst, Curtis, Roth and Karp. In recent years, however, it has attracted a great deal of renewed attention, for several reasons. First, it is especially well suited for the synthesis of lookup-table based FPGAs. Also, the increased capacities of today's computers as well as the development of new methods have made the method applicable to larger-scale problems. Modern techniques for functional decomposition profit from the success of Reduced Ordered Binary Decision Diagrams (ROBDDs), data structures that provide compact representations for many Boolean functions occurring in practical applications. We have now seen the development of algorithms for functional decomposition which work directly based on ROBDDs, so that the decomposition algorithm works based on compact representations and not on function tables or decomposition matrices as in previous approaches.
The book presents, in a consistent manner, a comprehensive presentation of a multitude of results stemming from the author's as well as various researchers' work in the field. Apart from the basic method, it also covers functional decomposition for incompletely specified functions, decomposition for multi-output functions and non-disjoint decomposition.
Functional Decomposition with Application to FPGA Synthesis will be of interest both to researchers and advanced students in logic synthesis, VLSI CAD, and Design Automation as well as professionals working in FPGA design and the developmentof algorithms for FPGA synthesis.
During the last few years Field Programmable Gate Arrays (FPGAs) have become increasingly important. Thanks to recent breakthroughs in technology, FPGAs offer millions of system gates at low cost and considerable speed.
Functional decomposition has emerged as an essential technique in automatic logic synthesis for FPGAs. Functional decomposition as a technique to find realizations for Boolean functions was already introduced in the late fifties and early sixties by Ashenhurst, Curtis, Roth and Karp. In recent years, however, it has attracted a great deal of renewed attention, for several reasons. First, it is especially well suited for the synthesis of lookup-table based FPGAs. Also, the increased capacities of today's computers as well as the development of new methods have made the method applicable to larger-scale problems. Modern techniques for functional decomposition profit from the success of Reduced Ordered Binary Decision Diagrams (ROBDDs), data structures that provide compact representations for many Boolean functions occurring in practical applications. We have now seen the development of algorithms for functional decomposition which work directly based on ROBDDs, so that the decomposition algorithm works based on compact representations and not on function tables or decomposition matrices as in previous approaches.
The book presents, in a consistent manner, a comprehensive presentation of a multitude of results stemming from the author's as well as various researchers' work in the field. Apart from the basic method, it also covers functional decomposition for incompletely specified functions, decomposition for multi-output functions and non-disjoint decomposition.
Functional Decomposition with Application to FPGA Synthesis will be of interest both to researchers and advanced students in logic synthesis, VLSI CAD, and Design Automation as well as professionals working in FPGA design and the developmentof algorithms for FPGA synthesis.
1. Realizations of Boolean Functions.- 2. Minimization of BDDs.- 3. Functional Decomposition for Completely Specified Single-Output Functions.- 4. Functional Decomposition for Completely Specified Multi-Output Functions.- 5. Functional Decomposition for Incompletely Specified Functions.- 6. Non-Disjoint Decompositions.- 7. Large Circuits.- Appendices.- An example for an FPGA device.- Complexity of CM.- Characterization of weak and strong symmetry.- Complexity of MSP.- Making a function strongly symmetric.- Compatibility of don’t care minimization methods.- Symmetries and decomposability.- Complexity of CDF.- ROBDD based computation of compatibility classes.- Maximal don’t care sets.
| Erscheint lt. Verlag | 31.10.2001 |
|---|---|
| Zusatzinfo | XXIV, 264 p. |
| Verlagsort | Dordrecht |
| Sprache | englisch |
| Maße | 156 x 234 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Technik ► Elektrotechnik / Energietechnik | |
| ISBN-10 | 0-7923-7585-8 / 0792375858 |
| ISBN-13 | 978-0-7923-7585-2 / 9780792375852 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
