
Tell your friends about this item:
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing 1997 edition
Wolfgang Kunz
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques - Frontiers in Electronic Testing 1997 edition
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
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | June 30, 1997 |
ISBN13 | 9780792399216 |
Publishers | Springer |
Pages | 230 |
Dimensions | 156 × 234 × 15 mm · 526 g |
Language | English |