Signal Stabilization Analysis for Timing Verification and Delay Fault Testing

Download Signal Stabilization Analysis for Timing Verification and Delay Fault Testing PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 107 pages
Book Rating : 4.:/5 (379 download)

DOWNLOAD NOW!


Book Synopsis Signal Stabilization Analysis for Timing Verification and Delay Fault Testing by : Mukund Sivaraman

Download or read book Signal Stabilization Analysis for Timing Verification and Delay Fault Testing written by Mukund Sivaraman and published by . This book was released on 1997 with total page 107 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "Present-day digital systems are characterized by large complexity, operation under tight timing constraints, numerous false paths, and large variations in component delays. In such a scenario, it is very important to ensure correct temporal behavior of these circuits, both before and after fabrication. For combinational circuits, it has been shown that it is necessary and sufficient to guarantee that the primitive path delay faults (primitive PDFs) are fault-free to ensure that the circuit operates correctly for some timing constraint T and all larger timing constraints, where primitive PDFs correspond to minimal sets of paths that are singly/jointly non-robustly testable. We show that primitive PDFs determine the stabilization time of the circuit outputs, based on which we develop a feasible method to identify the primitive PDFs in a general multilevel logic circuit. We also develop an approach to determine the maximum circuit delay using this primitive PDF identification mechanism, and prove that this delay is exactly equal to the maximum circuit delay found under the floating mode of operation assumption. Our timing analysis approach provides several advantages over previously reported floating mode timing analyzers: increased accuracy in the presence of component delay correlations and signal correlations arising from fabrication process, signal propagation, and signal interaction effects; increased efficiency in situations where critical paths need to be re- identified due to component delay speedup (e.g., post-layout delay optimization). We also present a framework for the diagnosis of circuit failures caused by distributed path delay faults. This involves determining the paths/sub-paths and fabrication process parameters that caused the chip failure. A metric to quantify the diagnosability of a path delay fault for a test is also proposed. Finally, we propose a very realistic metric for delay fault coverage which accounts for delay fault size distributions and is applicable to any delay fault model. We apply this metric to estimate the true delay fault coverage of robust test sets."

A Unified Approach for Timing Verification and Delay Fault Testing

Download A Unified Approach for Timing Verification and Delay Fault Testing PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 1441985786
Total Pages : 164 pages
Book Rating : 4.4/5 (419 download)

DOWNLOAD NOW!


Book Synopsis A Unified Approach for Timing Verification and Delay Fault Testing by : Mukund Sivaraman

Download or read book A Unified Approach for Timing Verification and Delay Fault Testing written by Mukund Sivaraman and published by Springer Science & Business Media. This book was released on 2012-09-17 with total page 164 pages. Available in PDF, EPUB and Kindle. Book excerpt: Large system complexities and operation under tight timing constraints in rapidly shrinking technologies have made it extremely important to ensure correct temporal behavior of modern-day digital circuits, both before and after fabrication. Research in (pre-fabrication) timing verification and (post-fabrication) delay fault testing has evolved along largely disjoint lines in spite of the fact that they share many basic concepts. A Unified Approach for Timing Verification and Delay Fault Testing applies concepts developed in the context of delay fault testing to path sensitization, which allows an accurate timing analysis mechanism to be developed. This path sensitization strategy is further applied for efficient delay fault diagnosis and delay fault coverage estimation. A new path sensitization strategy called Signal Stabilization Time Analysis (SSTA) has been developed based on the fact that primitive PDFs determine the stabilization time of the circuit outputs. This analysis has been used to develop a feasible method of identifying the primitive PDFs in a general multi-level logic circuit. An approach to determine the maximum circuit delay using this primitive PDF identification mechanism is also presented. The Primitive PDF Identification-based Timing Analysis (PITA) approach is proved to determine the maximum floating mode circuit delay exactly under any component delay model, and provides several advantages over previously floating mode timing analyzers. A framework for the diagnosis of circuit failures caused by distributed path delay faults is also presented. A metric to quantify the diagnosability of a path delay fault for a test is also proposed. Finally, the book presents a very realistic metric for delay fault coverage which accounts for delay fault size distributions and is applicable to any delay fault model. A Unified Approach for Timing Verification and Delay Fault Testing will be of interest to university and industry researchers in timing analysis and delay fault testing as well as EDA tool development engineers and design verification engineers dealing with timing issues in ULSI circuits. The book should also be of interest to digital designers and others interested in knowing the state of the art in timing verification and delay fault testing.

Efficient Algorithms for Timing Verification and Delay Fault Testing

Download Efficient Algorithms for Timing Verification and Delay Fault Testing PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 188 pages
Book Rating : 4.:/5 (319 download)

DOWNLOAD NOW!


Book Synopsis Efficient Algorithms for Timing Verification and Delay Fault Testing by : Liren Liu

Download or read book Efficient Algorithms for Timing Verification and Delay Fault Testing written by Liren Liu and published by . This book was released on 1991 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Statistical Timing Verification and Delay Fault Detection by Formal Signal Interaction Modeling in a Multi-level Timing Simulator

Download Statistical Timing Verification and Delay Fault Detection by Formal Signal Interaction Modeling in a Multi-level Timing Simulator PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 90 pages
Book Rating : 4.:/5 (213 download)

DOWNLOAD NOW!


Book Synopsis Statistical Timing Verification and Delay Fault Detection by Formal Signal Interaction Modeling in a Multi-level Timing Simulator by : Jacques Benkoski

Download or read book Statistical Timing Verification and Delay Fault Detection by Formal Signal Interaction Modeling in a Multi-level Timing Simulator written by Jacques Benkoski and published by . This book was released on 1989 with total page 90 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "Modern VLSI designs are characterized by tight timing constraints, increased importance of the parasitics and large correlated variations in the process-dependent parameters. This work is focused on the development of new techniques to verify the timing behavior of the circuit under these process-dependent parameter variations and predict the location and size of the possible delay faults. The formal modeling of signal interaction presented in this thesis has allowed the formulation of conservative conditions on the validity of circuit macromodels. These conditions form the basis of efficient and accurate algorithms for multi-level simulation including dynamic level selection, fast statistical timing simulation and delay fault detection."

Layout-aware Delay Fault Testing Techniques Considering Signal and Power Integrity Issues

Download Layout-aware Delay Fault Testing Techniques Considering Signal and Power Integrity Issues PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 372 pages
Book Rating : 4.:/5 (729 download)

DOWNLOAD NOW!


Book Synopsis Layout-aware Delay Fault Testing Techniques Considering Signal and Power Integrity Issues by : Junxia Ma

Download or read book Layout-aware Delay Fault Testing Techniques Considering Signal and Power Integrity Issues written by Junxia Ma and published by . This book was released on 2011 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Hierarchical timing verification and delay fault testing

Download Hierarchical timing verification and delay fault testing PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 318 pages
Book Rating : 4.:/5 (468 download)

DOWNLOAD NOW!


Book Synopsis Hierarchical timing verification and delay fault testing by : Rathish Jayabharathi

Download or read book Hierarchical timing verification and delay fault testing written by Rathish Jayabharathi and published by . This book was released on 1999 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Test and Diagnosis for Small-Delay Defects

Download Test and Diagnosis for Small-Delay Defects PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 1441982973
Total Pages : 228 pages
Book Rating : 4.4/5 (419 download)

DOWNLOAD NOW!


Book Synopsis Test and Diagnosis for Small-Delay Defects by : Mohammad Tehranipoor

Download or read book Test and Diagnosis for Small-Delay Defects written by Mohammad Tehranipoor and published by Springer Science & Business Media. This book was released on 2011-09-08 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book will introduce new techniques for detecting and diagnosing small-delay defects in integrated circuits. Although this sort of timing defect is commonly found in integrated circuits manufactured with nanometer technology, this will be the first book to introduce effective and scalable methodologies for screening and diagnosing small-delay defects, including important parameters such as process variations, crosstalk, and power supply noise.

Robust Delay Fault Testing Using Effective Signal Integrity-aware Pattern Generation Methodologies

Download Robust Delay Fault Testing Using Effective Signal Integrity-aware Pattern Generation Methodologies PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 278 pages
Book Rating : 4.:/5 (757 download)

DOWNLOAD NOW!


Book Synopsis Robust Delay Fault Testing Using Effective Signal Integrity-aware Pattern Generation Methodologies by : Jeremy Lee

Download or read book Robust Delay Fault Testing Using Effective Signal Integrity-aware Pattern Generation Methodologies written by Jeremy Lee and published by . This book was released on 2011 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Dissertation Abstracts International

Download Dissertation Abstracts International PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 764 pages
Book Rating : 4.F/5 ( download)

DOWNLOAD NOW!


Book Synopsis Dissertation Abstracts International by :

Download or read book Dissertation Abstracts International written by and published by . This book was released on 2006 with total page 764 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Built-in Fault-Tolerant Computing Paradigm for Resilient Large-Scale Chip Design

Download Built-in Fault-Tolerant Computing Paradigm for Resilient Large-Scale Chip Design PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 9811985510
Total Pages : 318 pages
Book Rating : 4.8/5 (119 download)

DOWNLOAD NOW!


Book Synopsis Built-in Fault-Tolerant Computing Paradigm for Resilient Large-Scale Chip Design by : Xiaowei Li

Download or read book Built-in Fault-Tolerant Computing Paradigm for Resilient Large-Scale Chip Design written by Xiaowei Li and published by Springer Nature. This book was released on 2023-03-01 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: With the end of Dennard scaling and Moore’s law, IC chips, especially large-scale ones, now face more reliability challenges, and reliability has become one of the mainstay merits of VLSI designs. In this context, this book presents a built-in on-chip fault-tolerant computing paradigm that seeks to combine fault detection, fault diagnosis, and error recovery in large-scale VLSI design in a unified manner so as to minimize resource overhead and performance penalties. Following this computing paradigm, we propose a holistic solution based on three key components: self-test, self-diagnosis and self-repair, or “3S” for short. We then explore the use of 3S for general IC designs, general-purpose processors, network-on-chip (NoC) and deep learning accelerators, and present prototypes to demonstrate how 3S responds to in-field silicon degradation and recovery under various runtime faults caused by aging, process variations, or radical particles. Moreover, we demonstrate that 3S not only offers a powerful backbone for various on-chip fault-tolerant designs and implementations, but also has farther-reaching implications such as maintaining graceful performance degradation, mitigating the impact of verification blind spots, and improving chip yield. This book is the outcome of extensive fault-tolerant computing research pursued at the State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences over the past decade. The proposed built-in on-chip fault-tolerant computing paradigm has been verified in a broad range of scenarios, from small processors in satellite computers to large processors in HPCs. Hopefully, it will provide an alternative yet effective solution to the growing reliability challenges for large-scale VLSI designs.

Digest of Technical Papers

Download Digest of Technical Papers PDF Online Free

Author :
Publisher :
ISBN 13 : 9780818605185
Total Pages : pages
Book Rating : 4.6/5 (51 download)

DOWNLOAD NOW!


Book Synopsis Digest of Technical Papers by : International Conference on Computer-Aided Design

Download or read book Digest of Technical Papers written by International Conference on Computer-Aided Design and published by . This book was released on 1984 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Timing Verification and Synthesis of Circuits for Delay Fault Testability

Download Timing Verification and Synthesis of Circuits for Delay Fault Testability PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 240 pages
Book Rating : 4.:/5 (24 download)

DOWNLOAD NOW!


Book Synopsis Timing Verification and Synthesis of Circuits for Delay Fault Testability by : Kaushik Roy

Download or read book Timing Verification and Synthesis of Circuits for Delay Fault Testability written by Kaushik Roy and published by . This book was released on 1990 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt: This thesis concerns the problem of timing verification and synthesis of circuits for robust delay fault testability. The timing verification algorithm uses Register Transfer Level (RTL) descriptions to eliminate false paths (non-sensitizable) due to redundancy, reconvergent fanout, and control signal constraints. The RTL descriptions help to prune the search space because only valid paths are considered. The critical paths obtained from the timing verifier have to be tested for any delay faults. To make the robust delay test generation easier, multilevel combinational logic circuits are synthesized for delay fault testability. Given a multilevel description of a combinational logic circuit, blocked or dependent paths may be present. Blocked or dependent paths due to reconvergent fanout can destroy robustness of tests. A set of path segments called essential paths is checked for blockage or dependency, and a local transformation enhances the delay fault testability of the circuit. It has been shown that a robust delay test can be obtained as a by-product of the logic synthesis procedure.

Proceedings, ... International Symposium on VLSI Design

Download Proceedings, ... International Symposium on VLSI Design PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 938 pages
Book Rating : 4.3/5 (91 download)

DOWNLOAD NOW!


Book Synopsis Proceedings, ... International Symposium on VLSI Design by :

Download or read book Proceedings, ... International Symposium on VLSI Design written by and published by . This book was released on 2005 with total page 938 pages. Available in PDF, EPUB and Kindle. Book excerpt:

System-on-Chip Test Architectures

Download System-on-Chip Test Architectures PDF Online Free

Author :
Publisher : Morgan Kaufmann
ISBN 13 : 0080556809
Total Pages : 893 pages
Book Rating : 4.0/5 (85 download)

DOWNLOAD NOW!


Book Synopsis System-on-Chip Test Architectures by : Laung-Terng Wang

Download or read book System-on-Chip Test Architectures written by Laung-Terng Wang and published by Morgan Kaufmann. This book was released on 2010-07-28 with total page 893 pages. Available in PDF, EPUB and Kindle. Book excerpt: Modern electronics testing has a legacy of more than 40 years. The introduction of new technologies, especially nanometer technologies with 90nm or smaller geometry, has allowed the semiconductor industry to keep pace with the increased performance-capacity demands from consumers. As a result, semiconductor test costs have been growing steadily and typically amount to 40% of today's overall product cost. This book is a comprehensive guide to new VLSI Testing and Design-for-Testability techniques that will allow students, researchers, DFT practitioners, and VLSI designers to master quickly System-on-Chip Test architectures, for test debug and diagnosis of digital, memory, and analog/mixed-signal designs. Emphasizes VLSI Test principles and Design for Testability architectures, with numerous illustrations/examples. Most up-to-date coverage available, including Fault Tolerance, Low-Power Testing, Defect and Error Tolerance, Network-on-Chip (NOC) Testing, Software-Based Self-Testing, FPGA Testing, MEMS Testing, and System-In-Package (SIP) Testing, which are not yet available in any testing book. Covers the entire spectrum of VLSI testing and DFT architectures, from digital and analog, to memory circuits, and fault diagnosis and self-repair from digital to memory circuits. Discusses future nanotechnology test trends and challenges facing the nanometer design era; promising nanotechnology test techniques, including Quantum-Dots, Cellular Automata, Carbon-Nanotubes, and Hybrid Semiconductor/Nanowire/Molecular Computing. Practical problems at the end of each chapter for students.

EDA for IC System Design, Verification, and Testing

Download EDA for IC System Design, Verification, and Testing PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 1351837591
Total Pages : 593 pages
Book Rating : 4.3/5 (518 download)

DOWNLOAD NOW!


Book Synopsis EDA for IC System Design, Verification, and Testing by : Louis Scheffer

Download or read book EDA for IC System Design, Verification, and Testing written by Louis Scheffer and published by CRC Press. This book was released on 2018-10-03 with total page 593 pages. Available in PDF, EPUB and Kindle. Book excerpt: Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.

Electronic Design Automation for IC System Design, Verification, and Testing

Download Electronic Design Automation for IC System Design, Verification, and Testing PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 1351830996
Total Pages : 773 pages
Book Rating : 4.3/5 (518 download)

DOWNLOAD NOW!


Book Synopsis Electronic Design Automation for IC System Design, Verification, and Testing by : Luciano Lavagno

Download or read book Electronic Design Automation for IC System Design, Verification, and Testing written by Luciano Lavagno and published by CRC Press. This book was released on 2017-12-19 with total page 773 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, and back-annotating system-level models Offering improved depth and modernity, Electronic Design Automation for IC System Design, Verification, and Testing provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.

Scalable Test Generation for Path Delay Faults

Download Scalable Test Generation for Path Delay Faults PDF Online Free

Author :
Publisher :
ISBN 13 :
Total Pages : 75 pages
Book Rating : 4.:/5 (437 download)

DOWNLOAD NOW!


Book Synopsis Scalable Test Generation for Path Delay Faults by : Edward Flanigan

Download or read book Scalable Test Generation for Path Delay Faults written by Edward Flanigan and published by . This book was released on 2009 with total page 75 pages. Available in PDF, EPUB and Kindle. Book excerpt: Modern day IC design has drawn a lot of attention towards the path delay fault model (PDF), which targets delay defects that affect the timing characteristics of a circuit. Due to the exponential number of paths in modern circuits a subset of critical paths are chosen for testing purposes. Path intensive circuits contain a large number of critical paths whose delays affect the performance of the circuit. This dissertation presents three techniques to improve test generation for path delay faults. The first technique presented in this dissertation avoids testing unnecessary paths by using arithmetic operations. The second technique shows how to compact many faults into a single test application, thus saving valuable test application time. The third technique demonstrates how to generate tests under modern day scan architectures. Experimental results demonstrate the effectiveness of the proposed techniques.