Switching Theory for Logic Synthesis
Switching Theory for Logic Synthesis

Author: Tsutomu Sasao

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 368

ISBN-13: 1461551390

DOWNLOAD EBOOK

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation. Chapters 6 through 8 include an introduction to sequential circuits, optimization of sequential machines and asynchronous sequential circuits. Chapters 9 through 14 are the main feature of the book. These chapters introduce and explain various topics that make up the subject of logic synthesis: multi-valued input two-valued output function, logic design for PLDs/FPGAs, EXOR-based design, and complexity theories of logic networks. An appendix providing a history of switching theory is included. The reference list consists of over four hundred entries. Switching Theory for Logic Synthesis is based on the author's lectures at Kyushu Institute of Technology as well as seminars for CAD engineers from various Japanese technology companies. Switching Theory for Logic Synthesis will be of interest to CAD professionals and students at the advanced level. It is also useful as a textbook, as each chapter contains examples, illustrations, and exercises.

Switching Theory for Logic Synthesis
Switching Theory for Logic Synthesis

Author: Tsutomu Sasao

Publisher: Springer

Published: 2012-10-04

Total Pages: 0

ISBN-13: 9781461373391

DOWNLOAD EBOOK

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation. Chapters 6 through 8 include an introduction to sequential circuits, optimization of sequential machines and asynchronous sequential circuits. Chapters 9 through 14 are the main feature of the book. These chapters introduce and explain various topics that make up the subject of logic synthesis: multi-valued input two-valued output function, logic design for PLDs/FPGAs, EXOR-based design, and complexity theories of logic networks. An appendix providing a history of switching theory is included. The reference list consists of over four hundred entries. Switching Theory for Logic Synthesis is based on the author's lectures at Kyushu Institute of Technology as well as seminars for CAD engineers from various Japanese technology companies. Switching Theory for Logic Synthesis will be of interest to CAD professionals and students at the advanced level. It is also useful as a textbook, as each chapter contains examples, illustrations, and exercises.

Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis

Author: Robert K. Brayton

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 204

ISBN-13: 1461328217

DOWNLOAD EBOOK

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.

Logic Synthesis and Verification
Logic Synthesis and Verification

Author: Soha Hassoun

Publisher: Springer Science & Business Media

Published: 2001-11-30

Total Pages: 474

ISBN-13: 9780792376064

DOWNLOAD EBOOK

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges. Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification. It consists of fifteen chapters, each focusing on a distinct aspect. Each chapter presents key developments, outlines future challenges, and lists essential references. Two unique features of this book are technical strength and comprehensiveness. The book chapters are written by twenty-eight recognized leaders in the field and reviewed by equally qualified experts. The topics collectively span the field. Logic Synthesis and Verification fills a current gap in the existing CAD literature. Each chapter contains essential information to study a topic at a great depth, and to understand further developments in the field. The book is intended for seniors, graduate students, researchers, and developers of related Computer-Aided Design (CAD) tools. From the foreword: "The commercial success of logic synthesis and verification is due in large part to the ideas of many of the authors of this book. Their innovative work contributed to design automation tools that permanently changed the course of electronic design." by Aart J. de Geus, Chairman and CEO, Synopsys, Inc.

Modern Digital Design and Switching Theory
Modern Digital Design and Switching Theory

Author: Eugene D. Fabricius

Publisher: CRC Press

Published: 1992-06-23

Total Pages: 492

ISBN-13: 9780849342127

DOWNLOAD EBOOK

Modern Digital Design and Switching Theory is an important text that focuses on promoting an understanding of digital logic and the computer programs used in the minimization of logic expressions. Several computer approaches are explained at an elementary level, including the Quine-McCluskey method as applied to single and multiple output functions, the Shannon expansion approach to multilevel logic, the Directed Search Algorithm, and the method of Consensus. Chapters 9 and 10 offer an introduction to current research in field programmable devices and multilevel logic synthesis. Chapter 9 covers more advanced topics in programmed logic devices, including techniques for input decoding and Field-Programmable Gate Arrays (FPGAs). Chapter 10 includes a discussion of boolean division, kernels and factoring, boolean tree structures, rectangle covering, binary decision diagrams, and if-then-else operators. Computer algorithms covered in these two chapters include weak division, iterative weak division, and kernel extraction by tabular methods and by rectangle covering theory. Modern Digital Design and Switching Theory is an excellent textbook for electrical and computer engineering students, in addition to a worthwhile reference for professionals working with integrated circuits.

Digital Principles Switching Theory
Digital Principles Switching Theory

Author: A. K. Singh

Publisher: New Age International

Published: 2006

Total Pages: 63

ISBN-13: 8122419399

DOWNLOAD EBOOK

This comprehensive text fulfills the course requirement on the subject of Switching Theory and Digital Circuit Design for B. Tech. degree course in Electronics, Computer Science and Technology, Electronic & Communication, Electronic & Electrical, Electronic & Instrumentation, Electronic Instrumentation & Control, Instrumentation & Control Engineering of U.P. Technical University, Lucknow and other Technical Universities of India. It will also serve as a useful reference book for competitive examinations. All the topics are illustrated with clear diagram and simple language is used throughout the text to facilitate easy understanding of the concepts. There is no special pre-requisite before starting this book. Each chapter of the book starts with simple facts and concepts, and traverse through the examples and figures.

Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms

Author: Gary D. Hachtel

Publisher: Springer Science & Business Media

Published: 2005-12-17

Total Pages: 579

ISBN-13: 0306475928

DOWNLOAD EBOOK

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.

SWITCHING THEORY AND LOGIC DESIGN
SWITCHING THEORY AND LOGIC DESIGN

Author: A. ANAND KUMAR

Publisher: PHI Learning Pvt. Ltd.

Published: 2014-03-06

Total Pages: 841

ISBN-13: 8120349385

DOWNLOAD EBOOK

This comprehensive text on switching theory and logic design is designed for the undergraduate students of electronics and communication engineering, electrical and electronics engineering, electronics and instrumentation engineering, telecommunication engineering, computer science and engineering, and information technology. It will also be useful to AMIE, IETE and diploma students. Written in a student-friendly style, this book, now in its Second Edition, provides an in-depth knowledge of switching theory and the design techniques of digital circuits. Striking a balance between theory and practice, it covers topics ranging from number systems, binary codes, logic gates and Boolean algebra to minimization using K-maps and tabular method, design of combinational logic circuits, synchronous and asynchronous sequential circuits, and algorithmic state machines. The book discusses threshold gates and programmable logic devices (PLDs). In addition, it elaborates on flip-flops and shift registers. Each chapter includes several fully worked-out examples so that the students get a thorough grounding in related design concepts. Short questions with answers, review questions, fill in the blanks, multiple choice questions and problems are provided at the end of each chapter. These help the students test their level of understanding of the subject and prepare for examinations confidently. NEW TO THIS EDITION • VHDL programs at the end of each chapter • Complete answers with figures • Several new problems with answers

Fundamentals of Switching Theory and Logic Design
Fundamentals of Switching Theory and Logic Design

Author: Jaakko Astola

Publisher: Springer Science & Business Media

Published: 2006-03-07

Total Pages: 352

ISBN-13: 0387285938

DOWNLOAD EBOOK

Fundamentals of Switching Theory and Logic Design discusses the basics of switching theory and logic design from a slightly alternative point of view and also presents links between switching theory and related areas of signal processing and system theory. Switching theory is a branch of applied mathematic providing mathematical foundations for logic design, which can be considered as a part of digital system design concerning realizations of systems whose inputs and outputs are described by logic functions.