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.

Dinâmica populacional de Phyllocnistis citrella Stainton, 1856 (Lepidoptera: Gracillariidae) em pomares de duas variedades de citros em Montenegro, RS

Com o objetivo de avaliar a dinâmica populacional de Phyllocnistis citrella Stainton, (Lep.: Gracillariidae), o minador-dos-citros, realizou-se amostragens quinzenais de julho de 2001 a junho de 2003 em um pomar de tangerineira ‘Montenegrina’ (Citrus deliciosa Tenore) e outro de tangoreiro ‘Murcott’ (Citrus sinensis L. Osbeck X Citrus reticulata Blanco), com manejo orgânico, em Montenegro (29° 68’S e 51° 46’W), RS. Eram sorteadas 12 plantas, por ocasião de amostragem, das quais coletava-se oito brotos de cada. No laboratório registrava-se o comprimento, o número de folhas por broto, o número de minas, ovos, larvas e pupas. Em ambos pomares e nos dois anos de estudo, não houve registro de minas de P. citrella no primeiro fluxo de brotação. No primeiro ano, as maiores densidades de minas foram registradas no final da primavera, no verão e no outono em ambos cultivares. No segundo, constatou-se as maiores densidades de minas e larvas no verão e no outono em ‘Montenegrina’ e somente no verão em ‘Murcott’. No inverno só houve registro de minas em uma ocasião de amostragem em ‘Montenegrina’. Embora tenham sido registradas diferenças na disponibilidade de recurso para P. citrella, observou-se que a colonização e o estabelecimento do minador apresentou padrão semelhante em ambos pomares. A temperatura mínima foi o fator abiótico de maior influência no número de minas. Registrou-se um percentual de predação acima de 30% nos dois anos de estudos em ambos cultivares. Já o percentual de parasitismo foi 31,7% e 33,5% em ‘Montenegrina’ e 15,3% e 39,6% em ‘Murcott’, no primeiro e segundo ano, respectivamente. No estrato superior da copa constatou-se o maior percentual de folhas com minas, sendo o quadrante oeste o mais atacado em ‘Montenegrina’ e o sul em ‘Murcott’. Verificou-se o maior percentual de ovos e larvas em folhas de até 2,0 cm nos dois pomares e o de pupas em folhas de 3,1 a 4,0 cm em ‘Montenegrina’ e 4,1 a 5,0 cm em ‘Murcott’. Foram observados os maiores percentuais de ovos, larvas, pupas e minas na região mediana da face abaxial das folhas de ‘Montenegrina’ e na adaxial nas de ‘Murcott’. Estes resultados fornecem subsídios para o monitoramento e manejo da praga em duas das variedades de citros mais cultivadas no RS.

Renda mínima no Brasil: avaliações de modelos implantados e dos modelos de James Meade

Esta dissertação reflete sobre diferentes programas de renda mínima existentes no Brasil - alguns já implementados e outros em fase de implantação - e sobre os modelos teóricos de James Meade. Inicialmente faz-se uma abordagem geral a respeito de cada um dos programas selecionados e, sobretudo, sobre como influenciam a oferta de mão-de-obra. Nessa abordagem, visualiza-se a existência de um grande mercado de trabalho informal no Brasil, o que leva à evidência da necessidade de criação de mecanismos de controle que possibilitem a implantação desses programas. Em seguida, são feitos levantamentos que permitem estimar os recursos financeiros necessários para cada uma das propostas de programas de renda mínima. Finalmente, são feitas considerações acerca das possibilidades de implantação de cada um dos programas discutidos e apresentam-se aqueles que são mais viáveis no Brasil de hoje.

Por que James Bond, o engenheiro, desistiu do Brasil

Após oito anos e meio, James Arthur Bond, de 48 anos, a contragosto, foi levado de volta às origens. A crise tirou-o do Rio de Janeiro, terra que escolheu para viver com a família, forçando-o a buscar estabilidade em solo britânico.

New record of Trichospilus diatraeae Margabandhu & Cherian, 1942 (Hymenoptera: Eulophidae) parasitizing Sarsina violascens (Herrich-Schaeffer, 1856) (Lepidoptera: Lymantriidae) in Brazil

This is the first report of Trichospilus diatracae (Hymenoptera: Eulophidae) found in the field, parasitizing pupae of the eucalyptus defoliating Sarsina violascens (Herrich-Schaeffer, 1856) (Lepidoptera: Lymantriidae) in Brazil. This offers a new perspectives for the use of this parasitoid in biological control programs against caterpillars of forestry importance.

Follicular diameter range based on morphological features in Synbranchus marmoratus (Bloch, 1795) (Teleostei, Synbranchiformes, Synbranchidae) from the South-central region of Brazil

The morphological characteristics of Synbranchus marmoratus female germ cells in various development stages were described in details; then measurements of ovarian follicle diameters were taken from primary and secondary growth as during these development stages the oocyte size varied considerably along the fish growth. The results were correlated to total fish length, using the individuals division in six size classes. It was possible to group oocytes by stages according to histological characteristics but not according to morphometric diameter, as there was a wide variation in diameter in each stage and overlap between different maturation stages. These data make available new information on the reproductive biology of Synbranchidae. (c) 2004 Published by Elsevier Ltd.

Surface morphology of Diplodon expansus (Kuster, 1856; Mollusca, Bivalvia, Hyriidae) gill filaments after exposure to environmentally relevant concentrations of atrazine herbicide

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

O modelo keynesiano de James Meade

Este artigo reavalia o modelo simplificado da Teoria Geral de Keynes elaborado por James Meade e procura complementar alguns dos argumentos teóricos que Meade deixou apenas indicados. O artigo também responde às solicitações de Frisch a Meade, quanto à explicação do significado de estabilidade e à explicitação dos pressupostos que garantem suas conclusões. Além disso, apresenta alguns dos cálculos não desenvolvidos por Meade, e, quando necessário, suas devidas correções.

Morfologia dos ovários, tubas uterinas e útero em catetos (Tayassu tajacu, Linnaeus, 1758) e queixadas (Tayassu pecari, Link, 1795)

Estudaram-se a morfologia externa, a sintopia e os dados métricos dos ovários, tubas uterinas e útero em 14 fêmeas adultas de cateto (12 adultas, uma prenhe e uma jovem) e em sete fêmeas de queixada (três jovens e quatro adultas), e o material, após fixação em solução aquosa de formol a 10%, foi dissecado. O material foi obtido na Universidade Federal de Uberlândia (UFU) - Campus Palotina e na Universidade Estadual Paulista - Campus de Ilha Solteira. Os ovários apresentaram-se ovalados e de superfície irregular, quando havia corpo lúteo ou folículo. As tubas uterinas mostraram-se longas, finas e enoveladas e terminando numa extremidade ovárica com fímbrias; a comunicação com o útero ocorreu de maneira contínua. Uma bolsa ovárica parcial, com um largo orifício, contém o ovário. O útero, bicórneo, apresentou um corpo curto e uma cérvix longa, com projeções anulares para o canal cervical, conferindo-lhe luz espiralada. Os cornos uterinos mostraram-se curtos, voltados ventralmente e em forma de hélice.