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.

Part II: Design of Well Doping Profile for Improved Breakdown and Mixed-Signal Performance of STI-Type DePMOS Device

Shallow-trench isolation drain extended pMOS (STI-DePMOS) devices show a distinct two-stage breakdown. The impact of p-well and deep-n-well doping profile on breakdown characteristics is investigated based on TCAD simulations. Design guidelines for p-well and deep-n-well doping profile are developed to shift the onset of the first-stage breakdown to a higher drain voltage and to avoid vertical punch-through leading to early breakdown. An optimal ratio between the OFF-state breakdown voltage and the ON-state resistance could be obtained. Furthermore, the impact of p-well/deep-n-well doping profile on the figure of merits of analog and digital performance is studied. This paper aids in the design of STI drain extended MOSFET devices for widest safe operating area and optimal mixed-signal performance in advanced system-on-chip input-output process technologies.

Formal Verification of Full-Wave Rectifier: A Case Study

We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems. Due to the restriction imposed by Checkmate it necessitates to make the changes in the Checkmate implementation to implement the complex and non-linear system. Full-wave rectifier has been implemented by using the Checkmate custom blocks and the Simulink blocks from MATLAB from Math works. After establishing the required changes in the Checkmate implementation we are able to efficiently verify, the safety properties of the full-wave rectifier.

Experimental Study on Substrate Noise Effects of a Pulsed Clocking Scheme on PLL Performance

In this brief, the substrate noise effects of a pulsed clocking scheme on the output spur level, the phase noise, and the peak-to-peak (Pk-Pk) deterministic period jitter of an integer-N charge-pump phase-locked loop (PLL) are demonstrated experimentally. The phenomenon of noise coupling to the PLL is also explained through experiments. The PLL output frequency is 500 MHz and it is implemented in the 0.13-mu m CMOS technology. Measurements show a reduction of 12.53 dB in the PLL output spur level at an offset of 5 MHz and a reduction of 107 ps in the Pk-Pk deterministic period jitter upon reducing the duty cycle of the signal injected into the substrate from 50% to 20%. The results of the analyses suggest that using a pulsed clocking scheme for digital systems in mixed-signal integration along with other isolation techniques helps reduce the substrate noise effects on sensitive analog/radio-frequency circuits.

Fluorite and Mixed-Metal Kagome-Related Topologies in Metal-Organic Framework Compounds: Synthesis, Structure, and Properties

Two new three-dimensional metal-organic frameworks (MOFs) [Mn-2(mu(3)-OH)(H2O)(2)(BTC)]-2 H2O, I, and [NaMn(BTC)], II (BTC=1,2,4-benzenetricarboxylate = trimellitate) were synthesized and their structures determined by single-crystal X-ray diffraction (XRD). In I, the Mn-4 cluster, [Mn-4(mu(5)-OH)(2)(H2O)(4)O-12], is connected with eight trimellitate anions and each trimellitate anion connects to four different Mn-4 clusters, resulting in a fluorite-like structure. In II, the Mn2O8 dimer is connected with two Na+ ions through carboxylate oxygen to form mixed-metal distorted Kagome-related two-dimensional -M-O-M- layers, which are pillared by the trimellitate anions forming the three-dimensional structure. The extra-framework water molecules in I are reversibly adsorbed and are also corroborated by powder XRD studies. The formation of octameric water clusters involving free and coordinated water molecules appears to be new. Interesting magnetic behavior has been observed for both compounds. Electron spin resonance (ESR) studies indicate a broadening of the signal below the ordering temperature and appear to support the findings of the magnetic studies.

Unified large and small signal non-quasi-static model for long channel symmetric DG MOSFET

We propose a unified model for large signal and small signal non-quasi-static analysis of long channel symmetric double gate MOSFET. The model is physics based and relies only on the very basic approximation needed for a charge-based model. It is based on the EKV formalism Enz C, Vittoz EA. Charge based MOS transistor modeling. Wiley; 2006] and is valid in all regions of operation and thus suitable for RF circuit design. Proposed model is verified with professional numerical device simulator and excellent agreement is found. (C) 2010 Elsevier Ltd. All rights reserved.

Studies in biogas technology. Part IV. A novel biogas plant incorporating a solar water-heater and solar still

A reduction in the heat losses from the top of the gas holder of a biogas plant has been achieved by the simple device of a transparent cover. The heat losses thus prevented have been deployed to heat a water pond formed on the roof of the gas holder. This solar-heated water is mixed with the organic input for ‘ hot-charging ’ of the biogas plant. A thermal analysis of such a solar water-heater ‘ piggy-backing ’ on the gas holder of a biogas plant has been carried out.To test whether the advantages indicated by the thermal analysis can be realised in practice, a biogas plant of the ASTRA design was modified to incorporate a roof-top solar water-heater. The operation of such a modified plant, even under ‘ worst case ’ onditions, shows a significant improvement in the gas yield compared to the unmodified plant. Hence, the innovation reported here may lead to drastic reductions in the sizes and therefore costs of biogas plants. By making the transparent cover assume a tent-shape, the roof-top solar heater can serve the additional function of a solar still to yield distilled water. The biogas plant-cum-solar water-heater-cum-solar still described here is an example of a spatially integrated hybrid device which is extremely cost-effective.

Studies in biogas technology. Part I. Performance of a conventional biogas plant

This paper gives an account of a conventional 5.66 m3/day (200 cubic ft/day) biogas plant which has been instrumented, operated and monitored for 2 1/2 years. The observations regarding input to the plant, sludge and biogas outputs, and conditions inside the digester, have been described. Three salient features stand out. First, the observed average daily gas yield is much less than the rated capacity of the plant. Secondly, the plants show ease of operation and a very slow response to reductions and cessations of dung supply. Thirdly, the unexpectedly marked uniformity of density and temperature inside the digester indicates the almost complete absence of the stratification which is widely believed to take place; hence, biogas plants may be treated as isothermal, ‘ uniform ’ density, most probably imperfectly mixed, fed-batch reactors operating at the mean ambient temperature and the density of water.

A Non Quasi-Static Small Signal Model for Long Channel Symmetric DG MOSFET

We propose a compact model for small signal non quasi static analysis of long channel symmetric double gate MOSFET The model is based on the EKV formalism and is valid in all regions of operation and thus suitable for RF circuit design Proposed model is verified with professional numerical device simulator and excellent agreement is found well beyond the cut-off frequency

Processing of Ultrasonic Signal for Transducer Characterization and for Improving Signal-To-Noise Ratio

This paper describes the work related to characterisation of an ultrasonic transducer fabricated in the laboratory. The response of the medium to the ultrasonic wave was obtained by converting the time domain signal to frequency domain, using the FFT algorithm. Cross-correlation technique was adopted to increase the S/N ratio in the raw time domain signal and subsequently, to determine the ultrasonic velocity in the medium.

Large-Signal Model for Independent DG MOSFET

In this paper, we show the limitations of the traditional charge linearization techniques for modeling terminal charges of the independent double-gate metal-oxide-semiconductor field-effect transistors. Based on our recent computationally efficient Poisson solution for independent double gate transistors, we propose a new charge linearization technique to model the terminal charges and transcapacitances. We report two different types of quasistatic large-signal models for the long-channel device. In the first type, the terminal charges are expressed as closed-form functions of the source- and drain-end inversion charge densities and found to be accurate when the potential distribution at source end of the channel is hyperbolic in nature. The second type, which is found to be accurate in all regimes of operations, is based on the quadratic spline collocation technique and requires the input voltage equation to be solved two more times, apart from the source and drain ends.

Mixed convection in non-Newtonian fluids along a horizontal plate in a porous medium

The problem of mixed convection from horizontal surfaces in a porous medium saturated with a power-law-type non-Newtonian fluid is investigated. The transformed conservation laws are solved numerically for the case of variable wall hear pur conditions. Results for the details of the velocity and temperature fields as well as the Nusselt number have been presented. The viscosity index ranged from 0.5-1.5.

Signal compression through spatial frequency-based motion estimation

The interest in low bit rate video coding has increased considerably. Despite rapid progress in storage density and digital communication system performance, demand for data-transmission bandwidth and storage capacity continue to exceed the capabilities of available technologies. The growth of data-intensive digital audio, video applications and the increased use of bandwidth-limited media such as video conferencing and full motion video have not only sustained the need for efficient ways to encode analog signals, but made signal compression central to digital communication and data-storage technology. In this paper we explore techniques for compression of image sequences in a manner that optimizes the results for the human receiver. We propose a new motion estimator using two novel block match algorithms which are based on human perception. Simulations with image sequences have shown an improved bit rate while maintaining ''image quality'' when compared to conventional motion estimation techniques using the MAD block match criteria.

Removal of As(V) by adsorption onto mixed rare earth oxides

Arsenic pollution of water is a major problem faced worldwide. Arsenic is a suspected carcinogen in human beings and is harmful to other living beings. In the present study, a novel adsorbent was used to remove arsenate [As(V)] from synthetic solutions. The adsorbent, which is a mixture of rare earth oxides, was found to adsorb As(V) rapidly and effectively. The effect of various parameters such as contact time, initial concentration, pH, and adsorbent dose on adsorption efficiency was investigated. More than 90% of the adsorption occurred within the first 10 min and the kinetic rate constant was found to be about 3.5 mg min(-1). Adsorption efficiency was found to be dependent on the initial As(V) concentration, and the adsorption behavior followed the Langmuir adsorption model. The optimum pH was found to be 6.5. The presence of other ions such as nitrate, phosphate, sulphate, and silicate decreased the adsorption of As(V) by about 20-30%. The adsorbed As(V) could be desorbed easily by washing the adsorbent with pH 12 solution. This study demonstrates the applicability of naturally occurring rare earth oxides as selective adsorbents for As(V) from solutions.