Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms
Author :
Publisher : Springer Science & Business Media
Total Pages : 579
Release :
ISBN-10 : 9780306475924
ISBN-13 : 0306475928
Rating : 4/5 (24 Downloads)

Book Synopsis Logic Synthesis and Verification Algorithms by : Gary D. Hachtel

Download or read book Logic Synthesis and Verification Algorithms written by Gary D. Hachtel and published by Springer Science & Business Media. This book was released on 2005-12-17 with total page 579 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Logic Synthesis and Verification Algorithms Related Books

Logic Synthesis and Verification Algorithms
Language: en
Pages: 579
Authors: Gary D. Hachtel
Categories: Technology & Engineering
Type: BOOK - Published: 2005-12-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced lev
Logic Synthesis and Verification
Language: en
Pages: 474
Authors: Soha Hassoun
Categories: Computers
Type: BOOK - Published: 2001-11-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and th
Reasoning in Boolean Networks
Language: en
Pages: 235
Authors: Wolfgang Kunz
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and forma
VHDL Coding and Logic Synthesis with Synopsys
Language: en
Pages: 417
Authors: Weng Fook Lee
Categories: Technology & Engineering
Type: BOOK - Published: 2000-08-22 - Publisher: Elsevier

DOWNLOAD EBOOK

This book provides the most up-to-date coverage using the Synopsys program in the design of integrated circuits. The incorporation of "synthesis tools" is the m
Advanced Logic Synthesis
Language: en
Pages: 236
Authors: André Inácio Reis
Categories: Technology & Engineering
Type: BOOK - Published: 2017-11-15 - Publisher: Springer

DOWNLOAD EBOOK

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 tec