Advanced Logic Synthesis
Herausgegeben:Reis, André Inácio; Drechsler, Rolf
Advanced Logic Synthesis
Herausgegeben:Reis, André Inácio; Drechsler, Rolf
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors' expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms.
Andere Kunden interessierten sich auch für
- Advanced Boolean Techniques74,99 €
- Formal System Verification88,99 €
- Naijun ZhanFormal Verification of Simulink/Stateflow Diagrams85,99 €
- Alexander BarkalovLogic Synthesis for VLSI-Based Combined Finite State Machines117,99 €
- Alexander BarkalovLogic Synthesis for FPGA-Based Finite State Machines74,99 €
- Advanced Boolean Techniques74,99 €
- David M. RussinoffFormal Verification of Floating-Point Hardware Design63,99 €
-
-
-
This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors' expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and frameworks in order to have better logic synthesis algorithms.
Produktdetails
- Produktdetails
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-319-88407-3
- Softcover reprint of the original 1st ed. 2018
- Seitenzahl: 244
- Erscheinungstermin: 1. September 2018
- Englisch
- Abmessung: 235mm x 155mm x 14mm
- Gewicht: 379g
- ISBN-13: 9783319884073
- ISBN-10: 3319884077
- Artikelnr.: 55127512
- Herstellerkennzeichnung
- Books on Demand GmbH
- In de Tarpen 42
- 22848 Norderstedt
- info@bod.de
- 040 53433511
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-319-88407-3
- Softcover reprint of the original 1st ed. 2018
- Seitenzahl: 244
- Erscheinungstermin: 1. September 2018
- Englisch
- Abmessung: 235mm x 155mm x 14mm
- Gewicht: 379g
- ISBN-13: 9783319884073
- ISBN-10: 3319884077
- Artikelnr.: 55127512
- Herstellerkennzeichnung
- Books on Demand GmbH
- In de Tarpen 42
- 22848 Norderstedt
- info@bod.de
- 040 53433511
André Inácio Reis is a Professor at the Institute of Informatics, UFRGS, Brazil, since 2000. He is a senior member of IEEE and ACM, and co-authored more than 200 academic papers and 10 granted USA patents. He received best paper awards from IFIP VLSI 1997, SBCCI 2013 and IWLS 2015. Prof. Andre Reis is actively involved with the organization of ACM/IEEE IWLS. Andre Reis is an advisor for Nangate Inc since 2005, and coordinated cooperation directly between UFRGS and Nangate, as well as among Nangate, UFRGS and six other partners during the European FP7 project Synaptic. The primary research interest of Andre Reis is EDA, focusing on design flow convergence, general purpose optimization (SAT, SMT, ILP), and scalability for large designs (through parallelism and EDA 3.0). Additional interests include technical writing of articles, patents, and intellectual property legal aspects. Prof. Andre Reis wrote more than 500 poems and received awards for poetry writing. Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.
EDA3.0: Implications to Logic Synthesis.- Can parallel programming revolutionize EDA tools?.- Emerging Circuit Technologies: An Overview on the Next Generation of Circuits.- Physical Awareness starting at Technology-Independent Logic Synthesis.- Identifying Transparent Logic in Gate-Level Circuits.- Automated Pipeline Transformations with Fluid Pipelines.- Analysis of Incomplete Circuits using Dependency Quantied Boolean Formulas.- Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver.- A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit.- Decomposition of Index Generation Functions Using a Monte Carlo Method.
EDA3.0: Implications to Logic Synthesis.- Can parallel programming revolutionize EDA tools?.- Emerging Circuit Technologies: An Overview on the Next Generation of Circuits.- Physical Awareness starting at Technology-Independent Logic Synthesis.- Identifying Transparent Logic in Gate-Level Circuits.- Automated Pipeline Transformations with Fluid Pipelines.- Analysis of Incomplete Circuits using Dependency Quantied Boolean Formulas.- Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver.- A Branch-and-Bound-Based Minterm Assignment Algorithm for Synthesizing Stochastic Circuit.- Decomposition of Index Generation Functions Using a Monte Carlo Method.