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.

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.

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.

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.

Comparison of physical and mechanical properties of microwave-polymerized acrylic resin after disinfection in sodium hypochlorite solutions

This study evaluated the color stability, surface roughness and flexural strength of a microwave-polymerized acrylic resin after immersion in sodium hypochlorite (NaOCl), simulating 20 min of disinfection daily during 180 days. Forty disk-shaped (15 x 4 mm) and 40 rectangular (65 x 10 x 3 mm) specimens were prepared with a microwave-polymerized acrylic resin (Onda-Cryl). Specimens were immersed in either 0.5% NaOCl, 1% NaOCl, Clorox/Calgon and distilled water (control). Color measurements were determined by a portable colorimeter. Three parallel lines, separated by 1.0 mm, were registered on each specimen before and after immersion procedures to analyze the surface roughness. The flexural strength was measured using a 3-point bending test in a universal testing machine with a 50 kgf load cell and a crosshead speed of 1 mm/min. Data were analyzed statistically by ANOVA and Tukey's test (?=0.05). There was no statistically significant differences (p>0.05) among the solutions for color, surface roughness and flexural strength. It may be concluded that immersion in NaOCl solutions simulating short-term daily use during 180 days did not influence the color stability, surface roughness and flexural strength of a microwave-polymerized acrylic resin.

Effect of repeated disinfections by microwave energy on the physical and mechanical properties of denture base acrylic resins

The present study evaluated the effect of repeated simulated microwave disinfection on physical and mechanical properties of Clássico, Onda-Cryl and QC-20 denture base acrylic resins. Aluminum patterns were included in metallic or plastic flasks with dental stone following the traditional packing method. The powder/liquid mixing ratio was established according to the manufacturer's instructions. After water-bath polymerization at 74ºC for 9 h, boiling water for 20 min or microwave energy at 900 W for 10 min, the specimens were deflasked after flask cooling and finished. Each specimen was immersed in 150 mL of distilled water and underwent 5 disinfection cycles in a microwave oven set at 650 W for 3 min. Non-disinfected and disinfected specimens were subjected to the following tets: Knoop hardness test was performed with 25 g load for 10 s, impact strength test was done using the Charpy system with 40 kpcm, and 3-point bending test (flexural strength) was performed at a crosshead speed of 0.5 mm/min until fracture. Data were analyzed statistically by ANOVA and Tukey's test (α= 0.05%). Repeated simulated microwave disinfections decreased the Knoop hardness of Clássico and Onda-Cryl resins and had no effect on the impact strength of QC-20. The flexural strength was similar for all tested resins.

Study of the surface hardness and modulus of elasticity of conventional and microwave-cured acrylic resins

The aim of this study was to evaluate the following acrylic resins: Clássico®, QC-20® and Lucitone®, recommended specifically for thermal polymerization, and Acron MC® and VIPI-WAVE®, made for polymerization by microwave energy. The resins were evaluated regarding their surface nanohardness and modulus of elasticity, while varying the polymerization time recommended by the manufacturer. They were also compared as to the presence of water absorbed by the samples. The technique used was nanoindentation, using the Nano Indenter XP®, MTS. According to an intra-group analysis, when using the polymerization time recommended by the manufacturer, a variation of 0.14 to 0.23 GPa for nanohardness and 2.61 to 3.73 GPa for modulus of elasticity was observed for the thermally polymerized resins. The variation for the resins made for polymerization by microwave energy was 0.15 to 0.22 GPa for nanohardness and 2.94 to 3.73 GPa for modulus of elasticity. The conclusion was that the Classico® resin presented higher nanohardness and higher modulus of elasticity values when compared to those of the same group, while Acron MC® presented the highest values for the same characteristics when compared to those of the same group. The water absorption evaluation showed that all the thermal polymerization resins, except for Lucitone®, presented significant nanohardness differences when submitted to dehydration or rehydration, while only Acron MC® presented no significant differences when submitted to a double polymerization time. Regarding the modulus of elasticity, it was observed that all the tested materials and products, except for Lucitone®, showed a significant increase in modulus of elasticity when submitted to a lack of hydration.

Temperature of denture base resin under different protocols of microwave irradiation

This in vitro study evaluated the temperature of dentures after different microwave irradiation protocols. Two complete dentures (one maxillary and one mandibular denture) were irradiated separately 4 times for each of the following 5 protocols: dentures immersed in water (G1- 6 min, G2- 3 min); dentures kept dry (G3- 6 min); dentures placed in the steam sterilizer (G4- 6 min, G5- 3 min). The final temperature of the dentures was gauged in a thin and in a thick area of each denture with an infrared thermometer. All groups presented an increase in the resin base temperature. The thin areas of the dentures underwent greater heating than the thick areas. There was no significant difference (p>0.05) between the final mean temperatures of dentures immersed in water for 6 (G1) and 3 min (G2). However, the final mean temperatures recorded in G1 and G2 exceeded 71°C and were significantly higher (<0.001) than the final mean temperatures recorded in the other groups. It may be concluded that denture base resins subjected to microwave irradiation immersed in water may be exposed to deleterious temperatures.

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.

Continental passive microwave-based rainfall estimation algorithm: Application to the Amazon Basin

This paper presents a new statistical algorithm to estimate rainfall over the Amazon Basin region using the Tropical Rainfall Measuring Mission (TRMM) Microwave Imager (TMI). The algorithm relies on empirical relationships derived for different raining-type systems between coincident measurements of surface rainfall rate and 85-GHz polarization-corrected brightness temperature as observed by the precipitation radar (PR) and TMI on board the TRMM satellite. The scheme includes rain/no-rain area delineation (screening) and system-type classification routines for rain retrieval. The algorithm is validated against independent measurements of the TRMM-PR and S-band dual-polarization Doppler radar (S-Pol) surface rainfall data for two different periods. Moreover, the performance of this rainfall estimation technique is evaluated against well-known methods, namely, the TRMM-2A12 [ the Goddard profiling algorithm (GPROF)], the Goddard scattering algorithm (GSCAT), and the National Environmental Satellite, Data, and Information Service (NESDIS) algorithms. The proposed algorithm shows a normalized bias of approximately 23% for both PR and S-Pol ground truth datasets and a mean error of 0.244 mm h(-1) ( PR) and -0.157 mm h(-1)(S-Pol). For rain volume estimates using PR as reference, a correlation coefficient of 0.939 and a normalized bias of 0.039 were found. With respect to rainfall distributions and rain area comparisons, the results showed that the formulation proposed is efficient and compatible with the physics and dynamics of the observed systems over the area of interest. The performance of the other algorithms showed that GSCAT presented low normalized bias for rain areas and rain volume [0.346 ( PR) and 0.361 (S-Pol)], and GPROF showed rainfall distribution similar to that of the PR and S-Pol but with a bimodal distribution. Last, the five algorithms were evaluated during the TRMM-Large-Scale Biosphere-Atmosphere Experiment in Amazonia (LBA) 1999 field campaign to verify the precipitation characteristics observed during the easterly and westerly Amazon wind flow regimes. The proposed algorithm presented a cumulative rainfall distribution similar to the observations during the easterly regime, but it underestimated for the westerly period for rainfall rates above 5 mm h(-1). NESDIS(1) overestimated for both wind regimes but presented the best westerly representation. NESDIS(2), GSCAT, and GPROF underestimated in both regimes, but GPROF was closer to the observations during the easterly flow.

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 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.

Microwave Zero-Resistance States in a Bilayer Electron System

Magnetotransport measurements on a high-mobility electron bilayer system formed in a wide GaAs quantum well reveal vanishing dissipative resistance under continuous microwave irradiation. Profound zero-resistance states (ZRS) appear even in the presence of additional intersubband scattering of electrons. We study the dependence of photoresistance on frequency, microwave power, and temperature. Experimental results are compared with a theory demonstrating that the conditions for absolute negative resistivity correlate with the appearance of ZRS.