Open AccessBook
Digital Systems Testing and Testable Design
TLDR
The new edition of Breuer-Friedman's Diagnosis and Reliable Design ofDigital Systems offers comprehensive and state-ofthe-art treatment of both testing and testable design.Abstract:
For many years, Breuer-Friedman's Diagnosis and Reliable Design ofDigital Systems was the most widely used textbook in digital system testing and testable design. Now, Computer Science Press makes available a new and greativ expanded edition. Incorporating a significant amount of new material related to recently developed technologies, the new edition offers comprehensive and state-ofthe-art treatment of both testing and testable design.read more
Citations
More filters
Journal ArticleDOI
Cancer therapy design based on pathway logic
TL;DR: The growth factor (GF) signaling pathways are considered, widely studied in the context of cancer, and interactions between different pathway components are modeled using Boolean logic gates, thereby mapping each malfunction to an appropriate set of drugs.
Proceedings ArticleDOI
Checking equivalence for partial implementations
Christoph Scholl,Bernd Becker +1 more
TL;DR: In this article, the authors consider the problem of checking whether a partial implementation can still be extended to a complete design which is equivalent to a given full specification, trading off accuracy and computational resources.
Patent
Determining and analyzing integrated circuit yield and quality
TL;DR: In this article, the authors present methods, apparatus, and systems for computing, analyzing, and improving integrated circuit yield and quality, and the probability that one or more of the possible yield limiting factors in the integrated circuits actually caused the integrated circuit failures are determined by statistically analyzing the received information.
Checking Equivalence for Partial Implementations.
Christoph Scholl,Bernd Becker +1 more
TL;DR: This work considers the problem of checking whether a partial implementation can (still) be extended to a complete design which is equivalent to a given full specification, and presents several algorithms trading off accuracy and computational resources.