Limit search to available items
Book Cover
Book
Author Kunz, Wolfgang.

Title Reasoning in Boolean networks : logic synthesis and verification using testing techniques / by Wolfgang Kunz and Dominik Stoffel
Published Boston ; London : Kluwer Academic Publishers, [1997]
©1997

Copies

Location Call no. Vol. Availability
 W'PONDS  621.395 Kun/Rib  AVAILABLE
Description xv, 230 pages : illustrations ; 25 cm
Series Frontiers in electronic testing
Frontiers in electronic testing.
Contents 1. Preliminaries -- 2. Combinational ATPG -- 3. Recursive Learning -- 4. And/Or Reasoning Graphs -- 5. Logic Optimization -- 6. Logic Verification -- 7. Conclusions and Future Work
Bibliography Includes bibliographical references (pages 201-212) and index
Subject Integrated circuits -- Verification -- Data processing.
Integrated circuits -- Very large scale integration -- Testing -- Data processing.
Logic design -- Data processing.
Author Stoffel, Dominik.
LC no. 97019833
ISBN 0792399218