Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques

by

Write The First Customer Review

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 ...

Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques 2010, Springer-Verlag New York Inc., New York, NY

ISBN-13: 9781441951762

Paperback

Select
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques 1997, Springer, Boston, MA

ISBN-13: 9780792399216

1997 edition

Hardcover

Select