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.

Muro de contenção utilizando pneus : análise e alguns comparativos de custos

Neste trabalho é apresentada uma forma de avaliar a estabilidade de muros de pneus e são comparadas algumas soluções em termos de custos. Foram analisadas seções transversais com alturas entre 1 e 5 metros e escolhida a conformação que melhor se adequaa ao cálculo de estabilidade. Escolhida a melhor conformação foram feitos os cálculos de estabilidade, segundo parâmetros do trabalho de Sieira (1998) no Rio de Janeiro. Dentro des sesparâmetros: altura do muro, sobrecarga do muro, inclinação do talude, inclinação do muro, ângulo de atrito interno do solo, peso específico do solo, ângulo de atrito solo-muro, peso específico solo-pneu e coesão. Foram realizados cálculos aceitando certas variações nos parâmetros, para o cálculo de estabilidade As principais conclusões que podemos ressaltar para o muro de pneus são: (a) a altura deve ficar entre 2 e 4m, onde o custo e a es tabilidade jus tificam o seu uso; (b) a sobrecarga de aterro não deve ultrapassar 1,00 m; (c) a inclinação do muro deve ser de 6 e 8º; (d) o ângulo do talude deve ser horizontal de preferência; (e) a coesão deve ser calculada na situação crítica (0 kPa ). Foram feitos estudos também para uso de pneus como muro de apoio de ponte. Sua utilização se deve não só ao custo da obra em si, mas por razões ambientais , visto que o descarte dos pneus, é um grande problema atual. O enfoque deste trabalho é bastante prático e pode ser aplicado na maioria das situações , devendo ser adaptado a cada caso particular .

Peter Drucker e a legitimação do capitalismo tardio : uma análise crítica do discurso

Esta dissertação trata de uma pesquisa que se centrou na análise de um problema, de natureza discursiva, na sociedade contemporânea. Tal abordagem visou compreender a contribuição de Peter Drucker na legitimação de idéias e práticas do capitalismo tardio. Para tanto, tomando um corpus composto por três textos, desenvolvi uma pesquisa balizada pela Análise Crítica do Discurso. De acordo com a proposta de Fairclough da atuação simultânea e dialética de três principais tipos de significado em textos, os textos foram analisados na perspectiva de seus significados acional, representacional e identificacional. Do significado acional, foram investigadas a estrutura genérica e a intertextualidade; do significado representacional, a interdiscursividade e a representação dos atores sociais; do significado identificacional, a modalidade e a avaliação. A análise sócio-discursiva realizada permitiu depreender o caráter ideológico dos discursos proferidos por Peter drucker a serviço da dominação, por reforçar conhecimentos, crenças e valores que contribuem para a construção fatalista da globalização neoliberal. Tal construção provoca a disjunção entre o político e o social, prega a demissão do Estado de suas funções e, conseqüentemente, o agravamento da situação de exploração e miséria, radicalizando as diferenças entre os incluídos e os excluídos.