A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Micropatterning of single-walled carbon nanotube forest

In this work, high-aligned single-walled carbon nanotube (SWCNT) forest have been grown using a high-density plasma chemical vapor deposition technique (at room temperature) and patterned into micro-structures by photolithographic techniques, that are commonly used for silicon integrated circuit fabrication. The SWCNTs were obtained using pure methane plasma and iron as precursor material (seed). For the growth carbon SWCNT forest the process pressure was 15 mTorr, the RF power was 250W and the total time of the deposition process was 3 h. The micropatterning processes of the SWCNT forest included conventional photolithography and magnetron sputtering for growing an iron layer (precursor material). In this situation, the iron layer is patterned and high-aligned SWCNTs are grown in the where iron is present, and DLC is formed in the regions where the iron precursor is not present. The results can be proven by Scanning Electronic Microscopy and Raman Spectroscopy. Thus, it is possible to fabricate SWCNT forest-based electronic and optoelectronic devices. (C) 2010 Elsevier B.V. All rights reserved.

Cryogenic operation of FinFETs aiming at analog applications

FinFETs are recognized as promising candidates for the CMOS nanometer era. In this paper the most recent results for cryogenic operation of FinFETs will be demonstrated with special emphasis on analog applications. Threshold voltage, subthreshold slope and carrier mobility will be studied. Also some important figures of merit for analog circuit operation as for readout electronics, such as transconductance, output conductance and intrinsic voltage gain will be covered. It is demonstrated that the threshold voltage of undoped narrow FinFETs is less temperature-dependent than for a planar single-gate device with similar doping concentration. The temperature reduction improves the transconductance over drain current ratio in any operational region. On the other hand, the output conductance is degraded when the temperature is reduced. The combination of these effects shows that the intrinsic gain of a L = 90 nm FinFET is degraded by 2 dB when the temperature reduces from 300 K to 100 K. (C) 2009 Elsevier Ltd. All rights reserved.

MEMS-based incandescent microlamps for integrated optics applications

In this work we present the fabrication and operation of incandescent microlamps for integrated optics applications. This microlamp emits white and infrared light from a chromium resistor embedded in a free-standing silicon oxynitride (SiO(x)N(y)) cantilever that can be coupled to an optical waveguide. In fact, the chromium resistor is sandwiched between layers of SiO(x)N(y) that isolate it from the atmosphere, while electric current heats the resistor to incandescent temperatures. The same SiO(x)N(y) material used in the microlamp fabrication is also used to produce the optical waveguides to allow a monolithic integration of light source and optical circuit. Front-side bulk micromachining of the silicon substrate in potassium hydroxide (KOH) solution is used to fabricate the cantilevers that thermally isolate the resistors from the substrate, thus reducing the heat transfer and the current required to light the lamp.

Harmonic distortion of 2-MOS structures for MOSFET-C filters implemented with n-type unstrained and strained FINFETS

This work investigates the harmonic distortion (HD) in 2-MOS balanced structures composed of triple gate FinFETs. HD has been evaluated through the determination of the third-order harmonic distortion (HD3), since this represents the major non-linearity source in balanced structures. The 2-MOS structures with devices of different channel lengths (L) and fin widths (W(fin)) have been studied operating in the linear region as tunable resistors. The analysis was performed as a function of the gate voltage, aiming to verify the correlation between operation bias and HD3. The physical origins of the non-linearities have been investigated and are pointed out. Being a resistive circuit, the 2-MOS structure is generally projected for a targeted on-resistance, which has also been evaluated in terms of HD3. The impact of the application of biaxial strain has been studied for FinFETs of different dimensions. It has been noted that HD3 reduces with the increase of the gate bias for all the devices and this reduction is more pronounced both in narrower and in longer devices. Also, the presence of strain slightly diminishes the non-linearity at a similar bias. However, a drawback associated with the use of strain engineering consists in a significant reduction of the on-resistance with respect to unstrained devices. (C) 2011 Elsevier Ltd. All rights reserved.

A new approach to heart valve tissue engineering: mimicking the heart ventricle with a ventricular assist device in a novel bioreactor

The `biomimetic` approach to tissue engineering usually involves the use of a bioreactor mimicking physiological parameters whilst supplying nutrients to the developing tissue. Here we present a new heart valve bioreactor, having as its centrepiece a ventricular assist device (VAD), which exposes the cell-scaffold constructs to a wider array of mechanical forces. The pump of the VAD has two chambers: a blood and a pneumatic chamber, separated by an elastic membrane. Pulsatile air-pressure is generated by a piston-type actuator and delivered to the pneumatic chamber, ejecting the fluid in the blood chamber. Subsequently, applied vacuum to the pneumatic chamber causes the blood chamber to fill. A mechanical heart valve was placed in the VAD`s inflow position. The tissue engineered (TE) valve was placed in the outflow position. The VAD was coupled in series with a Windkessel compliance chamber, variable throttle and reservoir, connected by silicone tubings. The reservoir sat on an elevated platform, allowing adjustment of ventricular preload between 0 and 11 mmHg. To allow for sterile gaseous exchange between the circuit interior and exterior, a 0.2 mu m filter was placed at the reservoir. Pressure and flow were registered downstream of the TE valve. The circuit was filled with culture medium and fitted in a standard 5% CO(2) incubator set at 37 degrees C. Pressure and flow waveforms were similar to those obtained under physiological conditions for the pulmonary circulation. The `cardiomimetic` approach presented here represents a new perspective to conventional biomimetic approaches in TE, with potential advantages. Copyright (C) 2010 John Wiley & Sons, Ltd.

Analysis of source-follower buffers implemented with graded-channel SOI nMOSFETs operating at cryogenic temperatures

This work studies the operation of source-follower buffers implemented with standard and graded-channel (GC) fully depleted (FD) SCI nMOSFETs at low temperatures. The analysis is performed by comparing the voltage gain of buffers implemented with GC and standard SOI nMOS transistors considering devices with the same mask channel length and same effective channel length. It is shown that the use of GC devices allows for achieving improved gain in all inversion levels in a wide range of temperatures. In addition, this improvement increases as temperature is reduced. It is shown that GC transistors can provide virtually constant gain, while for standard devices, the gain departs from the maximum value depending on the temperature and inversion level imposed by the bias current and input voltage. Two-dimensional numerical simulations were performed in order to study the reasons for the enhanced gain of GC MOSFETs at low temperatures. (C) 2009 Elsevier Ltd. All rights reserved.

Advantages of graded-channel SOI nMOSFETs for application as source-follower analog buffer

In this work the performance of graded-channel (CC) SOI MOSFETs operating as source-follower buffers is presented. The experimental analysis is performed by comparing the gain and linearity of buffers implemented with CC and standard SOI MOS devices considering the same mask dimensions. It is shown that by using CC devices, buffer gain very close to the theoretical limit can be achieved, with improved linearity, while for standard devices the gain departs from the theoretical value depending on the inversion level imposed by the bias current and input voltage. Two-dimensional numerical simulations were performed in order to confirm some hypotheses proposed to explain the gain behavior observed in the experimental data. By using numerical simulations the channel length has been varied, showing that the gain of buffers implemented with CC devices remains close to the theoretical limit even when short-channel devices are adopted. It has also been shown that the length of a source-follower buffer using CC devices can be reduced by a factor of 5, in comparison with a standard Sol MOSFET, without gain loss or linearity degradation. (C) 2008 Elsevier Ltd. All rights reserved.

Resting energy expenditure in white and non-white severely obese women

This study aimed to compare the resting energy expenditure (REE) of white and non-white severely obese Brazilian women. REE was examined in 83 severely obese Brazilian women (n = 58 white and 25 non-white) with mean (+/- SD) age 42.99 +/- 11.35 and body mass index 46.88 +/- 6.22 kg/m(2) who were candidates for gastric bypass surgery. Body composition was assessed by air displacement plethysmography (ADP) BOD PODO body composition system (Life Measurement Instruments, Concord, CA) and REE was measured, under established protocol, with an open-circuit calorimeter (Deltatrac II MBM-200, Datex-Ohmeda, Madison, WI, USA). There was no significant difference between the REE of white and non-white severely obese women (1,953 +/- 273 and 1,906 +/- 271 kcal/d, respectively; p = 0.48). However, when adjusted for fat free mass (MLG), REE was significantly higher in non-white severely obese women (difference between groups of 158.4 kcal, p < 0.01). REE in white women was positively and significantly correlated to C-reactive protein (PCR) (r = 0.41.8; P < 0.001) and MLG (r = 0.771; P < 0.001). In the non-white women, REE was only significantly correlated to MLG (r = 0.753; P < 0.001). The multiple linear regression analysis showed that skin color, MLG and PCR were the significant determinants of REE (R(2) = 0.55). This study showed that, after adjustment for MLG, non-white severely obese women have a higher REE than the white ones. The association of body composition inflammation factors and REE in severely obese Brazilian women remains to be further investigated.

Ex Vivo Lung Perfusion: Early Report of Brazilian Experience

Introduction. Only about 15% of the potential candidates for lung donation are considered suitable for transplantation. A new method for ex vivo lung perfusion (EVLP) can be used to evaluate and recondition ""marginal,"" nonacceptable lungs. We have herein described an initial experience with ex vivo perfusion of 8 donor lungs deemed nonacceptable. Materials and Methods. After harvesting, the lungs were perfused ex vivo with Steen Solution, an extracellular matrix with high colloid osmotic pressure. A membrane oxygenator connected to the circuit received gas from a mixture of nitrogen and carbon dioxide, maintaining a normal mixed venous blood gas level in the perfusate. The lungs were gradually rewarmed, reperfused, and ventilated for evaluation through analyses of oxygenation capacity, pulmonary vascular resistance (PVR), lung compliance (LC), and biopsy. Results. The arterial oxygen pressure (with inspired oxygen fraction of 100%) increased from a mean of 206 mm Hg in the organ donor at the referring hospital to a mean of 498 mm Hg during the ex vivo evaluation. After 1 hour of EVLP, PVR varied from 440-1454 dynes/sec/cm(5); LC was in the range of 26-90 mL/cmH(2)O. There was no histological deterioration after 10 hours of cold ischemia and 1 hour of EVLP. Conclusions. The ex vivo evaluation model can improve oxygenation capacity of ""marginal"" lungs rejected for transplantation. It has great potential to increase lung donor availability and, possibly, reduce time on the waiting list.

A Voxel-Based Morphometry Study of Frontal Gray Matter Correlates of Impulsivity

Impulsivity is a personality trait exhibited by healthy individuals, but excessive impulsivity is associated with some mental disorders. Lesion and functional, neuroimaging Studies indicate that the ventromedial prefrontal region (VMPFC), including the orbitofrontal cortex (OFC), anterior cingulate cortex (ACC) and medial prefrontal cortex, and the amygdala may modulate impulsivity and aggression. However, no morphometric study has examined the association between VMPFC and impulsivity. We hypothesized that healthy subjects with high impulsivity would have smaller volumes in these brain regions compared with those with low impulsivity. Sixty-two healthy Subjects were Studied (age 35.4 +/- 12.1 years) using a 1.5-T MRI system. The Barratt impulsiveness scale (BIS) was used to assess impulsivity. Images were processed using an optimized voxel-based morphometry (VBM) protocol. We calculated the correlations between BIS scale scores and the gray matter (GM) and white matter (WM) volumes of VMPFC and amygdala. GM volumes of the left and right OFC were inversely correlated with the BIS total score (P = 0.04 and 0.02, respectively). Left ACC GM Volumes had a tendency to be inversely correlated with the BIS total score (P = 0.05. Right OFC GM Volumes were inversely correlated with BIS nonplanning impulsivity, and left OFC GM volumes were inversely correlated with motor impulsivity. There were no significant WM volume correlations with impulsivity. The results Of this morphometry Study indicate that small OFC volume relate to high impulsivity and extend the prior finding that the VMPFC is involved in the circuit modulating impulsivity. HUM Brain Mapp 30:1188-1195, 2009. (C) 2008 Wiley-Liss, Inc.

Cavopulmonary anastomosis improves left ventricular assist device support in acute biventricular failure

Objective: Right ventricular failure during left ventricular assist device (WAD) support can result in severe hemodynamic compromise with high mortality. This study investigated the acute effects of cavopulmonary anastomosis on right ventricular loading and WAD performance in a model of severe biventricular failure. Methods: LVAD support was performed by means of centrifugal pump implantation in 14 anesthetized dogs (20-30 kg) with severe biventricular failure obtained by ventricular fibrillation induction. Animals were randomized to be submitted to classical cavopulmonary anastomosis (Glenn shunt) or to control group and were maintained under WAD support for 2 h. Left and right atrial, right ventricular and systemic pressures were monitored, white total pulmonary flow was simultaneously recorded by transonic flowmeters located on the superior vena cava and pulmonary trunk. Blood gas and venous lactate determinations were also obtained. Results: Ventricular fibrillation maintenance resulted in acute WAD performance impairment after 90 min in the control group, while animals with Glenn circuit maintained normal WAD pump flow (55 +/- 13 ml kg(-1) min(-1) vs 21 +/- 4 ml kg(-1) min(-1), p < 0.001) and better peripheral perfusion (blood lactate of 29 +/- 10 pg/ml vs 46 +/- 9 pg/ml, p < 0.001). Left and right atrial pressures did not change significantly, while right ventricular pressure was tower in animals with Glenn circuit (13 +/- 3 mmHg vs 22 +/- 8 mmHg, p = 0.005). Right ventricular unloading with Glenn shunt also resulted in superior total pulmonary flow (59 +/- 13 ml kg(-1) min(-1) vs 17 +/- 3 ml kg(-1) min(-1), p < 0.001). Conclusion: The concomitant use of cavopulmonary anastomosis during LVAD support in a model of severe biventricular failure limited right ventricular overloading and resulted in better hemodynamic performance. (C) 2008 European Association for Cardio-Thoracic Surgery. Published by Elsevier B.V. All rights reserved.

Immunoendocrinology of the Thymus in Chagas Disease

During immune response to infectious agents, the host develops an inflammatory response which could fail to eliminate the pathogen or may become dysregulated. In this case, the ongoing response acquires a new status and turns out to be detrimental. The same elements taking part in the establishment and regulation of the inflammatory response (cytokines, chemokines, regulatory T cells and counteracting compounds like glucocorticoids) may also mediate harmful effects. Thymic disturbances seen during Trypanosoma cruzi (T. cruzi) infection fit well with this conceptual framework. After infection, this organ suffers a severe atrophy due to apoptosis-induced thymocyte exhaustion, mainly affecting the immature double-positive (DP) CD4+CD8+ population. Thymus cellularity depletion, which occurs in the absence of main immunological mediators involved in anti-T. cruzi defense, seems to be linked to a systemic cytokine/hormonal imbalance, involving a dysregulated increase in Tumor Necrosis Factor alpha (TNF-alpha) and corticosterone hormone levels. Additionally, we have found an anomalous exit of potentially autoimmune DP cells to the periphery, in parallel to a shrinkage in the compartment of natural regulatory T cells. In this context, our data clearly point to the view that the thymus is a target organ of T. cruzi infection. Preserved thymus may be essential for the development of an effective immune response against T. cruzi, but this organ is severely affected by a dysregulated circuit of proinflammatory cytokines and glucocorticoids. Also, the alterations observed in the DP population might have potential implications for the autoimmune component of human Chagas disease. Copyright (C) 2011 S. Karger AG, Basel

THE EFFECT OF DIFFERENT VOLUMES OF ACUTE RESISTANCE EXERCISE ON ELDERLY INDIVIDUALS WITH TREATED HYPERTENSION

Scher, LML, Ferriolli, E, Moriguti, JC, Scher, R, and Lima, NKC. The effect of different volumes of acute resistance exercise on elderly individuals with treated hypertension. J Strength Cond Res 25(4): 1016-1023, 2011-Acute resistance exercise can reduce the blood pressure (BP) of hypertensive subjects. The aim of this study was to evaluate the effect of different volumes of acute low-intensity resistance exercise over the magnitude and the extent of BP changes in treated hypertensive elderly individuals. Sixteen participants (7 men, 9 women), with mean age of 68 6 5 years, performed 3 independent randomized sessions: Control (C: 40 minutes of rest), Exercise 1 (E1: 20 minutes, 1 lap in the circuit), and Exercise 2 (E2: 40 minutes, 2 laps in the circuit) with the intensity of 40% of 1 repetition maximum. Blood pressure was measured before (during 20 minutes) and after each session (every 5 minutes during 60 minutes) using both a mercury sphygmomanometer and a semiautomatic device (Omrom-HEM-431). After that, 24-hour ambulatory blood pressure monitoring was performed (Dyna-MAPA). Blood pressure decreased during the first 60 minutes (systolic: p < 0.01, diastolic: p < 0.05) after all exercise sessions. Only the highest volume session promoted a reduction of mean systolic 24-hour BP and awake BP (p, 0.05) after exercise, with higher diastolic BP during sleep (p, 0.05). Diastolic 24-hour BP and both systolic and diastolic BP during sleep were higher after E1 (p, 0.05). Concluding, acute resistive exercise sessions in a circuit with different volumes reduced BP during the first 60 minutes after exercise in elderly individuals with treated hypertension. However, only the highest volume promoted a reduction of mean 24-hour and awake systolic BP.

Is dystonic posturing during temporal lobe epileptic seizures the expression of an endogenous anticonvulsant system?

In temporal lobe epilepsy (TLE) seizures, tonic or clonic motor behaviors (TCB) are commonly associated with automatisms, versions, and vocalizations, and frequently occur during secondary generalization. Dystonias are a common finding and appear to be associated with automatisms and head deviation, but have never been directly linked to generalized tonic or clonic behaviors. The objective of the present study was to assess whether dystonias and TCB are coupled in the same seizure or are associated in an antagonistic and exclusive pattern. Ninety-one seizures in 55 patients with TLE due to mesial temporal sclerosis were analyzed. Only patients with postsurgical seizure outcome of Engel class I or II were included. Presence or absence of dystonia and secondary generalization was recorded. Occurrence of dystonia and occurrence of bilateral tonic or clonic behaviors were negatively correlated. Dystonia and TCB may be implicated in exclusive, non-coincidental, or even antagonistic effects or phenomena in TLE seizures. A neural network related to the expression of one behavioral response (e.g., basal ganglia activation and dystonia) might theoretically ""displace"" brain activation or disrupt the synchronism of another network implicated in pathological circuit reverberation and seizure expression. The involvement of basal ganglia in the blockade of convulsive seizures has long been observed in animal models. The question is: Do dystonia and underlying basal ganglia activation represent an attempt of the brain to block imminent secondary generalization? (C) 2007 Elsevier Inc. All rights reserved.