Logic Synthesis and Verification

Logic Synthesis and Verification
Author: Soha Hassoun
Publisher: Springer Science & Business Media
Total Pages: 474
Release: 2001-11-30
Genre: Computers
ISBN: 9780792376064

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.

Digital Logic Design Using Verilog

Digital Logic Design Using Verilog
Author: Vaibbhav Taraate
Publisher: Springer
Total Pages: 431
Release: 2016-05-17
Genre: Technology & Engineering
ISBN: 8132227913

This book is designed to serve as a hands-on professional reference with additional utility as a textbook for upper undergraduate and some graduate courses in digital logic design. This book is organized in such a way that that it can describe a number of RTL design scenarios, from simple to complex. The book constructs the logic design story from the fundamentals of logic design to advanced RTL design concepts. Keeping in view the importance of miniaturization today, the book gives practical information on the issues with ASIC RTL design and how to overcome these concerns. It clearly explains how to write an efficient RTL code and how to improve design performance. The book also describes advanced RTL design concepts such as low-power design, multiple clock-domain design, and SOC-based design. The practical orientation of the book makes it ideal for training programs for practicing design engineers and for short-term vocational programs. The contents of the book will also make it a useful read for students and hobbyists.

Digital Electronics

Digital Electronics
Author: Anil K. Maini
Publisher: John Wiley & Sons
Total Pages: 752
Release: 2007-09-27
Genre: Technology & Engineering
ISBN: 9780470510513

The fundamentals and implementation of digital electronics are essential to understanding the design and working of consumer/industrial electronics, communications, embedded systems, computers, security and military equipment. Devices used in applications such as these are constantly decreasing in size and employing more complex technology. It is therefore essential for engineers and students to understand the fundamentals, implementation and application principles of digital electronics, devices and integrated circuits. This is so that they can use the most appropriate and effective technique to suit their technical need. This book provides practical and comprehensive coverage of digital electronics, bringing together information on fundamental theory, operational aspects and potential applications. With worked problems, examples, and review questions for each chapter, Digital Electronics includes: information on number systems, binary codes, digital arithmetic, logic gates and families, and Boolean algebra; an in-depth look at multiplexers, de-multiplexers, devices for arithmetic operations, flip-flops and related devices, counters and registers, and data conversion circuits; up-to-date coverage of recent application fields, such as programmable logic devices, microprocessors, microcontrollers, digital troubleshooting and digital instrumentation. A comprehensive, must-read book on digital electronics for senior undergraduate and graduate students of electrical, electronics and computer engineering, and a valuable reference book for professionals and researchers.

VHDL: A Logic Synthesis Approach

VHDL: A Logic Synthesis Approach
Author: D. Naylor
Publisher: Springer Science & Business Media
Total Pages: 354
Release: 1997-07-31
Genre: Computers
ISBN: 9780412616501

This book is structured in a practical, example-driven, manner. The use of VHDL for constructing logic synthesisers is one of the aims of the book; the second is the application of the tools to the design process. Worked examples, questions and answers are provided together with do and don'ts of good practice. An appendix on logic design the source code are available free of charge over the Internet.

Low-Power CMOS Circuits

Low-Power CMOS Circuits
Author: Christian Piguet
Publisher: CRC Press
Total Pages: 438
Release: 2018-10-03
Genre: Technology & Engineering
ISBN: 1420036505

The power consumption of microprocessors is one of the most important challenges of high-performance chips and portable devices. In chapters drawn from Piguet's recently published Low-Power Electronics Design, Low-Power CMOS Circuits: Technology, Logic Design, and CAD Tools addresses the design of low-power circuitry in deep submicron technologies. It provides a focused reference for specialists involved in designing low-power circuitry, from transistors to logic gates. The book is organized into three broad sections for convenient access. The first examines the history of low-power electronics along with a look at emerging and possible future technologies. It also considers other technologies, such as nanotechnologies and optical chips, that may be useful in designing integrated circuits. The second part explains the techniques used to reduce power consumption at low levels. These include clock gating, leakage reduction, interconnecting and communication on chips, and adiabatic circuits. The final section discusses various CAD tools for designing low-power circuits. This section includes three chapters that demonstrate the tools and low-power design issues at three major companies that produce logic synthesizers. Providing detailed examinations contributed by leading experts, Low-Power CMOS Circuits: Technology, Logic Design, and CAD Tools supplies authoritative information on how to design and model for high performance with low power consumption in modern integrated circuits. It is a must-read for anyone designing modern computers or embedded systems.

Digital Integrated Circuit Design

Digital Integrated Circuit Design
Author: Hubert Kaeslin
Publisher: Cambridge University Press
Total Pages: 878
Release: 2008-04-28
Genre: Technology & Engineering
ISBN: 0521882672

This practical, tool-independent guide to designing digital circuits takes a unique, top-down approach, reflecting the nature of the design process in industry. Starting with architecture design, the book comprehensively explains the why and how of digital circuit design, using the physics designers need to know, and no more.

High-Level Synthesis

High-Level Synthesis
Author: Philippe Coussy
Publisher: Springer Science & Business Media
Total Pages: 307
Release: 2008-08-01
Genre: Technology & Engineering
ISBN: 1402085885

This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both industry and academia. It includes an overview of available EDA tool solutions and their applicability to design problems.

Synthesis and Optimization of Digital Circuits

Synthesis and Optimization of Digital Circuits
Author: Giovanni De Micheli
Publisher: McGraw-Hill Science, Engineering & Mathematics
Total Pages: 0
Release: 1994
Genre: Computer-aided design
ISBN: 9780070163331

The book provides a thorough explanation of synthesis and optimization algorithms accompanied by a sound mathematical formulation and a unified notation.

Low Power Design Methodologies

Low Power Design Methodologies
Author: Jan M. Rabaey
Publisher: Springer Science & Business Media
Total Pages: 373
Release: 2012-12-06
Genre: Technology & Engineering
ISBN: 1461523079

Low Power Design Methodologies presents the first in-depth coverage of all the layers of the design hierarchy, ranging from the technology, circuit, logic and architectural levels, up to the system layer. The book gives insight into the mechanisms of power dissipation in digital circuits and presents state of the art approaches to power reduction. Finally, it introduces a global view of low power design methodologies and how these are being captured in the latest design automation environments. The individual chapters are written by the leading researchers in the area, drawn from both industry and academia. Extensive references are included at the end of each chapter. Audience: A broad introduction for anyone interested in low power design. Can also be used as a text book for an advanced graduate class. A starting point for any aspiring researcher.