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.

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.

Multiple synchronous states in static delay-free mutually connected PLL networks

In many engineering applications, the time coordination of geographically separated events is of fundamental importance, as in digital telecommunications and integrated digital circuits. Mutually connected (MC) networks are very good candidates for some new types of application, such as wireless sensor networks. This paper presents a study on the behavior of MC networks of digital phase-locked loops (DPLLs). Analytical results are derived showing that, even for static networks without delays, different synchronous states may exist for the network. An upper bound for the number of such states is also presented. Numerical simulations are used to show the following results: (i) the synchronization precision in MC DPLLs networks; (ii) the existence of synchronous states for the network does not guarantee its achievement and (iii) different synchronous states may be achieved for different initial conditions. These results are important in the neural computation context. as in this case, each synchronous state may be associated to a different analog memory information. (C) 2010 Elsevier B.V. All rights reserved.

Supercritical steam cycles and biomass integrated gasification combined cycles for sugarcane mills

Back in 1970s and 1980s, cogeneration plants in sugarcane mills were primarily designed to consume all bagasse, and produce steam and electricity to the process. The plants used medium pressure steam boilers (21 bar and 300 degrees C) and backpressure steam turbines. Some plants needed also an additional fuel, as the boilers were very inefficient. In those times, sugarcane bagasse did not have an economic value, and it was considered a problem by most mills. During the 1990s and the beginning of the 2000s, sugarcane industry faced an open market perspective, thus, there was a great necessity to reduce costs in the production processes. In addition, the economic value of by-products (bagasse, molasses, etc.) increased, and there was a possibility of selling electricity to the grid. This new scenario led to a search for more advanced cogeneration systems, based mainly on higher steam parameters (40-80 bar and 400-500 degrees C). In the future, some authors suggest that biomass integrated gasification combined cycles are the best alternative to cogeneration plants in sugarcane mills. These systems might attain 35-40% efficiency for the power conversion. However, supercritical steam cycles might also attain these efficiency values, what makes them an alternative to gasification-based systems. This paper presents a comparative thermoeconomic study of these systems for sugarcane mills. The configurations studied are based on real systems that could be adapted to biomass use. Different steam consumptions in the process are considered, in order to better integrate these configurations in the mill. (C) 2009 Elsevier Ltd. All rights reserved.

Adoption of integrated production of peach system in Parana State

The success in the adoption of peach integrated production (IP) was evaluated in small orchards of the Parana State. The importance of specific technical accompaniment; points of strangulating in adoption of technology and the classification of the areas to IP conformity were evaluated. The seasons 2005/2006 (without IP orientation) and 2006/2007 (with IP orientation) were compared considering 20 producers who were oriented monthly to attend the minimum requisites. The incidence of peach rust (Tranzschelia discolor) and of brown rot (Monilinia fructicola) in full bloom was evaluated in 2006/2007 and 2007/2008 seasons, as biological parameters to accompany the efficiency of system adoption. After the technical accompaniment in 2007/2008 season, the software APOIA-Novo Rural-PI (APOIA-PI) was applied to measure the conformity to IP in peach orchards. The conformity index of each orchard was compared to the minimum requisite to classify as IP (0.7). The major difficulties in register of field book were: pests monitoring; collect of climate data and the harvest evaluation. The technical accompaniment increased in 60% the conformity in use of field book. In 2007/2008 season, the brown rot incidence increased in some areas, caused by not following IP recommendations. The inadequate management caused the increment in pathogen inoculum, promoting the disease development in peach orchards. The APOIA-PI classified two orchards as good agricultural practices (GAP) (0.7 <= conformity index >= 0.4), two as integrated production (IP) (>= 0.7) and the other orchards had conformity index lower than 0.4.

An integrated molecular map of yellow passion fruit based on simultaneous maximum-likelihood estimation of linkage and linkage phases

The development of genetic maps for auto-incompatible species, such as the yellow passion fruit (Passiflora edulis Sims f.flavicarpa Deg.) is restricted due to the unfeasibility of obtaining traditional mapping populations based on inbred lines. For this reason, yellow passion fruit linkage maps were generally constructed using a strategy known as two-way pseudo-testeross, based on monoparental dominant markers segregating in a 1:1 fashion. Due to the lack of information from these markers in one of the parents, two individual (parental) maps were obtained. However, integration of these maps is essential, and biparental markers can be used for such an operation. The objective of our study was to construct an integrated molecular map for a full-sib population of yellow passion fruit combining different loci configuration generated from amplified fragment length polymorphisms (AFLPs) and microsatellite markers and using a novel approach based on simultaneous maximum-likelihood estimation of linkage and linkage phases, specially designed for outcrossing species. Of the total number of loci, approximate to 76%, 21%, 0.7%, and 2.3% did segregate in 1:1, 3:1, 1:2:1, and 1:1:1:1 ratios, respectively. Ten linkage groups (LGs) were established with a logarithm of the odds (LOD) score >= 5.0 assuming a recombination fraction : <= 0.35. On average, 24 markers were assigned per LG, representing a total map length of 1687 cM, with a marker density of 6.9 cM. No markers were placed as accessories on the map as was done with previously constructed individual maps.

Deciphering the weathering processes using environmental mineralogy and geochemistry: Towards an integrated model of laterite and podzol genesis in the Upper Amazon Basin

This article reports major results from collaborative research between France and Brazil on soil and water systems, carried out in the Upper Amazon Basin. It reveals the weathering processes acting in the partly inundated, low elevation plateaus of the Basin, mostly covered by evergreen forest. Our findings are based on geochemical data and mineral spectroscopy that probe the crystal chemistry of Fe and Al in mineral phases (mainly kaolinite, Al- and Fe-(hydr)oxides) of tropical soils (laterites). These techniques reveal crystal alterations in mineral populations of different ages and changes of metal speciation associated with mineral or organic phases. These results provide an integrated model of soil formation and changes (from laterites to podzols) in distinct hydrological compartments of the Amazon landscapes and under altered water regimes. (C) 2010 Academie des sciences. Published by Elsevier Masson SAS. All rights reserved.

Cation Transport Coupled to ATP Hydrolysis By the (Na, K)-ATPase AN INTEGRATED, ANIMATED MODEL

An Adobe (R) animation is presented for use in undergraduate Biochemistry courses, illustrating the mechanism of Na(+) and K(+) translocation coupled to ATP hydrolysis by the (Na, K)-ATPase, a P(2c)-type ATPase, or ATP-powered ion pump that actively translocates cations across plasma membranes. The enzyme is also known as an E(1)/E(2)-ATPase as it undergoes conformational changes between the E(1) and E(2) forms during the pumping cycle, altering the affinity and accessibility of the transmembrane ion-binding sites. The animation is based on Horisberger`s scheme that incorporates the most recent significant findings to have improved our understanding of the (Na, K)-ATPase structure function relationship. The movements of the various domains within the (Na, K)-ATPase alpha-subunit illustrate the conformational changes that occur during Na(+) and K(+) translocation across the membrane and emphasize involvement of the actuator, nucleotide, and phosphorylation domains, that is, the ""core engine"" of the pump, with respect to ATP binding, cation transport, and ADP and P(i) release.

An integrated genomic analysis of human glioblastoma Multiforme

Glioblastoma multiforme ( GBM) is the most common and lethal type of brain cancer. To identify the genetic alterations in GBMs, we sequenced 20,661 protein coding genes, determined the presence of amplifications and deletions using high- density oligonucleotide arrays, and performed gene expression analyses using next- generation sequencing technologies in 22 human tumor samples. This comprehensive analysis led to the discovery of a variety of genes that were not known to be altered in GBMs. Most notably, we found recurrent mutations in the active site of isocitrate dehydrogenase 1 ( IDH1) in 12% of GBM patients. Mutations in IDH1 occurred in a large fraction of young patients and in most patients with secondary GBMs and were associated with an increase in overall survival. These studies demonstrate the value of unbiased genomic analyses in the characterization of human brain cancer and identify a potentially useful genetic alteration for the classification and targeted therapy of GBMs.

Puzzling challenges in contemporary neuroscience: Insights from complexity and emergence in epileptogenic circuits

The brain is a complex system that, in the normal condition, has emergent properties like those associated with activity-dependent plasticity in learning and memory, and in pathological situations, manifests abnormal long-term phenomena like the epilepsies. Data from our laboratory and from the literature were classified qualitatively as sources of complexity and emergent properties from behavior to electrophysiological, cellular, molecular, and computational levels. We used such models as brainstem-dependent acute audiogenic seizures and forebrain-dependent kindled audiogenic seizures. Additionally we used chemical OF electrical experimental models of temporal lobe epilepsy that induce status epilepticus with behavioral, anatomical, and molecular sequelae such as spontaneous recurrent seizures and long-term plastic changes. Current Computational neuroscience tools will help the interpretation. storage, and sharing of the exponential growth of information derived from those studies. These strategies are considered solutions to deal with the complexity of brain pathologies such as the epilepsies. (C) 2008 Elsevier Inc. All rights reserved.

An integrated database on ticks and tick-borne zoonoses in the tropics and subtropics with special reference to developing and emerging countries

Tick-borne zoonoses (TBZ) are emerging diseases worldwide. A large amount of information (e.g. case reports, results of epidemiological surveillance, etc.) is dispersed through various reference sources (ISI and non-ISI journals, conference proceedings, technical reports, etc.). An integrated database-derived from the ICTTD-3 project (http://www.icttd.nl)-was developed in order to gather TBZ records in the (sub-)tropics, collected both by the authors and collaborators worldwide. A dedicated website (http://www.tickbornezoonoses.org) was created to promote collaboration and circulate information. Data collected are made freely available to researchers for analysis by spatial methods, integrating mapped ecological factors for predicting TBZ risk. The authors present the assembly process of the TBZ database: the compilation of an updated list of TBZ relevant for (sub-)tropics, the database design and its structure, the method of bibliographic search, the assessment of spatial precision of geo-referenced records. At the time of writing, 725 records extracted from 337 publications related to 59 countries in the (sub-)tropics, have been entered in the database. TBZ distribution maps were also produced. Imported cases have been also accounted for. The most important datasets with geo-referenced records were those on Spotted Fever Group rickettsiosis in Latin-America and Crimean-Congo Haemorrhagic Fever in Africa. The authors stress the need for international collaboration in data collection to update and improve the database. Supervision of data entered remains always necessary. Means to foster collaboration are discussed. The paper is also intended to describe the challenges encountered to assemble spatial data from various sources and to help develop similar data collections.

Integrated marine gravity field in the Brazilian coast from altimeter-derived sea surface gradient and shipborne gravity

Sea surface gradients derived from the Geosat and ERS-1 satellite altimetry geodetic missions were integrated with marine gravity data from the National Geophysical Data Center and Brazilian national surveys. Using the least squares collocation method, models of free-air gravity anomaly and geoid height were calculated for the coast of Brazil with a resolution of 2` x 2`. The integration of satellite and shipborne data showed better statistical results in regions near the coast than using satellite data only, suggesting an improvement when compared to the state-of-the-art global gravity models. Furthermore, these results were obtained with considerably less input information than was used by those reference models. The least squares collocation presented a very low content of high-frequency noise in the predicted gravity anomalies. This may be considered essential to improve the high resolution representation of the gravity field in regions of ocean-continent transition. (C) 2010 Elsevier Ltd. All rights reserved.

Neuronal Expression of Cd36, Cd44, and Cd83 Antigen Transcripts Maps to Distinct and Specific Murine Brain Circuits

Cells recruited by the innate immune response rely on surface-expressed molecules in order to receive signals from the local environment and to perform phagocytosis, cell adhesion, and others processes linked to host defense. Hundreds of surface antigens designated through a cluster of differentiation (CD) number have been used to identify particular populations of leukocytes. Surprisingly, we verified that the genes that encode Cd36 and Cd83 are constitutively expressed in specific neuronal cells. For instance, Cd36 mRNA is expressed in some regions related to circuitry involved in pheromone responses and reproductive behavior. Cd44 expression, reanalyzed and detailed here, is associated with the laminar formation and midline thalamic nuclei in addition to striatum, extended amygdala, and a few hypothalamic, cortical, and hippocampal regions. A systemic immune challenge was able to increase Cd44 expression quickly in the area postrema and motor nucleus of the vagus but not in regions presenting expressive constitutive expression. In contrast to Cd36 and Cd44, Cd83 message was widely distributed from the olfactory bulb to the brain stem reticular formation, sparing the striatopallidum, olivary region, and cerebellum. Its pattern of expression nevertheless remained strongly associated with hypothalamic, thalamic, and hindbrain nuclei. Unlike the other transcripts, Cd83 mRNA was rapidly modulated by restraint stress. Our results indicate that these molecules might play a role in specific neural circuits and present functions other than those attributed to leukocyte biology. The data also suggest that these surface proteins, or their associated mRNA, could be used to label neurons in specific circuits/regions. J. Comp. Neurol. 517:906-924, 2009. (C) 2009 Wiley-Liss, Inc.

Er:YAl(3)(BO(3))(4) glassy thin films from polymeric precursor and sol-gel methods: Waveguides for integrated optics

This paper presents the characterization of single-mode waveguides for 980 and 1550 nm wavelengths. High quality planar waveguide structure was fabricated from Y(1-x)Er(x)Al(3)(BO(3))(4) multilayer thin films with x = 0.02, 0.05, 0.1, 0.3, and 0.5, prepared through the polymeric precursor and sol-gel methods using spin-coating. The propagation losses of the planar waveguides varying from 0.63 to 0.88 dB/cm were measured at 632.8 and 1550 nm. The photoluminescence spectra and radiative lifetimes of the Er(3+) (4)I(13/2) energy level were measured in waveguiding geometry. For most samples the photoluminescence decay was single exponential with lifetimes in between 640 mu s and 200 mu s, depending on the erbium concentration and synthesis method. These results indicate that Er doped YAl(3)(BO(3))(4) compounds are promising for low loss waveguides. (C) 2009 Elsevier B.V. All fights reserved.