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.

Harold Pinter, cinema e literatura : os limites da realidade

Partindo de duas questões teóricas preliminares, uma, da representação (literária e cinematográfica)do real e do imaginário, tanto no ângulo da produção como no da sua recepção e, a outra, da articulação entre formas de expressão artísticas distintas, ou seja, da interdisciplinaridade, este trabalho examina a presença do tema relativo aos limites entre realidade e fantasia no teatro, no cinema e na literatura, centrando sua atenção na obra de Harold Pinter. Consta de duas partes, cada uma com três capítulos. Na primeira, "Os pressupostos," discute-se as questões que fornecem seu substrato teórico. A segunda é dedicada ao corpus, identificando em seu título o tema investigado: "Os limites da realidade." Quanto à questão da representação, procura-se refutar "a afirmação de que a arte seja uma imitação da realidade. Uma releitura da Poética, de Aristóteles, reforçada pela opinião de diversos estudiosos da mesma, permite afirmar que a mÍmese corresponde, isto sim, a uma representação que envolve uma construção em que elementos da realidade são organizados segundo uma verdade criada pela própria obra, de acordo com critérios inerentes a ela. Além disso, através de uma leitura de Kathryn Hume, procura-se afirmar a interação sinestésica quase que permanente dos impulsos realista e da fantasiana literatura, identificando os tipos com que a fantasia se manifesta e as técnicas usadas para sua criação. A primeira parte encerra-se com um exame do relacionamento da literatura com as artes visuais e dramáticas, relações inter-disciplinares que situam este trabalho na literatura comparada.Dentre vários autores cujas obras contribuem para tal fim, destaca-se Martin Esslin, que estabelece os limitesde cada uma das artes dramáticas, identifica contatos delas com a literatura e permite, através de uma leitura de seu estudo sobre o teatro do absurdo, seja estabelecida a evolução que liga Aristóteles a Pinter. O corpus centra-se na obra de Pinterpara o teatro e para o cinema, sem limitar-se a ela,pois são também analisadas obras de outros escritores e cineastas, estabelendo-se aproximações ou contrastes entre elas. No quarto capítulo estão agrupadas obras nas quais desponta a imposição de verdades pela força fisica ou verbal. A luta pelo poder, a expulsão de elementos estranhos, dúvidas sobre a identidade e a inter-penetrablidade arte-vida caracterizam o capítulo seguinte. A ênfase temática do sexto capítulo recai sobre as limitações impostas pela condição humana. Praticamente todas as obras expressam a impossibilidade da existência de certezas absolutas e de uma perfeita distinção dos limites da realidade. Com isso, é possível afirmar não ser o objetivo da arte reproduzir a realidade. Mesmo que o fosse, tal tentativa resultaria infrutífera devido às limitações humanas.

Estudo da viabilidade técnica para a Bolívia de painéis de gesso reforçados com fibra de vidro para paredes internas não portantes

Na construção civil, nos países em desenvolvimento como a Bolívia, continua-se usando técnicas e materiais na execução de paredes, similar a décadas passadas. Os painéis de gesso reforçados com fibra de vidro são uma alternativa de simplificação e agilização na execução das paredes internas não portantes. A presente dissertação objetiva mostrar a viabilidade técnica e econômica dos painéis para paredes internas, na Bolívia; para tanto realizou-se uma avaliação dos recursos disponíveis (gesso), com relação às reservas, produção e custos. A técnica adotada na produção dos painéis é a de pré-mistura, que permite a moldagem dos painéis manual ou mecanicamente com equipamentos simples e de baixo custo. O estudo do compósito de gesso reforçado com fibra de vidro (GRG) foi realizado com gesso brasileiro e com gesso boliviano, verificando-se o seu comportamento mecânico com diferentes teores de fibra de vidro. Verificou-se aumento da resistência a tração na flexão e diminuição da resistência a compressão com o aumento do teor de fibra de vidro. A avaliação do comportamento mecânico dos painéis foi feita através dos ensaios de impacto (corpo mole e corpo duro). Nos ensaios de corpo mole, verificou-se aumento da resistência com o aumento do teor de fibra de vidro. Os teores de 0,75% e 1,5% se mostraram suficientes para que os painéis de GRG satisfaçam os requisitos de desempenho para divisórias internas respectivamente para o gesso brasileiro e boliviano. O comportamento dos painéis nos ensaios de impacto de corpo duro foi satisfatório, tanto para painéis com fibra como para painéis sem fibra de vidro. No estudo preliminar de custos, verificou-se uma redução em torno de 36% para os painéis de GRG em relação às paredes intemas tradicionalmente usadas na Bolívia.

Desenvolvimento e avaliação de uma ferramenta computacional multimeios utilizada no auxílio ao aprendizado de projetos de experimentos básicos

Esta dissertação trata do desenvolvimento e avaliação de uma ferramenta computacional multimeios utilizada no auxílio ao aprendizado de projetos de experimentos básicos. A busca da sociedade por novos produtos e processos, cada vez melhores e de forma mais rápida, determina a necessidade da aplicação de técnicas mais objetivas e eficientes para se alcançar estes desafios. O trabalho de execução visando contemplar o mencionado anteriormente, procedeu-se da seguinte forma: (i) revisão e descrição dos conceitos relativos à Engenharia da Qualidade e ao Planejamento, Projeto e Análise de Experimentos (PPAE); (ii) identificação e descrição de métodos ou regras de planejamento experimental; (iii) investigação e identificação dos projetos e análises de experimentos considerados básicos; (iv) desenvolvimento de uma ferramenta multimeios para o auxílio ao aprendizado de PPAE; (v) avaliação da ferramenta desenvolvida, através de um estudo de caso; (vi) conclusões relacionadas ao trabalho desenvolvido. A abordagem adotada para apresentar a técnica experimental, destacou o planejamento, do projeto e análise, detalhando separadamente os mesmos. Este passo almejou, de forma objetiva, identificar aqueles projetos e análises básicos, iniciais ao aprendizado. A elaboração e posterior avaliação da ferramenta multimeios permitiu perceber a potencialidade da mesma, como um meio instrucional para o tema específico de projetos de experimentos, sendo sua aplicação de relativa facilidade. A avaliação mostrou ainda que existe muito a se avançar nos meios físicos de apresentação/execução deste tipo de ferramenta multimeios.