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.

Aplicando o conhecimento sobre os aspectos estruturais da organização no processo de modelagem de workflow

Uma organização é um arranjo sistemático composto de duas ou mais pessoas que compartilham um objetivo comum. A estrutura organizacional envolve um conjunto de aspectos ou parâmetros estruturais, os quais são freqüentemente conhecidos através da análise de documentos de planejamento existentes na organização, além de entrevistas com os funcionários e com a direção. Todavia, nem sempre a organização apresenta estas fontes de informação, dificultando o seu entendimento. Autores e profissionais da administração argumentam que a estrutura de uma organização deve ser delineada em função das necessidades dos seus processos de negócio e não vice-versa. Seguindo esta linha de raciocínio, pode-se, concluir que a estrutura dos processos de negócio está refletida na estrutura organizacional. Um processo de negócio é um conjunto de um ou mais procedimentos ou atividades relacionadas as quais, coletivamente, realizam um objetivo de negócio no contexto de uma estrutura organizacional. As organizações modernas apresentam demandas relacionadas à automação de seus processos de negócio devido à alta complexidade dos mesmos e a necessidade de maior eficiência na execução. Por este motivo é crescente a difusão de sistemas baseados em tecnologias de informação capazes de proporcionar uma melhor documentação, padronização e coordenação dos processos de negócio. Neste contexto, a tecnologia de workflow tem se mostrado bastante eficaz, principalmente, para a automatização dos processos de negócio. Contudo, por ser uma tecnologia emergente e em evolução, workflow apresenta algumas limitações. Uma das principais é a ausência de técnicas que garantam correção e eficiência ao projeto de workflow nas fases de análise de requisitos e modelagem. Nestas fases, os projetistas precisam adquirir conhecimento sobre a organização e seus processos de negócio. O entendimento da organização pode ser dificultado devido à ausência de documentos de planejamento e a problemas de conflitos de linguagem e resistências culturais que podem surgir nas entrevistas. Este trabalho tem por objetivo investigar as relações entre diferentes tipos de estrutura organizacional e (sub)processos de workflow específicos. Caso existentes, tais relações podem tanto facilitar o Projeto de workflow a partir do conhecimento da estrutura organizacional, como, também, permitir o entendimento da organização a partir de processos de workflow já existentes.

Política de medicamentos excepcionais no espírito santo : a questão da judicialização da demanda

Este trabalho situa o Programa de Medicamentos Excepcionais no Brasil diante da judicialização da demanda, contextualizando a relação entre direitos humanos e recursos financeiros do Programa, identificando os argumentos embasadores das ações impetradas contra o gestor. Consiste em estudo de natureza documental, com emprego de dados secundários em bases de dados nacionais e estaduais e análise da totalidade dos mandados impetrados contra o estado do Espírito Santo. Os princípios do SUS são apresentados para contextualizar a aplicação do direito, dando enfoque à eqüidade. Os principais achados foram: as demandas judiciais iniciam-se pelo poder executivo por meio do Ministério Público e o judiciário, com apresentação de antecipação de tutela, mandado judicial ou termo de ajustamento de conduta. O objeto das notificações apresentou variações quanto ao nível de atenção, ocorrendo notificações para fornecimento de medicamento básico, de média e alta complexidade, e até importados sem registro no Brasil. A argumentação utilizada nas notificações, em sua maioria, refere-se ao artigo 196 da Constituição Federal, incluindo também os artigos 5.º, 6.º, 159 e 198, ao Código Civil, à Constituição Estadual, ao Pacto de São José da Costa Rica e à Lei Estadual n.º 4.317/90. Conclui-se neste estudo que a judicialização gera individualização da demanda em detrimento do coletivo e tendenciona a uma maior desorganização dos serviços. Os dados referentes ao Programa no Estado comportam-se de forma semelhante aos do Brasil. Entre os entrevistados e na conclusão da autora, fica evidente a necessidade de discussão ampla e envolvimento dos atores para que haja consenso coerente com a eqüidade e a coletividade, não excluindo o papel de controle social estabelecido pela Constituição ao Ministério Público e ao judiciário.

Satisfação com o trabalho dos profissionais de secretarias municipais de saúde da região do Vale do Taquari

O objetivo da pesquisa é investigar em que medida a organização e as condições de trabalho em secretarias municipais da saúde, do Vale do Taquari, no Rio Grande do Sul, influenciam na satisfação dos funcionários com o seu trabalho. Para tanto, o conceito de satisfação com o trabalho foi estudado em uma perspectiva que leva em conta a teoria administrativa e as teorias que abordam os aspectos psicossociais ligados ao trabalho, buscando caracterizar um modelo de pesquisa que associa satisfação com a organização e as condições de trabalho. O estudo está circunscrito à avaliação do nível de satisfação com o trabalho e à identificação dos principais fatores que influenciam na satisfação ou insatisfação dos funcionários que atuam nas secretarias da saúde dos municípios de Lajeado, Arroio do Meio e Imigrante. Os critérios para a escolha desses três municípios foram o tamanho da população usuária, o nível de atenção à saúde (baixa, média e alta complexidade) e a estrutura física da secretaria. O método utilizado apresenta caráter predominantemente descritivo e as técnicas na coleta e análise de dados foram sobretudo de caráter quantitativo. No total, foram entrevistados 23 profissionais e aplicados 356 questionários. Destes, retornaram 268, o que corresponde a 75% dos funcionários que desempenham atividades nas três secretarias. Concluiu-se que o nível de satisfação com o trabalho está médio baixo em relação à maioria dos itens pesquisados e que, na percepção dos respondentes, entre os fatores de satisfação, estão a identificação com o trabalho, o relacionamento entre os trabalhadores e o reconhecimento da população pelo trabalho desenvolvido, enquanto, entre os fatores de insatisfação, encontram-se a falta de reconhecimento e estímulo da chefia, a remuneração inadequada e a falta de condições e materiais para a execução das atividades. Propõe-se que essas conclusões sejam lembradas em futuras intervenções, nas secretarias municipais da saúde, para produzir melhorias nos fatores que geram insatisfação identificados na pesquisa.

Semântica formal para TVQL

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.

Low cost BIST techniques for linear and non-linear analog circuits

With the ever increasing demands for high complexity consumer electronic products, market pressures demand faster product development and lower cost. SoCbased design can provide the required design flexibility and speed by allowing the use of IP cores. However, testing costs in the SoC environment can reach a substantial percent of the total production cost. Analog testing costs may dominate the total test cost, as testing of analog circuits usually require functional verification of the circuit and special testing procedures. For RF analog circuits commonly used in wireless applications, testing is further complicated because of the high frequencies involved. In summary, reducing analog test cost is of major importance in the electronic industry today. BIST techniques for analog circuits, though potentially able to solve the analog test cost problem, have some limitations. Some techniques are circuit dependent, requiring reconfiguration of the circuit being tested, and are generally not usable in RF circuits. In the SoC environment, as processing and memory resources are available, they could be used in the test. However, the overhead for adding additional AD and DA converters may be too costly for most systems, and analog routing of signals may not be feasible and may introduce signal distortion. In this work a simple and low cost digitizer is used instead of an ADC in order to enable analog testing strategies to be implemented in a SoC environment. Thanks to the low analog area overhead of the converter, multiple analog test points can be observed and specific analog test strategies can be enabled. As the digitizer is always connected to the analog test point, it is not necessary to include muxes and switches that would degrade the signal path. For RF analog circuits, this is specially useful, as the circuit impedance is fixed and the influence of the digitizer can be accounted for in the design phase. Thanks to the simplicity of the converter, it is able to reach higher frequencies, and enables the implementation of low cost RF test strategies. The digitizer has been applied successfully in the testing of both low frequency and RF analog circuits. Also, as testing is based on frequency-domain characteristics, nonlinear characteristics like intermodulation products can also be evaluated. Specifically, practical results were obtained for prototyped base band filters and a 100MHz mixer. The application of the converter for noise figure evaluation was also addressed, and experimental results for low frequency amplifiers using conventional opamps were obtained. The proposed method is able to enhance the testability of current mixed-signal designs, being suitable for the SoC environment used in many industrial products nowadays.

Nutrição enteral como fator de risco para diarréia em adultos hospitalizados

Diarréia, especialmente em ambiente hospitalar, gera mudanças no manejo do paciente, contribuindo para aumento no tempo e custos com a hospitalização. Na prática clínica, o uso de nutrição enteral é amplamente apontado como fator de risco para diarréia, demandando freqüentes alterações na terapia nutricional. Neste sentido, o objetivo desta dissertação é determinar o efeito independente do uso de nutrição enteral no risco para diarréia em adultos hospitalizados, controlando para outras variáveis clínicas relacionadas com o desfecho. Para tanto, primeiramente foi realizada revisão da literatura, a fim de identificar diferentes fatores associados à ocorrência de diarréia hospitalar. Foram utilizados como termos de busca diarrhea, diarrhoea, bowel movements, hospital, enteral nutrition, tube feeding, drug e pharmaceutical preparations, através do Pubmed, Cochrane Library e Scielo. Foram também avaliadas referências citadas em publicações selecionadas. Contatos com autores foram empregados quando textos completos não estavam disponíveis para consulta. A incidência de diarréia observada na literatura, dentre adultos hospitalizados, foi de 5% a 70%, variando de acordo com os critérios adotados para sua definição e do perfil clínico do grupo de pacientes estudados. Poucos estudos foram delineados para identificar variáveis associadas à diarréia. Uso de antibióticos, antiácidos, quimioterápicos, gravidade clínica do paciente, número de dias de hospitalização e uso de nutrição enteral foram fatores descritos como de risco para diarréia. O efeito isolado de cada um destes fatores, no entanto, não é suficientemente claro. Por esta razão, entre junho de 2004 e maio de 2005, foi conduzido um estudo de dupla coorte, de acordo com a exposição e não-exposição dos pacientes à nutrição enteral. Foram acompanhados adultos internados em unidades clínicas e cirúrgicas do Hospital de Clínicas de Porto Alegre, um hospital geral universitário de alta complexidade. A fim de minimizar a variabilidade associada ao manejo dos pacientes pelas equipes assistentes e estabelecer perfil clínico comparável, o grupo não-exposto à nutrição enteral foi constituído de acordo com a unidade de internação, equipe assistente/especialidade e exposição a antimicrobianos do grupo em uso de nutrição enteral. Para identificação dos fatores de risco independentemente associados à diarréia, foi realizada regressão múltipla de Cox. A incidência de diarréia identificada neste estudo foi de 18% entre expostos à nutrição enteral e de 6% nos não-expostos (p<0,01). Foi verificado que pacientes em uso de nutrição enteral apresentam 2,7 (IC95%:1,6-4,7) vezes o risco de desenvolver diarréia do que aqueles nãoexpostos à nutrição enteral, se hospitalizados durante o verão o risco é 2,4 (IC95%:1,5-3,9) vezes em comparação a outros períodos do ano e, a cada acréscimo de 1 ano na idade, o risco aumenta em 1,6% (IC95%: 0 - 3,3). Dentre os pacientes em uso de nutrição enteral, aqueles para quem foram mais freqüentemente observadas (em mais de 75% dos dias avaliados) adesão às rotinas de higienização e troca de equipos de administração da dieta (verificadas em uma visita realizada em dias intercalados, observando a identificação da data no equipo e pela informação de entrega para a lavagem pelas atendentes de nutrição) apresentaram menor incidência de diarréia (6,5% vs. 20,3% e 5,9% vs. 19,8%, respectivamente). Assim, é elevada a incidência de diarréia em ambiente hospitalar, sendo a exposição à nutrição enteral fator de risco independente para este desfecho, além da idade avançada e hospitalização durante o verão.

MoCHA : arquitetura dedicada para a compensação de movimento em decodificadores de vídeo de alta definição, seguindo o padrão H.264

O padrão H.264 foi desenvolvido pelo JVT, que foi formado a partir de uma união entre os especialistas do VCEG da ITU-T e do MPEG da ISO/IEC. O padrão H.264 atingiu seu objetivo de alcançar as mais elevadas taxas de processamento dentre todos os padrões existentes, mas à custa de um grande aumento na complexidade computacional. Este aumento de complexidade impede, pelo menos na tecnologia atual, a utilização de codecs H.264 implementados em software, quando se deseja a decodi cação de vídeos de alta de nição em tempo real. Essa dissertação propõe uma solução arquitetural de hardware, denominada MoCHA, para compensação de movimento do decodi cador de vídeo de alta de nição, segundo o padrão H.264/AVC. A MoCHA está dividida em três blocos principais, a predição dos vetores de movimento, o acesso à memória e o processamento de amostras. A utilização de uma cache para explorar a redundância dos dados nos acessos à mem ória, em conjunto com melhorias propostas, alcançou economia de acessos à memória superior a 60%, para os casos testados. Quando uma penalidade de um ciclo por troca de linha de memória é imposta, a economia de ciclos de acesso supera os 75%. No processamento de amostras, a arquitetura realiza o processamento dos dois blocos, que dão origem ao bloco bi-preditivo, de forma serial. Dessa forma, são economizados recursos de hardware, uma vez que a duplicação da estrutura de processamento não é requerida. A arquitetura foi validada a partir de simulações, utilizando entradas extraídas de seqüências codi cadas. Os dados extraídos, salvos em arquivos, serviam de entrada para a simulação. Os resultados da simulação foram salvos em arquivos e comparados com os resultados extraídos. O processador de amostras do compensador de movimento foi prototipado na placa XUP Virtex-II Pro. A placa possui um FPGA VP30 da família Virtex-II PRO da Xilinx. O processador PowerPC 405, presente no dispositivo, foi usado para implementar um test bench para validar a operação do processador de amostras mapeado para o FPGA. O compensador de movimento para o decodi cador de vídeo H.264 foi descrito em VHDL, num total de 30 arquivos e cerca de 13.500 linhas de código. A descrição foi sintetizada pelo sintetizador Syplify Pro da Symplicity para o dispositivo XC2VP30-7 da Xilinx, consumindo 8.465 slices, 5.671 registradores, 10.835 LUTs, 21 blocos de memó- ria interna e 12 multiplicadores. A latência mínima para processar um macrobloco é de 233 ciclos, enquanto a máxima é de 590, sem considerar misses na cache. A freqüência máxima de operação foi de 100,5 MHz. A arquitetura projetada é capaz de processar, no pior caso, 36,7 quadros HDTV de 1080 por 1920, inteiramente bi-preditivos, por segundo. Para quadros do tipo P, que não utilizam a bi-predição, a capacidade de processamento sobe para 64,3 quadros por segundo. A arquitetura apresentada para o processamento de quadros bi-preditivos e a hierarquia de memória são, até o momento, inéditas na literatura. Os trabalhos relativos a decodi cadores completos não apresentam a solução para esse processamento. Os resultados apresentados tornam a MoCHA uma solução arquitetural capaz de fazer parte de um decodi cador para vídeos de alta definição.