Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Product development process: Using real options for assessments and to support the decision-making at decision gates

Enterprises need continuous product development activities to remain competitive in the marketplace. Their product development process (PDP) must manage stakeholders' needs - technical, financial, legal, and environmental aspects, customer requirements, Corporate strategy, etc. -, being a multidisciplinary and strategic issue. An approach to use real option to support the decision-making process at PDP phases in taken. The real option valuation method is often presented as an alternative to the conventional net present value (NPV) approach. It is based on the same principals of financial options: the right to buy or sell financial values (mostly stocks) at a predetermined price, with no obligation to do so. In PDP, a multi-period approach that takes into account the flexibility of, for instance, being able to postpone prototyping and design decisions, waiting for more information about technologies, customer acceptance, funding, etc. In the present article, the state of the art of real options theory is prospected and a model to use the real options in PDP is proposed, so that financial aspects can be properly considered at each project phase of the product development. Conclusion is that such model can provide more robustness to the decisions processes within PDP.

Differential expression of major histocompatibility complex class II genes on murine macrophages associated with T cell cytokine profile and protective/suppressive effects

Protective/suppressive major histocompatibility complex (MHC) class II alleles have been identified in humans and mice where they exert a disease-protective and immunosuppressive effect. Various modes of action have been proposed, among them differential expression of MHC class II genes in different types of antigen-presenting cells impacting on the T helper type 1 (Th1)–Th2 balance. To test this possibility, the expression of H-2 molecules from the four haplotypes H-2b, H-2d, H-2k, and H-2q was determined on bone marrow-derived macrophages (BMDMs) and splenic B cells. The I-Ab and I-Ek molecules, both well characterized as protective/suppressive, are expressed at a high level on almost all CD11b+ BMDMs for 5–8 days, after which expression slowly declines. In contrast, I-Ad, I-Ak, and I-Aq expression is lower, peaks over a shorter period, and declines more rapidly. No differential expression could be detected on B cells. In addition, the differential MHC class II expression found on macrophages skews the cytokine response of T cells as shown by an in vitro restimulation assay with BMDMs as antigen-presenting cells. The results indicate that macrophages of the protective/suppressive haplotypes express MHC class II molecules at a high level and exert Th1 bias, whereas low-level expression favors a Th2 response. We suggest that the extent of expression of the class II gene gates the back signal from T cells and in this way controls the activity of macrophages. This effect mediated by polymorphic nonexon segments of MHC class II genes may play a role in determining disease susceptibility in humans and mice.

Albumin Is Synthesized In Epididymis And Aggregates In A High Molecular Mass Glycoprotein Complex Involved In Sperm-egg Fertilization.

The epididymis has an important role in the maturation of sperm for fertilization, but little is known about the epididymal molecules involved in sperm modifications during this process. We have previously described the expression pattern for an antigen in epididymal epithelial cells that reacts with the monoclonal antibody (mAb) TRA 54. Immunohistochemical and immunoblotting analyses suggest that the epitope of the epididymal antigen probably involves a sugar moiety that is released into the epididymal lumen in an androgen-dependent manner and subsequently binds to luminal sperm. Using column chromatography, SDS-PAGE with in situ digestion and mass spectrometry, we have identified the protein recognized by mAb TRA 54 in mouse epididymal epithelial cells. The ∼65 kDa protein is part of a high molecular mass complex (∼260 kDa) that is also present in the sperm acrosomal vesicle and is completely released after the acrosomal reaction. The amino acid sequence of the protein corresponded to that of albumin. Immunoprecipitates with anti-albumin antibody contained the antigen recognized by mAb TRA 54, indicating that the epididymal molecule recognized by mAb TRA 54 is albumin. RT-PCR detected albumin mRNA in the epididymis and fertilization assays in vitro showed that the glycoprotein complex containing albumin was involved in the ability of sperm to recognize and penetrate the egg zona pellucida. Together, these results indicate that epididymal-derived albumin participates in the formation of a high molecular mass glycoprotein complex that has an important role in egg fertilization.

Effects Of Partial Inhibition Of Respiratory Complex I On H2o 2 Production By Isolated Brain Mitochondria In Different Respiratory States.

The aim of this work was to characterize the effects of partial inhibition of respiratory complex I by rotenone on H2O2 production by isolated rat brain mitochondria in different respiratory states. Flow cytometric analysis of membrane potential in isolated mitochondria indicated that rotenone leads to uniform respiratory inhibition when added to a suspension of mitochondria. When mitochondria were incubated in the presence of a low concentration of rotenone (10 nm) and NADH-linked substrates, oxygen consumption was reduced from 45.9 ± 1.0 to 26.4 ± 2.6 nmol O2 mg(-1) min(-1) and from 7.8 ± 0.3 to 6.3 ± 0.3 nmol O2 mg(-1) min(-1) in respiratory states 3 (ADP-stimulated respiration) and 4 (resting respiration), respectively. Under these conditions, mitochondrial H2O2 production was stimulated from 12.2 ± 1.1 to 21.0 ± 1.2 pmol H2O2 mg(-1) min(-1) and 56.5 ± 4.7 to 95.0 ± 11.1 pmol H2O2 mg(-1) min(-1) in respiratory states 3 and 4, respectively. Similar results were observed when comparing mitochondrial preparations enriched with synaptic or nonsynaptic mitochondria or when 1-methyl-4-phenylpyridinium ion (MPP(+)) was used as a respiratory complex I inhibitor. Rotenone-stimulated H2O2 production in respiratory states 3 and 4 was associated with a high reduction state of endogenous nicotinamide nucleotides. In succinate-supported mitochondrial respiration, where most of the mitochondrial H2O2 production relies on electron backflow from complex II to complex I, low rotenone concentrations inhibited H2O2 production. Rotenone had no effect on mitochondrial elimination of micromolar concentrations of H2O2. The present results support the conclusion that partial complex I inhibition may result in mitochondrial energy crisis and oxidative stress, the former being predominant under oxidative phosphorylation and the latter under resting respiration conditions.

A New Platinum Complex With Tryptophan: Synthesis, Structural Characterization, Dft Studies And Biological Assays In Vitro Over Human Tumorigenic Cells.

A new platinum(II) complex with the amino acid L-tryptophan (trp), named Pt-trp, was synthesized and characterized. Elemental, thermogravimetric and ESI-QTOF mass spectrometric analyses led to the composition [Pt(C11H11N2O2)2]⋅6H2O. Infrared spectroscopic data indicate the coordination of trp to Pt(II) through the oxygen of the carboxylate group and also through the nitrogen atom of the amino group. The (13)C CP/MAS NMR spectroscopic data confirm coordination through the oxygen atom of the carboxylate group, while the (15)N CP/MAS NMR data confirm coordination of the nitrogen of the NH2 group to the metal. Density functional theory (DFT) studies were applied to evaluate the cis and trans coordination modes of trp to platinum(II). The trans isomer was shown to be energetically more stable than the cis one. The Pt-trp complex was evaluated as a cytotoxic agent against SK-Mel 103 (human melanoma) and Panc-1 (human pancreatic carcinoma) cell lines. The complex was shown to be cytotoxic over the considered cells.

Synthesis, characterization, DFT and Td-dfT study of the [Fe(mnt)(L)(t-BuNC) 2] octahedral complex (L = phen, bipy)

FeBr2 has reacted with an equivalent of mnt2- (mnt = cis-1,2-dicyanoethylene-1,2-dithiolate) and the α-diimine L (L = 1,10'-phenantroline, 2,2'-bipyridine) in THF solution, and followed by adding of t-butyl-isocyanide to give [Fe(mnt)(L)(t-BuNC)2] neutral compound. The products were characterized by infrared, UV-visible and Mössbauer spectroscopy, besides thermogravimetric and conductivity data. The geometry in the equilibrium was calculated by the density functional theory and the electronic spectrum by the time-dependent. The experimental and theoretical results in good agreement have defined an octahedral geometry with two isocyanide neighbours. The π→π* intraligand electronic transition was not observed for cis-isomers in the near-IR spectral region.

Management of a complex dentoalveolar trauma: a case report

This paper describes the case of a 12-year-old male patient who presented a severe lateral luxation of the maxillary central incisors due to a bicycle fall. Treatment involved suture of the soft tissues lacerations, and repositioning and splinting of the injured teeth, followed by endodontic treatment and periodontal surgery. After a 2-year follow-up, clinical and radiographic evaluation revealed that the incisors presented satisfactory esthetic and functional demands.

Overview of the taxonomy and of the major secondary metabolites and their biological activities related to human health of the Laurencia complex (Ceramiales, Rhodophyta) from Brazil

In Brazil, the Laurencia complex is represented by twenty taxa: Laurencia s.s. with twelve species, Palisada with four species (including Chondrophycus furcatus now that the proposal of its transference to Palisada is in process), and Osmundea and Yuzurua with two species each. The majority of the Brazilian species of the Laurencia complex have been phylogenetically analyzed by 54 rbcL sequences, including five other Rhodomelacean species as outgroups. The analysis showed that the Laurencia complex is monophyletic with high posterior probability value. The complex was separated into five clades, corresponding to the genera: Chondrophycus, Laurencia, Osmundea, Palisada, and Yuzurua. A bibliographical survey of the terpenoids produced by Brazilian species showed that only six species of Laurencia and five of Palisada (including C. furcatcus) have been submitted to chemical analysis with 48 terpenoids (47 sesquiterpenes and one triterpene) isolated. No diterpenes were found. Of the total, 23 sesquiterpenes belong to the bisabolane class and eighteen to the chamigrene type, whose biochemical precursor is bisabolane, two are derived from lauranes and four are triquinols. Despite the considerable number of known terpenes and their ecological and pharmacological importance, few experimental biological studies have been performed. In this review, only bioactivities related to human health were considered.

Astyanax hastatus Myers, 1928 (Teleostei, Characidae): a new species complex within the genus Astyanax?

Four populations of Astyanax hastatus Myers 1928 from the Guapimirim River basin (Rio de Janeiro State) were analyzed and three distinct cytotypes identified. These cytotypes presented 2n = 50 chromosomes, with 4M+8SM+10ST+28A (Cytotype A), 8M+10SM+14ST+18A (Cytotype B), 6M+8SM+4ST+32A (Cytotype C) and scanty heterochromatin, mainly located throughout pericentromeric regions of several chromosomal pairs. No homologies with the As-51 satellite DNA were observed in the three cytotypes, although all of them presented multiple 18S rDNA sites, as detected by both silver nitrate staining and FISH (fluorescent in situ hybridization). The application of the term "species complex" in Astyanax is discussed from a cytotaxonomic viewpoint.

Complex networks: the key to systems biology

Though introduced recently, complex networks research has grown steadily because of its potential to represent, characterize and model a wide range of intricate natural systems and phenomena. Because of the intrinsic complexity and systemic organization of life, complex networks provide a specially promising framework for systems biology investigation. The current article is an up-to-date review of the major developments related to the application of complex networks in biology, with special attention focused on the more recent literature. The main concepts and models of complex networks are presented and illustrated in an accessible fashion. Three main types of networks are covered: transcriptional regulatory networks, protein-protein interaction networks and metabolic networks. The key role of complex networks for systems biology is extensively illustrated by several of the papers reviewed.

Search for cytotoxic agents in multiple Laurencia complex seaweed species (Ceramiales, Rhodophyta) harvested from the Atlantic Ocean with emphasis on the Brazilian State of Espírito Santo

The development of new anti-cancer drugs of algal origin represents one of the least explored frontiers in medicinal chemistry. In this regard, the diversity of micro- and macroalgae found in Brazilian coastal waters can be viewed as a largely untapped natural resource. In this report, we describe a comparative study on the cytotoxic properties of extracts obtained from the Laurencia complex: Laurencia aldingensis, L. catarinensis, L. dendroidea, L. intricata, L. translucida, L. sp, and Palisada flagellifera. All of these species were collected in the coastal waters of the State of Espírito Santo, Brazil. Four out of the twelve samples initially investigated were found to show significant levels of toxicity towards a model tumor cell line (human uterine sarcoma, MES-SA). The highest levels of cytotoxicity were typically associated with non-polar (hexane) algal extracts, while the lowest levels of cytotoxicity were found with the corresponding polar (methanol) extracts. In this report, we also describe a biological model currently in development that will not only facilitate the search for new anti-cancer drug candidates of algal origin, but also permit the identification of compounds capable of inducing the destruction of multi-drug resistant tumors with greater efficiency than the pharmaceuticals currently in clinical use.

Study of the cardiac left atrioventricular valvar complex in water buffaloes (Bubalus bubalis) of the Jafarabadi breed

Atrioventricular valve complex of 30 Jafarabadi water buffaloes, adult males were studied in this research with no heart diseases. The animals were obtained from a slaughterhouse in Brazilian State of Parana. The hearts were opened at the third portion affording access to the valve complex. The complexes had its area, number and type of tendinous cords submitted to analysis. The results showed that the complex is composed by two cusps and four accessory cusps, two or three papillary muscles in which 10-25 tendinous cords fix on the cusps that face the ventricle wall. The total area of the complex was on average 38.56cm², with a minimum of 24.96cm² and a maximum of 55.54cm². Statistically, no relation between the number of cords and the cusps' area where they are inserted or with the number of papillary muscle where they originated from was observed.

The Anopheles albitarsis complex with the recognition of Anopheles oryzalimnetes Wilkerson and Motoki, n. sp. and Anopheles janconnae Wilkerson and Sallum, n. sp. (Diptera: Culicidae)

The Anopheles (Nyssorhynchus) albitarsis complex includes six species: An. albitarsis, Anopheles oryzalymnetes Wilkerson and Motoki, n. sp., Anopheles marajoara, Anopheles dencorum, Anopheles janconnae Wilkerson and Sallum, n. sp., and An. albitarsis F. Except for An. deancorum, species of the complex are indistinguishable when only using morphology. The problematic distinction among species of the complex has made study of malaria transmission and ecology of An. albitarsis s.l. difficult. Consequently, involvement of species of the An. albitarsis complex in human Plasmodium transmission is not clear throughout its distribution range. With the aim of clarifying the taxonomy of the above species, with the exception of An. albitarsis F, we present comparative morphological and morphometric analyses, morphological redescriptions of three species and descriptions of two new species using individuals from populations in Brazil, Paraguay, Argentina and Venezuela. The study included characters from adult females, males, fourth-instar larvae, pupae and male genitalia of An. albitarsis, An. deaneorum and An. oryzalimnetes n. sp. For An. janconnae n. sp. only characters of the female, male and male genitalia were analysed. Fourth-instar larvae and pupae and male genitalia characteristics of all five species are illustrated. Bionomics and distribution data are given based on published literature records