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 .

Um estudo autofotográfico sobre a interação pessoa-contexto e a representação do self em pré-adolescentes em situação de risco

O presente estudo teve como objetivo retratar, através do método autofotográfico, a realidade de pré-adolescentes em situação de risco social e pessoal - contextos ecológicos e histórias pessoais e sua representação de self. A amostra foi composta por oito préadolescentes (quatro do sexo feminino e quatro do sexo masculino), com idades entre onze e doze anos, de um município do interior do Rio Grande do Sul (Vera Cruz), que freqüentam o Centro Educacional Assistencial e Recreativo da Criança e do Adolescente (CEARCA). Foi solicitado a cada participante que respondesse a pergunta “Quem é você?” utilizando fotografias tiradas do contexto ecológico no qual se desenvolvem. Os participantes foram entrevistados para obtenção de dados bio-socio-ecológicos e sobre as fotografias produzidas por eles. Os resultados demonstraram que o método autofotográfico permitiu que os préadolescentes respondessem à pergunta, apresentando aspectos da sua interação pessoaambiente e suas relações no contexto ecológico, que expressam sua condição de pessoa em desenvolvimento em situação de risco social e pessoal. Todavia, aspectos de proteção ao desenvolvimento foram apontados, como relações de amizade, integrantes da rede de apoio social e afetivo e características individuais que favorecem a resiliência.

O brinquedo e as atividades cotidianas de crianças em situação de rua

Este estudo objetivou um quadro descritivo sobre as atividades cotidianas de crianças em situação de rua, além de investigar suas opiniões sobre o brincar, as companhias de brinquedo, os espaços de brincadeira e os de trabalho. Considerando os limites do estudo em ambiente natural e, principalmente, a dinâmica do espaço da rua, foram utilizados três instrumentos, complementares entre si: observação com registro cursivo, entrevista estruturada e jogo de sentenças incompletas. A amostra foi composta por vinte (20) crianças em situação de rua, do Centro de Porto Alegre, com idades entre seis de doze anos. Os dados demográficos mostraram que estas crianças, em sua maioria, têm contato diário com a família, e já tiveram alguma experiência escolar e com o trabalho. Os dados de observação mostram que estas crianças, no espaço de rua, encontram-se em constante movimentação, brincando, interagindo com diversos pares (adultos, adolescentes e crianças) e trabalhando. O seu próprio corpo e os objetos deste espaço são seus brinquedos mais freqüentes, e a conversa é o sentido mais freqüente de suas interações. O jogo de sentenças trouxe dados que mostram que estas crianças, geralmente, conceitualizam o brincar pelo processo de realização da atividade, e pelos brinquedos que utilizam. Suas companhias mais freqüentes são outras crianças, amigos ou familiares. O trabalho é uma atividade relacionada à própria situação de vida das crianças. Ele é necessário, promove a subsistência e caracteriza o desenvolvimento destas crianças, onde coexistem aspectos evolutivos da infância e da idade adulta. Os resultados deste estudo mostram a importância de: a) investigar o desenvolvimentos destas crianças de forma contextual, estando-se atento para suas características pessoais e para interação bidirecional pessoa- ambiente; b) compreender e significar o brinquedo no espaço da rua, instrumentalizando profissionais que trabalham com estas crianças, e elas próprias, para valorizar aspectos saudáveis do desenvolvimento; c) aprofundar estudos sobre a conceitualização e significado do trabalho no espaço da rua, avaliando os resultados dentro de uma visão ecológica do desenvolvimento.

Infância, tempo e atividades cotidianas de crianças em situação de rua : as contribuições da teoria dos sistemas ecológicos

Esta tese apresenta dados de um estudo descritivo exploratório com crianças em situação de rua da cidade de Ribeirão Preto, interior do Estado de São Paulo. Foi abordada, através de uma perspectiva ecológica, a temática da infância, abrangendo seus significados e determinações para estas crianças, questões de temporalidade e da identificação, descrição e significação de atividades cotidianas em situação de rua. A amostra foi composta por dez crianças com idades entre oito e onze anos, de ambos os sexos. Com base nos pressupostos teórico-metodológicos da Teoria dos Sistemas Ecológicos e na revisão da literatura nas áreas da História, Psicologia e Psicopatologia do Desenvolvimento foram criados quatro instrumentos de pesquisa (entrevista sócio-demográfica, jogo de sentenças incompletas sobre a infância, entrevista semi-estruturada sobre o tempo e gravuras sobre atividades cotidianas em situação de rua), aplicados na própria situação de rua. Os dados mostram: a) a diversidade da rua enquanto ambiente de desenvolvimento, b) a presença de contatos familiares freqüentes na vida das crianças, c) a defasagem escolar característica, d) a infância definida dentro de parâmetros ideais propostos no macrossistema, e) a vivência do tempo estruturada em rotinas onde a cronologia não se encontra presente de forma incisiva, f) as atividades cotidianas abrangendo diferentes significações, com expressões de diversos afetos e opiniões sobre o viver a situação de rua. A Teoria dos Sistemas Ecológicos sustenta a análise destes dados dentro de parâmetros de integração entre as dimensões Tempo, Pessoa, Processo e Contexto, viabilizando a valorização da criação de instrumentos que favoreçam a descrição e análise da realidade pelos próprios participantes da pesquisa e a proposta e sustentação de projetos de intervenção nesta realidade.

Exercícios do tempo : Dias felizes e Esperando Godot, de Samuel Beckett; O marinheiro, de Fernando Pessoa

Resumo não disponível.

"O que o guarani vende?" um estudo sobre sitema econômico e pessoa mbyá-guarani num contexto de relações interétnicas em São Miguel das Missões-RS

Este trabalho, realizado entre agosto de dois mil e quatro e março de dois mil e cinco, trata de compreender a partir das análises da historiografia, da noção de pessoa e do sistema econômico - nas formas de produção, distribuição e consumo - o processo de integração dos Mbyá-Guarani, de São Miguel das Missões, Estado do Rio Grande do Sul, à sociedade nacional envolvente, dentro de um contexto de contato interétnico. Com isso, demonstra algumas transformações e tensões, advindas da situação colonial de contato, dentro do sistema cultural tradicional mbyá-guarani.

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.