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.

Brassinosteroids interact negatively with jasmonates in the formation of anti-herbivory traits in tomato

Given the susceptibility of tomato plants to pests, the aim of the present study was to understand how hormones are involved in the formation of tomato natural defences against insect herbivory. Tomato hormone mutants, previously introgressed into the same genetic background of reference, were screened for alterations in trichome densities and allelochemical content. Ethylene, gibberellin, and auxin mutants indirectly showed alteration in trichome density, through effects on epidermal cell area. However, brassinosteroids (BRs) and jasmonates (JAs) directly affected trichome density and allelochemical content, and in an opposite fashion. The BR-deficient mutant dpy showed enhanced pubescence, zingiberene biosynthesis, and proteinase inhibitor expression; the opposite was observed for the JA-insensitive jai1-1 mutant. The dpyxjai1-1 double mutant showed that jai1-1 is epistatic to dpy, indicating that BR acts upstream of the JA signalling pathway. Herbivory tests with the poliphagous insect Spodoptera frugiperda and the tomato pest Tuta absoluta clearly confirmed the importance of the JA-BR interaction in defence against herbivory. The study underscores the importance of hormonal interactions on relevant agricultural traits and raises a novel biological mechanism in tomato that may differ from the BR and JA interaction already suggested for Arabidopsis.

Extension of the core map of common bean with EST-SSR, RGA, AFLP, and putative functional markers

Microsatellites and gene-derived markers are still underrepresented in the core molecular linkage map of common bean compared to other types of markers. In order to increase the density of the core map, a set of new markers were developed and mapped onto the RIL population derived from the `BAT93` x `Jalo EEP558` cross. The EST-SSR markers were first characterized using a set of 24 bean inbred lines. On average, the polymorphism information content was 0.40 and the mean number of alleles per locus was 2.7. In addition, AFLP and RGA markers based on the NBS-profiling method were developed and a subset of the mapped RGA was sequenced. With the integration of 282 new markers into the common bean core map, we were able to place markers with putative known function in some existing gaps including regions with QTL for resistance to anthracnose and rust. The distribution of the markers over 11 linkage groups is discussed and a newer version of the common bean core linkage map is proposed.

Identification of microsatellites markers associated with yield components and quality parameters in sugarcane

Marker assisted selection depends on the identification of tightly linked association between marker and the trait of interest. In the present work, functional (EST-SSRs) and genomic (gSSRs) microsatellite markers were used to detect putative QTLs for sugarcane yield components (stalk number, diameter and height) and as well as for quality parameters (Brix, Pol and fibre) in plant cane. The mapping population (200 individuals) was derived from a bi-parental cross (IACSP95-3018 x IACSP93-3046) from the IAC Sugarcane Breeding Program. As the map is under construction, single marker trait association analysis based on the likelihood ratio test was undertaken to detect the QTLs. Of the 215 single dose markers evaluated (1:1 and 3:1), 90 (42%) were associated with putative QTLs involving 43 microsatellite primers (18 gSSRs and 25 EST-SSRs). For the yield components, 41 marker/trait associations were found: 20 for height, 6 for diameter and 15 for stalk number. An EST-SSRs marker with homology to non-phototropic hypocotyls 4 (NPH4) protein was associated with a putative QTL with positive effect for diameter as also with a negative effect for stalk number. In relation to the quality parameters, 18 marker trait associations were found for Brix, 19 for Pol, and 12 for fibre. For fibre, 58% of the QTLs detected showed a negative effect on this trait. Some makers associated with QTLs with a negative effect for fibre showed a positive effect for Pol, reflecting the negative correlation generally observed between these traits.

Characterization of new polymorphic functional markers for sugarcane

Fundacao de Amparo a Pesquisa do Estado de Sao Paulo (FAPESP)[02/01167-1]

Genetic variation for anatomic traits and volume shrinkage and their correlation with wood basic density in an Eucalyptus camaldulensis Dehn base population

Eucalyptus camaldulensis has great importance in Brazil because of their phenotypic plasticity for different environmental conditions, as soils, altitudes and rainfall. This study is an investigation of a base population of E. camaldulensis from Australia through a progeny test implanted in Selviria, MS. The trial was established in a randomized block design, with 25 families and 60 replications of single tree plots. Genetic parameters for anatomic traits and volume shrinkage were estimated, as well as their correlations with wood basic density. No significant differences among progenies were observed for the traits studied. The additive genetic variation coefficient at individual and among progeny levels ranged from low (0.26%) to high (16.98%). The narrow sense heritability at individual and family means levels also ranged from low (0.01) to high (0.87). This indicates that some traits are under strong genetic control and can be improved by selection. In the present situation, in order to attain the highest genetic gains, the sequential selection among and within progeny would be recommended.

LEAF AREA REDUCTION IN CORN GROWN IN A TROPICAL REGION OF BRAZIL AND ITS EFFECTS ON AGRONOMIC TRAITS

Global climate change may reduce leaf area in crop plants due to factors such as increasing occurrence of pests and diseases. The aim of this work was to estimate the impact of leaf area reduction on agronomic traits in corn. An experiment simulating leaf area reduction was carried out in a tropical region of Brazil. The agronomic performance of corn plants was evaluated at different percentages of leaf loss. It was observed that leaf area reductions over 41.01% significantly harm yield, mass of 1000 grains, cob density, and stem and root quality Crop improvement programs should take into account the development of genotypes resistant to factors that cause leaf area reduction in tropical crops.

Rheological and functional properties of flours from banana pulp and peel

Unripe banana flour can be an alternative to minimize post-harvest loss and to increase the aggregate value of banana fruit. Flour from unripe banana is rich in phytosterols and resistant starch, being proposed as health food. Flours from unripe banana peel and pulp were evaluated on their composition, phytosterols content, thermal and rheological properties, and pasting profiles. High amounts of beta-sitosterol, campesterol, and stigmasterol were found in flour from banana peel. These samples showed lower viscosity values of pasting profiles, lower energy enthalpy on gelatinization, and higher temperature of gelatinization than those ones from pulp. Anti-oxidant treatment of fruits with citric acid does not change pasting profiles of flours from pulp, but resulted in slight increase in viscosity, suggesting that structure of starch could be modified by acidification.

Physical-chemical and functional properties of maca root starch (Lepidium meyenii Walpers)

The starch of maca (Lepidium meyenii Walpers) presented oval and irregular morphology, with granule size between 7.4 and 14.9 mu m in length and 5.8 and 9.3 mu m in diameter. The isolated starch showed the following features: purity of 87.8%, with 0.28% lipids, 0.2% fibre and 0.12% fixed mineral residue, and no protein detected; the ratio between the amylose and amylopectin contents were 20:80: the solubility at 90 degrees C was 61.4%, the swelling power was 119.0g water/g starch and the water absorption capacity was 45.9 g water/g starch; the gel turbidity rose 44% during the storing time; the gelatinization temperature was 47.7 degrees C and the transition enthalpy 6.22 J/g; the maximum viscosity reached 1260 UB at 46.4 degrees C, with breakdown, setback and consistence of 850, 440 and -410 UB, respectively. The low gelling temperature and the stability during gel refrigeration could be adequate for foods requiring moderate temperature process, but not for frozen food. (C) 2008 Elsevier Ltd. All rights reserved.

Cloning, characterization and functional analysis of a 1-FEH cDNA from Vernonia herbacea (Vell.) Rusby

Variations in the inulin contents have been detected in rhizophores of Vernonia herbacea during the phenological cycle. These variations indicate the occurrence of active inulin synthesis and depolymerization throughout the cycle and a role for this carbohydrate as a reserve compound. 1-Fructan exohydrolase (1-FEH) is the enzyme responsible for inulin depolymerization, and its activity has been detected in rhizophores of sprouting plants. Defoliation and low temperature are enhancer conditions of this 1-FEH activity. The aim of the present work was the cloning of this enzyme. Rhizophores were collected from plants induced to sprout, followed by storage at 5C. A full length 1-FEH cDNA sequence was obtained by PCR and inverse PCR techniques, and expressed in Pichia pastoris. Cold storage enhances FEH gene expression. Vh1-FEH was shown to be a functional 1-FEH, hydrolyzing predominantly -2,1 linkages, sharing high identity with chicory FEH sequences, and its activity was inhibited by 81 in the presence of 10 mM sucrose. In V. herbacea, low temperature and sucrose play a role in the control of fructan degradation. This is the first study concerning the cloning and functional analysis of a 1-FEH cDNA of a native species from the Brazilian Cerrado. Results will contribute to understanding the role of fructans in the establishment of a very successful fructan flora of the Brazilian Cerrado, subjected to water limitation and low temperature during winter.

Effect of inulin and Lactobacillus paracasei on sensory and instrumental texture properties of functional chocolate mousse

BACKGROUND: This study evaluated the effect of a potentially probiotic bacteria (Lactobacillus paracasei subsp. paracasei LBC 82), added solely or together with the prebiotic ingredient inulin on instrumental texture attributes and sensory properties of a functional chocolate mousse during storage at 4 +/- 1 degrees C for up to 28 days. RESULTS: The addition of Lactobacillus paracasei resulted in a firmer and more adhesive chocolate mousse. This effect was intensified with the presence of inulin in the synbiotic formulation (5.24 N and -0.956 N, respectively, for firmness and adhesiveness after 28 days of storage) (P < 0.05). L. paracasei population did not vary (P > 0.05) during storage (always between 7.27 and 7.35 log cfu g(-1)), both for the probiotic and the synbiotic mousses. Synbiotic mousse differed from control and probiotic mousses during storage with respect to the color attribute. Moreover, both probiotic and synbiotic mousses presented taste, aroma and texture perceptions which were different from one another and from the control mousse after 14 and 21 days of storage. CONCLUSION: The use of inulin, together with the potentially probiotic strain of Lactobacillus paracasei subsp. paracasei, is advantageous, conferring potentially symbiotic potential to the chocolate mousse, as well as favorable texture and sensory properties. (c) 2008 Society of Chemical Industry.

Isolation and functional characterization of proinflammatory acidic phospholipase A(2) from Bothrops leucurus snake venom

In the present study, an acidic PLA(2), designated BI-PLA(2), was isolated from Bothrops leucurus snake venom through two chromatographic steps: ion-exchange on CM-Sepharose and hydrophobic chromatography on Phenyl-Sepharose. Bl-PLA(2) was homogeneous on SDS-PAGE and when submitted to 2D electrophoresis the molecular mass was 15,000 Da and pl was 5.4. Its N-terminal sequence revealed a high homology with other Asp49 acidic PLA(2)s from snake venoms. Its specific activity was 159.9 U/mg and the indirect hemolytic activity was also higher than that of the crude venom. Bl-PLA(2) induced low myotoxic and edema activities as compared to those of the crude venom. Moreover, the enzyme was able to induce increments in IL-12p40, TNF-alpha, IL-1 beta and IL-6 levels and no variation of IL-8 and IL-10 in human PBMC stimulated in vitro, suggesting that Bl-PLA2 induces proinflammatory cytokine production by human mononuclear cells. Bothrops leucurus venom is still not extensively explored and knowledge of its components will contribute for a better understanding of its action mechanism. (C) 2011 Elsevier Inc. All rights reserved.

Isolation, functional, and partial biochemical characterization of galatrox, an acidic lectin from Bothrops atrox snake venom

Snake venom lectins have been studied in regard to their chemical structure and biological functions. However, little is known about lectins isolated from Bothrops atrox snake venom. We report here the isolation and partial functional and biochemical characterization of an acidic glycan-binding protein called galatrox from this venom. This lectin was purified by affinity chromatography using a lactosyl-sepharose column, and its homogeneity and molecular mass were evaluated by high-performance liquid chromatography, sodium dodecyl sulfate-polyacrylamide gel electrophoresis, and matrix-assisted laser desorption/ionization-time-of-flight mass spectrometry. The purified galatrox was homogeneous and characterized as an acidic protein (pI 5.2) with a monomeric and dimeric molecular mass of 16.2 and 32.5 kDa, respectively. Alignment of N-terminal and internal amino acid sequences of galatrox indicated that this protein exhibits high homology to other C-type snake venom lectins. Galatrox showed optimal hemagglutinating activity at a concentration of 100 mu g/ml and this effect was drastically inhibited by lactose, ethylenediaminetetraacetic acid, and heating, which confirmed galatrox`s lectin activity. While galatrox failed to induce the same level of paw edema or mast cell degranulation as B. atrox crude venom, galatrox did alter cellular viability, which suggested that galatrox might contribute to venom toxicity by directly inducing cell death.

Biochemical and Functional Characterization of a Metalloprotease from the Thermophilic Fungus Thermoascus aurantiacus

Protease production was carried out in solid state fermentation. The enzyme was purified through precipitation with ethanol at 72% followed by chromatographies in columns of Sephadex G75 and Sephacryl S100. It was purified 80-fold and exhibited recovery of total activity of 0.4%. SDS-PAGE analysis indicated an estimated molecular mass of 24.5 kDa and the N-terminal sequence of the first 22 residues was APYSGYQCSMQLCLTCALMNCA. Purified protease was only inhibited by EDTA (96.7%) and stimulated by Fe(2+) revealing to be a metalloprotease activated by iron. Optimum pH was 5.5, optimum temperature was 75 degrees C, and it was thermostable at 65 degrees C for 1 h maintaining more than 70% of original activity. Through enzyme kinetic studies, protease better hydrolyzed casein than azocasein. The screening of fluorescence resonance energy transfer (FRET) peptide series derived from Abz-KLXSSKQ-EDDnp revealed that the enzyme exhibited preference for Arg in P(1) (k(cat)/K(m) = 30.1 mM(-1) s(-1)).

Molecular dynamics, density functional, ADMET predictions, virtual screening, and molecular interaction field studies for identification and evaluation of novel potential CDK2 inhibitors in cancer therapy

In this work, we have used molecular dynamics, density functional theory, virtual screening, ADMET predictions, and molecular interaction field studies to design and propose eight novel potential inhibitors of CDK2. The eight molecules proposed showed interesting structural characteristics that are required for inhibiting the CDK2 activity and show potential as drug candidates for the treatment of cancer. The parameters related to the Rule of Five were calculated, and only one of the molecules violated more than one parameter. One of the proposals and one of the drug-like compounds selected by virtual screening indicated to be promising candidates for CDK2-based cancer therapy.