Download or read book Stochastic Modeling in Fault Testing of Decomposable Sequential Circuits Through Computer Simulation written by Seong Yeon Choi and published by . This book was released on 1992 with total page 240 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this thesis, the detection of permanent faults in sequential circuits by random testing is analyzed utilizing the circuit partitioning approach together with a continuous parameter Markov model. Given a large decomposable sequential circuit, it is partitioned into several smaller partitions using either serial or parallel decomposition. For each partition with certain stuck faults specified, the original state table and its error version are derived from an analysis of the partition under fault-free and faulty conditions, respectively. Then by simulation of these two tables on a computer, the parameters of the desired Markov model are obtained. For a specified degree of confidence, it is easy to derive the parameters of the Markov model and to calculate the required lengths of random test patterns.

Download or read book Data Parallel Fault Simulation for Combinational and Sequential Circuits written by Minesh Balkrishan Amin and published by . This book was released on 1996 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Fault Simulation in Adlib Sable written by Stanford University. Computer Systems Laboratory and published by . This book was released on 1983 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: This technical report presents work in the area of deductive fault simulation. This technique, one of the three fault simulation techniques discussed in the literature, has been implemented in ADLIB-SABLE, a hierarchical multi-level simulator designed and used at Stanford University. Most of the fault models illustrated in this report consider only two fault types: single stuck-at-0 and single stuck-at-Z (high impedance). Gate level fault models have been built for most commonly used gates. The ability to model the fault behavior of functional blocks in ADLIB-SABLE is also demonstrated. The motivation is that for many functional blocks, a gate level description may not be available or that the designer wishes to sacrifice detailed analysis for a higher simulation speed. Functional fault models are built for many commonly used blocks, using a decomposition technique. The ratio of functional fault simulation speed to gate level fault simulation speed has been observed to be of the order of 5 for the typical functional block sizes considered. The ratio however, is not the upper limit and will be larger for larger-sized functional blocks. It was also proved that the functional fault models are invariant with respect to the internal implementation details. A design discipline for sequential circuits is worked out which allows deductive fault simulation. Extensions to the simple (0,1) deductive techniques are studied and the fault models built in the extended domain are observed to be useful in modelling gates of some technologies. A comparison between deductive and concurrent fault simulation methods is given. Performance of deductive fault simulation, implemented in ADLIB-SABLE, shows that for sequential as well as combinational circuits, the CPU time increases linearly with increasing number of components simulated, an advantage over fault simulators which simulate one fault at a time and display a quadratic behavior.

Download or read book Fault Simulation and Test Pattern Generation for Synchronous and Asynchronous Sequential Circuits written by Hyung Ki Lee and published by . This book was released on 1993 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Science Abstracts written by and published by . This book was released on 1993 with total page 980 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book American Doctoral Dissertations written by and published by . This book was released on 1972 with total page 642 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Comprehensive Dissertation Index written by and published by . This book was released on 1989 with total page 1116 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Electrical Electronics Abstracts written by and published by . This book was released on 1997 with total page 1904 pages. Available in PDF, EPUB and Kindle. Book excerpt:

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

Download or read book Principles of Model Checking written by Christel Baier and published by MIT Press. This book was released on 2008-04-25 with total page 994 pages. Available in PDF, EPUB and Kindle. Book excerpt: A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.

Download or read book Fault Diagnosis and Prognosis Techniques for Complex Engineering Systems written by Hamid Reza Karimi and published by Elsevier. This book was released on 2021-06-14 with total page 419 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault Diagnosis and Prognosis Techniques for Complex Engineering Systems gives a systematic description of the many facets of envisaging, designing, implementing, and experimentally exploring emerging trends in fault diagnosis and failure prognosis in mechanical, electrical, hydraulic and biomedical systems. The book is devoted to the development of mathematical methodologies for fault diagnosis and isolation, fault tolerant control, and failure prognosis problems of engineering systems. Sections present new techniques in reliability modeling, reliability analysis, reliability design, fault and failure detection, signal processing, and fault tolerant control of engineering systems. Sections focus on the development of mathematical methodologies for diagnosis and prognosis of faults or failures, providing a unified platform for understanding and applicability of advanced diagnosis and prognosis methodologies for improving reliability purposes in both theory and practice, such as vehicles, manufacturing systems, circuits, flights, biomedical systems. This book will be a valuable resource for different groups of readers - mechanical engineers working on vehicle systems, electrical engineers working on rotary machinery systems, control engineers working on fault detection systems, mathematicians and physician working on complex dynamics, and many more. Presents recent advances of theory, technological aspects, and applications of advanced diagnosis and prognosis methodologies in engineering applications Provides a series of the latest results, including fault detection, isolation, fault tolerant control, failure prognosis of components, and more Gives numerical and simulation results in each chapter to reflect engineering practices

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1990 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Control Abstracts written by and published by . This book was released on 1996 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Index to IEEE Publications written by Institute of Electrical and Electronics Engineers and published by . This book was released on 1980 with total page 722 pages. Available in PDF, EPUB and Kindle. Book excerpt: Issues for 1973- cover the entire IEEE technical literature.

Download or read book Digital Integrated Circuit Design written by Hubert Kaeslin and published by Cambridge University Press. This book was released on 2008-04-28 with total page 878 pages. Available in PDF, EPUB and Kindle. Book excerpt: This practical, tool-independent guide to designing digital circuits takes a unique, top-down approach, reflecting the nature of the design process in industry. Starting with architecture design, the book comprehensively explains the why and how of digital circuit design, using the physics designers need to know, and no more.

Download or read book Three Approaches to Data Analysis written by Igor Chikalov and published by Springer Science & Business Media. This book was released on 2012-07-28 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, the following three approaches to data analysis are presented: - Test Theory, founded by Sergei V. Yablonskii (1924-1998); the first publications appeared in 1955 and 1958, - Rough Sets, founded by Zdzisław I. Pawlak (1926-2006); the first publications appeared in 1981 and 1982, - Logical Analysis of Data, founded by Peter L. Hammer (1936-2006); the first publications appeared in 1986 and 1988. These three approaches have much in common, but researchers active in one of these areas often have a limited knowledge about the results and methods developed in the other two. On the other hand, each of the approaches shows some originality and we believe that the exchange of knowledge can stimulate further development of each of them. This can lead to new theoretical results and real-life applications and, in particular, new results based on combination of these three data analysis approaches can be expected. - Logical Analysis of Data, founded by Peter L. Hammer (1936-2006); the first publications appeared in 1986 and 1988. These three approaches have much in common, but researchers active in one of these areas often have a limited knowledge about the results and methods developed in the other two. On the other hand, each of the approaches shows some originality and we believe that the exchange of knowledge can stimulate further development of each of them. This can lead to new theoretical results and real-life applications and, in particular, new results based on combination of these three data analysis approaches can be expected. These three approaches have much in common, but researchers active in one of these areas often have a limited knowledge about the results and methods developed in the other two. On the other hand, each of the approaches shows some originality and we believe that the exchange of knowledge can stimulate further development of each of them. This can lead to new theoretical results and real-life applications and, in particular, new results based on combination of these three data analysis approaches can be expected.

Download or read book Introduction to Asynchronous Circuit Design written by Jens Sparsø and published by . This book was released on 2020-06-18 with total page 270 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is an introduction to the design of asynchronous circuits. It is an updated and significantly extended version of an eight-chapter tutorial that first appeared as Part I in the book "Principles of asynchronous circuit design -- A systems perspective" edited by Sparsø and Furber (2001); a book that has become a standard reference on the topic. The extensions include improved coverage of data-flow components, a new chapter on two-phase bundled-data circuits, a new chapter on metastability, arbitration, and synchronization, and a new chapter on performance analysis using timed Petri nets. With these extensions, the text now provides a more complete coverage of the topic, and it is now made available as a stand-alone book. The book is a beginner's text and the amount of formal notation is deliberately kept at a minimum, using instead plain English and graphical illustrations to explain the underlying intuition and reasoning behind the concepts and methods covered. The book targets senior undergraduate and graduate students in Electrical and Computer Engineering and industrial designers with a background in conventional (clocked) digital design who wish to gain an understanding of asynchronous circuit design.