dc.contributor | Sousa, Fernando Rangel de | |
dc.contributor | | |
dc.contributor | http://lattes.cnpq.br/5726959712548590 | |
dc.contributor | | |
dc.contributor | http://lattes.cnpq.br/9092018794878372 | |
dc.contributor | Oliveira, José Alberto Nicolau de | |
dc.contributor | | |
dc.contributor | http://lattes.cnpq.br/2871134011057075 | |
dc.contributor | Bourguet, Vincent Patrick Marie | |
dc.contributor | | |
dc.contributor | http://lattes.cnpq.br/7331200835732053 | |
dc.contributor | Melcher, Elmar Uwe Kurt | |
dc.contributor | | |
dc.contributor | http://lattes.cnpq.br/2995510206880397 | |
dc.creator | Fonseca, Adauto Luis Tadeo Bernardes da | |
dc.date.accessioned | 2010-05-05 | |
dc.date.accessioned | 2014-12-17T14:55:40Z | |
dc.date.accessioned | 2022-10-06T13:40:32Z | |
dc.date.available | 2010-05-05 | |
dc.date.available | 2014-12-17T14:55:40Z | |
dc.date.available | 2022-10-06T13:40:32Z | |
dc.date.created | 2010-05-05 | |
dc.date.created | 2014-12-17T14:55:40Z | |
dc.date.issued | 2009-09-04 | |
dc.identifier | FONSECA, Adauto Luis Tadeo Bernardes da. Metodologia de Verificação Funcional para Circuitos Analógicos. 2009. 119 f. Dissertação (Mestrado em Automação e Sistemas; Engenharia de Computação; Telecomunicações) - Universidade Federal do Rio Grande do Norte, Natal, 2009. | |
dc.identifier | https://repositorio.ufrn.br/jspui/handle/123456789/15298 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/3971938 | |
dc.description.abstract | This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog circuits verification. The main goal is to provide a more automated verification process to certify analog circuits functional behavior. The proposed methodology is based on the golden model technique. A verification environment based on this methodology was built and results of a study case based on the validation of an operational amplifier design are offered as a confirmation of its effectiveness. The results had shown that the verification process was more truthful because of the automation provided by the tool developed | |
dc.publisher | Universidade Federal do Rio Grande do Norte | |
dc.publisher | BR | |
dc.publisher | UFRN | |
dc.publisher | Programa de Pós-Graduação em Engenharia Elétrica | |
dc.publisher | Automação e Sistemas; Engenharia de Computação; Telecomunicações | |
dc.rights | Acesso Aberto | |
dc.subject | Verificação | |
dc.subject | Circuitos analógicos | |
dc.subject | Técnicas de verificação | |
dc.subject | Ambiente de Verificação | |
dc.subject | VHDL-AMS | |
dc.subject | Verification | |
dc.subject | Analog circuits | |
dc.subject | Integrated circuits | |
dc.subject | Verification techniques | |
dc.subject | Verification environment | |
dc.subject | VHDL-AMS | |
dc.title | Metodologia de Verificação Funcional para Circuitos Analógicos | |
dc.type | masterThesis | |