Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques (Frontiers in Electronic Testing, 9)
by Wolfgang Kunz, Dominik Stoffel
Reasoning in Boolean Networks examines logic synthesis and verification through testing techniques. This technical volume addresses Boolean networks within the broader context of electronic testing, offering focused material for readers studying computer engineering, digital systems, formal reasoning, and verification methods.
About This Book
Reasoning in Boolean Networks explores logic synthesis and verification using testing techniques.
The book focuses on Boolean networks and their role in electronic testing and design.
It is intended for readers seeking a technical treatment of methods related to logic-based system analysis.
This volume appears in the Frontiers in Electronic Testing series.
Reviews
No reviews yet. Be the first to review this book!