Verificação funcional de modelos transacionais de processadores

Trabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Faculdade UnB Gama, Curso de Engenharia Eletrônica, 2014.O presente Trabalho de Conclusão de Curso, propõe-se a desenvolver um ambiente de verificação funcional para modelos de processadores em nível transacional desenvolvidos em linguagem HDL (Hardware Description Language). Em especial, serão tratados modelos de processadores descritos em SystemC no padrão TLM-2.0 sem precisão temporal. Como estudo de caso, será utilizado o processador MIPS Plasma de 32 bits e cinco estágios de pipeline implementado pelo aluno Tiago Trindade da Silva, do programa de doutorado em Engenharia de Sistemas Eletrônicos e Automação do Departamento de Engenharia Elétrica, Universidade de Brasília. Na primeira parte do trabalho, foi feito um levantamento geral de metodologias praticadas no mercado que atendem os requisitos de verificação funcional necessários para validar modelos descritos em SystemC. Dentre várias metodologias e ferramentas encontradas, a UVM (Universal Verification Methodology) foi a escolhida para o desenvolvimento deste trabalho, pois atende por completo as necessidades de comunicação, interface e estrutura dos ambientes de verificação que deseja-se construir. Em conjunto com a UVM, utiliza-se a biblioteca UVM Connect, a qual possibilita a interação do código em SystemVerilog, proveniente do ambiente de verificação, com o código em SystemC, proveniente do modelo de processador testado. Nesta segunda e última etapa do trabalho, são mostradas as fases de planejamento, execução do processo de verificação funcional e resultados obtidos. A fase de planejamento é constituída pela definição das métricas de cobertura baseadas em técnicas de verificação de processadores e também pela elaboração do plano de verificação. A fase de execução consiste na criação de códigos que compõem ambientes de verificação que buscam exercitar o modelo de processador em seus aspectos funcionais. Diferentes tipos de testes aleatórios são gerados para alcançar pontos críticos que seriam dificilmente encontrados com simulações e testes comuns. ____________________________________________________________________________ ABSTRACTThis Final Paper proposes the development of a verification environment for processors implemented in HDL (Hardware Description Language) at the transaction level, specially, those described in SystemC TLM-2.0 standard, with un-timed code style. It will be used as design under verification the 32 bits MIPS processor with five pipeline stages implemented by the student Tiago Trindade da Silva of the doctoral program in Electronic Systems and Automation Engineering of the University of Brasília. In the first part of this work, it was made a research of methodologies used in the market which could meet the requisites of functional verification needed to validate a SystemC model. Among several methodologies and tools found, the UVM (Universal Verification Methodology) was chosen for the development of this work, because it meets all the requirements of communication, interface and architecture of the verification environment which is wished to develop. The usage of UVM with SystemC models require another library called UVM Connect, which connects the SystemVerilog code, from the testbench, with the C++ code, from the model. In this second and last step of the work, are presented the planning phases, project execution and results. The planning phase consists of defining the coverage metrics and the formulation of verification plan. The execution phase consists in write the code that composes the testbench environment. Different types of tests are executed for reach the corne cases of the project

MONITORIA NAS CIÊNCIAS EXATAS: UMA APRENDIZAGEM COLABORATIVA

As áreas de exatas normalmente apresentam baixas taxas de conclusão nas universidades. Embora todas as causas possam ser de difícil identificação, diversos aspectos da vida acadêmica e social do calouro podem contribuir com a evasão destes discentes, tais como: mudanças abruptas de conteúdos entre ensino médio e superior, dificuldades relacionadas a abstração do conteúdo, reprovações, distância da família, convivência com novas pessoas, busca por moradia e recursos para sua manutenção, entre outras. Políticas educacionais desenvolvidas no âmbito interno da UNIFESSPA, como a Monitoria educacional, têm por objetivos melhorar os indicadores de ensino aprendizagem; proporcionar condições de permanência e de sucesso dos alunos; contribuir para o envolvimento dos alunos nas atividades de docência, de pesquisa e de extensão; possibilitar a utilização do potencial do aluno assegurando-lhe uma formação profissional qualificada e sua plena inserção nas atividades acadêmicas da Universidade; intensificar e assegurar a cooperação entre professores e estudantes nas atividades da Universidade e implementar ações do Projeto Pedagógico do Curso de graduação (PPC) e Plano de Desenvolvimento Institucional (PDI). Para isso, promove aos melhores alunos, em situação de vulnerabilidade social, a possibilidade remunerada de participar como bolsistas instrutores, onde, em um ambiente de aprendizagem colaborativa, com a supervisão do um professor da universidade, desenvolvem técnicas de aprendizado e colaboração entre estudantes universitários.A monitoria tem se mostrado um importante aliado na formação dos alunos da Faculdade de Computação e Engenharia Elétrica - FACEEL. Diversas disciplinas têm sido contempladas com bolsas de monitoria, entre estas, a disciplina Teoria Eletromagnética I e II do curso de Engenharia Elétrica e Engenharia da Computação com carga horária de 68hs e 102hs, respectivamente

Potencial do óleo essencial de Thymus vulgaris na qualidade sanitária em sementes de Caesalpinia férrea/ Essential oil potential Thymus vulgaris on the health quality Caesalpinia ferrea seeds

Como na maioria das espécies florestais, a Caesalpinia ferrea vem apresentando problemas fitossanitários, por isso tem-se ampliado pesquisas com o uso de tratamentos alternativos a partir de óleos essenciais como o Thymus vulgaris L., que é responsável pela atividade antimicrobiana e influencia positivamente nos processos fisiológicos das plantas. O objetivo deste estudo foi avaliar a influência do óleo essencial de tomilho sobre a qualidade sanitária e fisiológica em sementes de pau ferro. O experimento foi conduzido no Laboratório de Fitopatologia, localizado na Unidade Acadêmica Especializada em Ciências Agrárias – Universidade Federal do Rio Grande do Norte – UFRN/EAJ, em Macaíba-RN. Para a obtenção e extração do óleo essencial foi feita a coletada de 200 g de folhas frescas e ramos de plantas com 2 e 3 anos de idade do tomilho no horto de plantas medicinais da Universidade Federal do Rio Grande do Norte – UFRN/EAJ, em Macaíba-RN, e através do método de arraste a vapor onde foi obtido o óleo. Posteriormente, foram diluídas em água nas seguintes concentrações: 0, 2, 4, 6, 8 e 10%. As sementes de pau ferro foram adquiridas de matrizes e ao acaso, em seguida, transportadas para o Laboratório de Entomologia, onde foram feitas a avaliação sanitária pelo método Blotter test em temperatura de 25 ± 2 °C e fotoperíodo de 12 h. Após 7 dias, com auxílio de microscópio eletrônico foi feita a identificação dos fungos com ajuda da literatura especializada. De acordo com os resultados obtidos no presente trabalho, verificou-se que o extrato de T. vulgaris em todas as concentrações avaliadas, apresentou diferentes resultados, visto que quando aumenta a concentração do óleo, constatou-se a diminuição na incidência de patógenos. Comprovando que o óleo essencial de T. vulgaris tem ação específica para determinados gêneros fúngicos. A concentração de 8%, do óleo essencial de T. vulgaris obteve as menores porcentagens de Aspergillus sp., Aspergillus niger, Penicillium sp., Alternaria sp., Fusarium sp. e promoveram os maiores desempenhos fisiológicos em plântulas de C. ferrea