Summer Reading Sale
 
 

Recently Viewed clear list


The Powell's Playlist | June 18, 2014

Daniel H. Wilson: IMG The Powell’s Playlist: Daniel H. Wilson



Like many writers, I'm constantly haunting coffee shops with a laptop out and my headphones on. I listen to a lot of music while I write, and songs... Continue »

spacer
Qualifying orders ship free.
$281.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Artificial Intelligence- Fuzzy Logic

This title in other editions

Other titles in the Kluwer International Series in Engineering & Computer Science series:

Reasoning in Boolean Networks (Kluwer International Series in Engineering & Computer Science)

by

Reasoning in Boolean Networks (Kluwer International Series in Engineering & Computer Science) Cover

 

Synopses & Reviews

Publisher Comments:

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques.
While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems.
Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material.
Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.

Book News Annotation:

Develops new methods for analyzing the logic function of a given circuit, describing an alternative approach to dealing with Boolean functions and their implementations as multi-level circuits. The approach promises to be useful for supplementing existing Boolean representations in cases where they fail. Also demonstrates the usefulness of testing techniques in logic synthesis. Describes basic algorithmic concepts in automatic test pattern generation, logic synthesis, and verification; elaborates their relationship; and provides example applications to various problems relating to computer-aided design.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Synopsis:

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques. While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems. Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material. Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.

Table of Contents

Foreword. Preface. 1. Preliminaries. 2. Combinational ATPG. 3. Recursive Learning. 3. And/Or Reasoning Graphs. 5. Logic Optimization. 6. Logic Verification. 7. Conclusions and Future Work. References. Appendix. Index.

Product Details

ISBN:
9780792399216
Author:
Kunz, Wolfgang
Publisher:
Springer
Author:
Stoffel, Dominik
Location:
Boston, MA
Subject:
Engineering - Electrical & Electronic
Subject:
CAD-CAM - General
Subject:
Logic Design
Subject:
Integrated circuits
Subject:
Logic design -- Data processing.
Subject:
Integrated circuits -- Verification -- Data processing.
Subject:
Electricity
Subject:
Computer-Aided Engineering (CAD, CAE) and Design
Subject:
Electrical engineering
Subject:
Artificial Intelligence - Fuzzy Logic
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Engineering
Subject:
Computer-aided design
Subject:
Computer Engineering
Copyright:
Edition Number:
1
Edition Description:
Book
Series:
Frontiers in Electronic Testing
Series Volume:
9
Publication Date:
19970630
Binding:
HARDCOVER
Language:
English
Illustrations:
Yes
Pages:
245
Dimensions:
240 x 160 mm 1160 gr

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Artificial Intelligence » Robotics
Computers and Internet » Operating Systems » Microsoft Windows » Windows 95 » Applications
Engineering » Engineering » CAD
Science and Mathematics » Electricity » General Electricity
Science and Mathematics » Materials Science » General

Reasoning in Boolean Networks (Kluwer International Series in Engineering & Computer Science) New Hardcover
0 stars - 0 reviews
$281.25 In Stock
Product details 245 pages Kluwer Academic Publishers - English 9780792399216 Reviews:
"Synopsis" by , Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques. While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems. Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material. Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.