Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

A Method of Evaluating Electrical Response of Solion Diodes

A method of evaluating the transient electrical response of a solion diode when excited by different current stimuli is given. This method is extended to obtain the transient response of the solion when connected in a circuit. To illustrate the utility of this method a circuit incorporating a solion diode has been analyzed.

Polymer based photo detectors

Recent developments in our laboratory related to polymer-based light sensors are reviewed. The inherent processibility of the active polymer medium is utilized in the implementation of different designs for the opto-electronic applications. The utility of these devices as sensitive photodetectors, image sensors and position sensitive detectors is demonstrated. The schottky-type layer formation at interfaces of polymers such as polyalkylthiophenes and aluminum accompanied by the enhanced photo-induced charge separation due to high local electric field is tapped for some of these device structures. The sensitivity of polymer-based field effect transistors to light also provides a convenient lateral geometry for efficient optical-coupling and control of the transistor state. ne range of these polymer-detectors available with the option of operating in the diode and transistor modes should be an attractive feature for many potential applications.

External-cavity semiconductor laser sensor

The spectral characteristics of a diode laser are significantly affected due to interference caused between the laser diode output and the optical feedback in the external-cavity. This optical feedback effect is of practical use for linewidth reduction, tuning or for sensing applications. A sensor based on this effect is attractive due to its simplicity, low cost and compactness. This optical sensor has been used so far, in different configuration such as for sensing displacement induced by different parameters. In this paper we report a compact optical sensor consisting of a semiconductor laser coupled to an external cavity. Theoretical analysis of the self- mixing interference for optical sensing applications is given for moderate optical feedback case. A comparison is made with our experimental observations. Experimental results are in good agreement with the simulated power modulation based on self-mixing interference theory. Displacements as small as 10-4 nm have been measured using this sensor. The developed sensor showed a fringe sensitivity of one fringe per 400nm displacement for reflector distance of around 10cms. The sensor has also been tested for magnetic field and temperature induced displacement measurements.

Pt/CdTe/Pt asymmetric nano-Schottky diodes from colloidal quantum dots

We have fabricated nano-Schottky diodes of CdTe QDs with platinum metal electrodes in metal-semiconductor-metal planar configuration by drop-casting. The observed high value of ideality factor (13.3) of the diode was possibly due to the presence of defects in colloidal QDs. We observed asymmetry and non-linear nature of I-V characteristics between forward and reverse directions, which has been explained in terms of size distributions of quantum dots due to coffee ring effect. Copyright 2011 Author(s). This article is distributed under a Creative Commons Attribution 3.0 Unported License. doi:10.1063/1.3669408]

Carrier-transport studies of III-nitride/Si3N4/Si isotype heterojunctions

GaN/Si3N4/n-Si and InN/Si3N4/n-Si heterojunctions (HJs) were fabricated using plasma-assisted molecular beam epitaxy for a comparison study. Single-crystalline wurtzite structures of GaN and InN epilayers were confirmed by high-resolution X-ray diffraction and thickness of ultrathin Si3N4 layer was measured by transmission electron microscopy. n-GaN/Si3N4/n-Si HJs show diode-like rectifying current-voltage (I-V) characteristic, while n-InN/Si3N4/n-Si HJs show symmetric nonlinear I-V behavior. The I-V characteristics of both HJs were discussed in terms of the band diagram of HJs and the carrier transport mechanism. The activation energies of carrier conduction were estimated to be similar to 29 meV for GaN/Si3N4/Si and similar to 95 meV for InN/Si3N4/Si HJs. (C) 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

A 10 tesla table-top controlled waveform magnet

Controlled waveform magnets (CWMs) are a class of pulsed magnets whose pulse shape with time can be programmed by the user. With a CWM, the user gains control not only over the magnitude of the field but also over its rate of change. In this work we present a table-top CWM, driven by a capacitor bank, capable of producing virtually any user-shaped magnetic field waveform up to 10 tesla. Insulated gate bipolar transistor chips have been paralleled to form the high current switch and paralleled chips of SiC Schottky diodes form the crowbar diode module. Sample controlled waveforms including flat-tops up to 10 tesla and some triangular magnetic field pulses have been successfully generated for 10-20 ms with a ripple < 1%. (C) 2012 American Institute of Physics. http://dx.doi.org/10.1063/1.3699316]

Analysis of current voltage characteristics of MWIR homojunction photodiodes for uncooled operation

Dark currents n(+)/v/p(+) Hg0.69Cd0.Te-31 mid wave infrared photodiodes were measured at room temperature. The diodes exhibited negative differential resistance at room-temperature, but with increasing leakage currents as a function of reverse bias. The current-voltage characteristics were simulated and fitted by incorporating trap assisted tunneling via traps and Shockley-Read-Hall generation recombination process due to dislocations in the carrier transport equations. The thermal suppression of carriers was simulated by taking energy level of trap (E-t), trap density (N-t) and the doping concentrations of n(+) and v regions as fitting parameters. Values of E-t and N-t were 0.78E(g) and similar to 6-9 x 10(14) cm(-3) respectively for most of the diodes. Variable temperature current voltage measurements on variable area diode array (VADA) structures confirmed the fact that variation in zero bias resistance area product (R(0)A) is related to g-r processes originating from variation in concentration and kind of defects that intersect a junction area. (C) 2012 Elsevier B.V. All rights reserved.

Polyvinylbutyral based hybrid organic/inorganic films as a moisture barrier material

Flexible and thermally stable, freestanding hybrid organic/inorganic based polymer-composite films have been fabricated using a simple solution casting method. Polyvinylbutyral and amine functionalized mesoporous silica were used to synthesize the composite. An additional polyol-''tripentaerythritol''-component was also used to increase the -OH group content in the composite matrix. The moisture permeability of the composites was investigated by following a calcium degradation test protocol. This showed a reduction in the moisture permeability with the increase in functionalized silica loadings in the matrix. A reduction in permeability was observed for the composites as compared to the neat polymer film. The thermal and mechanical properties of these composites were also investigated by various techniques like thermogravimetric analysis, differential scanning calorimetry, tensile experiments, and dynamic mechanical analysis. It was observed that these properties detonate with the increase in the functionalized silica content and hence an optimized loading is required in order to retain critical properties. This deterioration is due to the aggregation of the fillers in the matrix. Furthermore, the films were used to encapsulate P3HT (poly 3 hexyl thiophene) based organic Schottky structured diodes, and the diode characteristics under accelerated aging conditions were studied. The weathered diodes, encapsulated with composite film showed an improvement in the lifetime as compared to neat polymer film. The initial investigation of these films suggests that they can be used as a moisture barrier layer for organic electronics encapsulation application.

Molecular beam epitaxial growth of (11-22) GaN on m-plane sapphire

The structural and optical properties of semipolar (1 1 -2 2) GaN grown on m-plane (1 0 -1 0) sapphire substrates by molecular beam epitaxy were investigated. An in-plane orientation relationship was found to be 1 -1 0 0] GaN parallel to 1 2-1 0] sapphire and -1 -1 2 3] GaN parallel to 0 0 0 1] sapphire for semipolar GaN on m-plane sapphire substrates. The near band emission (NBE) was found at 3.432 eV, which is slightly blue shifted compared to the bulk GaN. The Raman E-2 (high) peak position observed at 569.1 cm(-1), which indicates that film is compressively strained. Schottky barrier height (phi(b)) and the ideality factor (eta) for the Au/semipolar GaN Schottky diode found to be 0.55 eV and 2.11, respectively obtained from the TE model.

Characterization of groundwater chemistry under the influence of lithologic and anthropogenic factors along a climatic gradient in Upper Cauvery basin, South India

Hydrogeological and climatic effect on chemical behavior of groundwater along a climatic gradient is studied along a river basin. `Semi-arid' (500-800 mm of mean annual rainfall), `sub-humid' (800-1,200 mm/year) and `humid' (1,200-1,500 mm/year) are the climatic zones chosen along the granito-gneissic plains of Kabini basin in South India for the present analysis. Data on groundwater chemistry is initially checked for its quality using NICB ratio (<+/- 5 %), EC versus TZ+ (similar to 0.85 correlation), EC versus TDS and EC versus TH analysis. Groundwater in the three climatic zones is `hard' to `very hard' in terms of Ca-Mg hardness. Polluted wells are identified (> 40 % of pollution) and eliminated for the characterization. Piper's diagram with mean concentrations indicates the evolution of CaNaHCO3 (semi-arid) from CaHCO3 (humid zone) along the climatic gradient. Carbonates dominate other anions and strong acids exceeded weak acids in the region. Mule Hole SEW, an experimental watershed in sub-humid zone, is characterized initially using hydrogeochemistry and is observed to be a replica of entire sub-humid zone (with 25 wells). Extension of the studies for the entire basin (120 wells) showed a chemical gradient along the climatic gradient with sub-humid zone bridging semi-arid and humid zones. Ca/Na molar ratio varies by more than 100 times from semi-arid to humid zones. Semi-arid zone is more silicaceous than sub-humid while humid zone is more carbonaceous (Ca/Cl similar to 14). Along the climatic gradient, groundwater is undersaturated (humid), saturated (sub-humid) and slightly supersaturated (semi-arid) with calcite and dolomite. Concentration-depth profiles are in support of the geological stratification i.e., not approximate to 18 m of saprolite and similar to 25 m of fracture rock with parent gneiss beneath. All the wells are classified into four groups based on groundwater fluctuations and further into `deep' and `shallow' based on the depth to groundwater. Higher the fluctuations, larger is its impact on groundwater chemistry. Actual seasonal patterns are identified using `recharge-discharge' concept based on rainfall intensity instead of traditional monsoon-non-monsoon concept. Non-pumped wells have low Na/Cl and Ca/Cl ratios in recharge period than in discharge period (Dilution). Few other wells, which are subjected to pumping, still exhibit dilution chemistry though water level fluctuations are high due to annual recharge. Other wells which do not receive sufficient rainfall and are constantly pumped showed high concentrations in recharge period rather than in discharge period (Anti-dilution). In summary, recharge-discharge concept demarcates the pumped wells from natural deep wells thus, characterizing the basin.

Growth and properties of nonpolar a-plane GaN grown on r-sapphire by plasma assisted molecular beam epitaxy

The growth of nonpolar a- plane (1 1 -2 0) orientation of the GaN epilayers were confirmed by high resolution x-ray diffraction studies. An in-plane orientation relationship was found to be 0 0 0 1] GaN parallel to -1 1 0 1] sapphire and -1 1 0 0] GaN parallel to 1 1 -2 0] sapphire. SEM image shows the reasonably smooth surface. The photoluminescence spectrum shows near band emission (NBE) at 3.439 eV. The room temperature I-V characteristics of Au/a-GaN schottky diode performed. The Schottky barrier height (phi(b)) and the ideality factor (eta) for the Au/a-GaN schottky diode found to be 0.50 eV and 2.01 respectively.

Modeling Equitable Distribution of Water: Dynamic Inversion-Based Controller Approach

It is a well-known fact that most of the developing countries have intermittent water supply and the quantity of water supplied from the source is also not distributed equitably among the consumers. Aged pipelines, pump failures, and improper management of water resources are some of the main reasons for it. This study presents the application of a nonlinear control technique to overcome this problem in different zones in the city of Bangalore. The water is pumped to the city from a large distance of approximately 100km over a very high elevation of approximately 400m. The city has large undulating terrain among different zones, which leads to unequal distribution of water. The Bangalore, inflow water-distribution system (WDS) has been modeled. A dynamic inversion (DI) nonlinear controller with proportional integral derivative (PID) features (DI-PID) is used for valve throttling to achieve the target flows to different zones of the city. This novel approach of equitable water distribution using DI-PID controllers that can be used as a decision support system is discussed in this paper.

Synthesis and luminescence properties of Sm3+ doped CaTiO3 nanophosphor for application in white LED under NUV excitation

CaTiO3:Sm3+ (1-11 mol%) nanophosphors were successfully synthesized by a low temperature solution combustion method LCS]. The structural and morphological properties of the phosphors were studied by using Powder X-ray diffractometer (PXRD), Fourier transform infrared (FTIR), X-ray photo electron spectroscopy (XPS), scanning electron microscope (SEM) and transmission electron microscopy (TEM). TEM studies indicate that the size of the phosphor is similar to 20-35 nm. Photoluminescence (PL) properties of Sm3+ (1-11 mol%) doped CaTiO3 for NUV excitation (407 nm) was studied in order to investigate the possibility of its use in White light emitting diode (WLED) applications. The emission spectra consists of intra 4f transitions of Sm3+, such as (4)G(5/2) -> H-6(5/2) (561 nm), (4)G(5/2) -> H-6(7/2) (601-611 nm), (4)G(5/2) -> H-6(9/2) (648 nm) and (4)G(5/2) -> H-6(11/2) (703 nm) respectively. Further, the emission at 601-611 nm show strong orange-red emission and can be applied to the orange-red emission of phosphor for the application for near ultra violet (NUV) excitation. Thermoluminescence (TL) of the samples irradiated with gamma source in the dose range 100-500 Gy was recorded at a heating rate of 5 degrees C s(-1). Two well resolved glow peaks at 164 degrees C and 214 degrees C along with shouldered peak at 186 degrees C were recorded. TL intensity increases up to 300 Gy and thereafter, it decreases with further increase of dose. The kinetic parameters namely activation energy (E), frequency factor (s) and order of kinetics were estimated and results were discussed in detail. (C) 2014 Elsevier B.V. All rights reserved.

High-quality ZnO nanorod based flexible devices for electronic and biological applications

Vertically aligned zinc oxide nanorods (ZnO NRs) were synthesized on kapton flexible sheets using a simple and cost-effective three-step process (electrochemical seeding, annealing under ambient conditions, and chemical solution growth). Scanning electron microscopy studies reveal that ZnO NRs grown on seed-layers, developed by electrochemical deposition at a negative potential of 1.5 V over a duration of 2.5 min and annealed at 200 degrees C for 2 h, consist of uniform morphology and good chemical stoichiometry. Transmission electron microscopy analyses show that the as-grown ZnO NRs have single crystalline hexagonal structure with a preferential growth direction of < 001 >. Highly flexible p-n junction diodes fabricated by using p-type conductive polymer exhibited excellent diode characteristics even under the fold state.