Reasoning in Boolean Networks

Logic Synthesis and Verification Using Testing Techniques

By: Wolfgang Kunz, Dominik Stoffel

Write A Review

Hardcover | 30 June 1997

At a Glance

Hardcover
248 Pages

Dimensions(cm)
25.4 x 17.15 x 1.91

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Computer Science Computer Architecture & Logic Design Energy Technology & Engineering

Electrical Engineering Graphical & Digital Media Applications Computer-Aided Design CAD

Other Editions and Formats

Paperback

Published: 7th December 2010

View Product

Foreword
Preface
Preliminaries	p. 1
Combinational ATPG	p. 17
Recursive Learning	p. 49
And/Or Reasoning Graphs	p. 75
Logic Optimization	p. 101
Logic Verification	p. 163
Conclusions and Future Work	p. 197
References	p. 201
Appendix	p. 213
Index	p. 227
Table of Contents provided by Blackwell. All Rights Reserved.

Reasoning in Boolean Networks

Logic Synthesis and Verification Using Testing Techniques

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Circuits & Components

Open Circuits

The Inner Beauty of Electronic Components

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Circuits and Systems

A Modern Approach

Recent Advances in Compact Antennas

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Encyclopedia of Electronic Components Volume 2

Make: More Electronics

Journey Deep into the World of Logic Chips, Amplifiers, Sensors, and Randomicity

Learning the Art of Electronics

A Hands-On Lab Course

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Introductory Circuit Analysis, Global Edition

14th Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

The Audio Circuits Cookbook

Building Blocks and Tools to Design Professional Audio Devices

Bridge Structural Health Monitoring

The Truss Bridge Management System

Tiny Machine Learning Techniques for Constrained Devices

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Smart Grids

Sustainable Energy Systems

Signal Integrity in Digital Systems

Principles and Practice

5G and Beyond Wireless Networks

Technology, Network Deployments, and Materials for Antenna Design

Advanced Field-Effect Transistors

Theory and Applications

Design and Control of Physical and Cyber-Physical Systems

Electrical Drive Simulation with MATLAB/Simulink

Selected Technologies

Electrical Machines and Their Applications

Elements of Electromigration

Electromigration in 3D IC technology

This product is categorised by