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.

The efficacy of functional endoscopic sinus surgery in the evolution of fever of unknown origin in ICU patients

Conclusion: Functional endoscopic sinus surgery (FESS) was found to be effective in treating fever of unknown origin (FUO) in intensive care unit (ICU) patients with rhinosinusitis, with 62% of patients showing improvement within 5 days of the procedure. Objective: To correlate improvement in FUO with FESS drainage of the paranasal sinuses. Methods: Fifty patients that developed FUO during ICU stay, with CT findings suggestive of rhinosinusitis, and showed no improvement in fever after clinical treatment underwent FESS for drainage of the paranasal sinuses and were evaluated for postoperative improvement of fever. Results: The study sample consisted of 50 patients (74% of whom were male, mean age 48.1 years). The most frequent diagnoses at ICU admission were tetanus, pulmonary disease, and cardiovascular disease. In all, 68% of patients underwent nasogastric or enteral intubation. CT scanning most commonly showed involvement of the sphenoid sinus. In 54% of cases, sinusitis was bilateral and extended throughout the maxillary, ethmoidal, and sphenoidal sinuses. Sinusectomy was performed in all patients, and pathological secretion in the paranasal sinuses was seen in 52% of patients during surgery. Gram-negative bacteria were the most commonly isolated organisms, followed by Gram-positive bacteria and fungi. Improvement of fever was found in 82% of patients after FESS; 38% of these improved within the first 48 h post-procedure, and the remaining 62% within the first 5 postoperative days.

Coupling Virus-Induced Gene Silencing to Exogenous Green Fluorescence Protein Expression Provides a Highly Efficient System for Functional Genomics in Arabidopsis and across All Stages of Tomato Fruit Development

Since the advent of the postgenomic era, efforts have focused on the development of rapid strategies for annotating plant genes of unknown function. Given its simplicity and rapidity, virus-induced gene silencing (VIGS) has become one of the preeminent approaches for functional analyses. However, several problems remain intrinsic to the use of such a strategy in the study of both metabolic and developmental processes. The most prominent of these is the commonly observed phenomenon of ""sectoring"" the tissue regions that are not effectively targeted by VIGS. To better discriminate these sectors, an effective marker system displaying minimal secondary effects is a prerequisite. Utilizing a VIGS system based on the tobacco rattle virus vector, we here studied the effect of silencing the endogenous phytoene desaturase gene (pds) and the expression and subsequent silencing of the exogenous green fluorescence protein (gfp) on the metabolism of Arabidopsis (Arabidopsis thaliana) leaves and tomato (Solanum lycopersicum) fruits. In leaves, we observed dramatic effects on primary carbon and pigment metabolism associated with the photobleached phenotype following the silencing of the endogenous pds gene. However, relatively few pleiotropic effects on carbon metabolism were observed in tomato fruits when pds expression was inhibited. VIGS coupled to gfp constitutive expression revealed no significant metabolic alterations after triggering of silencing in Arabidopsis leaves and a mild effect in mature green tomato fruits. By contrast, a wider impact on metabolism was observed in ripe fruits. Silencing experiments with an endogenous target gene of interest clearly demonstrated the feasibility of cosilencing in this system; however, carefully constructed control experiments are a prerequisite to prevent erroneous interpretation.

Discrete retinal input to the parabrachial complex of a new-world primate, the common marmoset (Callithrix jacchus)

Traditional retinal projections target three functionally complementary systems it) the brain of mammals: the primary visual system, the visuomotor integration systems and the circadian timing system. In recent years, studies in several animals have been conducted to investigate the retinal projections to these three systems, despite some evidence of additional targets. The aim of this study was to disclose a previously unknown connection between the retina and the parabrachial complex of the common marmoset, by means of the intraocular injection of cholera toxin Subunit b. A few labeled retinal fibers/terminals that are detected in the medial parabrachial portion of the marmoset brain show clear varicosities, Suggesting terminal fields. Although the possible role of these projections remains unknown, they may provide a modulation of the cholinergic parabrachial neurons which project to the thalamic dorsal lateral geniculate nucleus. (c) 2008 Elsevier Ireland Ltd. All rights reserved.

Functional interferences in host inflammatory immune response by airway allergic inflammation restrain experimental periodontitis development in mice

Aims Periodontal disease (PD) and airway allergic inflammation (AL) present opposing inflammatory immunological features and clinically present an inverse correlation. However, the putative mechanisms underlying such opposite association are unknown. Material and Methods Balb/C mice were submitted to the co-induction of experimental PD (induced by Actinobacillus actinomycetemcomitans oral inoculation) and AL [induced by sensitization with ovalbumin (OVA) and the subsequent OVA challenges], and evaluated regarding PD and AL severity, immune response [cytokine production at periodontal tissues, and T-helper transcription factors in submandibular lymph nodes (LNs)] and infection parameters. Results PD/AL co-induction decreased PD alveolar bone loss and periodontal inflammation while experimental AL parameters were unaltered. An active functional interference was verified, because independent OVA sensitization and challenge not modulate PD outcome. PD+AL group presented decreased tumour necrosis factor-alpha (TNF-alpha), interleukin (IL)-1 beta, -gamma, IL-17A, receptor activator of nuclear factor kappa-light-chain-enhancer of activated B cells ligand and matrix metalloproteinase (MMP)-13 levels in periodontal tissues, while IL-4 and IL-10 levels were unaltered by AL co-induction. AL co-induction also resulted in upregulated T-bet and related orphan receptor gamma and downregulated GATA3 levels expression in submandibular LNs when compared with PD group. Conclusion Our results demonstrate that the interaction between experimental periodontitis and allergy involves functional immunological interferences, which restrains experimental periodontitis development by means of a skewed immune response.

Composition, functional properties and sensory characteristics of Mozzarella cheese manufactured from different somatic cell counts in milk

In the present study, composition, functional properties and sensory characteristics of Mozzarella cheese produced from milk with somatic cell counts (SCC) at low (<200,000 cells/mL), intermediate (≈400,000 cells/mL) and high (>800,000 cells/mL) levels were investigated. Three batches of cheese were produced for each SCC category. The cheeses were vacuum packed in plastic bags and analysed after 2, 9, 16, 23 and 30 days of storage at 4ºC. SCC level did not affect the moisture, fat, total protein and ash content, mesophilic and psychrotrophic bacteria, and sensory parameters of Mozzarella cheese. However, meltability increased in cheese manufactured from high SCC milk. Results indicated that raw milk used to produce Mozzarella cheese should not contain high SCC (>800,000 cells/mL) in order to avoid changes in the functional properties of the Mozzarella cheese.

Population dynamics: seasonal variation of phytoplankton functional groups in brazilian reservoirs (Billings and Guarapiranga, São Paulo)

Phytoplankton may function as a "sensor" of changes in aquatic environment and responds rapidly to such changes. In freshwaters, coexistence of species that have similar ecological requirements and show the same environmental requirements frequently occurs; such species groups are named functional groups. The use of phytoplankton functional groups to evaluate these changes has proven to be very useful and effective. Thus, the aim of this study was to evaluate the occurrence of functional groups of phytoplankton in two reservoirs (Billings and Guarapiranga) that supply water to millions of people in São Paulo city Metropolitan Area, southeastern Brazil. Surface water samples were collected monthly and physical, chemical and biological (quantitative and qualitative analyses of the phytoplankton) were performed. The highest biovolume (mm³.L-1) of the descriptor species and functional groups were represented respectively by Anabaena circinalis Rabenh. (H1), Microcystis aeruginosa (Kützing) Kützing (L M/M) and Mougeotia sp. (T) in the Guarapiranga reservoir and Cylindrospermopsis raciborskii (Wolosz.) Seen. and Subba Raju (S N), Microcystis aeruginosa and M. panniformis Komárek et al. (L M/M), Planktothrix agardhii (Gom.) Anagn. and Komárek and P. cf. clathrata (Skuja) Anagn. and Komárek (S1) in the Billings reservoir. The environmental factors that most influenced the phytoplankton dynamics were water temperature, euphotic zone, turbidity, conductivity, pH, dissolved oxygen, nitrate and total phosphorous.

Motor and functional evaluation of patients with spastic paraplegia, optic atrophy, and neuropathy (SPOAN)

Spastic paraplegia, optic atrophy, and neuropathy (SPOAN) is an autosomal recessive complicated form of hereditary spastic paraplegia, which is clinically defined by congenital optic atrophy, infancy-onset progressive spastic paraplegia and peripheral neuropathy. In this study, which included 61 individuals (age 5-72 years, 42 females) affected by SPOAN, a comprehensive motor and functional evaluation was performed, using modified Barthel index, modified Ashworth scale, hand grip strength measured with a hydraulic dynamometer and two hereditary spastic paraplegia scales. Modified Barthel index, which evaluate several functional aspects, was more sensitive to disclose disease progression than the spastic paraplegia scales. Spasticity showed a bimodal distribution, with both grades 1 (minimum) and 4 (maximum). Hand grip strength showed a moderate inverse correlation with age. Combination of early onset spastic paraplegia and progressive polyneuropathy make SPOAN disability overwhelming.

O enigma da "reação espermatofórica": breve síntese do conhecimento sobre a estrutura e o funcionamento dos espermatóforos dos cefalópodes (Mollusca: Cephalopoda)

Cefalópodes coleóides (lulas, sépias e polvos) produzem espermatóforos muito complexos que são transferidos à fêmea durante a cópula por meio do hectocótilo, um apêndice modificado nos machos. Durante a transferência à fêmea, ocorre a chamada "reação espermatofórica", complexo processo de evaginação do aparato ejaculatório do espermatóforo, que conduz à exteriorização da massa espermática e corpo cimentante. A presente revisão sintetiza o conhecimento acerca da morfologia e funcionamento desta estrutura exclusiva dos coleóides, identificando lacunas e definindo estratégias que possibilitem avanços na área. Poucos trabalhos abordam com detalhes a morfologia e anatomia funcional dos espermatóforos dos cefalópodes, grande parte do conhecimento acerca da estrutura do espermatóforo tendo sido gerada por trabalhos clássicos do século XIX e início do século XX. Investigações acerca do funcionamento dos espermatóforos são consideravelmente mais raras, estando o conhecimento básico sobre a reação espermatofórica restrito a apenas 19 espécies de coleóides. A revisão da literatura especializada permite sugerir que existem dois tipos básicos de fixação de espermatóforos em Decapodiformes (lulas e sepióides): fixação superficial e implante profundo (ou intra-dérmico). Na fixação superficial, comum em diversas espécies (e.g., Loliginidae, Sepiidae, Ommastrephidae), a base dos espermatângios é aderida ao tecido-alvo aparentemente por meio do corpo cimentante, a partir de substâncias adesivas e, em alguns casos, estruturas de fixação. No implante profundo, comum em alguns grupos de lulas oceânicas e de águas profundas (e.g., Architeuthidae, Cranchiidae, Octopoteuthidae, Sepiolidae), os espermatóforos implantam-se inteiramente no corpo da fêmea, de forma autônoma. Permanece desconhecido o mecanismo responsável pelo implante profundo. Em Octopodiformes (polvos), o espermatóforo é inserido no gonoduto feminino, alcançando a glândula oviducal, onde estão localizadas as espermatecas, ou a cavidade do ovário. Como o funcionamento extracorpóreo dos espermatóforos depende exclusivamente da intrincada estrutura e organização de seus componentes (e.g., membranas e túnicas), somente investigações detalhadas dessas estruturas proverão as bases para a compreensão do funcionamento e da exata função do complexo espermatóforo dos coleóides. Recomenda-se o desenvolvimento de um protocolo simples e eficiente para coloração e preparação total de espermatóforos, de forma que seja possível expandir as descrições morfológicas do espermatóforo em estudos taxonômicos e anatômicos, permitindo, portanto, ampliação do conhecimento acerca desta enigmática estrutura.

Analyzing the n→π* Electronic Transition of Formaldehyde in Water. A Sequential Monte Carlo/Time-Dependent Density Functional Theory

The n→π* absorption transition of formaldehyde in water is analyzed using combined and sequential classical Monte Carlo (MC) simulations and quantum mechanics (QM) calculations. MC simulations generate the liquid solute-solvent structures for subsequent QM calculations. Using time-dependent density functional theory in a localized set of gaussian basis functions (TD-DFT/6-311++G(d,p)) calculations are made on statistically relevant configurations to obtain the average solvatochromic shift. All results presented here use the electrostatic embedding of the solvent. The statistically converged average result obtained of 2300 cm-1 is compared to previous theoretical results available. Analysis is made of the effective dipole moment of the hydrogen-bonded shell and how it could be held responsible for the polarization of the solvent molecules in the outer solvation shells.

Density functional theory study of Fe(3)Ga

First-principles scalar relativistic calculations in supercells of 16 atoms are used to represent disordered B2 ordering of Fe(3)Ga in order to observe the effect of Ga-Ga pairs on the electronic structure of this alloy. From a comparison with pure bcc Fe it is observed that the energy position and occupation of e(g) and t(2g) states are largely affected by the Ga-Ga pairs and strengthened intraplane interactions takes place. The results show that a larger hybridization of the conduction band is in the source of the magnetostriction enhancement experimentally observed in Galfenol. (C) 2011 American Institute of Physics. [doi:10.1063/1.3525609]

Anticipation of pain enhances the nociceptive transmission and functional connectivity within pain network in rats

Background: Expectation is a very potent pain modulator in both humans and animals. There is evidence that pain transmission neurons are modulated by expectation preceding painful stimuli. Nonetheless, few studies have examined the influence of pain expectation on the pain-related neuronal activity and the functional connectivity within the central nociceptive network. Results: This study used a tone-laser conditioning paradigm to establish the pain expectation in rats, and simultaneously recorded the anterior cingulate cortex (ACC), the medial dorsal thalamus (MD), and the primary somatosensory cortex (SI) to investigate the effect of pain expectation on laser-induced neuronal responses. Cross-correlation and partial directed coherence analysis were used to determine the functional interactions within and between the recorded areas during nociceptive transmission. The results showed that under anticipation condition, the neuronal activity to the auditory cue was significantly increased in the ACC area, whereas those to actual noxious stimuli were enhanced in all the recorded areas. Furthermore, neuronal correlations within and between these areas were significantly increased under conditions of expectation compared to those under non-expectation conditions, indicating an enhanced synchronization of neural activity within the pain network. In addition, information flow from the medial (ACC and MD) to the lateral (SI cortex) pain pathway increased, suggesting that the emotion-related neural circuits may modulate the neuronal activity in the somatosensory pathway during nociceptive transmission. Conclusion: These results demonstrate that the nociceptive processing in both medial and lateral pain systems is modulated by the expectation of pain.

GLOBAL SOLUTIONS FOR ABSTRACT FUNCTIONAL DIFFERENTIAL EQUATIONS WITH NONLOCAL CONDITIONS

In this paper we study the existence of global solutions for a class of abstract functional differential equation with nonlocal conditions. An application is considered.