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.

Floral anatomy of the Lecointea clade (Leguminosae, Papilionoideae, Swartzieae sensu lato)

Flower and inflorescence anatomy and morphology of Exostyles, Harleyodendron, Holocalyx, Lecointea, and Zollernia (Leguminosae, Lecointea clade) were studied. Features common to all genera but otherwise rare within the Leguminosae include: (1) the presence of phenolic compounds in the epidermal cells of the anthers and subepidermal cells of the bracteoles, sepals, petals, and ovaries (absent in Holocalyx balansae); (2) simple trichomes on the adaxial base of the bracteoles and on the surface of the calyx and ovaries; and (3) tapetum persisting until the androspores are formed. Other notable anatomical features are: (1) colleters on the adaxial bases of the bracts and bracteoles of Holocalyx balansae and Zollernia ilicifolia; (2) trichomes on the anthers of Harleyodendron unifoliolatum, Holocalyx balansae, Lecointea hatschbachii, Zollernia ilicifolia and Z. magnifica; (3) osmophores on the petals of Exostyles godoyensis; (4) asynchronous pollen development in the anthers of Holocalyx balansae and Zollernia magnifica; and (5) vascular bundles surrounded by lignified fibers in Harleyodendron unifoliolatum. These anatomical characters are discussed according to their possible phylogenetic implications.

Characterization and stability study of a water-in-oil microemulsion incorporating quercetin

Background: The effectiveness of a water/oil (w/o) microemulsion containing quercetin against ultraviolet B radiation (UVB) induced damage was recently demonstrated by our group. However, during the development of new pharmaceutical products, the evaluation of percutaneous absorption and in vivo effectiveness should be accompanied by evaluation of stability parameters as an integral part of the process. Objective: The aim was to investigate the stability of the final microemulsion formulation considering the temperature ranges of storage and application. Methods: The physical, chemical, and functional stability of this formulation under different conditions of storage during 12 months and the photostability of quercetin incorporated into this system over UVB exposure for 7 days were evaluated. Results: Although the results indicated a notable physical stability of the w/o microemulsions during the experimental period under all employed conditions, in both, the chemical and functional studies, a significant loss of quercetin content and antioxidant activity was found after 6 months of storage at 30 degrees C/70% relative humidity and after 2 months at 40 degrees C/70% relative humidity. The photostability study results demonstrated that the incorporation of quercetin into the w/o microemulsion maintained the previously demonstrated photostability of this flavonoid under forced exposure to UVB irradiation. Conclusion: Thus, this work demonstrates that special storage conditions (at 4 +/- 2 degrees C) are necessary to maintain the functionality of the w/o microemulsion containing quercetin and mainly emphasizes the importance of studying physical, chemical, and functional parameters at the same time during stability evaluation of active principles.

Snake venomics and antivenomics of Crotalus durissus subspecies from Brazil: Assessment of geographic variation and its implication on snakebite management

We report the comparative proteomic and antivenomic characterization of the venoms of subspecies cascavella and collilineatus of the Brazilian tropical rattlesnake Crotalus durissus. The venom proteomes of C. d. collilineatus and C. d. cascavella comprise proteins in the range of 4-115 kDa belonging to 9 and 8 toxin families, respectively. Collilineatus and cascavella venoms contain 20-25 main toxins belonging to the following protein families: disintegrin, PLA(2), serine proteinase, cysteine-rich secretory protein (CRISP), vascular endothelial growth factor-like (VEGF), L-amino acid oxidase, C-type lectin-like, and snake venom metalloproteinase (SVMP). As judged by reverse-phase HPLC and mass spectrometry, cascavella and collilineatus share about 90% of their venom proteome. However, the relative occurrence of the toxin families departs among the two C. durissus subspecies venoms. The most notable difference is the presence of the myotoxin crotamine in some C. d. collilineatus specimens (averaging 20.8% of the total proteins of pooled venom), which is absent in the venom of C. d. cascavella. On the other hand, the neurotoxic PLA2 crotoxin represents the most abundant protein in both C. durissus venoms, comprising 67.4% of the toxin proteome in C. d. collilineatus and 72.5% in C. d. cascavella. Myotoxic PLA(2)s are also present in the two venoms albeit in different relative concentrations (18.1% in C. d. cascavella vs. 4.6% in C. d. collilineatus). The venom composition accounts for the clinical manifestations caused by C. durissus envenomations: systemic neurotoxicity and myalgic symptoms and coagulation disturbances, frequently accompanied by myoglobinuria and acute renal failure. The overall compositions of C. d. subspecies cascavella and collilineatus venoms closely resemble that of C. d. terrificus, supporting the view that these taxa can be considered geographical variations of the same species. Pooled venom from adult C.d. cascavella and neonate C.d. terrificus lack crotamine, whereas this skeletal muscle cell membrane depolarizing inducing myotoxin accounts for similar to 20% of the total toxins of venom pooled from C.d. collilineatus and C.d. terrificus from Southern Brazil. The possible relevance of the observed venom variability among the tropical rattlesnake subspecies was assessed by antivenomics using anti-crotalic antivenoms produced at Instituto Butantan and Instituto Vital Brazil. The results revealed that both antivenoms exhibit impaired immunoreactivity towards crotamine and display restricted (similar to 60%) recognition of PLA(2) molecules (crotoxin and D49-myotoxins) from C. d. cascavella and C. d. terrificus venoms. This poor reactivity of the antivenoms may be due to a combination of factors: on the one hand, an inappropriate choice of the mixture of venoms for immunization and, on the other hand, the documented low immunogenicity of PLA(2) molecules. C. durissus causes most of the lethal snakebite accidents in Brazil. The implication of the geographic variation of venom composition for the treatment of bites by different C. durissus subspecies populations is discussed. (C) 2010 Elsevier B.V. All rights reserved.

Sequence analysis, chromosomal distribution and long-range organization show that rapid turnover of new and old pBuM satellite DNA repeats leads to different patterns of variation in seven species of the Drosophila buzzatii cluster

We aimed to study patterns of variation and factors influencing the evolutionary dynamics of a satellite DNA, pBuM, in all seven Drosophila species from the buzzatii cluster (repleta group). We analyzed 117 alpha pBuM-1 (monomer length 190 bp) and 119 composite alpha/beta (370 bp) pBuM-2 repeats and determined the chromosome location and long-range organization on DNA fibers of major sequence variants. Such combined methodologies in the study of satDNAs have been used in very few organisms. In most species, concerted evolution is linked to high copy number of pBuM repeats. Species presenting low-abundance and scattered distributed pBuM repeats did not undergo concerted evolution and maintained part of the ancestral inter-repeat variability. The alpha and alpha/beta repeats colocalized in heterochromatic regions and were distributed on multiple chromosomes, with notable differences between species. High-resolution FISH revealed array sizes of a few kilobases to over 0.7 Mb and mutual arrangements of alpha and alpha/beta repeats along the same DNA fibers, but with considerable changes in the amount of each variant across species. From sequence, chromosomal and phylogenetic data, we could infer that homogenization and amplification events involved both new and ancestral pBuM variants. Altogether, the data on the structure and organization of the pBuM satDNA give insights into genome evolution including mechanisms that contribute to concerted evolution and diversification.

The crustacean gill (Na(+),K(+))-ATPase: Allosteric modulation of high- and low-affinity ATP-binding sites by sodium and potassium

The blue crab, Callinectes danae, tolerates exposure to a wide salinity range employing mechanisms of compensatory ion uptake when in dilute media. Although the gill (Na(+), K(+))-ATPase is vital to hyperosmoregulatory ability, the interactions occurring at the sites of ATP binding on the molecule itself are unknown. Here, we investigate the modulation by Na(+) and K(+) of homotropic interactions between the ATP-binding sites, and of phosphoenzyme formation of the (Na(+),K(+))-ATPase from the posterior gills of this euryhaline crab. The contribution of the high- and low-affinity ATP-binding sites to maximum velocity was similar for both Na(+) and K(+). However, in contrast to Na(+), a threshold K(+) concentration triggers the appearance of the high-affinity binding sites, displacing the saturation curve to lower ATP concentrations. Further, a low-affinity site for phosphorylation is present on the enzyme. These findings reveal notable differences in the catalytic mechanism of the crustacean (Na(+),K(+))-ATPase compared to the vertebrate enzyme. (C) 2008 Elsevier Inc. All rights reserved.

Estrogen receptor-positive breast carcinomas in younger women are different from those of older women: A pathological and immunohistochemical study

The higher frequency of triple-negative and HER-2-positive tumors detected in younger patients has been suggested as an explanation for the more aggressive tumor types observed in this age group. However, estrogen receptor (ER)-positive tumors are the most frequent subtype of breast carcinomas identified, even in younger patients. In this retrospective study, the morphological and immunohistochemical profiles of ER-positive breast carcinomas from women 35 yrs and younger that were diagnosed between 1997 and 2007 were evaluated. From these cases, 213 were selected based on the availability of pathology reports and paraffin blocks. For comparison, 117 consecutive cases of breast carcinomas diagnosed in patients >60 yrs from 2006 were included. Paraffin-embedded tumors were stained for expression of ER, progesterone receptor (PR), human epidermal growth factor receptor 2 (HER-2). Ki-67 antigen, epidermal growth factor receptor (EGFR), cytokeratin 5/6, p53, vimentin, CD117, and p63 using tissue microarrays. ER-positive carcinomas were diagnosed in 120 (56.1%) samples of the younger patient group and in 92 (78.6%) samples of the older patient group. Of these ER-positive carcinomas, 48 (40%) from the younger patient group presented the subtype luminal A, compared with 53 (57.6%) from the older patient group (p=0.01). Tumors from the younger patient group were also associated with increased vascular involvement, co-expression of HER-2, and decreased expression of CD117. These results highlight differences in expression markers and the pathology of ER-positive tumors detected in younger women, with a notable characteristic being co-expression of HER-2. (C) 2010 Elsevier Ltd. All rights reserved.

Endoscopic Anatomy of the Pterygopalatine Fossa and the Transpterygoid Approach: Development of a Surgical Instruction Model

Introduction: The pterygopalatine fossa (PPF) is a narrow space located between the posterior wall of the antrum and the pterygoid plates. Surgical access to the PPF is difficult because of its protected position and its complex neurovascular anatomy. Endonasal approaches using rod lens endoscopes, however, provide better visualization of this area and are associated with less morbidity than external approaches. Our aim was to develop a simple anatomical model using cadaveric specimens injected with intravascular colored silicone to demonstrate the endoscopic anatomy of the PPF. This model could be used for surgical instruction of the transpterygoid approach. Methods: We dissected six PPF in three cadaveric specimens prepared with intravascular injection of colored material using two different injection techniques. An endoscopic endonasal approach, including a wide nasoantral window and removal of the posterior antrum wall, provided access to the PPF. Results: We produced our best anatomical model injecting colored silicone via the common carotid artery. We found that, using an endoscopic approach, a retrograde dissection of the sphenopalatine artery helped to identify the internal maxillary artery (IMA) and its branches. Neural structures were identified deeper to the vascular elements. Notable anatomical landmarks for the endoscopic surgeon are the vidian nerve and its canal that leads to the petrous portion of the internal carotid artery (ICA), and the foramen rotundum, and V2 that leads to Meckel`s cave in the middle cranial fossa. These two nerves, vidian and V2, are separated by a pyramidal shaped bone and its apex marks the ICA. Conclusion: Our anatomical model provides the means to learn the endoscopic anatomy of the PPF and may be used for the simulation of surgical techniques. An endoscopic endonasal approach provides adequate exposure to all anatomical structures within the PPF. These structures may be used as landmarks to identify and control deeper neurovascular structures. The significance is that an anatomical model facilitates learning the surgical anatomy and the acquisition of surgical skills. A dissection superficial to the vascular structures preserves the neural elements. These nerves and their bony foramina, such as the vidian nerve and V2, are critical anatomical landmarks to identify and control the ICA at the skull base.

Descriptive findings on the morphology of dendritic spines in the rat medial amygdala

The rat posterodorsal medial amygdala (MePD) is a brain area in which gonadal hormones induce notable plastic effects in the density of dendritic spines. Dendritic spines are post-synaptic specializations whose shape and spacing change neuronal excitability. Our aim was to obtain new data on the dendritic spines morphology and density from MePD neurons using the carbocyanine dye Dil under confocal microscopy. In adult male rats, the dendritic spine density of the medial branches of the left MePD (mean +/- SD) was 1.15 +/- 0.67 spines/dendritic mu m. From the total sampled, approximately 53% of the spines were classified as thin, 22.5% as ""mushroom-like"", and 21.5% as stubby/wide. Other spine shapes (3%) included those ramified, with a filopodium-like or a gemule appearance, and others with a protruding spinule. Additional experiment joining Dil and synaptophysin (a pre-synaptic protein) labeling suggested synaptic sites on dendritic shafts and spines. Dendritic spines showed synaptophysin puncta close to their head and neck, although some spines had no evident labeled puncta on them or, conversely, multiple puncta appeared upon one spine. These results advance previous light microscopy results by revealing features and complexities of the dendritic spines at the same time that give new insight on the possible synaptic organization of the adult rat MePD. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Cigarette smoke exposure impairs respiratory epithelial ciliogenesis

Background: Cigarette smoke exposure is considered an important negative prognostic factor for chronic rhinosinusitis (CRS) patients. However, there is no clear mechanistic evidence implicating cigarette smoke exposure in the poor clinical evolution of the disease or in the maintenance of the inflammatory state characterizing CRS. This study aimed to evaluate the effects of cigarette smoke exposure on respiratory cilia differentiation. Methods: Monse nasal septal epithelium cultures grown at an air-liquid interface were used as a model of respiratory epithelium. After 5 days of cell growth, cultures were exposed to air on the apical surface. Additionally, cigarette smoke condensate (CSC; the particulate phase of tobacco smoke) or cigarette smoke extract (CSE; the volatile phase) Were diluted in the basolateral compartment in different concentrations. After 15 days of continuous exposure, scanning electron microscopy and immunofluorescence for type IV tubulin were used to determine presence and maturation of cilia. Transepithelial resistance was also recorded to evaluate confluence and physiological barrier integrity. Results: CSC and CSE impair ciliogenesis in a dose-dependent manner with notable effects in concentrations higher than 30 mu g/mL, yielding >70% nonciliation and shorter cilia compared With control. No statistical difference on transepithelial resistance was evident. Conclusion: CSC and CSE exposure negatively impacts ciliogenesis of respiratory cells at concentrations not effecting transepithelial resistance. The impairment on ciliogenesis reduce the mucociliary clearance apparatuts after injury and/or infection and may explain the poor response to therapy for CRS patients exposed to tobacco smoke.