Reasoning in Boolean Networks Logic Synthesis and Verification Using Testing Techniques

Name: Reasoning in Boolean Networks Logic Synthesis and Verification Using Testing Techniques
Price: 169.17 USD
Availability: InStock
ISBN: 9781441951762

ISBN-10: 1441951768

ISBN-13: 9781441951762

Edition: 1997

Authors: Wolfgang Kunz, Dominik Stoffel

List price: $180.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $169.17

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…

Book details

List price: $180.00
Copyright year: 1997
Publisher: Springer
Publication date: 12/7/2010
Binding: Paperback
Pages: 230
Size: 6.30" wide x 9.45" long
Weight: 0.990
Language: English