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.

Electrical and Mechanical Properties of Post-annealed SiC(x)N(y) Films

Amorphous SiC(x)N(y) films have been deposited on (100) Si substrates by RF magnetron sputtering of a SiC target in a variable nitrogen-argon atmosphere. The as-deposited films were submitted to thermal anneling in a furnace under argon atmosphere at 1000 degrees C for 1 hour. Composition and structure of unannealed and annealed samples were investigated by RBS and FTIR. To study the electrical characteristics of SiC(x)N(y) films, Metal-insulator-semiconductor (MIS) structures were fabricated. Elastic modulus and hardness of the films were determined by nanoindentation. The results of these studies showed that nitrogen content and thermal annealing affect the electrical, mechanical and structural properties of SiC(x)N(y) films.

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.

Three-Dimensional Stress Distribution in the Human Periodontal Ligament in Masticatory, Parafunctional, and Trauma Loads: Finite Element Analysis

Background: The presence of the periodontal ligament (PDL) makes it possible to absorb and distribute loads produced during masticatory function and other tooth contacts into the alveolar process via the alveolar bone proper. However, several factors affect the integrity of periodontal structures causing the destruction of the connective matrix and cells, the loss of fibrous attachment, and the resorption of alveolar bone. Methods: The purpose of this study was to evaluate the stress distribution by finite element analysis in a PDL in three-dimensional models of the upper central incisor under three different load conditions: 100 N occlusal loading at 45 degrees (model 1: masticatory load); 500 N at the incisal edge at 45 degrees (model 2: parafunctional habit); and 800 N at the buccal surface at 90 degrees (model 3: trauma case). The models were built from computed tomography scans. Results: The stress distribution was quite different among the models. The most significant values (harmful) of tensile and compressive stresses were observed in models 2 and 3, with similarly distinct patterns of stress distributions along the PDL. Tensile stresses were observed along the internal and external aspects of the PDL, mostly at the cervical and middle thirds. Conclusions: The stress generation in these models may affect the integrity of periodontal structures. A better understanding of the biomechanical behavior of the PDL under physiologic and traumatic loading conditions might enhance the understanding of the biologic reaction of the PDL in health and disease. J Periodontol 2009;80:1859-1867.

Economic design of an X chart for short-run production

The aim of this paper is to present an economical design of an X chart for a short-run production. The process mean starts equal to mu(0) (in-control, State I) and in a random time it shifts to mu(1) > mu(0) (out-of-control, State II). The monitoring procedure consists of inspecting a single item at every m produced ones. If the measurement of the quality characteristic does not meet the control limits, the process is stopped, adjusted, and additional (r - 1) items are inspected retrospectively. The probabilistic model was developed considering only shifts in the process mean. A direct search technique is applied to find the optimum parameters which minimizes the expected cost function. Numerical examples illustrate the proposed procedure. (C) 2009 Elsevier B.V. All rights reserved.

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.

Characterization of tree-rings of Pinus caribaea var. hondurensis Barr. et Golf. trees by X ray densitometry

This work aimed to determining the anatomical structure of wood, through methodology of histology and X-ray densitometry, of resin-tapped and not resin-tapped Pinus caribaea var. hondurensis trees samples, of three diameter classes. Pine trees, in forest plantation established in 1969, in the Ecological Experimental Station of Itirapina, from the Forestry Institute of Sao Paulo State, were measured and stratified into three classes of trunk diameter. The pine trees were resin-tapped since 2004, with the opening of two simultaneous and opposing panels. Sixty samples of pine wood trees were extracted from the tree trunk through a non-destructive method and in the laboratory. Tree rings were determined in the laboratory and wood apparent density by X-ray densitometry. The test results showed that: (i) false tree rings occur in the early wood and late wood of the tree rings due to climate change; (ii) the X-ray densitometry allowed the demarcation of the tree rings limits; (iii) the wood apparent density average was significantly different between the trees in high class diameter and in the medium-low class; (iv) the wood characteristics from the resin-tapped and non resin-tapped faces did not show significant differences.

Progeny evaluation for resistance to Phaeosphaeria leaf spot in tropical maize

Maize breeding programmes in Brazil and elsewhere seek reliable methods to identify genotypes resistant to Phaeosphaeria leaf spot. The area under the disease progress curve (AUDPC) is an accurate method to evaluate the severity of foliar diseases. However, at least three data points are required to calculate the AUDPC, which is unfeasible when there are thousands of genotypes to be assessed. The aim of this work was to estimate the heritability of disease resistance, evaluate disease severity at different times using a nine-point scale in comparison to the AUDPC, and establish the most suitable phenological period for disease assessment. A repeated experiment was conducted in a 11 x 11 lattice experimental design with three replications. Disease assessments were carried out at flowering, 15 and 30 days post-anthesis for the parental lines DS95, DAS21, the F1 generation and 118 F2:3 progenies. Then, the AUDPC was obtained and results compared with the single-point evaluations used to calculate it. Individual and joint analyses of variance were conducted to obtain heritabiliy estimates. The assessments performed after the flowering stage gave higher estimates of heritability and correlation with AUDPC. We concluded that one assessment between the 15th and 30th day after flowering could provide enough information to distinguish maize genotypes for their resistance to Phaeosphaeria leaf spot under tropical conditions.

Quantitative Trait Loci Mapping and The Genetic Basis of Heterosis in Maize and Rice

Despite its importance to agriculture, the genetic basis of heterosis is still not well understood. The main competing hypotheses include dominance, overdominance, and epistasis. NC design III is an experimental design that. has been used for estimating the average degree of dominance of quantitative trait 106 (QTL) and also for studying heterosis. In this study, we first develop a multiple-interval mapping (MIM) model for design III that provides a platform to estimate the number, genomic positions, augmented additive and dominance effects, and epistatic interactions of QTL. The model can be used for parents with any generation of selling. We apply the method to two data sets, one for maize and one for rice. Our results show that heterosis in maize is mainly due to dominant gene action, although overdominance of individual QTL could not completely be ruled out due to the mapping resolution and limitations of NC design III. For rice, the estimated QTL dominant effects could not explain the observed heterosis. There is evidence that additive X additive epistatic effects of QTL could be the main cause for the heterosis in rice. The difference in the genetic basis of heterosis seems to be related to open or self pollination of the two species. The MIM model for NC design III is implemented in Windows QTL Cartographer, a freely distributed software.

Microbial Metabolic Potential Affected by Surplus Wastewater Irrigation in Tropical Soil Cultivated with Tifton 85 Bermuda Grass (Cynodon dactylon Pers. X C. niemfuensis Vanderyst)

Agricultural reuse of treated sewage effluent (TSE) is an environmental and economic practice; however, little is known about its effects on the characteristics and microbial function in tropical soils. The effect of surplus irrigation of a pasture with TSE, in a period of 18 months, was investigated, considering the effect of 0% surplus irrigation with TSE as a control. In addition, the experiment consisted of three surplus treatments (25%, 50%, and 100% excess) and a nonirrigated pasture area (SE) to compare the soil microbial community level physiological profiles, using the Biolog method. The TSE application increased the average substrate consumption of the soil microbial community, based on the kinetic parameters of the average well color development curve fitting. There were no significant differences between the levels of surplus irrigation treatments. Surplus TSE pasture irrigation caused minor increases in the physiological status of the soil microbial community but no detectable damage to the pasture or soil.

Preweaning performance and body composition of calves from straightbred Nellore and Bos taurus x Nellore crosses

The objectives were to evaluate preweaning performance, body composition, and efficiency of calves representing straightbred Nellore (NL), F(1), and 3-breed-cross systems. Energy requirements, milk production, and efficiency of 39 cow-calf pairs were recorded from straightbred NL calves from NL cows (10), crossbred (Angus-sired) calves from NL cows (ANL: 9), and crossbred calves (CC; Canchim-sired: 5/8 Charolais, 3/8 Zebu) from ANL (10) and Simmental x NL (10) cows. Cows and their respective calves were individually fed from birth to weaning (17 to 190 d postpartum). At 38 d of age, corn silage (7.8% CP, 2.19 Mcal of ME/kg of DM) was available to calves ad libitum. Milk production at 42, 98, 126, and 180 d postpartum was recorded by weighing calves before and after suckling. The ratio between GE and ME of milk was considered 1:0.93. Calves were slaughtered at weaning and the 9th-, 10th-, and 11th-rib section was removed for body composition estimation. The ANL calves were lighter (P < 0.01) at birth than the CC calves; the NL calves were intermediate. At weaning, the CC calves were heavier (P = 0.04) than the NL and ANL calves (230 +/- 5.5 vs. 172 +/- 8.1 and 209 +/- 8.6 kg, respectively). The ANL calves had greater (371 +/- 27 Mcal; P = 0.01) silage intake than the NL (270 +/- 25 Mcal) and CC (279 +/- 17 Mcal) calves. Milk energy intake was greater for the CC calves (970 +/- 38 Mcal of ME; P = 0.005) than the NL (670 +/- 57 Mcal of ME) and ANL (743 +/- 61 Mcal of ME) calves. The ANL calves compensated for the reduced milk production of the NL cows, which supplied less of their energy requirement for growth by increased silage intake. Calves from crossbred cows received a greater proportion of their total energy intake from milk. Crossbred calves had greater (P < 0.03) retained energy (retained energy = weaning body energy - birth body energy) than the NL calves (388 +/- 23 for ANL, and 438 +/- 15 for CC vs. 312 +/- 22 Mcal for NL calves). Percentages of water (P = 0.74) and chemical fat (P = 0.51) were similar among groups (63.7 +/- 0.6 and 14.3 +/- 0.7% for ANL calves, 63.1 +/- 0.4 and 14.7 +/- 0.5% for CC calves, and 63.3 +/- 0.6 and 13.7 +/- 0.7% of empty BW for water and chemical fat, respectively, for NL calves). Energetic efficiency (kcal of retained energy/Mcal of ME intake) was similar (P = 0.52) among groups (358 +/- 22 for ANL calves, 355 +/- 14 for CC calves, and 327 +/- 22 for NL calves). The greater BW gains and the differences in empty body composition at weaning were not enough to compensate for the greater ME intake of crossbreds. In this study, the crossbreeding systems evaluated increased preweaning calf performance but did not affect gross or energetic calf efficiency.

Cow/calf preweaning efficiency of Nellore and Bos taurus x Bos indicus crosses

The objectives of this study were to determine if percentage Bos taurus (0 or 50%) of the cow had an effect on ME requirements and milk production, and to compare cow/calf efficiency among 3 mating systems. Metabolizable energy requirements were estimated during a feeding trial that encompassed a gestation and lactation feeding trial for each of 2 groups of cows. Cows were 0 or 50% Bos taurus ( 100 or 50% Nellore) breed type: Nellore cows (NL; n = 10) mated to Nellore bulls, NL cows ( n = 9) mated to Angus bulls, Angus x Nellore (ANL; n = 10) and Simmental x Nellore (SNL; n = 10) cows mated to Canchim (5/ 8 Charolais 3/ 8 Zebu) bulls. Cows were individually fed a total mixed diet that contained 11.3% CP and 2.23 Mcal of ME/kg of DM. At 14-d intervals, cows and calves were weighed and the amount of DM was adjusted to keep shrunk BW and BCS of cows constant. Beginning at 38 d of age, corn silage was available to calves ad libitum. Milk production at 42, 98, 126, and 180 d postpartum was measured using the weigh-suckle-weigh technique. At 190 d of age, calves were slaughtered and body composition estimated using 9-10-11th-rib section to obtain energy deposition. Regression of BW change on daily ME intake (MEI) was used to estimate MEI at zero BW change. Increase in percentage Bos taurus had a significant effect on daily ME requirements (Mcal/d) during pregnancy (P < 0.01) and lactation (P < 0.01). Percentage Bos taurus had a positive linear effect on maintenance requirements of pregnant (P = 0.07) and lactating (P < 0.01) cows; during pregnancy, the ME requirements were 91 and 86% of those in lactation (131 +/- 3.5 vs. 145 +/- 3.4 Mcal.kg(-0.75).d(-1)) for the 0 and 50% B. taurus groups, respectively. The 50% B. taurus cows, ANL and SNL, suckling crossbred calves had greater total MEI (4,319 +/- 61 Mcal; P < 0.01) than 0% B. taurus cows suckling NL (3,484 +/- 86 Mcal) or ANL calves (3,600 +/- 91 Mcal). The 0% B. taurus cows suckling ANL calves were more efficient (45.3 +/- 1.6 g/Mcal; P = 0.03) than straightbred NL (35.1 +/- 1.5 g/Mcal) and ANL or SNL pairs (41.0 +/- 1.0 g/Mcal). Under the conditions of this study, crossbreeding improved cow/ calf efficiency and showed an advantage for cows that have lower energy requirements.

Outcrossing rate in sweet passion fruit based on molecular markers

P>Yellow and sweet passion fruit are insect-pollinated species native to the tropics. Fruits are used commercially for human consumption worldwide. The yellow passion fruit is an outcrossing species with self-incompatible flowers. However, the reproductive system of the sweet passion fruit (Passiflora alata) has not been well elucidated. The objective of this work was to characterize aspects of the mating system in the sweet passion fruit using random amplified polymorphic DNA (RAPD) and microsatellite markers, particularly the rate of outcrossing in P. alata progenies. A multilocus outcrossing rate of t(m) = 0.994 was determined from RAPD and t(m) = 0.940 from microsatellites, supporting P. alata as an outcrossing species. The fixation indices of the maternal generation (F(m)) were -0.200 and 0.071 with RAPD and microsatellite loci, respectively, indicating the absence of inbreeding in the maternal generation. The paternity correlation (r(p)) varied from -0.008 with RAPD markers to 0.208 with microsatellite markers, suggesting a low probability of finding full sibs within the progenies. The results demonstrated that all progenies assessed in this study were derived from outcrossing.