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.

Montmorillonite/carbon nanocomposites prepared from sucrose for catalytic applications

Sucrose was used to prepare montmorillonite/carbon nanocomposites by calcination in a reduced atmosphere. The aim was to investigate the changes derived from varying the clay and sucrose content in the resulting material and to change the adsorption properties to evaluate its potential to be used in catalytic applications. X-ray diffraction patterns revealed the formation of an intercalated nanostructure composed of carbon-filled clay mineral layers, which was confirmed by the Fourier transform infrared spectra and thermogravimetry curves. Differences in composition and texture surface were detected by scanning electron microscopy images and were supported by viscosity measurements. These measurements were helpful in understanding why the sample prepared with the highest sucrose content presented the lowest gasoline and methylene blue adsorption results and why the highest adsorption properties were attributed to the sample with the highest clay content. Moreover, BET and BJH studies allowed understanding oleic acid catalytic conversion. Finally, a water flux simulation test was performed to determine the mechanical resistance in comparison to an activated carbon. It was found that the nanocomposites were more resistant, supporting their use in catalytic applications for a longer period of time. (C) 2011 Elsevier B.V. All rights reserved.

Molecular Identification and Phylogenetic Analysis of a Group 16SrI-B Phytoplasma Associated with Sugarcane Yellow Leaf Syndrome in Brazil

Yellow leaf syndrome was a serious problem in the beginning of the 1990s in Brazil, when yield losses were estimated to be around 50%. The disease is currently endemic, but it is considered potentially important. Previous studies have revealed only the presence of a luteovirus associated with the disease in Brazil. We report that a phytoplasma of 16SrI-B is also associated with this disease. This is the first demonstration of the presence of a group 16SrI-B phytoplasma in association with sugarcane yellow leaf in Brazil.

Summer squash: a new host of phytoplasm belonging to the 16SrIII group

Summer squash: a new host of phytoplasm belonging to the 16SrIII group In a commercial field located in the Vale do Ribeira, in the State of Sao Paulo, Brazil, plants of summer squash (Cucurbita pepo L.) exhibiting witches` broom and leaf deformation were observed. PCR assays demonstrated the presence of phytoplasma associated with diseased tissues. A phytoplasma belonging to the 16SrIII group was identified by PCR and RFLP analysis performed with five restriction enzymes. The present note is the first report of the presence of phytoplasma representative of the 16SrIII group in summer squash in Brazil.

Occurrence of phytoplasma associated with sugarcane yellow leaf syndrome in three regions of Sao Paulo State, Brazil

Sugarcane yellow leaf syndrome caused serious damage to crops in the Sao Paulo State, Brazil, in the 1990`s. The syndrome was also reported in other countries and investigations into the etiology revealed an association between the disease and virus and/or phytoplasma. The disease is potentially important and occurs endemically in that State, and for this reason the present study was conducted in order to demonstrate the occurrence of phytoplasma in three traditional sugarcane-producing areas, in Sao Paulo State, through molecular detection From naturally infected plants. Symptomatic plants belonging to varieties SP71-6163, SP71-6180 and SP89-1115 were sampled from Piracicaba, Jau and Ribeirao Preto, and total DNA was extracted from foliar tissues. Nested PCR was conducted with primer pairs P1/ Tint-16F2n/R2, and the amplified products were analyzed by electrophoresis on agarose gels. Amplified DNA fragments of 1.2 kb evidenced the presence of phytoplasma in 36% of symptomatic plants and revealed its Occurrence in all sampled regions. The results demonstrated that phytoplasma is associated with the disease and that it is important to keep a safe inspection of nurseries and monitoring plants in the field, as well as to Select Sugarcane genotypes with a good level of resistance in breeding programs.

Molecular evidence of phytoplasma associated with witches` broom on passion fruit in five Brazilian States

Phytoplasmas are cell wall-less prokaryotes and phloem-inhabitants associated with diseases that affect several crops. Passion fruit is a tropical plant species cultivated in various Brazilian regions. Diseases are among the factors that may cause damage to this crop, and witches` broom is a very important one. This disease, associated with a phytoplasma, has been reported only in Brazil, where it was described in Rio de Janeiro and Pernambuco States at the beginning of the 1980`s. In 2005-2006, symptomatic plants Suspected of phytoplasma infection were sampled in areas located in Sao Paulo, Parana, Rio de Janeiro, Sergipe and Bahia. Amplification of DNA fragments of 1.2kb from nested PCR primed by the pairs 16mF2/mR1 and 16F2n/R2 revealed the presence of phytoplasma in the tissue of plants from all sampled regions. Molecular detection of the agent allowed confirmation of the diagnosis based on the symptomatology; demonstrated the strong association between diseased plants and a phytoplasma, confirming previous investigations based on electron microscopy;, and revealed the present occurrence of the agent in the States of Bahia, Parana, Rio de Janeiro, Sergipe, and Sao Paulo.

Incidence of black spot in citrus fruits from different processing stages in packinghouses and from Sao Paulo`s wholesale market

The purposes of this work were a) to evaluate citrus black spot (CBS) incidence in `Valencia` oranges and `Murcott` tangors aimed at the export market, and in Pera`, `Lima` and `Natal` oranges, and `Murcott` tangors, aimed at the domestic market after different processing stages in packinghouses in 2004/05 and 2005/06; b) to evaluate CBS incidence in Pera` and `Lima` oranges and `Murcott` tangors sold at Ceagesp-SP, the biggest wholesale market in the State of Sao Paulo, in 2006. Citrus fruits were collected at the packinghouse, on their arrival, after pre-washing and de-greening, from the packing table, from the pallet and at Ceagesp. They were stored for 14 to 21 days at 25 degrees C and 85-90% RH. The incidence of CBS was visually evaluated after one day and at the end of the storage period. CBS incidence in fruits aimed at the export market decreased, with values under 2.0% on arrival and no CBS symptoms observed on fruits from the pallet. The average incidence of CBS in `Pera`, `Lima` and `Natal` oranges, and `Murcott` tangors in the packinghouse aimed at the domestic market were 64.1, 39.0, 32.1 and 19.3%, respectively, after one day of storage, then remaining constant in all processing stages. The incidence of CBS in Ceagesp fruits was low in winter months and increased in the spring. The increase in disease incidence during the storage period (21 days) was not significant in collected fruits.

Postharvest diseases in citrus and characterization of the fungal population in Sao Paulo`s wholesale market

The purposes of this workwere to characterize postharvest injuries and to evaluate the physicochemical characteristics of`Nra` and `Lima`oranges and `Murcott` tangor at Ceagesp market, as well as to characterize the environmental mycoflora in retail points at Ceagesp in 2006. Fruits collected at retail points were stored for 14 days at 25 degrees C and 85-90% RH. The incidence of injuries was visually evaluated every three days. The physicochemical characteristics analyzed were titratable acidity and soluble solids amount. The environmental mycoflora was sampled according to the gravimetric method, using Petri dishes containing potato-dextrose-agar medium+pentabiotic opened for two minutes. The average rot incidences in `Pera` and `Lima` oranges and `Murcott` tangor were 12.8, 14.9 and 25.8%, respectively, at the end of the storage period, and green mold was the main postharvest disease. Associations between physicochemical parameters and rot incidence was, in general, not significant. The environmental fungal population varied significantly between the sampling months in retail points with an average of 25.3 cfu/plate. Penicillium and Cladosporium were the most recorded genera of fungi. Positive correlation (r=0.96) was observed between frequency of P digitatum found in the environment of retail points and the green mold in on-sale fruits of `Pera` orange. However, for `Lima` orange and `Murcott` tangor such a correlation was not verified.

Identification by computer-simulated RFLP of phytoplasmas associated with eggplant giant calyx representative of two subgroups, a lineage of 16SrIII-J and the new subgroup 16SrIII-U

Symptoms resembling giant calyx, a graft-transmissible disease, were observed on 1-5% of eggplant (aubergine; Solanum melongena L.) plants in production fields in Sao Paulo state, Brazil. Phytoplasmas were detected in 1 2 of 1 2 samples from symptomatic plants that were analysed by a nested PCR assay employing 16S rRNA gene primers R16mF2/R16mR1 followed by R16F2n/R16R2. RFLP analysis of the resulting rRNA gene products (1.2 kb) indicated that all plants contained similar phytoplasmas, each closely resembling strains previously classified as members of RFLP group 16SrIII (X-disease group). Virtual RFLP and phylogenetic analyses of sequences derived from PCR products identified phytoplasmas infecting eggplant crops grown in Piracicaba as a lineage of the subgroup 16SrIII-J, whereas phytoplasmas detected in plants grown in Braganca Paulista were tentatively classified as members of a novel subgroup 16SrIII-U. These findings confirm eggplant as a new host of group 16SrIII-J phytoplasmas and extend the known diversity of strains belonging to this group in Brazil.

Phenolic compounds and antioxidant activity of seed and skin extracts of red grape (Vitis vinifera and Vitis labrusca) pomace from Brazilian winemaking

The phenolic compounds content and antioxidant activity of seed and skin of pomace from the vinification of grape varieties widely produced in Brazil were investigated with a view to their exploitation as a potential source of natural antioxidants. There was a greater concentration of phenolic compounds in the seeds (2128 to 16,518 mg of catechin equivalents (CE)/100 g) than in the skins (660 to 1839 mg CE/100 g). The highest antioxidant activity values determined as DPPH radical-scavenging ability and ferric reducing-antioxidant power (FRAP) were found for the seeds of the Pinot Noir variety (16,925 mu mol Trolox equivalents (TE)/100 g and 21,492 mu mol Fe(2+)/100 g, respectively) and in the skin extracts of the Isabel variety (3640 mu mol TE/100 g and 4362 mu mol Fe(2+)/100 g, respectively). The skin of Cabernet Sauvignon and Primitivo varieties had the highest contents of anthocyanins (935 and 832 mg/100 g, respectively). The grape seed extracts were rich in oligomeric and polymeric flavanols. The data suggested that grape seed and skin extracts may be exploited as antioxidant agents. (C) 2011 Elsevier Ltd. All rights reserved.

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.

Phenolic compounds content and antioxidant activity in pomace from selected red grapes (Vitis vinifera L. and Vitis labrusca L.) widely produced in Brazil

The phenolic compounds content and antioxidant activity of pomace from the vinification of grape varieties widely produced in Brazil (Cabernet Sauvignon, Merlot, Bordeaux and Isabel) were investigated with a view to their exploitation as a potential source of natural antioxidants. Cabernet Sauvignon grape pomace was found to have the highest content of total phenolic compounds (74.75 mg gallic acid equivalent (GAE)/g), the highest antioxidant activity (determined using the 2,2`-azino-bis(3-ethylbenzothiazoline-6-sulfonate) (ABTS) and 2,2-diphenyl-1-picrylhydrazyl (DPPH) free radical scavenging methods; 485.42 and 505.52 mu Mol Trolox equivalent antioxidant capacity (TEAC)/g, respectively), and the highest reducing power (determined using the FRAP method; 249.46 mu Mol TEAC/g). The Bordeaux variety showed the highest oxidation inhibition power (41.13%), determined using the beta-carotene/linoleic acid method and the highest content of total anthocyanins (HPLC; 29.17 mg/g). Catechin was the most abundant non-anthocyanic compound identified in the grape pomace (150.16 mg/100 g) for all varieties. In this study, pomaces of the red wine vinification of Cabernet Sauvignon and Bordeaux varieties showed the highest potential as a source of antioxidant compounds and natural colourants, respectively. (C) 2011 Elsevier Ltd. All rights reserved.

Improved beef production from supplementation of Hereford, Brahman and crossbred cattle grazing low and medium quality pastures in the subtropics of Australia

Subtropical grasslands are low in organic matter digestibility (OMD) (0.60) and nitrogen (N) (15 g/kg) for much of the year and this limits cattle production which is characterized by low calving rates and low weaning weights. Production has been based on Bos taurus British breeds of cattle but this is changing and now many breeding herds comprise B, indicus cows and their crosses. This change has increased some aspects of production, but low calving rates persist. A 4-year study was undertaken with a view to improve calving rates and weaner output by supplementing cows grazing either native or improved pastures with a high protein oilseed meal (cottonseed meal; CSM) on four sites. These sites were subdivided into a total of 36 paddocks to allow for two replications in a 3 breeds X 3 supplementation rates X 2 pastures factorial design. Selected cows (no. = 216) from Hereford (H), Brahman (B) and Brahman X Hereford (BH) breed types were set to graze either native pastures (0.45 to 0.62 OMD, 8 to 15 g N per kg; low quality) or improved pastures (0.47 to 0.67 OA ID, 10 to 22 g N per kg; medium quality). Cows were given either 0, 750 or 1500 g/day of CSM for 130 days from calving until 4 weeks into a 12- to 13-week mating period. The CSM was given as two meals per week. Live weight at mating of cows on the low quality pasture was increased (P < 0.01) over those not supplemented by feeding either 750 g CSM per day (H and B cows) or 1500 g CSM per day tall cows). There was no significant effect of supplementation on the mating weights of B cows grazing the medium quality sites. Calving rate of B cows was not increased by their supplementation on either low (4-year mean 58.3 %) or medium quality pastures (66.8%) but did tend to be higher in H cows when supplemented at 1500 g CSM per day on the low (66.7 v. 78.0 (s.e. 6.09) %; P < 0.1) and medium quality pastures (70.5 v. 93.5 (s.e. 4.72) %). An increased calving rate (65.8 (s.e. 6.6) % to 83.2 (s.e. 5.82) % in supplemented BH cows grazing low quality pastures approached significance (P < 0.1) when given CSM at 1500 g/day but there was no increased trend in calving rate when this breed type was supplemented on medium quality pastures. Weaning weights of calves from and B and BH cows were increased (P < 0.05) by supplementation of their darns at 750 g/day and for calves weaned from H cows supplemented at 1500 g/day of CSM. Supplementation at 1500 g/day on low quality pastures increased weaner output per cow mated by 120% for H, by 65% for BH cows and by 50% for B cows. Weaner output was increased by 34 and 40%, respectively, for B and H cows when supplemented at 750 g/day and grazing medium quality pastures but there teas no significant effect of supplementation on output from BH cows. Responses in many parameters differed between years. These results were interpreted as a response to the protein in the oilseed meal supplement by B, taurus and B. taurus X B. indicus cross cows grazing on the subtropical pastures. The study also highlighted that responses to the meal differed between breed types, between the quality of the grazed pasture and between the years of supplementation.

Availability of two forms of dissolved nitrogen to the coral Pocillopora damicornis and its symbiotic zooxanthellae

The relative contribution of dissolved nitrogen (ammonium and dissolved free amino acids DFAAs) to the nitrogen budget of the reef-building coral Pocillopora damicornis was assessed for colonies growing on control and ammonium-enriched reefs at One Tree Island (southern Great Barrier Reef) during the ENCORE (Enrichment of Nutrient on Coral Reef; 1993 to 1996) project. P. damicornis acquired ammonium at rates of between 5.1 and 91.8 nmol N cm(-2) h(-1) which were not affected by nutrient treatment except in the case of one morph. In this case, uptake rates decreased from 80.5 to 42.8 nmol cm(-2) h(-1) (P < 0.05) on exposure to elevated ammonium over 12 mo. The presence or absence of light during measurement did not influence the uptake of ammonium ions. Nitrogen budgets revealed that the uptake of ammonium from concentrations of 0.11 to 0.13 mu M could completely satisfy the demand of growing P. damicornis for new nitrogen. P. damicornis also took up DFAAs at rates ranging from 4.9 to 9.8 nmol N cm(-2) h(-1). These rates were higher in the dark than in the light (9.0 vs 5.1 nmol m(-2) h(-1), P < 0.001). Uptake rates were highest for the amino acids serine, arginine and alanine, and lowest for tyrosine. DFAA concentrations within the ENCORE microatolls that received ammonium were undetectable, whereas they ranged up to 100 nM within the control microatolls. The contribution of DFAAs to the nitrogen budget of P. damicornis constituted only a small fraction of the nitrogen potentially contributed by ammonium under field conditions. Even at the highest field concentrations measured during this study, DFAAs could contribute only similar or equal to 11.3% of the nitrogen demand of P. damicornis. This contribution, however, may be an important source of nitrogen when other sources such as ammonium are scarce or during periods when high concentrations of DFAAs become sporadically available (e.g. cell breakage during fish-grazing).

Feed intake and liveweight responses to nitrogen and/or protein supplements by steers of Bos taurus, Bos indicus and Bos taurus x Bos indicus breed types offered a low quality grass hay

Thirty steers were used in two pen experiments (Expts 1 and 2). and 27 of these in a third (Expt 3), to quantify their responses of hay intake, rumen ammonia nitrogen (RAN) concentrations, and liveweight to inputs of rumen soluble nitrogen (urea) and rumen undegradable protein (formaldehyde-treated casein; F-casein) when added to a basal diet of low quality hays. The hays were made From unimproved native pastures typical of those grazed by cattle in the subtropics of Australia and contained 7.8 g N/kg dry matter (DM) with coefficient of organic matter digestibility of 0.503 in Expts 1 and 2, and 5.2 g N/kg DM with a digestibility range from 0.385 to 0.448 in Expt 3. The steers (15 months old) were either Brahman (B), Hereford (H) or the F-1 Brahman x Hereford (BH) cross. Steers were offered supplementary minerals with the hays in each experiment. In Expt 1 (35 days) urea was sprayed on part of the hay, allowing for daily urea intakes (g/steer) of either 0, 5, 11, 16 or 26. In Expt 2 (42 days), F-casein was offered daily (g/steer) at either 0, 75, 150, 225 or 300 and in Expt 3 (56 days) discrete offerings were made of soluble casein (225 g/day), of urea (18 g/day) + F-casein (225 g/day) or of nil. There were significant linear effects of urea intake upon hay intake and liveweight change of steers. However, B steers had smaller increases in intake and liveweight change than did H steers, and B steers did not have a linear increase in RAN concentrations with increasing urea intake as did H and SH steers. In Expt 2 there were significant linear effects of F-casein supplements on hay intake and liveweight change of steers and a significant improvement in their feed conversion ratio (i.e. DM intake:liveweight change). The B steers did not differ from H and BH steers in liveweight change but had significantly lower hay intakes and non-significantly smaller increases in RAN with increasing F-casein intake. In Expt 3, hay intake of the steers increased with soluble casein (by 16.8 %) and with urea + F-casein (24.5 %). Only steers given urea + F-casein had a high RAN concentration (94 mg/l) and a high liveweight gain. The B steers had a liveweight loss and a lower hay intake than H or BH steers in Expt 3 but a higher RAN concentration. These studies have indicated the importance of the form and quantity of additional N required by cattle of differing breed types to optimize their feed intake and liveweight gain when offered low-N, low-digestible hays.