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.

A empresa produtiva e a racionalidade substantiva : a teoria da ação comunicativa de Jürgen Habermas no ambiente organizacional interativo : de Mary Parker Follett a Collins e Porras

Este estudo trata da possibilidade de as empresas produtivas possuírem elementos característicos das organizações substantivas, tendo como perspectiva geral a construção de um ambiente organizacional integrativo, com base na teoria da ação comunicativa, de Jürgen Habermas e na noção de racionalidade substantiva, de Guerreiro Ramos. Apresenta, a partir dos trabalhos de Mary Parker Follett e de Araujo Santos, o conceito de ambiente organizacional integrativo, que sustenta a identidade de interesses entre trabalhadores e empresa e valoriza aspectos como a auto-realização, o autodesenvolvimento e a satisfação do ser humano, confrontando-o com a realidade do ambiente cultural brasileiro e sua influência nas práticas administrativas. Tendo como ponto de partida a pesquisa empreendida por Maurício Serva sobre o fenômeno das organizações substantivas, empreende, através de estudo de caso, um exame no cotidiano organizacional de uma empresa produtiva brasileira do ramo industrial, de modo a investigar a existência da ação racional substantiva nas suas diversas dinâmicas, processos e práticas administrativas, submetendo-a a uma avaliação com base em uma escala de intensidade da racionalidade substantiva e da racionalidade instrumental. Investiga ainda a possibilidade da existência de integração de interesses entre trabalhadores e empresa, caracterizando assim o ambiente organizacional integrativo.

"Spontaneous overflow of powerful feelings" : romantic imagery in Mary Shelley's Frankstein

Romantic English literature – written at a time when prose fiction was predominantly a medium for sheer entertainment – is rooted in poetry. One or two novelists may exceptionally be granted the adjective “Romantic”, but Mary Shelley is not ranked among them. For centuries, her work has been restricted to that section in handbooks reserved for exotic Gothic literature. This thesis argues that literary criticism has failed to recognize Frankenstein’s obvious relation with the movement. The argument will be fostered by a brief look at such handbooks, and developed through the analysis of the imagery of the novel, so as to trace the Romantic elements there contained. The analysis relies mainly on the frame developed by Northrop Frye concerning the nature and function of imagery in literature. The concept of intertextuality will also be useful as a tool to account for the insertion of images in the novel, and for the novel’s insertion within the Romantic context. The work is divided into three parts. The first contextualizes the main issues set forth by Frankenstein, establishing connections with the life of the author and with the Romantic movement. The second exposes the theoretical basis on which the thesis is grounded. The last presents my reading of the novel’s web of images. In the end, I hope to validate the thesis proposed, that Frankenstein embodies the aesthetic and philosophical assessments of the English Romantic agenda, and therefore deserves to be situated in its due place in the English Literary canon as the legitimate representative of Romanticism in prose form.