Corrosion of silicon integrated circuits and lifetime predictions in implantable electronic devices

Corrosion is a prime concern for active implantable devices. In this paper we review the principles underlying the concepts of hermetic packages and encapsulation, used to protect implanted electronics, some of which remain widely overlooked. We discuss how technological advances have created a need to update the way we evaluate the suitability of both protection methods. We demonstrate how lifetime predictability is lost for very small hermetic packages and introduce a single parameter to compare different packages, with an equation to calculate the minimum sensitivity required from a test method to guarantee a given lifetime. In the second part of this paper, we review the literature on the corrosion of encapsulated integrated circuits (ICs) and, following a new analysis of published data, we propose an equation for the pre-corrosion lifetime of implanted ICs, and discuss the influence of the temperature, relative humidity, encapsulation and field-strength. As any new protection will be tested under accelerated conditions, we demonstrate the sensitivity of acceleration factors to some inaccurately known parameters. These results are relevant for any application of electronics working in a moist environment. Our comparison of encapsulation and hermetic packages suggests that both concepts may be suitable for future implants

Flexible active electrode arrays with ASICs that fit inside the rat's spinal canal

Epidural spinal cord electrical stimulation (ESCS) has been used as a means to facilitate locomotor recovery in spinal cord injured humans. Electrode arrays, instead of conventional pairs of electrodes, are necessary to investigate the effect of ESCS at different sites. These usually require a large number of implanted wires, which could lead to infections. This paper presents the design, fabrication and evaluation of a novel flexible active array for ESCS in rats. Three small (1.7 mm2) and thin (100 μm) application specific integrated circuits (ASICs) are embedded in the polydimethylsiloxane-based implant. This arrangement limits the number of communication tracks to three, while ensuring maximum testing versatility by providing independent access to all 12 electrodes in any configuration. Laser-patterned platinum-iridium foil forms the implant’s conductive tracks and electrodes. Double rivet bonds were employed for the dice microassembly. The active electrode array can deliver current pulses (up to 1 mA, 100 pulses per second) and supports interleaved stimulation with independent control of the stimulus parameters for each pulse. The stimulation timing and pulse duration are very versatile. The array was electrically characterized through impedance spectroscopy and voltage transient recordings. A prototype was tested for long term mechanical reliability when subjected to continuous bending. The results revealed no track or bond failure. To the best of the authors’ knowledge, this is the first time that flexible active electrode arrays with embedded electronics suitable for implantation inside the rat’s spinal canal have been proposed, developed and tested in vitro

A high power CMOS class-D amplifier for inductive-link medical transmitters

Powering of medical implants by inductive coupling is an effective technique, which avoids the use of bulky implanted batteries or transcutaneous wires. On the external unit side, class-D and class-E power amplifiers (PAs) are conventionally used thanks to their high efficiency at high frequencies. The initial specifications driving this work require the use of multiple independent stimulators, which imposes serious constraints on the area and functionality of the external unit. An integrated circuit class-D PA has been designed to provide both small area and enhanced functionality, the latter achieved by the addition of an on-chip phased-locked loop (PLL), a dead-time generator and a phase detector. The PA has been designed in a 0.18μm CMOS high-voltage process technology and occupies an area of 9.86 mm2. It works at frequencies up to 14 MHz and 30 V supply and efficiencies higher than 80% are obtained at 14 MHz. The PA is intended for a closed-loop transmitter system that optimises power delivery to medical implants

Interactions of asbestos-activated macrophages with an experimental fibrosarcoma

Supernatants from in vivo asbestos-activated macrophages failed to show any cytostatic activity against a syngeneic fibrosarcoma cell line in vitro. UICC chrysotile-induced peritoneal exudate cells also failed to demonstrate any growth inhibitory effect on the same cells in Winn assays of tumor growth. Mixing UICC crocidolite with inoculated tumor cells resulted in a dose-dependent inhibition of tumor growth; this could, however, be explained by a direct cytostatic effect on the tumor cells of high doses of crocidolite, which was observed in vitro

Higher Spin Gravitational Couplings and the Yang--Mills Detour Complex

Gravitational interactions of higher spin fields are generically plagued by inconsistencies. We present a simple framework that couples higher spins to a broad class of gravitational backgrounds (including Ricci flat and Einstein) consistently at the classical level. The model is the simplest example of a Yang--Mills detour complex, which recently has been applied in the mathematical setting of conformal geometry. An analysis of asymptotic scattering states about the trivial field theory vacuum in the simplest version of the theory yields a rich spectrum marred by negative norm excitations. The result is a theory of a physical massless graviton, scalar field, and massive vector along with a degenerate pair of zero norm photon excitations. Coherent states of the unstable sector of the model do have positive norms, but their evolution is no longer unitary and their amplitudes grow with time. The model is of considerable interest for braneworld scenarios and ghost condensation models, and invariant theory.Comment: 19 pages LaTe

Different photolysis kinetics at the surface of frozen freshwater vs. frozen salt solutions

Reactions at air-ice interfaces can proceed at very different rates than those in aqueous solution, due to the unique disordered region at the ice surface known as the quasi-liquid layer (QLL) . The physical and chemical nature of the surfacial region of ice is greatly affected by solutes such as sodium halide salts. In this work, we studied the effects of sodium chloride and sodium bromide on the photolysis kinetics of harmine, an aromatic organic compound, in aqueous solution and at the surface of frozen salt solutions above the eutectic temperature. In common with other aromatic organic compounds we have studied, harmine photolysis is much faster on ice surfaces than in aqueous solution, but the presence of NaCl or NaBr – which does not affect photolysis kinetics in solution – reduces the photolysis rate on ice. The rate decreases monotonically with increasing salt concentration; at the concentrations found in seawater, harmine photolysis at the surface of frozen salt solutions proceeds at the same rate as in aqueous solution. These results suggest that the brine excluded to the surfaces of frozen salt solutions is a true aqueous solution, and so it may be possible to use aqueous-phase kinetics to predict photolysis rates at sea ice surfaces. This is in marked contrast to the result at the surface of frozen freshwater samples, where reaction kinetics are often not well-described by aqueous-phase processes

Implementing and evaluating candidate-based invariant generation

The discovery of inductive invariants lies at the heart of static program verification. Presently, many automatic solutions to inductive invariant generation are inflexible, only applicable to certain classes of programs, or unpredictable. An automatic technique that circumvents these deficiencies to some extent is candidate-based invariant generation , whereby a large number of candidate invariants are guessed and then proven to be inductive or rejected using a sound program analyser. This paper describes our efforts to apply candidate-based invariant generation in GPUVerify, a static checker of programs that run on GPUs. We study a set of 383 GPU programs that contain loops, drawn from a number of open source suites and vendor SDKs. Among this set, 253 benchmarks require provision of loop invariants for verification to succeed. We describe the methodology we used to incrementally improve the invariant generation capabilities of GPUVerify to handle these benchmarks, through candidate-based invariant generation , whereby potential program invariants are speculated using cheap static analysis and subsequently either refuted or proven. We also describe a set of experiments that we used to examine the effectiveness of our rules for candidate generation, assessing rules based on their generality (the extent to which they generate candidate invariants), hit rate (the extent to which the generated candidates hold), effectiveness (the extent to which provable candidates actually help in allowing verification to succeed), and influence (the extent to which the success of one generation rule depends on candidates generated by another rule). We believe that our methodology for devising and evaluation candidate generation rules may serve as a useful framework for other researchers interested in candidate-based invariant generation. The candidates produced by GPUVerify help to verify 231 of these 253 programs. An increase in precision, however, has created sluggishness in GPUVerify because more candidates are generated and hence more time is spent on computing those which are inductive invariants. To speed up this process, we have investigated four under-approximating program analyses that aim to reject false candidates quickly and a framework whereby these analyses can run in sequence or in parallel. Across two platforms, running Windows and Linux, our results show that the best combination of these techniques running sequentially speeds up invariant generation across our benchmarks by 1 . 17 × (Windows) and 1 . 01 × (Linux), with per-benchmark best speedups of 93 . 58 × (Windows) and 48 . 34 × (Linux), and worst slowdowns of 10 . 24 × (Windows) and 43 . 31 × (Linux). We find that parallelising the strategies marginally improves overall invariant generation speedups to 1 . 27 × (Windows) and 1 . 11 × (Linux), maintains good best-case speedups of 91 . 18 × (Windows) and 44 . 60 × (Linux), and, importantly, dramatically reduces worst-case slowdowns to 3 . 15 × (Windows) and 3 . 17 × (Linux)

The Limits of Hermeticity Test Methods for Micropackages

Hermeticity is crucial for the long-term implantation of electronic packages. Pushed by advances in micromachining, package volumes are decreasing and current leak detection methods are no longer sensitive enough. This article reviews the limits of the most common methods and exposes their inadequateness for medical electronic applications where the device's life is 50 years or longer

Towards Integrability of Topological Strings I: Three-forms on Calabi-Yau manifolds

The precise relation between Kodaira-Spencer path integral and a particular wave function in seven dimensional quadratic field theory is established. The special properties of three-forms in 6d, as well as Hitchin's action functional, play an important role. The latter defines a quantum field theory similar to Polyakov's formulation of 2d gravity; the curious analogy with world-sheet action of bosonic string is also pointed out.Comment: 31 page