Workload Distribution in Fault Simulation

Simulation at the gate level is computationally very expensive.Parallel processing is one technique to reduce simulation time.Possessing knowledge of the distribution of computational activity insimulation can aid in parallelizing it efficiently. We present a newcharacterization of the distribution of the computational workload infault simulation. An empirical analysis shows that the workloaddistribution is circuit specific, and is largely independent of thevector set being simulated. An inexpensive method to predict theworkload distribution is also discussed.     

Monitoring Power Dissipation for Fault Detection

In this paper, we suggest that the dynamic power dissipation of acircuit can be used for fault detection. Even those faults which do notaffect static power dissipation can be detected by monitoring dynamic powerdissipation. We discuss how stuck-at, stuck-open, and redundant faults maybe detected by monitoring dynamic power dissipation. In many cases, theFourier spectra of the supply currents in the good and faulty circuits willalso be very different. Further, specific tests can be applied so as toimprove fault coverage. Power monitoring is verified using simulation, andalso experimentally, for example circuits.     

Synthesis of algorithm-based fault-tolerant systems from dependencegraphs

Algorithm-based fault tolerance (ABFT) is a method for improving the reliability of parallel architectures used for computation-intensive tasks. A two-stage approach to the synthesis of ABFT systems is proposed. In the first stage, a system-level code is chosen to encode the data used in the algorithm. In the second stage, the optimal architecture to implement the scheme is chosen using dependence graphs. Dependence graphs are a graph-theoretic form of algorithm representation. The authors demonstrate that not all architectures are ideal for the implementation of a particular ABFT scheme. They propose new measures to characterize the fault tolerance capability of a system to better exploit the proposed synthesis method. Dependence graphs can also be used for the synthesis of ABFT schemes for non-linear problems. An example of a fault-tolerant median filter is provided to illustrate their utility for such problems     

Dual‐polarized high gain resonant cavity antenna for radio frequency energy harvesting

A Fabry pérot antenna with a multilayer superstrate having nonuniform unit cells has been investigated as a receiving antenna for radio frequency (RF) energy harvesting applications. Here, the primary radiator is selected as a dual‐polarized aperture coupled microstrip antenna with a double‐layer superstrate. This antenna excites orthogonal polarizations, vertical (V) and horizontal (H) in the frequency band of 6.2 and 5.8 GHz, respectively, due to the presence of two orthogonal H‐shaped slots in its ground plane. The proposed antenna provides a gain enhancement of 9.8 and 10.1 dBi at the respective frequencies. The rectifying circuit is designed for a frequency of 5.8 GHz using a voltage doubler topology. The circuit provides a power conversion efficiency of 41% at 0 dBm input power.     

Inelastic stability of laterally unsupported i-beams

A computer method to study the inelastic stability of laterally unsupported steel I-beams and based on a general non-linear theory is presented.Traditionally, the problem of flexural-torsional stability of beams is treated as a lateral buckling problem. Some of the draw-backs of these earlier studies are given below:The classical theory assumes that the deformations are small. In addition the deformation field is linearized. This theory is therefore valid only when the major axis flexural rigidity is much greater than its minor axis rigidity, so that deformations before the onset of lateral buckling are negligible.The lateral buckling theory is valid for straight beams, with loads applied rigorously in the plane of symmetry. Practical beams have initial imperfections and unavoidable load eccentricities. So the true behavior is better described by the stability phenomenon.For beams of intermediate length for which buckling occurs in the inelastic range, the tangent modulus theory is generally used. For ideally straight beams the tangent modulus theory provides an estimate for the collapse load which is slightly conservative. However, for practical beams with initial deformations, this need not be the case.In the majority of existing studies on inelastic lateral buckling, the differential equations for beams under uniform moment are used without modification for beams under moment gradient. In the later case the shear center line is inclined to the centroidal and geometrical axes. The differential equations for beams under uniform moment should therefore be modified by adding additional terms.The majority of the existing studies are limited to the behavior of isolated beams with simple end-conditions and so the beneficial effect of adjacent members on the beam collapse load cannot be studied accurately.A general non-linear theory to describe the spatial behavior of beams and that doesn't have the deficiencies mentioned above, is developed in the present paper.The paper also presents a computer method of solving these non-linear equations using the method of finite differences. Several numerical examples presented and comparison with the existing theoretical and experimental results show the applicability of the theory to a wide range of problems.     

Design of algorithm-based fault-tolerant multiprocessor systems forconcurrent error detection and fault diagnosis

Algorithm-based fault tolerance (ABPT) is a low-overhead system-level concurrent error detection and fault location scheme for multiprocessor systems. We present new methods for the design of ABFT systems. Our design procedure is applicable to a wide range of systems in which processors share data elements. A feature of our design approach is that the type of checks to be used in the final system can be controlled by the system designer. We also present some new bounds on the number of checks needed in ABFT system design     

A C-testable carry-free divider

In this paper, the design of a C-testable, high-performance carry-free array divider is presented. A radix-2 redundant number based carry-free divider is considered and is modified to make it C-testable, i.e., it can be exhaustively tested using a constant number of test vectors irrespective of its word-length. Previous C-testable designs considered dividers which used carry-propagate adders/subtractors. These dividers are slow because of their O(W²) computation time (where W is the word-length of the divider). High-performance carry-free dividers use carry-free redundant arithmetic adders/subtractors. Due to this feature, they have O(W) computation time. The on-the-fly converter used by carry-free dividers to convert the redundant quotient to two's-complement form is shown to be not C-testable. It is modified to be linear-testable (in word-length) instead of exponential time required for exhaustive testing of all possible combinations at its inputs. We conclude that the number of test vectors needed is 99 for C-testing of the divider array and (3W+10) for linear testing of the converter. The hardware overhead required to make the divider C-testable and the on-the-fly converter linear testable is also shown to be nominal     

System-level design for test of fully differential analog circuits

Several designs for test techniques for fully differential circuits have recently been proposed. These techniques are based on the inherent data encoding, the fully differential analog code (FDAC), present in differential circuits. These techniques have not previously been verified experimentally. In this paper, we report results from a fabricated test chip which incorporates design for test structures. The test chip is a fully differential fifth-order filter, and was fabricated on a 2-μm CMOS process. The test techniques implemented are derived from a system-level technique developed earlier. The test chip contains fault injection circuitry to emulate faults. Our results demonstrate that the FDAC is a viable design for test technique for analog circuits     

Regulation of intestinal nutrient transport is impaired in aged mice

To determine the effect of age on the regulation of intestinal nutrient absorption, we fed young (7.6-mo-old) and aged (24.8-mo-old) C57BL mice diets designed to stimulate in vitro sugar or amino acid uptake in the isolated small intestine. In each age group, diet had no effect on feeding rates and body weights. D-Glucose and D-fructose uptakes by the small intestine each increased by about two times in young and 1.5 times in aged mice fed high carbohydrate diets as compared with those fed no carbohydrate. Adaptive increases in uptake by the aged group were not only reduced but also restricted to more proximal regions of the small intestine. In both age groups, diet-stimulated increases in D-glucose transport were accompanied by parallel increases in number of Na(+)-D-glucose cotransporters as estimated by specific phlorizin binding. Diet had no effect on transporter Kd for phlorizin, turnover rate of each transporter, mucosal mass or mucosal permeability. A high protein diet stimulated the uptake of L-aspartate and L-proline in young mice and of only L-aspartate in aged mice. Uptake of essential amino acids and of nonessential amino acids sharing transporters with essential ones were not regulated. Although aged mice possess adaptive mechanisms to diet that are similar to those in young mice, the effectiveness of these mechanisms may be impaired with age and may result in malabsorption symptoms so prevalent in the elderly.