Technology Mapping for LUT-Based FPGA

This book covers selected topics of automated logic synthesis dedicated to FPGAs. The authors focused on two main problems: decomposition of the multioutput functions and technology mapping. Additionally, the idea of using binary decision diagrams (BDD) in these processes was presented. The book is a scientific monograph summarizing the authors' many years of research. As a result, it contains a large number of experimental results, which makes it a valuable source for other researchers. The book has a significant didactic value. Its arrangement allows for a gradual transition from basic things (e.g., description of logic functions) to much more complex issues. This approach allows less advanced readers to better understand the described problems. In addition, the authors made sure that the issues described in the book were supported by practical examples, thanks to which the reader can independently analyze even the most complex problems described in the book.

Summarizes recent research results in the field of decomposition and technology mapping for FPGAs Contains a large number of examples Includes the authors' many years of own research results

Inhalt
Introduction.- Methods for representing Boolean Functions - basic definitions.- Binary decision diagrams (BDD).- Theoretical basis of decomposition.- Decomposition of functions described using BDD.- Ordering variables in BDD diagrams.- Nondisjoint decomposition.- Decomposition of multioutput functions described using BDD.- Partial sharing of logic resources.- Ability of the configuration of configurable logic blocks.