538
World Abstracts on Microelectronics and Reliability
overall construction of a package and subsequent electrical testing is simple.
Applications of the scanning electron microscope EBIC mode to semiconductor device evaluation and failure analysis. R. H. SORENSEN, I. THOMSON and L. ADAMS. Microelectron. J, 11, (1) 19 (1980). This paper shows how the Electron Beam Induced Current (EBIC) mode of operation finds routine application in the failure analysis and evaluation of semiconductor devices for space application. Most of the previously published work on EBIC has been of a theoretical nature and has concentrated on the quantitative aspect such as the measurement of minority carrier lifetime. The EBIC mode, however, also lends itself to the qualitative evaluation and analysis of comparatively complex semiconductor devices and in particular the study of diffusion spikes and similar effects. The routine application of the EBIC mode to practical device analysis is described and illustrated by case histories of device problems. Improvements in experimental techniques are proposed based on the work presented. R & M of socketed ICs. J. M. ERICKSON, W. D. TOWNES and J. F. LEARY. IEEE Trans. Reliab. R-28, (5) 338 (December 1979). This study shows that sockets can be reliable enough in a relatively benign environment for the short-term. Criteria for failure-free performance include l) operation in a controlled, non-vibration environment, 2) gold-plated, machined sockets, 3) either gold or tin-plated IC leads. Accelerated testing is required to estimate longterm reliability. Numerous federal and commercial systems use socketed integrated circuits (ICs) satisfactorily. Maintainability of circuit boards, ease of equipment upgrading, and simplifying transition from development to production are some of the advantages of sockets.
Reliable thyristors and triacs in TO-220 plastic packages. P. Blunt. Electron. Components Appl. 2, (1) 53 (November 1979). No devices make more demands on power semiconductor fabrication techniques than thyristors and triacs. Their construction and packaging must withstand rapid, large fluctuations of temperature and provide effective insulation to enable high voltages to be handled by small structures. They must have stable leakage characteristics to prevent false triggering. These requirements have not been well satisfied by traditional technology. However, eutectic bonding and diffusion isolation have now overcome the conformance and reliability barriers set by the usual softsoldered TO-220 thyristor and triac construction methods. Power-control equipment using TO-220 devices based on the new technology is setting new standards for reliability. This article gives the reasons for the design changes, and justifies them with intermediate results from continuing, long-term life testing.
Non-destructive examination of eutectic die-bonds in high power silicon devices using air-coupled ultrasound. R. L. CROCKER. Proc. Internepcon UK '79, p. 231, Brighton, (16-18 October 1979). High frequency ultrasound is being used to examine the eutectic bond between silicon devices and their heat sinks. Conventional ultrasonic techniques are not feasible in this application and an air-coupled system is being developed. In order to predict the effect of voids in the bond line of the devices on the transmission of sonic energy, a mathematical model is being developed. This combines frequency dependent transmission and reflection coefficients of the various materials in the system and will permit examination of voids of differing types and sizes. The aim of the work is to produce an on-line bond test station to be positioned as close to the bonding unit as possible, with the capability of testing one device per second.
3. CIRCUIT AND SYSTEMS RELIABILITY, MAINTENANCE A N D R E D U N D A N C Y Quality improvement through quality progress, p. 22 (November 1979). How one firm took steps to assure uniform quality of its LED Transfer Molding.
The efficient manipulation of Boolean logic. JAMES M. CARGAL. Proc. IEEE Reliab. Syrup. p. 361 Washington D.C. (23-25 January 1979). An important technique of reliability engineering is fault tree analysis, which essentially consists of logically diagramming, then analyzing the events that can lead within some well-defined system to a particular well-defined event, the "top event." In the analysis portion of the task, there is an algebra, in fact a Boolean algebra, which is associated with the events within the system. The body of this paper concerns the algebraic manipulation of these events. It is the intent here to make this manipulation as simple as possible. The ring sum operation discussed (also known as the symmetric difference operation) is very familiar to algebraists. However, there is little evidence of much algebraic impact or logic impact in reliability engineering. In fault tree analysis, the "algebra" is the algebra associated with the tree. This view-point will be presented here. Eventually, rather than the algebra associated with a tree, it might be advantageous to consider what technique of analysis is best suited to the algebra associated with the system. At the end, deeper "non-trivial" possibilities will be touched upon. It is assumed that the reader is familiar with naive set theory and with elementary Boolean algebra. It is preferred that the reader be familiar with fault tree analysis as well. Many proofs will be skipped.
Cost optimization subject to availability constraints. A. WIL-
LIAM KRATZKE and JOLEROY GAUGER. Proc. IEEE Reliab. Syrup. p. 73, Washington, D.C. (23-25 January 1979). The Operation and Support part of Life Cycle Cost planning during the conceptual phase of a program can be regarded as an exercise in system optimization. We propose a model for availability that admits of MTBF decay and accordingly let LCC be dependent on that degradation. Optimization is based on optimal control theory and a closed loop control function is derived.
Treatment of dependencies in reliability analyses. G. E. INGRAM and JON G. ELERATH. Proc. IEEE Reliab. Syrup. p. 99, Washington, D.C. (23-25 January 1979). This paper presents a method for the evaluation of dependencies in discrete reliability models. The theoretical basis for evaluation and the computer code PROBCALC which makes this method tractable for any system are presented. Examples of model dependencies are taken from analyses of Shutdown Heat Removal Systems in loop type Breeder Reactors. The general technique and the use of PROBCALC are both illustrated by application to an example Shutdown Heat Removal System.
A reliability growth management approach. DAVID J. SIMKINS. Proc. IEEE Reliab. Syrup. p. 356, Washington, D.C. (23-25 January 1979). This paper describes a real-time reliability measurement, tracking, and control approach that can be implemented during development of a major weapon system. This approach provides real-time visibility and accountability to quickly check for nonconformance to reliability requirements. It allows a multitier growth track-