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 effective charge density in MOS capacitors with PECVD SiOxNy dielectric layer obtained at low RF power

In this work SiOxNy films are produced and characterized. Series of samples were deposited by the plasma enhanced chemical vapor deposition (PECVD) technique at low temperatures from silane (SiH4), nitrous oxide (N2O) and helium (He) precursor gaseous mixtures, at different deposition power in order to analyze the effect of this parameter on the films structural properties, on the SiOxNy/Si interface quality and on the SiOxNy effective charge density. In order to compare the film structural properties with the interface (SiOxNy/Si) quality and effective charge density, MOS capacitors were fabricated using these films as dielectric layer. X-ray absorption near-edge spectroscopy (XANES), at the Si-K edge, was utilized to investigate the structure of the films and the material bonding characteristics were analyzed through Fourier transform infrared spectroscopy (FTIR). The MOS capacitors were characterized by low and high frequency capacitance (C-V) measurements, in order to obtain the interface state density (D-it) and the effective charge density (N-ss). An effective charge density linear reduction for decreasing deposition power was observed, result that is attributed to the smaller amount of ions present in the plasma for low RF power. (C) 2008 Elsevier B.V. All rights reserved.

Structural and morphological studies on SiOxNy thin films

In this work, the structure and morphology of silicon oxynitride films deposited by the PECVD technique were studied. The films were deposited under two different conditions: (a) SiOxNy with chemical compositions varying from SiO2 to Si3N4 via the control of a N2O + N-2 + SiH4 gas mixture, and (b) Si-rich SiOxNy films via the control of a N2O + SiH4 gas mixture. The analyses were performed using X-ray near edge spectroscopy (XANES) at the Si-K edge, transmission electron microscopy (TEM) and Rutherford backscattering spectroscopy (RBS). For samples with chemical composition varying from SiO2 to Si3N4, the diffraction patterns obtained by TEM exhibited changes with the chemical composition, in agreement with the XANES results. For silicon-rich silicon oxynitride samples, the formation of a-Si clusters was observed and the possibility of obtaining Si nanocrystals after annealing depending on the composition and temperature was realized. (C) 2007 Elsevier B.V. All rights reserved.

Anodic porous alumina structural characteristics study based on SEM image processing and analysis

The present work reports the porous alumina structures fabrication and their quantitative structural characteristics study based on mathematical morphology analysis by using the SEM images. The algorithm used in this work was implemented in 6.2 MATLAB software. Using the algorithm it was possible to obtain the distribution of maximum, minimum and average radius of the pores in porous alumina structures. Additionally, with the calculus of the area occupied by the pores, it was possible to obtain the porosity of the structures. The quantitative results could be obtained and related to the process fabrication characteristics, showing to be reliable and promising to be used to control the pores formation process. Then, this technique could provide a more accurate determination of pore sizes and pores distribution. (C) 2008 Elsevier Ltd. All rights reserved.

Structural and physicochemical characterization of RS prepared using hydrolysis and heat treatments of chickpea starch

The aim of this study was to evaluate the production and the structural and physicochemical properties of RS obtained by molecular mass reduction (enzyme or acid) and hydrothermal treatment of chickpea starch. Native and gelatinized starch were submitted to acid (2 M HCl for 2.5 h) or enzymatic hydrolysis (pullulanase, 40 U/g per 10 h), autoclaved (121 degrees C/30 min), stored under refrigeration (4 degrees C/24 h), and lyophilized. The hydrolysis of starch increased the RS content from 16% to values between 20 and 32%, and the enzymatic treatment of the gelatinized starch was the most efficient. RS showed an increase in water absorption and water solubility indexes due to hydrolytic and thermal process. The processes for obtaining RS changed the crystallinity pattern from C to B. Hydrolysis treatments caused an increase in relative crystallinity due to the greater retrogradation caused by the reduction in MW. RS obtained from hydrolysis showed a reduction in viscosity, indicating the rupture of molecules. The viscosity seemed to be inversely proportional to the RS content in the sample.

Alterations in energy properties of eucalyptus wood and bark subjected to torrefaction: The potential of mass loss as a synthetic indicator

Torrefaction is a mild pyrolysis process (usually up to 300 degrees C) that changes the chemical and physical properties of biomass. This process is a possible pre-treatment prior to further processes (transport, grinding, combustion, gasification, etc) to generate energy or biofuels. In this study, three eucalyptus wood species and bark were subjected to different torrefaction conditions to determine the alterations in their structural and energy properties. The most severe treatment (280 degrees C, 5 h) causes mass losses of more than 35%, with severe damage to anatomical structure, and an increase of about 27% in the specific energy content. Bark is more sensitive to heat than wood. Energy yields are always higher than mass yields, thereby demonstrating the benefits of torrefaction in concentrating biomass energy. The overall mass loss is proposed as a relevant parameter to synthesize the effect of torrefaction conditions (temperature and duration). Accordingly, all results are summarised by analytical expressions able to predict the energy properties as a function of the overall mass loss. These expressions are intended to be used in any optimization procedure, from production in the field to the final use. (c) 2010 Elsevier Ltd. 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.

Expanding cyclitol structural diversity by biocatalysis and metalocatalysis. A click chemistry approach

The palladium catalyzed cross-coupling reaction of phenyltrifluoroborate with a chemoenzymatically derived bromoazidoconduritol, combined with 1,3-dipolar cycloaddition, with a variety of alkynes is described. Fourteen new compounds were synthesized in moderate to good yields. The click chemistry reaction can be effected by using sodium ascorbate and CuSO(4) center dot 5H(2)O as catalyst in toluene-H(2)O at room temperature.

DSC estimation of structural and textural parameters of SBA-15 silica using water probe

The aim of this study was to use DSC and X-ray diffraction measurements to determine the pore size and pore wall thickness of highly ordered SBA-15 materials. The DSC curves showed two endothermic events during the heating cycle. These events were due to the presence of water inside and outside of mesopores. The results of pore radius, wall thickness and pore volume measurements were in good agreement with the results obtained by nitrogen adsorption measurement, XRD and transmission electron microscopy.

Detailed H-1 and C-13 NMR structural assignment and relative stereochemistry determination for three closely related sesquiterpene lactones

A complete analysis of H-1 and C-13 NMR spectra of the trypanocidal sesquiterpene lactone eremantholide C and two of its analogues is described. These structurally similar sesquiterpene lactones were submitted to H-1 NMR, C-13 (H-1) NMR, gCOSY, gHSQC, gHMBC, J-resolved and DPFGSE-NOE NMR techniques. The detailed analysis of those results, correlated to some computational calculations (molecular mechanics), led to the total and unequivocal assignment of all H-1 and C-13 NMR data. The determination of all H-1/H-1 coupling constants and all signal multiplicities, together with the elimination of previous ambiguities were also achieved. Copyright (C) 2008 John Wiley & Sons, Ltd.

Structural characterization of exopolysaccharides from biofilm of a cariogenic streptococci

Soluble (EPS-SOL), as well as insoluble extracellular polysaccharide (EPS-INSOL), extracted from biofilm of Streptococcus mutans, were analyzed by nuclear magnetic resonance spectroscopy, methylation analysis, and a controlled Smith degradation. EPS-SOL was a branched alpha-glucan containing a (1 -> 6)-and (1 -> 3)-linkages. EPS-INSOL was a branched alpha-glucan with similar linkages, but with a (1 -> 3)-linked main-chain partially substituted at O-6 with Glcp-(1 -> 6)-Glcp-side chains. Biofilm EPS had a distinct chemical structure compared with those synthesized by plankton cells or by purified enzymes from S. mutans, which could indicate different mechanisms for its degradation. (C) 2011 Published by Elsevier Ltd.

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.

Structural complexes of human adenine phosphoribosyltransferase reveal novel features of the APRT catalytic mechanism

Adenine phosphoribosyltransferase (APRT) is an important enzyme component of the purine recycling pathway. Parasitic protozoa of the order Kinetoplastida are unable to synthesize purines de novo and use the salvage pathway for the synthesis of purine bases rendering this biosynthetic pathway an attractive target for antiparasitic drug design. The recombinant human adenine phosphoribosyltransferase (hAPRT) structure was resolved in the presence of AMP in the active site to 1.76 angstrom resolution and with the substrates PRPP and adenine simultaneously bound to the catalytic site to 1.83 angstrom resolution. An additional structure was solved containing one subunit of the dimer in the apo-form to 2.10 angstrom resolution. Comparisons of these three hAPRT structures with other `type I` PRTases revealed several important features of this class of enzymes. Our data indicate that the flexible loop structure adopts an open conformation before and after binding of both substrates adenine and PRPR Comparative analyses presented here provide structural evidence to propose the role of Glu 104 as the residue that abstracts the proton of adenine N9 atom before its nucleophilic attack on the PRPP anomeric carbon. This work leads to new insights to the understanding of the APRT catalytic mechanism.

Evaluation of the antioxidant activity as an additional parameter to attain the functional quality of natural extracts

Due to differences in the functional quality of natural extracts, we have also faced differences in their effectiveness. So, it was intended to assess the antioxidant activity of natural extracts in order to attain their functional quality. It was observed that all the extracts (brown and green propolis, Ginkgo biloba and Isoflavin Beta (R)) and the standard used (quercetin) showed antioxidant activity in a dose-dependent manner with IC50 values ranging from 0.21 to 155.28 mu g mL(-1) (inhibition of lipid peroxidation and scavenging of the DPPH center dot assays). We observed a high correlation (r(2)= 0.9913) among the antioxidant methods; on the other hand, the antioxidant activity was not related to the polyphenol and flavonoid content. As the DPPH center dot assay is a fast method, presents low costs and even has a high correlation with other antioxidant methods, it could be applied as an additional parameter in the quality control of natural extracts.

Isolation and structural characterization of a new fibrin(ogen)olytic metalloproteinase from Bothrops moojeni snake venom

A proteinase, named BmooMP alpha-I, from the venom of Bothrops moojeni, was purified by DEAE-Sephacel, Sephadex G-75 and heparin-agarose column chromatography. The enzyme was purified to homogeneity as judged by its migration profile in SDS-PAGE stained with coomassie blue, and showed a molecular mass of about 24.5 kDa. Its complete cDNA was obtained by RT-PCR and the 615 bp codified for a mature protein of 205 amino acid residues. The multiple alignment of its deduced amino acid sequence and those of other snake venom metalloproteinases showed a high structural similarly, mainly among class P-IB proteases. The enzyme cleaves the A alpha-chain of fibrinogen first, followed by the B beta-chain, and shows no effects on the gamma-chain. On fibrin, the enzyme hydrolyzed only the beta-chain, leaving the gamma-dimer apparently untouched. It was devoid of phospholipase A(2), hemorrhagic and thrombin-like activities. Like many venom enzymes, it is stable at pH values between 4 and 10 and stable at 70 degrees C for 15 min. The inhibitory effects of EDTA on the fibrinogenolytic activity suggest that BmooMP alpha-I is a metalloproteinase and inhibition by beta-mercaptoethanol revealed the important role of the disulfide bonds in the stabilization of the native structure. Aprotinin and benzamidine, specific serine proteinase inhibitors, had no effect on BmooMP alpha-I activity. Since the BmooMP alpha-I enzyme was found to cause defibrinogenation when administered i.p. on mice, it is expected that it may be of medical interest as a therapeutic agent in the treatment and prevention of arterial thrombosis. (C) 2007 Elsevier Ltd. All rights reserved.