Over the time, the development of the digital design has increased dramatically and nowadays many different circuits and systems are designed for multiple purposes in short time lapses. However, this development has not been based only in the enhancement of the design tools, but also in the improvement of the verification tools, due to the outstanding role of the verification process that certifies the adequate performance and the fulfillment of the requirements. In the verification industry, robust methodologies such as the Universal Verification Methodology (UVM) are used, an example of this is [1], but they have not been implemented yet in countries such as Peru and they seem inconvenient for educational purposes. This research propose an alternative methodology for the verification process of designs at the industry scale with a modular structure that contributes to the development of more complex and elaborated designs in countries with little or none verification background and limited verification tools. This methodology is a functional verification methodology described in SystemVerilog and its effectiveness is evaluated in the verification of an AES (Advance Encryption Standard) encryption module obtained from [2]. The verification framework is based on a verification plan (developed in this research as well) with high quality standards as it is defined in the industry. This verification plan evaluates synchronization, data validity, signal stability, signal timing and behavior consistency using Assertions, functional coverage and code coverage. An analysis of the outcomes obtained shows that the AES encryption module was completely verified obtaining 100% of the Assertions evaluation, 100% of functional verification and over 95% of code coverage in all approaches (fsm, block, expression, toggle). Besides, the modular structure defines the intercommunication with the Design only in the bottom most level, which facilitates the reuse of the verification framework with different bus interfaces. Nonetheless, this unit level verification framework can be easily instantiated by a system level verification facilitating the scalability. Finally, the documentation, tutorials and verification plan templates were generated successfully and are aimed to the development of future projects in the GuE PUCP (Research group in Microelectronics). In conclusion, the methodology proposed for the verification framework of the AES encryption module is in fact capable of verifying designs at the industry scale with high level of reliability, defining a very detailed and standardized verification plan and containing a suitable structure for reuse and scalability. / Tesis

La presente tesis presenta el diseño de una resistencia integrada, que se requiere en el bloque de filtrado de un dispositivo médico implantable para un sistema de adquisición de señales neuronales con el fin de obtener una alta constante de tiempo y no recurrir a la utilización de resistencias externas en circuitos integrados, siendo así posible abarcar un tópico actual de diseño microelectrónico con alto nivel tecnológico. Se presentan los inconvenientes que existen para su desarrollo, métodos de diseño y los requerimientos del mismo. / Tesis

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2018. / Técnicas de projeto de circuitos digitais atualmente se baseiam principalmente em métodos top-down, que utilizam um conjunto de regras e restrições para auxiliar a construção do projeto. Por conta disso, ainda há um espaço desconhecido de soluções para vários problemas. Algoritmos genéticos, por outro lado, constroem soluções utilizando uma metodologia bottom-up, e provaram-se úteis para problemas de alta complexidade e de otimização. Este trabalho propõe uma nova abordagem para o projeto de circuitos sequenciais utilizando algoritmos genéticos para explorar soluções fora do espaço alcançado atualmente pelo estado da arte. Trabalhos recentes têm um foco grande em evoluir apenas a parte combinacional dos circuitos sequenciais, ou seja, suas funções de transição e saída. Neste projeto, armazenamento e funcionalidade são ambos levados em conta, permitindo que a evolução use dos dois para alcançar seu objetivo. Os experimentos realizados nos circuitos básicos assíncronos, em ordem crescente de complexidade, latches SR, D, XOR, JK, D multiplexada, de duas portas e BILBO, e também nos circuitos síncronos flipflop D e paridade-2, mostram que é possível encontrar soluções inovadoras, algumas com características como melhor utilização de espaço, para esses tipos de circuito. / Current digital circuit design techniques are based on top-down methods, which depend on a set of rules and restrictions made to help the design process. Because of that, there is still an unknown space of solutions for many problems. Genetic algorithms, on the other hand, build solutions by using a bottom-up methodology and have proven themselves useful for high complexity and optimization problems. This work proposes a new approach to the design of sequential circuits by using genetic algorithms to explore solutions outside the design space currently reached by the state of the art. Recent works focus mainly on evolving the combinational part of a sequential circuit, that is, its transition and output functions. In this project, both the mechanism used for storing and its functionality are taken into account, allowing the genetic algorithm to manipulate both in its search. The experiments done on the basic asynchronous circuits, in increasing complexity, SR, D, XOR, JK, multiplexed D, two port and BILBO latches, and on the synchronous circuits D flip-flop and 2 bit parity circuits show that it is possible to find novel solutions, some with improvements such as better space usage, for these kinds of circuits.

Made available in DSpace on 2014-06-12T17:36:58Z (GMT). No. of bitstreams: 2 arquivo7437_1.pdf: 870580 bytes, checksum: 0003dd782bbe29aa92419a4fc7304ef7 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A integração de sistemas de gestão é abordada na literatura pesquisada mais como um alinhamento de normas de sistemas de gestão, no entanto, uma integração de sistemas de gestão não deve limitar-se a apenas alinhamento. Não há na literatura um consenso do que seja uma integração de sistemas de gestão, pois alguns autores entendem uma integração como sendo alinhamento normas de sistemas de gestão, outros, sem discordar da importância do alinhamento, incorporam outros elementos como o fator humano. Não foi identificada dentro da pesquisa bibliográfica realizada nenhuma abordagem que fizesse uso de matemática, então propõe-se, neste trabalho, apresentar uma definição de integração de sistemas de gestão com base na Teoria Geral dos Sistemas e da Teoria dos Conjuntos que comporte e amplie as já pesquisadas. O número de sistemas de gestão normalizados tem aumentado continuamente, tendo sido o da Qualidade o primeiro, vindo logo em seguida o Ambiental. Há também uma tendência de se ampliar o número de sistemas de gestão dentro das organizações e tem-se verificado que redundâncias de atividades entre os sistemas isolados geram custos que poderiam ser evitados quando da integração desses sistemas de gestão. Observa-se, ainda, que há uma lacuna na literatura da área entre o momento da decisão de se adotar um Sistema Integrado de Gestão e sua implementação. Este trabalho, de cunho epistemológico, propõe uma abordagem sistêmica para uma etapa anterior à da implementação da integração, ou seja, a fase de estudo sobre a viabilidade e elaboração de projeto. Uma vez ampliado o conceito de integração de sistemas de gestão, de forma a contemplar o alinhamento de normas, o compartilhamento dos recursos humanos e de se entender um Sistema Integrado de Gestão à luz da Teoria Geral dos Sistemas, procurou-se fazer uso de Programação Matemática na integração dos recursos humanos. As atividades dos sistemas com suas entradas, saídas, processadores e acoplamentos, foram aplicadas de forma análoga a um diagrama de circuito elétrico, facilitando a visualização e estudos de integração de sistemas. O modelo proposto de integração de sistemas de gestão foi aplicado em uma organização do setor de energia elétrica, tendo mostrado sua viabilidade na otimização de recursos

Submitted by HELENA SAMPAIO ARANHA null (helena-aranha@live.com) on 2017-03-29T00:16:24Z No. of bitstreams: 1 Dissertação Helena 2017.pdf: 3354733 bytes, checksum: 554fb340036da36fb69e3a03fd81ed16 (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-03-30T17:31:58Z (GMT) No. of bitstreams: 1 aranha_hs_me_dra.pdf: 3354733 bytes, checksum: 554fb340036da36fb69e3a03fd81ed16 (MD5) / Made available in DSpace on 2017-03-30T17:31:58Z (GMT). No. of bitstreams: 1 aranha_hs_me_dra.pdf: 3354733 bytes, checksum: 554fb340036da36fb69e3a03fd81ed16 (MD5) Previous issue date: 2017-02-09 / O objetivo do trabalho foi avaliar a pastagem, o conforto térmico e o desempenho de bovinos Nelore na fase de terminação em sistemas integrados de produção agropecuária com duas densidades de árvores (196 árvores ha-1 e 448 árvores ha-1) e pastagem convencional (PC). Foram avaliados a massa de forragem, composição morfológica e taxa de acúmulo diário da pastagem, e dos animais o ganho médio diário, ganho de peso por área, taxa de lotação, conforto térmico e parâmetros hematológicos. A massa de forragem foi superior no tratamento PC e no verão. A porcentagem de folha, colmo e taxa de acúmulo diário foram maiores no verão que no outono. Não houve diferenças estatísticas para o ganho de peso dos animais entre os tratamentos avaliados. A temperatura ambiente, a temperatura do globo e índice de temperatura e umidade foram melhores nos tratamentos com sombreamento e nos períodos da manhã. Para os parâmetros hematológicos o volume globular foi menor no sistema de PC. Conclui-se que os sistemas com componente arbóreo reduzem a quantidade de massa de forragem e melhoram o conforto térmico, em relação ao sistema de PC, mas não influencia o desempenho dos animais e os parâmetros hematológicos, exceto o volume globular. / The objective of this work was to evaluate pasture, thermal comfort and performance of Nelore cattle in the finishing phase in integrated systems of agricultural production with two tree densities (196 ha-1 trees and 448 ha-1 trees) and conventional pasture (PC). The forage mass, morphological composition and daily accumulation rate of the pasture were evaluated, and of the animals the average daily gain, weight gain per area, stocking rate, thermal comfort and haematological parameters were evaluated. The forage mass was higher in PC treatment and summer. The percentage of leaf, stem and daily accumulation rate were higher in the summer than in the autumn. There were no statistical differences for the weight gain of the animals among the evaluated treatments. Ambient temperature, globe temperature and temperature and humidity index were better in shade treatments and in the morning. For the haematological parameters the globular volume was lower in the PC system. It is concluded that the systems with arboreal component reduce the amount of forage mass and improve the thermal comfort, in relation to the PC system, but does not influence the performance of the animals and the haematological parameters, except the globular volume.

Dissertação (Mestrado em Engenharia Elétrica) - Centro Universitário da FEI, São Bernardo do Campo, 2015

Tese de mestrado. Gestão de Informação. Faculdade de Engenharia. Universidade do Porto. 2005

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores - Major de Telecomunicações. Faculdade de Engenharia. Universidade do Porto. 2008

Estágio realizado no CICA-FEUP e orientado pelo Eng.º António Francelino Gomes Viana / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2008

Estágio realizado na Qimonda Portugal, S. A / Tese de mestrado integrado. Engenharia Metalúrgica e de Materiais. Faculdade de Engenharia. Universidade do Porto. 2008