Logic Minimization Algorithms for VLSI Synthesis by Robert K. Brayton (English)

Description: Logic Minimization Algorithms for VLSI Synthesis by Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli The fruits of this investigation were surprisingly abundant: it was apparent from an initial implementation of recursive logic minimiza tion (ESPRESSO-I) that, if we merged our new results into a two-level minimization program, an important step forward in automatic logic synthesis could result. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor tance of logic minimization for the synthesis of area and performance effective circuits clearly emerged. In 1980, Richard Newton stirred our interest by pointing out new heuristic algorithms for two-level logic minimization and the potential for improving upon existing approaches. In the summer of 1981, the authors organized and participated in a seminar on logic manipulation at IBM Research. One of the goals of the seminar was to study the literature on logic minimization and to look at heuristic algorithms from a fundamental and comparative point of view. The fruits of this investigation were surprisingly abundant: it was apparent from an initial implementation of recursive logic minimiza tion (ESPRESSO-I) that, if we merged our new results into a two-level minimization program, an important step forward in automatic logic synthesis could result. ESPRESSO-II was born and an APL implemen tation was created in the summer of 1982. The results of preliminary tests on a fairly large set of industrial examples were good enough to justify the publication of our algorithms. It is hoped that the strength and speed of our minimizer warrant its Italian name, which denotes both express delivery and a specially-brewed black coffee. Table of Contents 1. Introduction.- 1.1 Design Styles for VLSI Systems.- 1.2 Automatic Logic Synthesis.- 1.3 PLA Implementation.- 1.4 History of Logic Minimization.- 1.5 ESPRESSO-II.- 1.6 Organization of the Book.- 2. Basic Definitions.- 2.1 Operations on Logic Functions.- 2.2 Algebraic Representation of a Logic Function.- 2.3 Cubes and Covers.- 3. Decomposition and Unate Functions.- 3.1 Cofactors and the Shannon Expansion.- 3.2 Merging.- 3.3 Unate Functions.- 3.4 The Choice of the Splitting Variable.- 3.5 Unate Complementation.- 3.6 SIMPLIFY.- 4. The ESPRESSO Minimization Loop and Algorithms.- 4.0 Introduction.- 4.1 Complementation.- 4.2 Tautology.- 4.3 Expand.- 4.4 Essential Primes.- 4.5 Irredundant Cover.- 4.6 Reduction.- 4.7 Lastgasp.- 4.8 Makesparse.- 4.9 Output Splitting.- 5. Multiple-Valued Minimization.- 6. Experimental Results.- 6.1 Analysis of Raw Data for ESPRESSO-IIAPL.- 6.2 Analysis of Algorithms.- 6.3 Optimality of ESPRESSO-II Results.- 7. Comparisons and Conclusions.- 7.1 Qualitative Evaluation of Algorithms of ESPRESSO-II.- 7.2 Comparison with ESPRESSO-IIC.- 7.3 Comparison of ESPRESSO-II with Other Programs.- 7.4 Other Applications of Logic Minimization.- 7.5 Directions for Future Research.- References. Review `In short, a quite remarkable realization in the field. Zentrallblatt fÜr Mathematik (1986) Promotional Springer Book Archives Long Description The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor Review Quote In short, a quite remarkable realization in the field. Zentrallblatt fr Mathematik (1986) Details ISBN1461297842 Author Alberto L. Sangiovanni-Vincentelli Language English Edition 84198th ISBN-10 1461297842 ISBN-13 9781461297840 Short Title LOGIC MINIMIZATION ALGORITHMS Media Book Series Number 2 Year 2011 Publication Date 2011-09-17 Imprint Springer-Verlag New York Inc. Place of Publication New York, NY Country of Publication United States Affiliation University of Colorado Illustrations XII, 194 p. DOI 10.1007/978-1-4613-2821-6 AU Release Date 2011-09-17 NZ Release Date 2011-09-17 US Release Date 2011-09-17 UK Release Date 2011-09-17 Pages 194 Publisher Springer-Verlag New York Inc. Edition Description Softcover reprint of the original 1st ed. 1984 Series The Springer International Series in Engineering and Computer Science Format Paperback Alternative 9780898381641 DEWEY 621.38173 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:137762617;

Price: 418.42 AUD

Location: Melbourne

End Time: 2024-11-07T09:00:25.000Z

Shipping Cost: 0 AUD