FPGA BASED DESIGN FOR ACCELERATED FAULT-TESTING OF INTEGRATED CIRCUITS

In the past few decades, integrated circuits have become a major part of everyday life. Every circuit that is created needs to be tested for faults so faulty circuits are not sent to end-users. The creation of these tests is time consuming, costly and difficult to perform on larger circuits. This research presents a novel method for fault detection and test pattern reduction in integrated circuitry under test. By leveraging the FPGA's reconfigurability and parallel processing capabilities, a speed up in fault detection can be achieved over previous computer simulation techniques. This work presents the following contributions to the field of Stuck-At-Fault detection: We present a new method for inserting faults into a circuit net list. Given any circuit netlist, our tool can insert multiplexers into a circuit at correct internal nodes to aid in fault emulation on reconfigurable hardware. We present a parallel method of fault emulation. The benefit of the FPGA is not only its ability to implement any circuit, but its ability to process data in parallel. This research utilizes this to create a more efficient emulation method that implements numerous copies of the same circuit in the FPGA. A new method to organize the most efficient faults. Most methods for determinin the minimum number of inputs to cover the most faults require sophisticated softwareprograms that use heuristics. By utilizing hardware, this research is able to process data faster and use a simpler method for an efficient way of minimizing inputs.

Experimental Comparison of Bluetooth and WiFi Signal Propagation for Indoor Localisation

Systems for indoor positioning using radio technologies are largely studied due to their convenience and the market opportunities they offer. The positioning algorithms typically derive geographic coordinates from observed radio signals and hence good understanding of the indoor radio channel is required. In this paper we investigate several factors that affect signal propagation indoors for both Bluetooth and WiFi. Our goal is to investigate which factors can be disregarded and which should be considered in the development of a positioning algorithm. Our results show that technical factors such as device characteristics have smaller impact on the signal than multipath propagation. Moreover, we show that propagation conditions differ in each direction. We also noticed that WiFi and Bluetooth, despite operating in the same radio band, do not at all times exhibit the same behaviour.

Relative contributions of connexins 40 and 43 to atrial impulse propagation in synthetic strands of neonatal and fetal murine cardiomyocytes

Atrial tissue expresses both connexin 40 (Cx40) and 43 (Cx43) proteins. To assess the relative roles of Cx40 and Cx43 in atrial electrical propagation, we synthesized cultured strands of atrial myocytes derived from mice with genetic deficiency in Cx40 or Cx43 expression and measured propagation velocity (PV) by high-resolution optical mapping of voltage-sensitive dye fluorescence. The amount of Cx40 and/or Cx43 in gap junctions was measured by immunohistochemistry and total or sarcolemmal Cx43 or Cx40 protein by immunoblotting. Progressive genetic reduction in Cx43 expression decreased PV from 34+/-6 cm/sec in Cx43(+/+) to 30+/-8 cm/sec in Cx43(+/-) and 19+/-11 cm/sec in Cx43(-/-) cultures. Concomitantly, the cell area occupied by Cx40 immunosignal in gap junctions decreased from 2.0+/-1.6% in Cx43(+/+) to 1.7+/-0.5% in Cx43(+/-) and 1.0+/-0.2% in Cx43(-/-) strands. In contrast, progressive genetic reduction in Cx40 expression increased PV from 30+/-2 cm/sec in Cx40(+/+) to 40+/-7 cm/sec in Cx40(+/-) and 45+/-10 cm/sec in Cx40(-/-) cultures. Concomitantly, the cell area occupied by Cx43 immunosignal in gap junctions increased from 1.2+/-0.9% in Cx40(+/+) to 2.8+/-1.4% in Cx40(+/-) and 3.1+/-0.6% in Cx40(-/-) cultures. In accordance with the immunostaining results, immunoblots of the Triton X-100-insoluble fraction revealed an increase of Cx43 in gap junctions in extracts from Cx40-ablated atria, whereas total cellular Cx43 remained unchanged. Our results suggest that the relative abundance of Cx43 and Cx40 is an important determinant of atrial impulse propagation in neonatal hearts, whereby dominance of Cx40 decreases and dominance of Cx43 increases local propagation velocity.

A Fully Bayesian Approach for Combining Multilevel Failure Information in Fault Tree Quantification and Corresponding Optimal Resource Allocation

This paper presents a fully Bayesian approach that simultaneously combines basic event and statistically independent higher event-level failure data in fault tree quantification. Such higher-level data could correspond to train, sub-system or system failure events. The full Bayesian approach also allows the highest-level data that are usually available for existing facilities to be automatically propagated to lower levels. A simple example illustrates the proposed approach. The optimal allocation of resources for collecting additional data from a choice of different level events is also presented. The optimization is achieved using a genetic algorithm.

Gap junction channels and cardiac impulse propagation

The role of gap junction channels on cardiac impulse propagation is complex. This review focuses on the differential expression of connexins in the heart and the biophysical properties of gap junction channels under normal and disease conditions. Structural determinants of impulse propagation have been gained from biochemical and immunocytochemical studies performed on tissue extracts and intact cardiac tissue. These have defined the distinctive connexin coexpression patterns and relative levels in different cardiac tissues. Functional determinants of impulse propagation have emerged from electrophysiological experiments carried out on cell pairs. The static properties (channel number and conductance) limit the current flow between adjacent cardiomyocytes and thus set the basic conduction velocity. The dynamic properties (voltage-sensitive gating and kinetics of channels) are responsible for a modulation of the conduction velocity during propagated action potentials. The effect is moderate and depends on the type of Cx and channel. For homomeric-homotypic channels, the influence is small to medium; for homomeric-heterotypic channels, it is medium to strong. Since no data are currently available on heteromeric channels, their influence on impulse propagation is speculative. The modulation by gap junction channels is most prominent in tissues at the boundaries between cardiac tissues such as sinoatrial node-atrial muscle, atrioventricular node-His bundle, His bundle-bundle branch and Purkinje fibers-ventricular muscle. The data predict facilitation of orthodromic propagation.

Isolation and propagation of Trypanosoma brucei gambiense from sleeping sickness patients in south Sudan

This study aimed at isolating Trypanosoma brucei gambiense from human African trypanosomiasis (HAT) patients from south Sudan. Fifty HAT patients identified during active screening surveys were recruited, most of whom (49/50) were in second-stage disease. Blood and cerebrospinal fluid samples collected from the patients were cryopreserved using Triladyl as the cryomedium. The samples were stored at -150 degrees C in liquid nitrogen vapour in a dry shipper. Eighteen patient stabilates could be propagated in immunosuppressed Mastomys natalensis and/or SCID mice. Parasitaemia was highest in SCID mice. Further subpassages in M. natalensis increased the virulence of the trypanosomes and all 18 isolates recovered from M. natalensis or SCID mice became infective to other immunosuppressed mouse breeds. A comparison of immunosuppressed M. natalensis and Swiss White, C57/BL and BALB/c mice demonstrated that all rodent breeds were susceptible after the second subpassage and developed a parasitaemia >10(6)/ml by Day 5 post infection. The highest parasitaemias were achieved in C57/BL and BALB/c mice. These results indicate that propagation of T. b. gambiense isolates after initial isolation in immunosuppressed M. natalensis or SCID mice can be done in a range of immunosuppressed rodents.

Time-domain modeling of high-frequency electromagnetic wave propagation, overhead wires, and earth

Prediction of radiated fields from transmission lines has not previously been studied from a panoptical power system perspective. The application of BPL technologies to overhead transmission lines would benefit greatly from an ability to simulate real power system environments, not limited to the transmission lines themselves. Presently circuitbased transmission line models used by EMTP-type programs utilize Carson’s formula for a waveguide parallel to an interface. This formula is not valid for calculations at high frequencies, considering effects of earth return currents. This thesis explains the challenges of developing such improved models, explores an approach to combining circuit-based and electromagnetics modeling to predict radiated fields from transmission lines, exposes inadequacies of simulation tools, and suggests methods of extending the validity of transmission line models into very high frequency ranges. Electromagnetics programs are commonly used to study radiated fields from transmission lines. However, an approach is proposed here which is also able to incorporate the components of a power system through the combined use of EMTP-type models. Carson’s formulas address the series impedance of electrical conductors above and parallel to the earth. These equations have been analyzed to show their inherent assumptions and what the implications are. Additionally, the lack of validity into higher frequencies has been demonstrated, showing the need to replace Carson’s formulas for these types of studies. This body of work leads to several conclusions about the relatively new study of BPL. Foremost, there is a gap in modeling capabilities which has been bridged through integration of circuit-based and electromagnetics modeling, allowing more realistic prediction of BPL performance and radiated fields. The proposed approach is limited in its scope of validity due to the formulas used by EMTP-type software. To extend the range of validity, a new set of equations must be identified and implemented in the approach. Several potential methods of implementation have been explored. Though an appropriate set of equations has not yet been identified, further research in this area will benefit from a clear depiction of the next important steps and how they can be accomplished. Prediction of radiated fields from transmission lines has not previously been studied from a panoptical power system perspective. The application of BPL technologies to overhead transmission lines would benefit greatly from an ability to simulate real power system environments, not limited to the transmission lines themselves. Presently circuitbased transmission line models used by EMTP-type programs utilize Carson’s formula for a waveguide parallel to an interface. This formula is not valid for calculations at high frequencies, considering effects of earth return currents. This thesis explains the challenges of developing such improved models, explores an approach to combining circuit-based and electromagnetics modeling to predict radiated fields from transmission lines, exposes inadequacies of simulation tools, and suggests methods of extending the validity of transmission line models into very high frequency ranges. Electromagnetics programs are commonly used to study radiated fields from transmission lines. However, an approach is proposed here which is also able to incorporate the components of a power system through the combined use of EMTP-type models. Carson’s formulas address the series impedance of electrical conductors above and parallel to the earth. These equations have been analyzed to show their inherent assumptions and what the implications are. Additionally, the lack of validity into higher frequencies has been demonstrated, showing the need to replace Carson’s formulas for these types of studies. This body of work leads to several conclusions about the relatively new study of BPL. Foremost, there is a gap in modeling capabilities which has been bridged through integration of circuit-based and electromagnetics modeling, allowing more realistic prediction of BPL performance and radiated fields. The proposed approach is limited in its scope of validity due to the formulas used by EMTP-type software. To extend the range of validity, a new set of equations must be identified and implemented in the approach. Several potential methods of implementation have been explored. Though an appropriate set of equations has not yet been identified, further research in this area will benefit from a clear depiction of the next important steps and how they can be accomplished.

Multi-software modeling technique for field distribution propagation through an optical vertical interconnect assembly

Embedded siloxane polymer waveguides have shown promising results for use in optical backplanes. They exhibit high temperature stability, low optical absorption, and require common processing techniques. A challenging aspect of this technology is out-of-plane coupling of the waveguides. A multi-software approach to modeling an optical vertical interconnect (via) is proposed. This approach utilizes the beam propagation method to generate varied modal field distribution structures which are then propagated through a via model using the angular spectrum propagation technique. Simulation results show average losses between 2.5 and 4.5 dB for different initial input conditions. Certain configurations show losses of less than 3 dB and it is shown that in an input/output pair of vias, average losses per via may be lower than the targeted 3 dB.