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.

Large Woody Debris Input and Its Influence on Channel Structure in Agricultural Lands of Southeast Brazil

Riparian forests are important for the structure and functioning of stream ecosystems, providing structural components such as large woody debris (LWD). Changes in these forests will cause modifications in the LWD input to streams, affecting their structure. In order to assess the influence of riparian forests changes in LWD supply, 15 catchments (third and fourth order) with riparian forests at different conservation levels were selected for sampling. In each catchment we quantified the abundance, volume and diameter of LWD in stream channels; the number, area and volume of pools formed by LWD and basal area and tree diameter of riparian forest. We found that riparian forests were at a secondary successional stage with predominantly young trees (diameter at breast height < 10 cm) in all studied streams. Results showed that basal area and diameter of riparian forest differed between the stream groups (forested and non-forested), but tree density did not differ between groups. Differences were also observed in LWD abundance, volume, frequency of LWD pools with subunits and area and volume of LWD pools. LWD diameter, LWD that form pools diameter and frequency of LWD pools without subunits did not differ between stream groups. Regression analyses showed that LWD abundance and volume, and frequency of LWD pools (with and without subunits) were positively related with the proportion of riparian forest. LWD diameter was not correlated to riparian tree diameter. The frequency of LWD pools was correlated to the abundance and volume of LWD, but characteristics of these pools (area and volume) were not correlated to the diameter of LWD that formed the pools. These results show that alterations in riparian forest cause modifications in the LWD abundance and volume in the stream channel, affecting mainly the structural complexity of these ecosystems (reduction in the number and structural characteristics of LWD pools). Our results also demonstrate that riparian forest conservation actions must consider not only its extension, but also successional stage to guarantee the quantity and quality of LWD necessary to enable the structuring of stream channels.

A positive growth response to NaCl applications in Eucalyptus plantations established on K-deficient soils

Contrasting responses of Eucalyptus trees to K fertilizer applications have been reported on soils with low K contents. A complete randomized block experiment was set up in Brazil to test the hypothesis that large atmospheric deposits of NaCl in coastal regions might lead to a partial substitution of K by Na in Eucalyptus physiology and enhance tree growth. Treatments with application of 1.5, 3.0, 4.5 kmol K ha(-1) (K(1.5), K(3.0), 1(4.5, respectively) as KCl, 3.0 kmol K ha(-1) applied as K(2)SO(4), 3.0 kmol Na ha(-1) (Na(3.0)) as NaCl commercialized for cattle feeding, and a mixture of 1.5 kmol K + 1.5 kmol Na ha(-1) (K(1.5) + Na(1.5)) were compared to a control treatment (C) with no K and Na applications. All the plots were fertilized with large amounts of the other nutrients. A positive effect of NaCl applications on the growth of E. grandis trees was observed. NaCl and KCl additions in treatments Na(3.0) and K(3.0) increased above-ground biomass by 56% and 130% three years after planting, respectively, in comparison with the C treatment. By contrast, accumulated litterfall up to age 3 years was not significantly modified. NaCl applications in the Na(3.0) treatment significantly increased Na accumulation in above-ground tree components but did not modify K accumulation, whatever the sampling age. A partial substitution of K by Na in tree physiology, as observed for various agricultural crops, might explain this behaviour. Our results suggest the possibility of applying inexpensive K fertilizers, which are less purified in Na, and explain why high yields are achieved without K fertilizer applications in areas with large dry depositions of marine aerosols. Further investigations are necessary to identify the processes involving Na in Eucalyptus tree physiology. (C) 2009 Elsevier B.V. All rights reserved.

Atmospheric Absorption of Fluoride by Cultivated Species. Leaf Structural Changes and Plant Growth

Fluoride (F) is an air pollutant that causes phytotoxicity. Besides the importance of this, losses of agricultural crops in the vicinity of F polluting industries in Brazil have been recently reported. Injuries caused to plant leaf cell structures by excess F are not well characterized. However, this may contribute to understanding the ways in which plant physiological and biochemical processes are altered. A study evaluated the effects of the atmospheric F on leaf characteristics and growth of young trees of sweet orange and coffee exposed to low (0.04 mol L(-1)) or high (0.16 mol L(-1)) doses of HF nebulized in closed chamber for 28 days plus a control treatment not exposed. Gladiolus and ryegrass were used as bioindicators in the experiment to monitor F exposure levels. Fluoride concentration and dry mass of leaves were evaluated. Leaf anatomy was observed under light and electron microscopy. High F concentrations (similar to 180 mg kg(-1)) were found in leaves of plants exposed at the highest dose of HF. Visual symptoms of F toxicity in leaves of citrus and coffee were observed. Analyses of plant tissue provided evidence that F caused degeneration of cell wall and cytoplasm and disorganization of bundle sheath, which were more evident in Gladiolus and coffee. Minor changes were observed for sweet orange and ryegrass. Increase on individual stomatal area was also marked for the Gladiolus and coffee, and which were characterized by occurrence of opened ostioles. The increased F absorption by leaves and changes at the structural and ultrastructural level of leaf tissues correlated with reduced plant growth.

Adult language input in the early childhood educational setting

Age-related changes in the adult language addressed to children aged 2;0-4;0 years in polyadic conditions were investigated in Australian childcare centres. The language that 21 staff members addressed to these children was coded for multiple variables in the broad social categories of prosody, context, speech act and gesture. The linguistic components were coded within the categories of phonology, lexicon, morphology, syntax and referential deixis. Minimal age-related differences were found. Explanations for the similarity of the adult language input across the age groups within the early childhood educational environment, will be discussed

Control of nutrient solutions for studies at high pH

Little is known about factors effecting plant growth at high pH, with research often limited by the inability to separate nutritional deficiencies and HCO3- toxicity from the direct limitations imposed under high pH conditions. Various methods of controlling dilute nutrient solutions for studies at high pH were investigated. For short-term studies, it was found that a solution without Cu, Fe, Mn and Zn and aerated with CO2 depleted air, greatly reduced nutrient precipitation at high pH, thus eliminating nutritional differences between treatments. Manual pH adjustment and the use of ion exchange resins as pH buffers were unsuitable methods of pH control. However, pH control by automated titration had little effect on solution composition while maintaining constant pH. The system described is suitable for studies in which the pH of the bulk nutrient solution must be maintained. The system was used to examine OH- toxicity in mungbeans (Vigna radiata (L.) Wilczek cv. Emerald), with root length reduced at a bulk solution pH of 8.5 and greater.

Improving wheat simulation capabilities in Australia from a cropping systems perspective - II. Testing simulation capabilities of wheat growth

To simulate cropping systems, crop models must not only give reliable predictions of yield across a wide range of environmental conditions, they must also quantify water and nutrient use well, so that the status of the soil at maturity is a good representation of the starting conditions for the next cropping sequence. To assess the suitability for this task a range of crop models, currently used in Australia, were tested. The models differed in their design objectives, complexity and structure and were (i) tested on diverse, independent data sets from a wide range of environments and (ii) model components were further evaluated with one detailed data set from a semi-arid environment. All models were coded into the cropping systems shell APSIM, which provides a common soil water and nitrogen balance. Crop development was input, thus differences between simulations were caused entirely by difference in simulating crop growth. Under nitrogen non-limiting conditions between 73 and 85% of the observed kernel yield variation across environments was explained by the models. This ranged from 51 to 77% under varying nitrogen supply. Water and nitrogen effects on leaf area index were predicted poorly by all models resulting in erroneous predictions of dry matter accumulation and water use. When measured light interception was used as input, most models improved in their prediction of dry matter and yield. This test highlighted a range of compensating errors in all modelling approaches. Time course and final amount of water extraction was simulated well by two models, while others left up to 25% of potentially available soil water in the profile. Kernel nitrogen percentage was predicted poorly by all models due to its sensitivity to small dry matter changes. Yield and dry matter could be estimated adequately for a range of environmental conditions using the general concepts of radiation use efficiency and transpiration efficiency. However, leaf area and kernel nitrogen dynamics need to be improved to achieve better estimates of water and nitrogen use if such models are to be use to evaluate cropping systems. (C) 1998 Elsevier Science B.V.

Ecosystem dynamics at disturbed and undisturbed sites in North Queensland wet tropical rain forest. III. Nutrient returns to the forest floor through litterfall

The nutrient contents and accessions in litterfall over a period of 3 y are reported for undisturbed areas and at two sites disturbed by selective harvesting in tropical rain forest in North Queensland, Australia. Mean concentrations (mg g(-1) dry weight) of nutrients in litterfall ranged from 10 to 12 for nitrogen; 0.33 to 0.43 for phosphorus; 3.6 to 4.3 for potassium; 6.0 to 10.5 for calcium and 1.7 to 2.6 for magnesium. These concentrations are in the middle to lower part of the spectrum of values recorded for tropical forest. Accessions of nutrients in litterfall (kg ha(-1) y(-1)) ranged from 59 to 64 N; 1.9 to 2.4 P; 20 to 24K; 34 to 63 Ca; and 9 to 16 Mg. These rates, particularly for IN and P, are among the lowest recorded for tropical forests. There were no consistent between-site differences in total nutrient accessions in small litterfall. In terms of the contribution of litterfall to the accessions of nutrients to the forest floor, this suggests that the logged sites have recovered from the effects of selective harvesting within 25 y. Nutrient accessions at each site were distinctly seasonal, with maximum accessions occurring in the late dry season to late in the wet season. Leaf-fall accounted for the largest proportion of nutrient accessions over the study period, although at certain times accessions in both reproductive material and wood were significant. A cyclone which crossed the coast near the study sites resulted in large nutrient accessions over a short period but had little effect on the total annual accession. A comparison with previous studies of litterfall in Australian tropical rainforests indicates that nutrient return in litterfall is directly related to soil fertility.

Anthocyanin synthesis, growth and nutrient uptake in suspension cultures of strawberry cells

Strawberry (Fragaria ananassa cv. Shikinari) cell suspension cultures carried out in shake flasks for 18 d were closely examined for cell growth, anthocyanin synthesis and the development of pigmented cells in relation to the uptake of carbohydrate, extracellular PO4, NO3, NH4, and calcium. Cell viability, extracellular anthocyanin content, pH and electrical conductivity of the broth were also monitored. The specific growth rate of strawberry cells at exponential phase was 0.27 and 0.28 d(-1) based on fresh and dry weight, respectively. Anthocyanin synthesis was observed to increase continuously to a maximum value of 0.86 mg/g fresh cell weight (FCW) at day 6, and was partially growth-associated. Anthocyanin synthesis was linearly related to the increase in pigmented cell ratio, which increased with time and reached a maximum value of ca. 70% at day 6 due to reduction in cell viability and depletion of substrate. Total carbohydrate uptake was closely associated with increase in cell growth, and glucose was utilized in preference to fructose. Nitrate and ammonia were consumed until 9 d of culture, but phosphate was completely absorbed within 4 d. Calcium was assimilated throughout the growth cycle. After 9 d, cell lysis was observed which resulted in the leakage of intracellular substances and a concomitant pH rise. Anthocyanin was never detected in the broth although the broth became darkly pigmented during the lysis period. This suggests that anthocyanin was synthesized only by viable pigmented cells, and degraded rapidly upon cell death and lysis. Based on the results of kinetic analysis, a model was developed by incorporating governing equations for the ratio of pigmented cells into a Bailey and Nicholson's model. This was verified by comparison with the experimental data. The results suggest Bat the model satisfactorily describes the strawberry cell culture process, and may thus be used for process optimization.

Influence of field-based nutrient enrichment on the photobiology of the giant clam Tridacna maxima

Nutrients were added to 12 microatolls in One Tree Island lagoon every low tide for 13 mo to an initial concentration of 10 mu M (ammonium, N) and 2 mu M (phosphate, P). These concentrations remained above background for 2 to 3 h after addition. The addition of ammonium (N and NI-P but not P alone) significantly increased P, (gross photosynthesis) P,, (net photosynthesis) and R (respiration) per unit wet-tissue weight and cc (photosynthetic efficiency) in Tridacna maxima after 3 mo nutrient enrichment. These responses to small and transient changes in ammonium concentrations suggest that symbiotic clams are not nutrient-replete, and that even subtle changes in nutrients can have a measurable effect on photosynthesis. The same clams did not show significant differences in photosynthetic parameters 6 mo after the beginning of nutrient enrichment, suggesting that their previous responses had either been seasonal or that symbiotic clams such as T. maxima are able to adjust their photophysiology following external changes in nutrient concentrations.

Submarine groundwater discharge and associated chemical input to a coastal sea

This paper presents a theoretical model of flow and chemical transport processes in subterranean estuaries (unconfined brackish groundwater aquifers at the ocean-land interface). The model shows that groundwater circulation and oscillating flow, caused by wave setup and tide, may constitute up to 96% of submarine groundwater discharge (SGWD) compared with 4% due to the net groundwater discharge. While these local flow processes do not change the total amount of land-derived chemical input to the ocean over a long period (e.g., yearly), they induce fluctuations of the chemical transfer rate as the aquifer undergoes saltwater intrusion. This may result in a substantial increase in chemical fluxes to the ocean over a short period (e.g., monthly and by a factor of 20 above the averaged level), imposing a possible threat to the marine environment. These results are essentially consistent with the experimental findings of Moore [1996] and have important implications for coastal resources management.

Quantification of free mycophenolic acid by high-performance liquid chromatography-atmospheric pressure chemical ionisation tandem mass spectrometry

To facilitate the investigation of free mycophenolic acid concentrations we developed a high-performance liquid chromatography tandem mass spectrometry method using indomethacin as an internal standard. Free drug was isolated from plasma samples (500 mul) using ultrafiltration, The analytes were extracted from the ultrafiltrate (200 mul) using C-18 solid-phase extraction. Detection was by selected reactant monitoring of mycophenolic acid (m/z 318.9-->190.9) and the internal standard (m/z 356.0-->297.1) with an atmospheric pressure chemical ionisation interface. The total chromatographic analysis time was 12 min. The method was found to be linear over the range investigated, 2.5-200 mug/l (r>0.990, n=6). The relative recovery of the method for the control samples studied (7.5, 40.0 and 150 mug/l) ranged from 95 to 104%. The imprecision of the method, expressed in terms of intra- and inter-day coefficients of variation, was

Plant growth limitation and nutrient loss following piled burning in slash and burn agriculture

In the forest zone of Cameroon, small-scale family farmers practicing traditional slash and burn practices achieve a clear field by piled burning of the branches and trunks of cleared vegetation. Plant growth inhibition on ash patches, and the risk of nutrient loss from these areas, was evaluated on field plots on which 0.5 t m(-2) or 1.0 t m(-2) of wood was piled and burnt, and in laboratory studies. The ash produced by burning was strongly alkaline, and laboratory bio-assessment studies showed that the saline, high pH conditions produced in ash patches prevented germination and plant growth for up to two wet seasons, as is observed in the field. Field and laboratory studies demonstrated rapid release (1 wet season) of K and S from the ash and the loss of a substantial portion of these nutrients from the soil profile by leaching. In contrast, leaching carries Mg from the ash gradually (3 to 4 wet seasons), while Ca, Cu, Zn and P are leached slowly. The nutrients contained in ash patches are considered at risk of loss both through leaching (K and S) and by erosion of ash (Ca, Mg, Cu, Zn and P). Farmers should be encouraged to spread ash patches prior to cultivation in order to exploit the nutrient content of ash and to lessen the risk of nutrient loss.

The effect of nutrient enrichment on growth, photosynthesis and hydraulic conductance of dwarf mangroves in Panama

1. Dwarf stands of the mangrove Rhizophora mangle L. are extensive in the Caribbean. We fertilized dwarf trees in Almirante Bay, Bocas del Toro Province, north-eastern Panama with nitrogen (N) and phosphorus (P) to determine (1) if growth limitations are due to nutrient deficiency; and (2) what morphological and/or physiological factors underlie nutrient limitations to growth. 2. Shoot growth was 10-fold when fertilized with P and twofold with N fertilization, indicating that stunted growth of these mangroves is partially due to nutrient deficiency. 3. Growth enhancements caused by N or P enrichment could not be attributed to increases in photosynthesis on a leaf area basis, although photosynthetic nutrient-use efficiency was improved. The most dramatic effect was on stem hydraulic conductance, which was increased sixfold by P and 2.5-fold with N enrichment. Fertilization with P enhanced leaf and stem P concentrations and reduced C : N ratio, but did not alter leaf damage by herbivores. 4. Our findings indicate that addition of N and P significantly alter tree growth and internal nutrient dynamics of mangroves at Bocas del Toro, but also that the magnitude, pattern and mechanisms of change will be differentially affected by each nutrient.

Ecosystem process models at multiple scales for mapping tropical forest productivity

Quantifying mass and energy exchanges within tropical forests is essential for understanding their role in the global carbon budget and how they will respond to perturbations in climate. This study reviews ecosystem process models designed to predict the growth and productivity of temperate and tropical forest ecosystems. Temperate forest models were included because of the minimal number of tropical forest models. The review provides a multiscale assessment enabling potential users to select a model suited to the scale and type of information they require in tropical forests. Process models are reviewed in relation to their input and output parameters, minimum spatial and temporal units of operation, maximum spatial extent and time period of application for each organization level of modelling. Organizational levels included leaf-tree, plot-stand, regional and ecosystem levels, with model complexity decreasing as the time-step and spatial extent of model operation increases. All ecosystem models are simplified versions of reality and are typically aspatial. Remotely sensed data sets and derived products may be used to initialize, drive and validate ecosystem process models. At the simplest level, remotely sensed data are used to delimit location, extent and changes over time of vegetation communities. At a more advanced level, remotely sensed data products have been used to estimate key structural and biophysical properties associated with ecosystem processes in tropical and temperate forests. Combining ecological models and image data enables the development of carbon accounting systems that will contribute to understanding greenhouse gas budgets at biome and global scales.