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.

Effect of Charge Asymmetry on Adsorption and Phase Separation of Polyampholytes on Silica and Cellulose Surfaces

The relation between the properties of polyampholytes in aqueous solution and their adsorption behaviors on silica and cellulose surfaces was investigated. Four polyampholytes carrying different charge densities but with the same nominal ratio of positive to negative segments and two structurally similar polyelectrolytes (a polyacid and a polybase) were investigated by using quartz crystal microgravimetry using silica-coated and cellulose-coated quartz resonators. Time-resolved mass and rigidity (or viscoelasticity) of the adsorbed layer was determined from the shifts in frequency (Delta f) and energy dissipation (Delta D) of the respective resonator. Therefore, elucidation of the dynamics and extent of adsorption, as well as the conformational changes of the adsorbed macromolecules, were possible. The charge properties of the solid Surface played a crucial role in the adsorption of the studied polyampholytes, which was explained by the capability of the surface to polarize the polyampholyte at the interface. Under the same experimental conditions, the polyampholytes had a higher nominal charge density phase-separated near the interface, producing a soft, dissipative, and loosely bound layer. In the case of cellulose substrates, where adsorption was limited, electrostatic and polarization effects were concluded to be less significant.

Penetration of hydrolysed soy protein-added brine and its effect on yield and pH of beef steaks from the biceps femoris muscle

This study was aimed to evaluate the penetration behaviour of different brines with tumbled beef steaks from the biceps femoris muscle, specifically their interactions with pH and effects on yield. Six muscles from different animals, divided into origin (OP) and insertion (IP) portions, were cut into 60 steaks of 2.5 cm thickness and tumbled for 30 or 60 min. The steaks were tumbled with two brines, with (WTB/HSP) or without (WTB) hydrolysed soy protein (HSP), and steaks that were not tumbled with brine or water were used as controls. Brine penetration was verified by measuring the amount of dye-containing brine (absorbance at 627 nm) recovered from homogenates of four thin (2 mm) slices from the surface of the beef steaks after tumbling. The WTB/HSP steaks exhibited greater (P < 0.05) brine penetration when tumbled for 60 min than for 30 min. The OP steaks showed greater yield and lower pH (P < 0.05) than IP steaks. HSP-added brine increased the water absorption and retention in the first slices of the steaks, and its efficiency was increased with a longer tumbling time. The portion of the biceps femoris muscle used influenced brine absorption and retention, impacting meat yield. (C) 2010 Elsevier Ltd. All rights reserved.

Effect of sugarcane varieties on the development of Mahanarva fimbriolata (Hemiptera: Cercopidae)

The sugarcane spittlebug, Mahanarva fimbriolata (Hemiptera: Cercopidae), is considered the most important pest of sugarcane harvested without the burning of trash, or green cane, in Brazil. The objective of this work was to compare the biology of M. fimbriolata on six sugarcane varieties: SP79-1011, SP80-1816, SP80-1842, SP81-3250, RB72454, and RB835486. The experiments were conducted at a temperature of 25 +/- 1 degrees C, RH of 70 +/- 10%, and a photoperiod of 14:10 [L:D]. Variety RB72454 outperformed the rest, reducing the nymphal population that fed on its roots by 50%. With regard to adults, variety SP81-3250 allowed greater mean longevity of males (38 days) and females (51 days), greater mean oviposition period (46 days), and higher mean fecundity (1215 eggs/female); these parameters were statistically different from those obtained with other varieties. For the eggs, there was no significant effect of variety on developmental time or viability. Consequently, the variety SP81-3250 should be avoided in areas predisposed to the occurrence of M. fimbriolata.

Effect of follicular wave synchronization on in vitro embryo production in heifers

Aiming to achieve the ideal time of ovum pick-up (OPU) for in vitro embryo production (IVP) in crossbred heifers, two Latin square design studies investigated the effect of ovarian follicular wave synchronization with estradiol benzoate (EB) and progestins. For each experiment, crossbred heifers stage of estrous cycle was synchronized either with a norgestomet ear implant (Experiment 1) or a progesterone intravaginal device (Experiment 2) for 7d, followed by the administration of 150 mu g D-cloprostenol. On Day 7, all follicles >3 mm in diameter were aspirated and implants/devices were replaced by new ones. Afterwards, implant/device replacement was conducted every 14 d. Each experiment had three treatment groups. In Experiment I (n = 12), heifers in Group 2X had their follicles aspirated twice a week and those in Groups 1X and 1X-EB were submitted to OPU once a week for a period of 28 d. Heifers from Group 1X-EB also received 2 mg EB i.m. immediately after each OPU session. In Experiment 2 (n = 11), animals from Group 0EB did not receive EB while heifers in Groups 2EB and 5EB received 2 and 5 mg of EB respectively, immediately after OPU. The OPU sessions were performed once weekly for 28 d. Therefore, in both experiments, four OPU sessions were performed in heifers aspirated once a week and in Experiment 1, eight OPU sessions were done in heifers aspirated twice a week. Additionally, during the 7-d period following follicular aspiration, ovarian ultrasonography examinations were conducted to measure diameter of the largest follicle and blood samples were collected for FSH quantification by RIA. In Experiment 1, all viable oocytes recovered were in vitro matured and fertilized. Results indicated that while progestin and EB altered follicular wave patterns, this treatment did not prevent establishment of follicular dominance on the ovaries of heifers during OPU at 7-d intervals. Furthermore, the proposed stage of follicular wave synchronization strategies did not improve the number and quality of the recovered oocytes, or the number of in vitro produced embryos. (C) 2009 Elsevier B.V. All rights reserved.

Effect of water renewal on dominance hierarchy of juvenile Nile tilapia

Nile tilapia social position (Oreochromis niloticus) can be mediated by multiple channels, including chemical communication. Absence of chemical cues in the environment prevents hierarchical settlement among pairs, and enhances time spent in confrontations. The aim of this study was to test the effect of continuously renewed water flow on the establishment of hierarchical dominance in Nile tilapia juveniles. In this condition, a high frequency of attacks and disruption on hierarchical stability were expected because chemical cues for hierarchy maintenance could be washed out. After 3 days in isolation, the fish were paired by standard size but not by sex, and submitted to two conditions: continuously renewed water flow (RENEWED, n = 7) and non-renewed water flow (NONRENEWED n = 8). The paired fish were placed in an aquarium (40 cm x 30 cm x 40 cm) for 3 h; four 10-min sessions were video-recorded: the first, immediately after the fish were paired and the others 1, 2, and 3 h after pairing. Hierarchy was identified by a dominance index (DI = given attacks/received + given attacks) For each fish. The hierarchical stability was achieved by analyzing the difference between dominant DI and subordinate DI (DI-D). Hierarchy was established in both groups after second session because the DI was significantly higher for one fish of the pair. The frequency of attacks of the dominant fish in RENEWED and NONRENEWED conditions was similar in all observation sessions. The attack frequency by subordinate fish was also similar during the first three sessions (2-h pairing). However, the frequency of attacks by subordinate fish in the RENEWED condition was higher than in the NONRENEWED situation at the fourth observation session (means +/- S.E.: RENEWED = 2.83 +/- 0.94 x 10 min(-1) and NONRENEWED = 0.25 +/- 0.16 x 10 min(-1); Mann-Whitney, p = 0.04). At this point, a significant reduction of the DI-D was observed (means +/- S.E.: RENEWED = 0.70 +/- 0.11 and NONRENEWED = 1,00 +/- 0.002; Mann-Whitney, p = 0.04). The changes in DI-D were related to more frequent attacks by the subordinated fish in renewed water flow. According to our results, the unsteady agonistic interaction under renewed water flow leads to social instability. Thus, continuous water renewing can wash out relevant chemical substances and therefore disturb the dominance recognition by subordinate fish. (C) 2007 Elsevier B.V. All rights reserved.

Effect of Polyethylene Glycol on the Thermal Stability of Green Fluorescent Protein

Green fluorescent protein (GFP) shows remarkable structural stability and high fluorescence; its stability can be directly related to its fluorescence output, among other characteristics. GFP is stable under increasing temperatures, and its thermal denaturation is highly reproducible. Some polymers, such as polyethylene glycol, are often used as modifiers of characteristics of biological macromolecules, to improve the biochemical activity and stability of proteins or drug bioavailability. The aim of this study was to evaluate the thermal stability of GFP in the presence of different PEG molar weights at several concentrations and exposed to constant temperatures, in a range of 70-95 degrees C. Thermal stability was expressed in decimal reduction time. It was observed that the D-values obtained were almost constant for temperatures of 85, 90, and 95 degrees C, despite the PEG concentration or molar weight studied. Even though PEG can stabilize proteins, only at 75 degrees C, PEG 600 and 4,000 g/mol stabilized GFP. (C) 2009 American Institute of Chemical Engineers Biotechnol. Prog., 26: 252-256, 2010

The antipyretic effect of dipyrone is unrelated to inhibition of PGE(2) synthesis in the hypothalamus

BACKGROUND AND PURPOSE Bacterial lipopolysaccharide (LPS) induces fever through two parallel pathways; one, prostaglandin (PG)-dependent and the other, PG-independent and involving endothelin-1 (ET-1). For a better understanding of the mechanisms by which dipyrone exerts antipyresis, we have investigated its effects on fever and changes in PGE(2) content in plasma, CSF and hypothalamus induced by either LPS or ET-1. EXPERIMENTAL APPROACH Rats were given (i.p.) dipyrone (120 mg center dot kg-1) or indomethacin (2 mg center dot kg-1) 30 min before injection of LPS (5 mu g center dot kg-1, i.v.) or ET-1 (1 pmol, i.c.v.). Rectal temperature was measured by tele-thermometry. PGE(2) levels were determined in the plasma, CSF and hypothalamus by elisa. KEY RESULTS LPS or ET-1 induced fever and increased CSF and hypothalamic PGE(2) levels. Two hours after LPS, indomethacin reduced CSF and hypothalamic PGE(2) but did not inhibit fever, while at 3 h it reduced all three parameters. Three hours after ET-1, indomethacin inhibited the increase in CSF and hypothalamic PGE(2) levels but did not affect fever. Dipyrone abolished both the fever and the increased CSF PGE(2) levels induced by LPS or ET-1 but did not affect the increased hypothalamic PGE(2) levels. Dipyrone also reduced the increase in the venous plasma PGE(2) concentration induced by LPS. CONCLUSIONS AND IMPLICATIONS These findings confirm that PGE(2) does not play a relevant role in ET-1-induced fever. They also demonstrate for the first time that the antipyretic effect of dipyrone was not mechanistically linked to the inhibition of hypothalamic PGE(2) synthesis.

Myotoxic phospholipases A(2) isolated from Bothrops brazili snake venom and synthetic peptides derived from their C-terminal region: Cytotoxic effect on microorganism and tumor cells

This paper reports the purification and biochemical/pharmacological characterization of two myotoxic phospholipases A(2) (PLA(2)S) from Bothrops brazili venom, a native snake from Brazil. Both myotoxins (MTX-I and II) were purified by a single chromatographic step on a CM-Sepharose ion-exchange column up to a high purity level, showing M-r similar to 14,000 for the monomer and 28,000 Da for the dimer. The N-terminal and internal peptide amino acid sequences showed similarity with other myotoxic PLA2S from snake venoms, MTX-I belonging to Asp49 PLA(2) class, enzymatically active, and MTX-II to Lys49 PLA(2)S, catalytically inactive. Treatment of MTX-I with BPB and EDTA reduced drastically its PLA(2) and anticoagulant activities, corroborating the importance of residue His48 and Ca2+ ions for the enzymatic catalysis. Both PLA(2)S induced myotoxic activity and dose-time dependent edema similar to other isolated snake venom toxins from Bothrops and Crotalus genus. The results also demonstrated that MTXs and cationic synthetic peptides derived from their 115-129 C-terminal region displayed cytotoxic activity on human T-cell leukemia (JURKAT) lines and microbicidal effects against Escherichia coli, Candida albicans and Leishmania sp. Thus, these PLA(2) proteins and C-terminal synthetic peptides present multifunctional properties that might be of interest in the development of therapeutic strategies against parasites, bacteria and cancer. (C) 2008 Elsevier Inc. All rights reserved.

Effect of Lactobacillus rhamnosus GR-1 and Lactobacillus reuteri RC-14 on the ability of Candida albicans to infect cells and induce inflammation

Vulvovaginal candidiasis, a high prevailing infection worldwide, is mainly caused by Candida albicans. Probiotic Lactobacillus reuteri RC-14 and Lactobacillus rhamnosus GR-1 have been previously shown to be useful as adjuvants in the treatment of women with VVC. In order to demonstrate and better understand the anti-Candida activity of the probiotic microorganisms in an in vitro model simulating vaginal candidiasis, a human vaginal epithelial cell line (VK2/E6E7) was infected with C. albicans 3153a and then challenged with probiotic L. rhamnosus GR-1 and/or L. reuteri RC-14 or their respective CFS (alone or in combination). At each time point (0, 6, 12 and 24 hr), numbers of yeast, lactobacilli and viable VK2/E6E7 cells were determined and, at 0, 6 and 12 hr, the supernatants were measured for cytokine levels. We found that C. albicans induced a significant increase in IL-1 alpha and IL-8 production by VK2/E6E7 cells. After lactobacilli challenge, epithelial cells did not alter IL-6, IL-1 alpha, RANTES and VEGF levels. However, CFS from the probiotic microorganisms up-regulated IL-8 and IP-10 levels secreted by VK2/E6E7 cells infected with C. albicans. At 24 hr of co-incubation, L. reuteri RC-14 alone and in combination with L. rhamnosus GR-1 decreased the yeast population recoverable from the cells. In conclusion, L. reuteri RC-14 alone and together with L. rhamnosus GR-1 have the potential to inhibit the yeast growth and their CFS may up-regulate IL-8 and IP-10 secretion by VK2/E6E7 cells, which could possibly have played an important role in helping to clear VVC in vivo.

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.

Overview: The effect of affect in organizational settings

Nine of the chapters in this volume were sourced from the Fourth International Conference on Emotions and Organizational Life, held at Birkbeck College, London, in June 2004, and attended by 77 delegates. A record 46 papers were submitted to the conference, of which 27 were selected for presentation, in addition to one symposium. The nine papers chosen for this book were selected on the basis of their quality, interest, and appropriateness for the theme of this volume, “The effect of affect in organizational settings.” (A further set of papers has been selected to appear in Volume 2 of this book series.) We acknowledge in particular the assistance of the conference paper reviewers (see Appendix), who returned high-quality reviews in a very short time.

Dissociation between skin conductance orienting and secondary task reaction time: Time course with a visual discrimination task

A dissociation between two putative measures of resource allocation skin conductance responding, and secondary task reaction time (RT), has been observed during auditory discrimination tasks. Four experiments investigated the time course of the dissociation effect with a visual discrimination task. participants were presented with circles and ellipses and instructed to count the number of longer-than-usual presentations of one shape (task-relevant) and to ignore presentations of the other shape (task-irrelevant). Concurrent with this task, participants made a speeded motor response to an auditory probe. Experiment 1 showed that skin conductance responses were larger during task-relevant stimuli than during task-irrelevant stimuli, whereas RT to probes presented at 150 ms following shape onset was slower during task-irrelevant stimuli. Experiments 2 to 4 found slower RT during task-irrelevant stimuli at probes presented at 300 ms before shape onset until 150 ms following shape onset. At probes presented 3,000 and 4,000 ms following shape onset probe RT was slower during task-relevant stimuli. The similarities between the observed time course and the so-called psychological refractory period (PRF) effect are discussed.

Rheological behaviour of the mushy zone and its effect on the formation of casting defects during solidification

A new conceptual framework has been developed which explains the formation of shear-related casting defects such as porosity, segregation and tears. The theory relates defect formation to the mechanical behaviour of the partially solidified microstructure when shear stresses are developed during the filling of a casting and by the subsequent feeding processes during solidification. Two transition points, the dendrite coherency point and the maximum packing solid fraction, divide the mushy zone into three regions of different mechanical and feeding behaviours. The response of the mush to shear is related to the presence of these zones during solidification of a casting. The resulting defects are rationalized by considering the governing local shear stress and shear rate, local strength and time available for fluid flow. The design of the casting, the casting process used and the alloy composition all influence the relative importance of shearing on defect formation. (C) 1998 Acta Metallurgica Inc. Published by Elsevier Science Ltd. All rights reserved.