Stock image for illustration purposes only - book cover, edition or condition may vary.
Reasoning in Boolean Networks
Kunz, Wolfgang; Stoffel, Dominik
€ 190.57
FREE Delivery in Ireland
Description for Reasoning in Boolean Networks
Hardback. Covers research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. This book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques. Series: Frontiers in Electronic Testing. Num Pages: 246 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 526.
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 describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning ... Read more
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 describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning ... Read more
Product Details
Format
Hardback
Publication date
1997
Publisher
Kluwer Academic Publishers United States
Number of pages
246
Condition
New
Series
Frontiers in Electronic Testing
Number of Pages
230
Place of Publication
Dordrecht, Netherlands
ISBN
9780792399216
SKU
V9780792399216
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Reasoning in Boolean Networks