Description: Reasoning in Boolean Networks : Logic Synthesis and Verification Using Testing Techniques, Hardcover by Kunz, Wolfgang; Stoffel, Dominik, ISBN 0792399218, ISBN-13 9780792399216, Like New Used, Free shipping in the US Develops new methods for analyzing the logic function of a given circuit, describing an alternative approach to dealing with Boolean functions and their implementations as multi-level circuits. The approach promises to be useful for supplementing existing Boolean representations in cases where they fail. Also demonstrates the usefulness of testing techniques in logic synthesis. Describes basic algorithmic concepts in automatic test pattern generation, logic synthesis, and verification; elaborates their relationship; and provides example applications to various problems relating to computer-aided design. Annotation c. by Book News, Inc., Portland, Or.
Price: 188.11 USD
Location: Jessup, Maryland
End Time: 2025-01-17T02:37:42.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Reasoning in Boolean Networks : Logic Synthesis and Verification
Number of Pages: Xvi, 230 Pages
Publication Name: Reasoning in Boolean Networks : Logic Synthesis and Verification Using Testing Techniques
Language: English
Publisher: Springer
Publication Year: 1997
Subject: Software Development & Engineering / Quality Assurance & Testing, Electronics / Circuits / Vlsi & Ulsi, Cad-Cam, Electrical, Data Processing, Logic Design
Item Weight: 40.9 Oz
Type: Textbook
Subject Area: Computers, Technology & Engineering
Item Length: 9.2 in
Author: Dominik Stoffel, Wolfgang Kunz
Item Width: 6.1 in
Series: Frontiers in Electronic Testing Ser.
Format: Hardcover
