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 describe ...
DETAILS
Reasoning in Boolean Networks
Logic Synthesis and Verification Using Testing Techniques
Kunz, Wolfgang, Stoffel, Dominik
Kartoniert, xvi, 230 S.
XVI, 230 p.
Sprache: Englisch
240 mm
Springer, Berlin (2010)
Gewicht: 388 g
ISBN-13: 978-1-4419-5176-2
Titelnr.: 28367513