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.

Rapid prototyping of polymeric electrophoresis microchips with integrated copper electrodes for contactless conductivity detection

A simple and easy approach to produce polymeric microchips with integrated copper electrodes for capacitively coupled contactless conductivity detection (CD) is described. Copper electrodes were fabricated using a printed circuit board (PCB) as an inexpensive thin-layer of metal. The electrode layout was first drawn and laser printed on a wax paper sheet. The toner layer deposited on the paper sheet was thermally transferred to the PCB surface working as a mask for wet chemical etching of the copper layer. After the etching step, the toner was removed with an acetonitrile-dampened cotton. A poly(ethylene terephthalate) (PET) film coated with a thin thermo-sensitive adhesive layer was used to laminate the PCB plate providing an insulator layer of the electrodes to perform CID measurements. Electrophoresis microchannels were fabricated in poly(dimethylsiloxane) (PDMS) by soft lithography and reversibly sealed against the PET film. These hybrid PDMS/PET chips exhibited a stable electroosmotic mobility of 4.25 +/- 0.04 x 10(-4) V cm(-2) s(-1), at pH 6.1, over fifty runs. Efficiencies ranging from 1127 to 1690 theoretical plates were obtained for inorganic cations.

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.

Serotonergic mechanisms of the median raphe nucleus-dorsal hippocampus in conditioned fear: Output circuit involves the prefrontal cortex and amygdala

Independent studies have shown that the median raphe nucleus (MRN) and dorsal hippocampus (DH) are involved in the expression of contextual conditioned fear (CFC). However, studies that examine the integrated involvement of serotonergic mechanisms of the MRN-DH are lacking. To address this issue, a CFC paradigm was used to test whether the serotonergic projections from the MRN to DH can influence CFC. Serotoninergic drugs were infused either into the MRN or DH prior to testing sessions in which freezing and startle responses were measured in the same context where 6 h previously rats received footshocks. A reduction of serotonin (5-HT) transmission in the MRN by local infusions of the 5-HT(1A) agonist 8-hydroxy-2-(di-n-propylamino)-tetralin (8-OH-DPAT) decreased freezing in response to the context but did not reduce fear-potentiated startle. This pattern of results is consistent with the hypothesis that MRN serotonergic mechanisms selectively modulate the freezing response to the aversive context. As for the DH, a decrease in postsynaptic 5-HT receptor activity at projection areas has been proposed to be the main consequence of 5-HT(1A) receptor activation in the MIRN. Intra-DH injections of 8-OH-DPAT inhibited both the freezing and fear-potentiated startle response to the context. To reconcile these findings, an inhibitory mechanism may exist between the incoming 5-HT pathway from the MRN to DH and the neurons of the DH output to other structures. The DH-amygdala or medial prefrontal cortex projections could well be this output circuit modulating the expression of CFC as revealed by measurements of Fos immunoreactivity in these areas. (C) 2009 Elsevier B.V. All rights reserved.

AcMus: an open, integrated platform for room acoustics research

This article describes the design, implementation, and experiences with AcMus, an open and integrated software platform for room acoustics research, which comprises tools for measurement, analysis, and simulation of rooms for music listening and production. Through use of affordable hardware, such as laptops, consumer audio interfaces and microphones, the software allows evaluation of relevant acoustical parameters with stable and consistent results, thus providing valuable information in the diagnosis of acoustical problems, as well as the possibility of simulating modifications in the room through analytical models. The system is open-source and based on a flexible and extensible Java plug-in framework, allowing for cross-platform portability, accessibility and experimentation, thus fostering collaboration of users, developers and researchers in the field of room acoustics.

Age and metallicity of star clusters in the Small Magellanic Cloud from integrated spectroscopy

Context. Analysis of ages and metallicities of star clusters in the Magellanic Clouds provide information for studies on the chemical evolution of the Clouds and other dwarf irregular galaxies. Aims. The aim is to derive ages and metallicities from integrated spectra of 14 star clusters in the Small Magellanic Cloud, including a few intermediate/old age star clusters. Methods. Making use of a full-spectrum fitting technique, we compared the integrated spectra of the sample clusters to three different sets of single stellar population models, using two fitting codes available in the literature. Results. We derive the ages and metallicities of 9 intermediate/old age clusters, some of them previously unstudied, and 5 young clusters. Conclusions. We point out the interest of the newly identified as intermediate/old age clusters HW1, NGC 152, Lindsay 3, Lindsay 11, and Lindsay 113. We also confirm the old ages of NGC 361, NGC 419, Kron 3, and of the very well-known oldest SMC cluster, NGC 121.

The chemical evolution of IC 10

Context. Dwarf irregular galaxies are relatively simple unevolved objects where it is easy to test models of galactic chemical evolution. Aims. We attempt to determine the star formation and gas accretion history of IC 10, a local dwarf irregular for which abundance, gas, and mass determinations are available. Methods. We apply detailed chemical evolution models to predict the evolution of several chemical elements (He, O, N, S) and compared our predictions with the observational data. We consider additional constraints such as the present-time gas fraction, the star formation rate (SFR), and the total estimated mass of IC 10. We assume a dark matter halo for this galaxy and study the development of a galactic wind. We consider different star formation regimes: bursting and continuous. We explore different wind situations: i) normal wind, where all the gas is lost at the same rate and ii) metal-enhanced wind, where metals produced by supernovae are preferentially lost. We study a case without wind. We vary the star formation efficiency (SFE), the wind efficiency, and the time scale of the gas infall, which are the most important parameters in our models. Results. We find that only models with metal-enhanced galactic winds can reproduce the properties of IC 10. The star formation must have proceeded in bursts rather than continuously and the bursts must have been less numerous than similar to 10 over the whole galactic lifetime. Finally, IC 10 must have formed by a slow process of gas accretion with a timescale of the order of 8 Gyr.

The BRAzilian Seismographic Integrated Systems (BRASIS): infrastructure and data management

In geophysics and seismology, raw data need to be processed to generate useful information that can be turned into knowledge by researchers. The number of sensors that are acquiring raw data is increasing rapidly. Without good data management systems, more time can be spent in querying and preparing datasets for analyses than in acquiring raw data. Also, a lot of good quality data acquired at great effort can be lost forever if they are not correctly stored. Local and international cooperation will probably be reduced, and a lot of data will never become scientific knowledge. For this reason, the Seismological Laboratory of the Institute of Astronomy, Geophysics and Atmospheric Sciences at the University of Sao Paulo (IAG-USP) has concentrated fully on its data management system. This report describes the efforts of the IAG-USP to set up a seismology data management system to facilitate local and international cooperation.

DERIVING METALLICITIES FROM THE INTEGRATED SPECTRA OF EXTRAGALACTIC GLOBULAR CLUSTERS USING THE NEAR-INFRARED CALCIUM TRIPLET

The Ca II triplet (CaT) feature in the near-infrared has been employed as a metallicity indicator for individual stars as well as integrated light of Galactic globular clusters (GCs) and galaxies with varying degrees of success, and sometimes puzzling results. Using the DEIMOS multi-object spectrograph on Keck we obtain a sample of 144 integrated light spectra of GCs around the brightest group galaxy NGC 1407 to test whether the CaT index can be used as ametallicity indicator for extragalactic GCs. Different sets of single stellar population models make different predictions for the behavior of the CaT as a function of metallicity. In this work, the metallicities of the GCs around NGC 1407 are obtained from CaT index values using an empirical conversion. The measured CaT/metallicity distributions show unexpected features, the most remarkable being that the brightest red and blue GCs have similar CaT values despite their large difference in mean color. Suggested explanations for this behavior in the NGC 1407 GC system are (1) the CaT may be affected by a population of hot blue stars, (2) the CaT may saturate earlier than predicted by the models, and/or (3) color may not trace metallicity linearly. Until these possibilities are understood, the use of the CaT as a metallicity indicator for the integrated spectra of extragalactic GCs will remain problematic.

Beryllium abundances along the evolutionary sequence of the open cluster IC 4651-A new test for hydrodynamical stellar models

Context. Previous analyses of lithium abundances in main sequence and red giant stars have revealed the action of mixing mechanisms other than convection in stellar interiors. Beryllium abundances in stars with Li abundance determinations can offer valuable complementary information on the nature of these mechanisms. Aims. Our aim is to derive Be abundances along the whole evolutionary sequence of an open cluster. We focus on the well-studied open cluster IC 4651. These Be abundances are used with previously determined Li abundances, in the same sample stars, to investigate the mixing mechanisms in a range of stellar masses and evolutionary stages. Methods. Atmospheric parameters were adopted from a previous abundance analysis by the same authors. New Be abundances have been determined from high-resolution, high signal-to-noise UVES spectra using spectrum synthesis and model atmospheres. The careful synthetic modeling of the Be lines region is used to calculate reliable abundances in rapidly rotating stars. The observed behavior of Be and Li is compared to theoretical predictions from stellar models including rotation-induced mixing, internal gravity waves, atomic diffusion, and thermohaline mixing. Results. Beryllium is detected in all the main sequence and turn-off sample stars, both slow- and fast-rotating stars, including the Li-dip stars, but is not detected in the red giants. Confirming previous results, we find that the Li dip is also a Be dip, although the depletion of Be is more modest than for Li in the corresponding effective temperature range. For post-main-sequence stars, the Be dilution starts earlier within the Hertzsprung gap than expected from classical predictions, as does the Li dilution. A clear dispersion in the Be abundances is also observed. Theoretical stellar models including the hydrodynamical transport processes mentioned above are able to reproduce all the observed features well. These results show a good theoretical understanding of the Li and Be behavior along the color-magnitude diagram of this intermediate-age cluster for stars more massive than 1.2 M(circle dot).

Autocatalysis in the open circuit interaction of alcohol molecules with oxidized Pt surfaces

We studied the open circuit interaction of methanol and ethanol with oxidized platinum electrodes using in situ infrared spectroscopy. For methanol, it was found that formic acid is the main species formed in the initial region of the transient and that the steep decrease of the open circuit potential coincides with an explosive increase in the CO(2) production, which is followed by an increase in the coverage of adsorbed CO. For ethanol, acetaldehyde was the main product detected and only traces of dissolved CO(2) and adsorbed CO were found after the steep potential decay. In both cases, the transients were interpreted in terms of (a) the emergence of sub-surface oxygen in the beginning of the transient, where the oxide content is high, and (b) the autocatalytic production of free platinum sites for lower oxide content during the steep decay of the open circuit potential.

The mitochondrial genome of the phytopathogenic basidiomycete Moniliophthora perniciosa is 109 kb in size and contains a stable integrated plasmid

We present here the sequence of the mitochondrial genome of the basidiomycete phytopathogenic hemibiotrophic fungus Moniliophthora perniciosa, causal agent of the Witches` Broom Disease in Theobroma cacao. The DNA is a circular molecule of 109103 base pairs, with 31.9 % GC, and is the largest sequenced so far. This size is due essentially to the presence of numerous non-conserved hypothetical ORFs. It contains the 14 genes coding for proteins involved in the oxidative phosphorylation, the two rRNA genes, one ORF coding for a ribosomal protein (rps3), and a set of 26 tRNA genes that recognize codons for all amino acids. Seven homing endonucleases are located inside introns. Except atp8, all conserved known genes are in the same orientation. Phylogenetic analysis based on the cox genes agrees with the commonly accepted fungal taxonomy. An uncommon feature of this mitochondrial genome is the presence of a region that contains a set of four, relatively small, nested, inverted repeats enclosing two genes coding for polymerases with an invertron-type structure and three conserved hypothetical genes interpreted as the stable integration of a mitochondrial linear plasmid. The integration of this plasmid seems to be a recent evolutionary event that could have implications in fungal biology. This sequence is available under GenBank accession number AY376688. (c) 2008 The British Mycological Society. Published by Elsevier Ltd. All rights reserved.

Acute physiological responses to different circuit training protocols

Aim. The purpose of present study was to compare the acute physiological responses to a circuit weight training with the responses to a combined circuit training (weight training and treadmill run). Methods. The sample consisted of 25 individuals at an average state of training, 10 men and 15 female, between 18 and 35 year old. There were selected 60 second sets of resistance exercises to the circuit weight training (CWT). Whereas in the combined circuit training (CCT), the subjects spent 30 seconds on the same resistance exercises and 30 seconds running on the treadmill. The rest intervals between the sets lasted 15 seconds. The analysis of variance (ANOVA) with 5% significance level was utilized to the statistical analysis of the results. Results. Comparing circuit training protocols, it was noted that CCT elicits a higher relative and absolute <(V)over dot>O(2) and energy expenditure values than CWT for both genders (P<0.05). Regarding inter-gender comparison, males showed higher absolute and relative <(V)over dot>O(2) and absolute energy expenditure values for both CWT and CCT than females (P<0.05). Females showed a significant greater % <(V)over dot>O(2max) value for both CWT and CCT. Due to the experimental conditions used to state both circuit training bouts (CWT and CCT), the <(V)over dot>O(2) rate found was higher than the values reported by previous studies which used heavier weight lift. Conclusion. CCT seems adequate to produce cardiovascular improvements and greater energy expenditure for both men and women, while CWT group classes are sufficient only for unfit women.

An integrated approach to produce biodiesel and monoglycerides by enzymatic interestification of babassu oil (Orbinya sp)

Two screenings of commercial lipases were performed to find a lipase with superior performance for the integrated production of biodiesel and monoglycerides. The first screening was carried out under alcoholysis conditions using ethanol as acyl acceptor to convert triglycerides to their corresponding ethyl esters (biodiesel). The second screening was performed under glycerolysis conditions to yield monoglycerides (MG). All lipases were immobilized on silica-PVA composite by covalent immobilization. The assays were performed using babassu oil and alcohols (ethanol or glycerol) in solvent free systems. For both substrates, lipase from Burkholderia cepacia (lipase PS) was found to be the most suitable enzyme to attain satisfactory yields. To further improve the process, the Response Surface Methodology (RSM) was used to determine the optima operating conditions for each biotransformation. For biodiesel production, the highest transesterification yield (>98%) was achieved within 48 h reaction at 39 degrees C using an oil-to-ethanol molar ratio of 1:7. For MG production, optima conditions corresponded to oil-to-glycerol molar ratio of 1: 15 at 55 degrees C, yielding 25 wt.% MG in 6 h reaction. These results show the potential of B. cepacia lipase to catalyze both reactions and the feasibility to consider an integrated approach for biodiesel and MG production. (C) 2009 Elsevier Ltd. All rights reserved.