Tell your friends about this item:
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing Wolfgang Kunz 1997 edition
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing
Wolfgang Kunz
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.
230 pages, biography