Download or read book Fault Equivalence in Sequential Machines written by Stanford University Stanford Electronics Laboratories and published by . This book was released on 1971 with total page 74 pages. Available in PDF, EPUB and Kindle. Book excerpt: It is shown that for output faults (i.e., faults that do not affect state behavior), fault equivalence is related to the existence of an automorphism of the state table. For the same class of faults, the relation between dominance and equivalence is considered and some properties are pointed out. Another class of possible faults is also considered, namely, memory faults (i.e., faults in the logic feedback lines). These clearly affect the state behavior of the machine, and their influence on machine properties, such as being strongly connected, is discussed. It is proven that there exist classes of machines for which this property of being strongly connected is destroyed by every possible single fault. Further results on both memory and output faults are also presented.
Download or read book Equivalence and Dominance Relations Between Output Faults in Sequential Machines written by Stanford University Stanford Electronics Laboratories. Digital Systems Laboratory and published by . This book was released on 1972 with total page 100 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Formal Equivalence Checking and Design Debugging written by Shi-Yu Huang and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The first part of the book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. Some novel approaches to the problems of verifying design revisions after intensive sequential transformations such as retiming are described in detail. The second part of the book gives a thorough survey of previous and recent literature on design error diagnosis and design error correction. This part also provides an in-depth analysis of the algorithms used in two logic debugging software programs, ErrorTracer and AutoFix, developed by the authors. From the Foreword: `With the adoption of the static sign-off approach to verifying circuit implementations the application-specific integrated circuit (ASIC) industry will experience the first radical methodological revolution since the adoption of logic synthesis. Equivalence checking is one of the two critical elements of this methodological revolution. This book is timely for either the designer seeking to better understand the mechanics of equivalence checking or for the CAD researcher who wishes to investigate well-motivated research problems such as equivalence checking of retimed designs or error diagnosis in sequential circuits.' Kurt Keutzer, University of California, Berkeley
Download or read book Properties of Memory Faults in Sequential Machines written by Stanford University Stanford Electronics Laboratories. Digital Systems Laboratory and published by . This book was released on 1972 with total page 62 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Sequential Logic Testing and Verification written by Abhijit Ghosh and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process. Of equal importance in producing reliable computers is the detection of failures in its Very Large Scale Integrated (VLSI) circuit components, caused by errors in the design specification, implementation, or manufacturing processes. Design verification involves the checking of the specification of a design for correctness prior to carrying out an implementation. Implementation verification ensures that the manual design or automatic synthesis process is correct, i.e., the mask-level description correctly implements the specification. Manufacture test involves the checking of the complex fabrication process for correctness, i.e., ensuring that there are no manufacturing defects in the integrated circuit. It should be noted that all the above verification mechanisms deal not only with verifying the functionality of the integrated circuit but also its performance.
Download or read book The Evolution of Fault Tolerant Computing written by A. Avizienis and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 467 pages. Available in PDF, EPUB and Kindle. Book excerpt: For the editors of this book, as well as for many other researchers in the area of fault-tolerant computing, Dr. William Caswell Carter is one of the key figures in the formation and development of this important field. We felt that the IFIP Working Group 10.4 at Baden, Austria, in June 1986, which coincided with an important step in Bill's career, was an appropriate occasion to honor Bill's contributions and achievements by organizing a one day "Symposium on the Evolution of Fault-Tolerant Computing" in the honor of William C. Carter. The Symposium, held on June 30, 1986, brought together a group of eminent scientists from all over the world to discuss the evolu tion, the state of the art, and the future perspectives of the field of fault-tolerant computing. Historic developments in academia and industry were presented by individuals who themselves have actively been involved in bringing them about. The Symposium proved to be a unique historic event and these Proceedings, which contain the final versions of the papers presented at Baden, are an authentic reference document.
Download or read book Generation of Fault detection Tests for Combinational Circuits and Sequential Machines written by Yu-Shan Tang and published by . This book was released on 1971 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Electrical Power Systems written by C L Wadhwa and published by New Age International. This book was released on 2006 with total page 918 pages. Available in PDF, EPUB and Kindle. Book excerpt: In A Clear And Systematic Manner, This Book Presents An Exhaustive Exposition Of The Various Dimensions Of Electrical Power Systems. Both Basic And Advanced Topics Have Been Thoroughly Explained And Illustrated Through Solved Examples.Salient Features * Fundamentals Of Power Systems, Line Constant Calculations And Performance Of Overhead Lines Have Been Discussed * Mechanical Design Of Lines, Hvdc Lines, Corona, Insulators And Insulated Cables Have Been Explained * Voltage Control, Neutral Grounding And Transients In Power Systems Explained * Fault Calculation, Protective Relays Including Digital Relays And Circuit Breakers Discussed In That Order * Power Systems Synchronous Stability And Voltage Stability Explained * Insulation Coordination And Over Voltage Protection Explained * Modern Topics Like Load Flows, Economic Load Dispatch, Load Frequency Control And Compensation In Power System Nicely Developed And Explained Using Flow Charts Wherever Required * Zbus Formulation, Power Transformers And Synchronous Machines As Power System Elements Highlighted * Large Number Of Solved Examples, Practice Problems And Multiple Choice Questions Included. Answers To Problems And Multiple-Choice Questions ProvidedWith All These Features, This Is An Invaluable Textbook For Undergraduate Electrical Engineering Students Of Indian And Foreign Universities. Amie, Gate, All Competitive Examination Candidates And Practising Engineers Would Also Find This Book Very Useful.
Download or read book Computer Design Aids for VLSI Circuits written by P. Antognetti and published by Springer Science & Business Media. This book was released on 2013-11-11 with total page 543 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Nato Advanced Study Institute on "Computer Design Aids for VLSI Circuits" was held from July 21 to August 1, 1980 at Sogesta, Urbino, Italy. Sixty-three carefully chosen profes sionals were invited to participate in this institute together with 12 lecturers and 7 assistants. The 63 participants were selected from a group of almost 140 applicants. Each had the background to learn effectively the set of computer IC design aids which were presented. Each also had individual expertise in at least one of the topics of the Institute. The Institute was designed to provide hands-on type of experience rather than consisting of solely lecture and discussion. Each morning, detailed presentations were made concerning the critical algorithms that are used in the various types of computer IC design aids. Each afternoon a lengthy period was used to provide the participants with direct access to the computer programs. In addition to using the programs, the individual could, if his expertise was sufficient, make modifications of and extensions to the programs, or establish limitations of these present aids. The interest in this hands-on activity was very high and many participants worked with the programs every free hour. The editors would like to thank the Direction of SOGESTA for the excellent facilities, ~1r. R. Riccioni of the SOGESTA Computer Center and Mr. 11. Vanzi of the University of Genova for enabling all the programs to run smoothly on the set date. P.Antognetti D.O.Pederson Urbino, Summer 1980.
Download or read book Algebraic Properties of Test Sequences and Fault Relations written by Stanford University Stanford Electronics Laboratories. Digital Systems Laboratory and published by . This book was released on 1972 with total page 104 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Power Systems Modelling and Fault Analysis written by Nasser Tleis and published by Academic Press. This book was released on 2019-06-12 with total page 940 pages. Available in PDF, EPUB and Kindle. Book excerpt: Power Systems Modelling and Fault Analysis: Theory and Practice, Second Edition, focuses on the important core areas and technical skills required for practicing electrical power engineers. Providing a comprehensive and practical treatment of the modeling of electrical power systems, the book offers students and professionals the theory and practice of fault analysis of power systems, covering detailed and advanced theories and modern industry practices. The book describes relevant advances in the industry, such as international standards developments and new generation technologies, such as wind turbine generators, fault current limiters, multi-phase fault analysis, the measurement of equipment parameters, probabilistic short-circuit analysis, and more. Includes a fully up-to-date guide to the analysis and practical troubleshooting of short-circuit faults in electricity utilities and industrial power systems Presents sections on generators, transformers, substations, overhead powerlines and industrial systems Covers best-practice techniques, safety issues, power system planning and economics
Download or read book Journal of Design Automation Fault tolerant Computing written by and published by . This book was released on 1976 with total page 1000 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault Detection in Fundamental mode Circuits written by Stanford University Stanford Electronics Laboratories. Digital Systems Laboratory and published by . This book was released on 1972 with total page 92 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Switching and Finite Automata Theory written by Zvi Kohavi and published by Tata McGraw-Hill Education. This book was released on 1978 with total page 672 pages. Available in PDF, EPUB and Kindle. Book excerpt: Number systems and codes; Sets, relations and lattices; Combinational logic; Switching algebra its applications; Minimization of switching functions; Logical design; Functional decomposition and symmetric functions; Threshold logic; Reliable design and fault diagnosis; Finite-state machines; Introduction to synchronous sequential circuits and iterative networks; Capabilities, minimization and transformation of sequential machines; Asynchronous sequential circuits; Structure of sequential machines; Statae-identification and fault-detection experiments; Memory, definiteness, and information losslessness of finite automata; Linear sequential machines; Finite-state recognizers; Index.
Download or read book Analysis of Faulted Power Systems written by Paul M. Anderson and published by John Wiley & Sons. This book was released on 1995-07-10 with total page 538 pages. Available in PDF, EPUB and Kindle. Book excerpt: This classic text offers you the key to understanding short circuits, open conductors and other problems relating to electric power systems that are subject to unbalanced conditions. Using the method of symmetrical components, acknowledged expert Paul M. Anderson provides comprehensive guidance for both finding solutions for faulted power systems and maintaining protective system applications. You'll learn to solve advanced problems, while gaining a thorough background in elementary configurations. Features you'll put to immediate use: Numerous examples and problems Clear, concise notation Analytical simplifications Matrix methods applicable to digital computer technology Extensive appendices Diskette files can now be found by entering in ISBN 978-0780311459 on booksupport.wiley.com.
Download or read book Proceedings written by Jerome Fox and published by John Wiley & Sons. This book was released on 1971 with total page 684 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault Detection in Sequential Machines Using Many valued Logic written by Donald A. Sheppard and published by . This book was released on 1972 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt:
