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.

Improved generation lifetime model for the electrical characterization of single- and double-gate SOI nMOSFETs

This work proposes a refined technique for the extraction of the generation lifetime in single- and double-gate partially depleted SOI nMOSFETs. The model presented in this paper, based on the drain current switch-off transients, takes into account the influence of the laterally non-uniform channel doping, caused by the presence of the halo implanted region, and the amount of charge controlled by the drain and source junctions on the floating body effect when the channel length is reduced. The obtained results for single- gate (SG) devices are compared with two-dimensional numerical simulations and experimental data, extracted for devices fabricated in a 0.1 mu m SOI CMOS technology, showing excellent agreement. The improved model to determine the generation lifetime in double-gate (DG) devices beyond the considerations previously presented also consider the influence of the silicon layer thickness on the drain current transient. The extracted data through the improved model for DG devices were compared with measurements and two-dimensional numerical simulations of the SG devices also presenting a good adjustment with the channel length reduction and the same tendency with the silicon layer thickness variation.

Generation of self-similar Gaussian time series by means of the DWT and DWPT variance maps

Due to the several kinds of services that use the Internet and data networks infra-structures, the present networks are characterized by the diversity of types of traffic that have statistical properties as complex temporal correlation and non-gaussian distribution. The networks complex temporal correlation may be characterized by the Short Range Dependence (SRD) and the Long Range Dependence - (LRD). Models as the fGN (Fractional Gaussian Noise) may capture the LRD but not the SRD. This work presents two methods for traffic generation that synthesize approximate realizations of the self-similar fGN with SRD random process. The first one employs the IDWT (Inverse Discrete Wavelet Transform) and the second the IDWPT (Inverse Discrete Wavelet Packet Transform). It has been developed the variance map concept that allows to associate the LRD and SRD behaviors directly to the wavelet transform coefficients. The developed methods are extremely flexible and allow the generation of Gaussian time series with complex statistical behaviors.

Adequacy of Cold Rolling Models to Upgrade Set-up Generation Systems

This paper presents two strategies for the upgrade of set-up generation systems for tandem cold mills. Even though these mills have been modernized mainly due to quality requests, their upgrades may be made intending to replace pre-calculated reference tables. In this case, Bryant and Osborn mill model without adaptive technique is proposed. As a more demanding modernization, Bland and Ford model including adaptation is recommended, although it requires a more complex computational hardware. Advantages and disadvantages of these two systems are compared and discussed and experimental results obtained from an industrial cold mill are shown.

Electron beam induced second-harmonic generation in Er(3+) doped PbO-GeO(2) glasses containing silver nanoparticles

Electron beam induced second harmonic generation (SHG) is studied in Er(3+) doped PbO-GeO(2) glasses containing silver nanoparticles with concentrations that are controlled by the heat-treatment of the samples. The SHG is observed at T = 4.2 K using a p-polarized laser beam at 1064 nm. Enhancement of the SHG is observed in the samples that are submitted to electron beam incidence. The highest value of the nonlinear susceptibility, 2.08 pm/V, is achieved for the sample heat-treated during 72 h and submitted to an electron beam current of 15 nA. The samples that were not exposed to the electron beam present a susceptibility of a parts per thousand 0.5 pm/V.

Nutritional Aspects of Second Generation Soy Foods

Samples of 15 second generation soy-based products (n = 3), commercially available, were analyzed for their protein and isoflavone contents and in vitro antioxidant activity, by means of the Folin-Ciocalteu reducing ability, DPPH radical scavenging capacity, and oxygen radical absorbance capacity. Isoflavone identification and quantification were performed by high-performance liquid chromatography. Products containing soy and/or soy-based ingredients represent important sources of protein in addition to the low fat amounts. However, a large variation in isoflavone content and in vitro antioxidant capacity was observed. The isoflavone content varied from 2.4 to 18.1 mg/100 g (FW), and soy kibe and soy sausage presented the highest amounts. Chocolate had the highest antioxidant capacity, but this fact was probably associated with the addition of cocoa liquor, a well-known source of polyphenolics. This study showed that the soy-based foods do not present a significant content of isoflavones when compared with the grain, and their in vitro antioxidant capacity is not related with these compounds but rather to the presence of other phenolics and synthetic antioxidants, such as sodium erythorbate. However, they may represent alternative sources and provide soy protein, isoflavones, and vegetable fat for those who are not ready to eat traditional soy foods.

Method development and optimization for the determination of selenium in bean and soil samples using hydride generation electrothermal atomic absorption spectrometry

The present investigation is the first part of an initiative to prepare a regional map of the natural abundance of selenium in various areas of Brazil, based on the analysis of bean and soil samples. Continuous-flow hydride generation electrothermal atomic absorption spectrometry (HG-ET AAS) with in situ trapping on an iridium-coated graphite tube has been chosen because of the high sensitivity and relative simplicity. The microwave-assisted acid digestion for bean and soil samples was tested for complete recovery of inorganic and organic selenium compounds (selenomethionine). The reduction of Se(VI) to Se(IV) was optimized in order to guarantee that there is no back-oxidation, which is of importance when digested samples are not analyzed immediately after the reduction step. The limits of detection and quantification of the method were 30 ng L(-1) Se and 101 ng L(-1) Se, respectively, corresponding to about 3 ng g(-1) and 10 ng g(-1), respectively, in the solid samples, considering a typical dilution factor of 100 for the digestion process. The results obtained for two certified food reference materials (CRM), soybean and rice, and for a soil and sediment CRM confirmed the validity of the investigated method. The selenium content found in a number of selected bean samples varied between 5.5 +/- 0.4 ng g(-1) and 1726 +/- 55 ng g(-1), and that in soil samples varied between 113 +/- 6.5 ng g(-1) and 1692 +/- 21 ng g(-1). (C) 2011 Elsevier B.V. All rights reserved.

Effect of Simvastatin on the Generation of Autoantibodies Against Oxidized LDL and Progression of Atherosclerosis in Rabbits

Oxidized Low-Density Lipoproteins (oxLDL) and autoantibodies against oxLDL are important in the development of atherosclerotic lesions. Statins are efficacious in the control of dyslipidemia and prevention of atherosclerosis; however, many questions concerning the mechanism of action of such drugs remain unknown. This work investigated the effect of simvastatin on generation of autoantibodies against oxLDL and development of atherosclerosis in rabbits. The animals were divided into three groups: control, hypercholesterolemic, and hypercholesterolemic simvastatin (3.0 mg simvastatin/ kg body weight). Concentrations of autoantibodies against oxLDL were determined on days 0,30 and 60 of the experiment and the atherosclerotic lesions were evaluated at the end of the study. Simvastatin reduced intimal proliferation in the thoracic region, prevented arterial calcification and inhibited the generation of autoantibodies against oxLDL. In conclusion, daily administration of simvastatin slows down atherosclerotic lesion development in rabbits with induced hypercholesterolemia and inhibition on generation of autoantibodies against oxLDL contributes to the cardioprotective effect observed.

Generation and Analysis of Interaction Energy Maps of p-Substituted Benzoic Acid [(5-Nitro-thiophen-2-yl)-methylene]-Hydrazides Active against MRSA

In this preliminary study eighteen p-substituted benzoic acid [(5-nitro-thiophen-2-yl)-methylene]-hydrazides with antimicrobial activity were evaluated against multidrug-resistant Staphylococcus aureus, correlating the three-dimensional characteristics of the ligands with their respective bioactivities. The computer programs Sybyl and CORINA were used, respectively, for the design and three-dimensional conversion of the ligands. Molecular interaction fields were calculated using GRID program. Calculations using Volsurf resulted in a statistically consistent model with 48 structural descriptors showing that hydrophobicity is a fundamental property in the analyzed biological response.

Characterization of the stimulus for reactive oxygen species generation in calcium-overloaded mitochondria

We have used two different probes with distinct detection properties, dichlorodihydrofluorescein diacetate and Amplex Red/horseradish peroxidase, as well as different respiratory substrates and electron transport chain inhibitors, to characterize the reactive oxygen species (ROS) generation by the respiratory chain in calcium-overloaded mitochondria. Regardless of the respiratory substrate, calcium stimulated the mitochondrial generation of ROS, which were released at both the mitochondrial-matrix side and the extramitochondrial space, in a way insensitive to the mitochondrial permeability transition pores inhibitor cyclosporine A. In glutamate/malate-energized mitochondria, inhibition at complex I or complex III (ubiquinone cycle) similarly modulated ROS generation at either mitochondrial-matrix side or extramitochondrial space; this also occurred when the backflow of electrons to complex I in succinate-energized mitochondria was inhibited. On the other hand, in succinate-energized mitochondria the modulation of ROS generation at mitochondrial-matrix side or extra-mitochondrial space depends on the site of complex III which was inhibited. These results allow a straight comparison between the effects of different respiratory substrates and electron transport chain inhibitors on ROS generation at either mitochondrial-matrix side or extra-mitochondrial space in calcium-overloaded mitochondria.

A convergent approach for the generation of dendrimers containing the [Ru3O(CH3COO)(6)] electroactive core

We report on a convergent approach for the generation of dendrimers containing the [Ru3O(aC)(6)] electroactive core, of great interest as multielectron transfer catalysts. The proposed strategy is based on the generation of the trimeric complex [(Ru3O(ac)(6)(4-pic)(2)(pz))2-mu(2)-Ru3O(ac)(6)(CH3OH)](3+) (ac = acetate, 4-pic = 4-methylpyridine, pz = pyrazine). In this complex, the labile CH3OH ligand can be displaced by the bridging pyrazine ligand of [Ru3O(ac)(6)(pz)3](0), leading to the self-assembly of the [{[Ru3O(ac)(6)(4-pic)(2)(pz)](2)-mu(2)-Ru3O(ac)(6)(pz)}(3)- mu(3)-Ru3O(ac)(6)](n+) dendrimer containing 30 ruthenium atoms. ((C) Wiley-VCH Verlag GmbH & Co. KGaA, 69451 Weinheim, Germany, 2008).

Characterization of Rubus fruticosus mitochondria and salicylic acid inhibition of reactive oxygen species generation at Complex III/Q cycle: potential implications for hypersensitive response in plants

In addition to adenosine triphosphate (ATP) production, mitochondria have been implicated in the regulation of several physiological responses in plants, such as programmed cell death (PCD) activation. Salicylic acid (SA) and reactive oxygen species (ROS) are essential signaling molecules involved in such physiological responses; however, the mechanisms by which they act remain unknown. In non-photosynthesizing tissues, mitochondria appear to serve as the main source of ROS generation. Evidence suggests that SA and ROS could regulate plant PCD through a synergistic mechanism that involves mitochondria. Herein, we isolate and characterize the mitochondria from non-photosynthesizing cell suspension cultures of Rubus fruticosus. Furthermore, we assess the primary site of ROS generation and the effects of SA on isolated organelles. Mitochondrial Complex III was found to be the major source of ROS generation in this model. In addition, we discovered that SA inhibits the electron transport chain by inactivating the semiquinone radical during the Q cycle. Computational analyses confirmed the experimental data, and a mechanism for this action is proposed.

Bixin and lycopene modulation of free radical generation induced by cisplatin-DNA interaction

This work evaluated the Modulation of reactive oxygen species (ROS) produced by the cisplatin-human DNA interaction in a cell-free experimental model by the carotenoids bixin and lycopene extracted from, natural dietary Sources and purified through luminol- and Cypridina luciferin methoxy-analogue (MCLA)- enhanced chemiluminescence assays. The results showed that the ROS generation by DNA-cisplatin interaction was inhibited by both lycopene and bixin in a concentration-dependent manner. At a concentration of 100 mu M, lycopene and bixin inhibited Superoxide anion (O center dot(2)) generation at 90% and 82%, respectively, and the total ROS generation at 44% and 42%, respectively. The formation of significant amounts of isomers or degradation products of both carotenoids was not observed after ROS scavenging, as evaluated by high-performance liquid chromatography. Taken together, these results Suggest that carotenoids can be helpful to Modulate the oxidative stress found in cancer therapy with cisplatin. (c) 2008 Elsevier Ltd. All rights reserved.

Intellectuals in a Network A New Generation Faces the Challenges of Development

Brazilian social thought draws on the inspiration of past masters the common denominator of whose work is probably a deep humanism. Confronting the challenges of a fluid, ever-changing reality is now a matter of survival. The idea of climate change has made the environment, long relegated to second place, a matter of much wider interest and concern. The other great problem is poverty, and here, while there have been undeniable advances, much remains to be done. The main challenge is producing forms of social organization that will allow ordinary citizens to have an impact on what really matters. Developing policy in these areas has engaged the efforts of a wide range of experts from a variety of fields. Whereas university-educated intellectuals once formed an intelligentsia, today they are engaged in practical politics and much more often function as agents who link social actors together than as mere elaborators of theories.

Effects of temperature-dependent viscosity variation on entropy generation, heat and fluid flow through a porous-saturated duct of rectangular cross-section

Effect of temperature-dependent viscosity on fully developed forced convection in a duct of rectangular cross-section occupied by a fluid-saturated porous medium is investigated analytically. The Darcy flow model is applied and the viscosity-temperature relation is assumed to be an inverse-linear one. The case of uniform heat flux on the walls, i.e. the H boundary condition in the terminology of Kays and Crawford, is treated. For the case of a fluid whose viscosity decreases with temperature, it is found that the effect of the variation is to increase the Nusselt number for heated walls. Having found the velocity and the temperature distribution, the second law of thermodynamics is invoked to find the local and average entropy generation rate. Expressions for the entropy generation rate, the Bejan number, the heat transfer irreversibility, and the fluid flow irreversibility are presented in terms of the Brinkman number, the Péclet number, the viscosity variation number, the dimensionless wall heat flux, and the aspect ratio (width to height ratio). These expressions let a parametric study of the problem based on which it is observed that the entropy generated due to flow in a duct of square cross-section is more than those of rectangular counterparts while increasing the aspect ratio decreases the entropy generation rate similar to what previously reported for the clear flow case.