Functional decomposition with application to FPGA synthesis
The book is about functional decomposition of Boolean functions, a very essential technique in logic synthesis for lookup table based field programmable gate arrays (FPGA), which have become increasingly important during the last years. Functional decomposition was already introduced in the late fifties. However, it has attracted a great deal of renewed attention as nowadays FPGAs offer millions of gates at low cost and considerable speed thanks to recent breakthroughs in technology. The increased capacities of today's computers as well as the development of new methods have made the method applicable for large-scale problems.NEWLINENEWLINENEWLINEThe book, which is a revised version of the very excellent PhD Thesis of the author, consists of 2 parts. One part (Chapter 2) concentrates on ``do not care assignment with respect to BDD minimization of incompletely specified functions by exploiting symmetries. The methods proposed go far beyond the approach proposed by Chang, Cheng, and Marek-Sadowska. The second part handles functional decomposition of single-output Boolean functions (Chapter 3) of incompletely specified Boolean functions (Chapter 5), and of multi-output Boolean functions (Chapter 4). In particular, the book demonstrates how symmetries of Boolean functions can be exploited to increase the potential of sharing common decomposition functions of multi-output Boolean functions.NEWLINENEWLINENEWLINEThe book comprises both investigations on the computational complexity of the problems and efficient algorithms and heuristics that solve the problems. It is an excellent book. I suppose that it is of interest to researchers, advanced students, and professionals working in electronic design automation.
- scientific article; zbMATH DE number 811541
- Decomposition of multi-output Boolean functions
- Synthesis of digital systems implemented with programmable logic devices, using decomposition algorithms
- BDD-based decompositions of multiple output logic functions
- scientific article; zbMATH DE number 910731
- A new approach to the decomposition of Boolean functions. IV. Non-disjoint decomposition: the method of p,q-partitions
- Hardware reduction for LUT-based Mealy FSMs
- Improving characteristics of LUT-based mealy FSMs
- Optimization of CMCU with code sharing
- Improving the LUT count for mealy FSMS with transformation of output collections
- The complexity of modular decomposition of Boolean functions
- A new approach to the decomposition of Boolean functions by the method of q-partitions. III: Joint decomposition of a function system
- Synthesis of digital systems implemented with programmable logic devices, using decomposition algorithms
- Comparative study for synthesis of digital systems using decomposition algorithms
- 5 Logic Synthesis Method of Digital Circuits Designed for Implementation with Embedded Memory Blocks of FPGAs
- Decomposition of systems of Boolean functions determined by binary decision diagrams
- Decomposition-based logic synthesis for PAL-based CPLDs
- Guide to FPGA implementation of arithmetic functions
- scientific article; zbMATH DE number 1955868 (Why is no real title available?)
- Symbolic functional decomposition of multivalued functions
- Structural decomposition as a tool for the optimization of an FPGA-based implementation of a Mealy FSM
- scientific article; zbMATH DE number 811541 (Why is no real title available?)
- scientific article; zbMATH DE number 910731 (Why is no real title available?)
- scientific article; zbMATH DE number 7561750 (Why is no real title available?)
- Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs
- Reducing the number of LUTs for Mealy FSMS with state transformation
- An algorithm for solving the problem of algebraic synthesis of a finite-state machine with datapath of transitions based on a matrix approach
- Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram
This page was built for publication: Functional decomposition with application to FPGA synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2770065)
