Necessary and sufficient conditions for validatable nonrobust delay-fault testability of paths in arbitrary, multilevel networks are given. Validatable nonrobust testing, as opposed to robust testing, offers degrees o...
详细信息
Necessary and sufficient conditions for validatable nonrobust delay-fault testability of paths in arbitrary, multilevel networks are given. Validatable nonrobust testing, as opposed to robust testing, offers degrees of freedom that enable the development of efficient synthesis procedures that target delay-fault testability, and also provides a means of producing compact test vector sets. Synthesis procedures that produce networks that are fully testable under the validatable nonrobust fault model are developed. It is shown that primality and irredundancy is both a necessary and sufficient condition for complete validatable nonrobust testability in the two-level case. It is proven that synthesizing a multilevel network using algebraic factorization retains complete validatable nonrobust testability. Preliminary experimental results, which indicate that completely validatable nonrobust testable networks can be synthesized with small area overheads using the presented synthesis procedures, are provided.< >
The preliminary results of a novel approach to low-temperature annealing of previously irradiated indium phosphide and gallium arsenide solar cells are reported. The technique is based on forward-biased current anneal...
详细信息
The preliminary results of a novel approach to low-temperature annealing of previously irradiated indium phosphide and gallium arsenide solar cells are reported. The technique is based on forward-biased current annealing. The two types of III-V semiconductor solar cells were irradiated with 1 MeV electrons to a fluence level of (1-10)*10/sup 14/ electrons/cm/sup 2/. Several annealing attempts were made, varying all conditions. Optimum annealing was achieved when cells were injected with minority currents at a constant 90 degrees C. The current density for each type of cell was also determined. Significant recovery of degraded parameters was achieved in both cases. However, the InP cell recovery notably exceeded the recovery in GaAs cells. The recovery is thought to be caused by current stimulated reordering of the radiator-induced displacement damage. Both types of cell were then subjected to several cycles of irradiation and annealing. The results were also very promising. The significant recovery of degraded cell parameters at low temperature might play a major role in considerably extending the end of life of future spacecraft power supplies.< >
The manipulation of objects by a robot within its workspace requires knowledge about each object's location and orientation. A 3D representation of the robot's workspace is thus required. This 3D representatio...
详细信息
The manipulation of objects by a robot within its workspace requires knowledge about each object's location and orientation. A 3D representation of the robot's workspace is thus required. This 3D representation would be built up from information obtained from various sensors within the workspace. In the paper the sensors used are robot mountable CCD Cameras. In the transputer based system developed, the process of extracting the information from the cameras is separated from the processes that use this information. This separation of information provider from information user enables the software that controls the cameras (and even the cameras themselves) to be upgraded with no corresponding changes to the information user software. Additional cameras can easily be added to the system while obsolete cameras and those with poor imaging characteristics can simply be removed.< >
It is shown that the traditional approach to diagnosing stuck-at faults with fault dictionaries generated for stuck-at faults is not appropriate for diagnosing CMOS bridging faults. A novel technique for using stuck-a...
详细信息
It is shown that the traditional approach to diagnosing stuck-at faults with fault dictionaries generated for stuck-at faults is not appropriate for diagnosing CMOS bridging faults. A novel technique for using stuck-at-fault dictionaries to diagnose bridging faults is described. Teradyne's LASAR was used to simulate bridging and stuck-at faults in a number of combinational circuits, including parity trees, multiplexers, and the 74ASCI181 4-b, 16-function ALU (arithmetic and logic unit). When the traditional technique was used, between 30%-50% of the bridging faults were mis-diagnosed, with the presence of a failure indicated on a fault-free node. In addition, as the stuck-at-fault diagnostic ability of a test increased, the bridging fault diagnostic ability decreased. By use of the new technique. over 92% of the bridging faults in the circuits used for this research were diagnosed correctly and less than 4% led to misleading diagnoses.< >
The critical path technique for determining the single stuck-at faults detected by a test is extended to multiple faults by defining masking paths. A masking tree is used to represent the masking relationships among i...
详细信息
The critical path technique for determining the single stuck-at faults detected by a test is extended to multiple faults by defining masking paths. A masking tree is used to represent the masking relationships among individual faults. These relationships are then used to determine which multiple faults are actually detected by a test.< >
The authors present a low-cost self-test and self-diagnosis architecture for locating both defective chips and bad interconnects on a printed-circuit board. It is assumed that the boundary scan method developed by the...
详细信息
The authors present a low-cost self-test and self-diagnosis architecture for locating both defective chips and bad interconnects on a printed-circuit board. It is assumed that the boundary scan method developed by the Joint Task Action Group (JTAG) is applied to all chips on the board. To achieve high fault coverage, the proposed method uses pseudorandom patterns from a cellular automaton to locate defective chips, and walking sequences to locate bad interconnects. It is shown that the effectiveness of this method depends on the type of circuits to be tested.< >
It is noted that a necessary requirement of a strategic defense system is the detection of incoming nuclear warheads in an environment that may include nuclear detonations of undetected or missed target warheads. A co...
详细信息
It is noted that a necessary requirement of a strategic defense system is the detection of incoming nuclear warheads in an environment that may include nuclear detonations of undetected or missed target warheads. A computer model is described which simulates incoming warheads as distant endoatmospheric targets. A model of the expected electromagnetic noise present in the nuclear environment is developed; predicted atmospheric effects are included. Various morphological-based image-enhancement algorithms are examined with regard to their ability to suppress the noise and atmospheric effects of the nuclear environment. These algorithms are then tested, using the combined target and noise models, and evaluated in terms of noise removal and the ability to resolve closely spaced targets.< >
Implementation methods based on cyclic codes are presented for pseudoexhaustive testing of combinational logic networks with restricted output dependency. A modified linear-feedback shift register (LFSR) is used to ge...
详细信息
Implementation methods based on cyclic codes are presented for pseudoexhaustive testing of combinational logic networks with restricted output dependency. A modified linear-feedback shift register (LFSR) is used to generate exhaustive test patterns for every output of the circuit. All detectable, combinational faults (those that do not change a combinational circuit to a sequential circuit) in each cone of logic driving a single output are guaranteed to be detected. Examples indicate that LFSRs based on cyclic codes have lower hardware cost and shorter or comparable test lengths than other approaches. These test-pattern generators are well suited to applications where short testing time, low hardware overhead, and 100% single-stuck-at fault coverage are required.< >
Recent developments in the logic design courses in the computersystemslaboratory at Stanford University are described. The courses include an introductory undergraduate lecture and laboratory course, an advanced und...
详细信息
Recent developments in the logic design courses in the computersystemslaboratory at Stanford University are described. The courses include an introductory undergraduate lecture and laboratory course, an advanced undergraduate laboratory, and a graduate lecture and CAE (computer-aided engineering) laboratory course.< >
暂无评论