While making up a larger percentage of the total number of designs produced each year, ASICs present special problems for system designers in the area of testing because each design is complex and unique. This book shows readers how to apply basic test techniques to ASIC design, details the impact of ASIC testability on total system cost and performance, and reviews the commercial test systems that are currently available. Annotation copyrighted by Book News, Inc., Portland, OR

System Test and Diagnosis is the first book on test and diagnosis at the system level, defined as any aggregation of related elements that together form an entity of sufficient complexity for which it is impractical to treat all of the elements at the lowest level of detail. The ideas presented emphasize that it is possible to diagnose complex systems efficiently. Since the notion of system is hierarchical, these ideas are applicable to all levels. The philosophy is presented in the context of a model-based approach, using the information flow model, that focuses on the information provided by the tests rather than the functions embedded in the system. Detailed algorithms are offered for evaluating system testability, performing efficient diagnosis, verifying and validating the models, and constructing an architecture for system maintenance. Several advanced algorithms, not commonly available in existing diagnosis tools, are discussed, including reasoning with inexact or uncertain test data, breaking large problems into manageable smaller problems, diagnosing systems with time sensitive information and time dependent tests and learning from experience. The book is divided into three parts. The first part provides motivation for careful development of the subject and the second part provides the tools necessary for analyzing system testability and computing diagnostic strategies. The third part presents advanced topics in diagnosis. Several case studies are provided, including a single detailed case study. Smaller case studies describe experiences from actual applications of the methods discussed. The detailed case study walks the reader through a complete analysis of a system to illustrate the concepts and describe the analyses that are possible. All case studies are based upon real systems that have been modeled for the purposes of diagnosis. System Test and Diagnosis is the culmination of nearly twelve years of research into diagnosis modeling and its applications. It is designed as a primary reference for engineers and practitioners interested in system test and diagnosis.

The Definitive, Up-to-Date Guide to Digital Design with SystemVerilog: Concepts, Techniques, and Code To design state-of-the-art digital hardware, engineers first specify functionality in a high-level Hardware Description Language (HDL)—and today’s most powerful, useful HDL is SystemVerilog, now an IEEE standard. Digital System Design with SystemVerilog is the first comprehensive introduction to both SystemVerilog and the contemporary digital hardware design techniques used with it. Building on the proven approach of his bestselling Digital System Design with VHDL, Mark Zwolinski covers everything engineers need to know to automate the entire design process with SystemVerilog—from modeling through functional simulation, synthesis, timing simulation, and verification. Zwolinski teaches through about a hundred and fifty practical examples, each with carefully detailed syntax and enough in-depth information to enable rapid hardware design and verification. All examples are available for download from the book's companion Web site, zwolinski.org. Coverage includes Using electronic design automation tools with programmable logic and ASIC technologies Essential principles of Boolean algebra and combinational logic design, with discussions of timing and hazards Core modeling techniques: combinational building blocks, buffers, decoders, encoders, multiplexers, adders, and parity checkers Sequential building blocks: latches, flip- flops, registers, counters, memory, and sequential multipliers Designing finite state machines: from ASM chart to D flip-flops, next state, and output logic Modeling interfaces and packages with SystemVerilog Designing testbenches: architecture, constrained random test generation, and assertion-based verification Describing RTL and FPGA synthesis models Understanding and implementing Design-for-Test Exploring anomalous behavior in asynchronous sequential circuits Performing Verilog-AMS and mixed-signal modeling Whatever your experience with digital design, older versions of Verilog, or VHDL, this book will help you discover SystemVerilog’s full power and use it to the fullest.

Hurst, an editor at the Microelectronics Journal, analyzes common problems that electronics engineers and circuit designers encounter while testing integrated circuits and the systems in which they are used, and explains a variety of solutions available for overcoming them in both digital and mixed circuits. Among his topics are faults in digital circuits, generating a digital test pattern, signatures and self-tests, structured design for testability, testing structured digital circuits and microprocessors, and financial aspects of testing. The self- contained reference is also suitable as a textbook in a formal course on the subject. Annotation copyrighted by Book News, Inc., Portland, OR

Using clear language, this book shows you how to build in, evaluate, and demonstrate reliability and availability of components, equipment, and systems. It presents the state of the art in theory and practice, and is based on the author's 30 years' experience, half in industry and half as professor of reliability engineering at the ETH, Zurich. In this extended edition, new models and considerations have been added for reliability data analysis and fault tolerant reconfigurable repairable systems including reward and frequency / duration aspects. New design rules for imperfect switching, incomplete coverage, items with more than 2 states, and phased-mission systems, as well as a Monte Carlo approach useful for rare events are given. Trends in quality management are outlined. Methods and tools are given in such a way that they can be tailored to cover different reliability requirement levels and be used to investigate safety as well. The book contains a large number of tables, figures, and examples to support the practical aspects.

Reliability engineering is a rapidly evolving discipline, whose purpose is to develop methods and tools to predict, evaluate, and demonstrate reliability, maintainability, and availability of components, equipment, and systems, as well as to support development and production engineers in building in reliability and maintainability. To be cost and time effective, reliability engineering has to be coordinated with quality assurance activities, in agreement with Total Quality Management (TQM) and Concurrent Engineering efforts. To build in reliability and maintainability into complex equipment or systems, failure rate and failure mode analyses have to be performed early in the development phase and be supported by design guidelines for reliability, maintainability, and software quality as well as by extensive design reviews. Before production, qualification tests on prototypes are necessary to ensure that quality and reliability targets have been met. In the production phase, processes need to be selected and monitored to assure the required quality level. For many systems, availability requirements have also to be satisfied. In these cases, stochastic processes can be used to investigate and optimize availability. including logistical support as well. Software often plays a dominant role, requiring specific quality assurance activities. This book presents the state-of-the-art of reliability engineering, both in theory and practice. It is based on over 25 years experience of the author in this field, half of which was in industry and half as Professor for reliability engineering at the ETH (Swiss Federal Institute of Technology Zurich).