Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques (Frontiers in Electronic Testing, 9)
by Wolfgang Kunz, Dominik Stoffel
A technical reference covering Boolean networks, logic synthesis, and verification using testing techniques for digital systems.
About This Book
This book explores Boolean networks and their applications in logic synthesis and verification.
It presents testing techniques as tools for analyzing and validating digital systems.
The content is aimed at researchers and engineers working in electronic design automation.
Topics include formal methods, circuit testing, and verification strategies.
Reviews
No reviews yet. Be the first to review this book!