DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.

Detalhes bibliográficos
Ano de defesa: 2008
Autor(a) principal: ROCHA, Ana Karina de Oliveira.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Modelagem computacional
Transações temporais assíncronas
Metodologia VeriSC
Modelagem de transações temporais
Verificação funcional - metodologia
Asynchronous time transactions
Time transaction modeling
Functional verification - methodology
Ciência da Computação.
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/1461
Resumo: A necessidade de sistemas cada vez mais complexos é uma realidade em quase todas as áreas de aplicação da eletrônica. Os avanços recentes da microeletrônica possibilitam o surgimento de soluções inovadoras para diversos problemas do mundo moderno, devido à criação, em ritmo cada vez mais acelerado, de sistemas digitais de qualidade, sendo possível integrar dezenas de milhões de transistores em um único chip, com baixo custo operacional. Esses sistemas estão em constante evolução, impulsionada pelo desenvolvimento da indústria de semicondutores. Assim, há fortes pressões de mercado para a disponibilização de novos produtos com um número cada vez maior de funcionalidades. As implementações dos circuitos eletrônicos complexos necessitam da utilização de metodologias eficientes e automatizadas, que auxiliem na diminuição das falhas de projeto, a exemplo da metodologia de verificação funcional denominada VeriSC, que fornece testbenches e utiliza a biblioteca SCV (SystemC Verification Library), mas se restringe à verificação de circuitos digitais que processam transações temporais síncronas. O trabalho desenvolvido consiste na criação de um mecanismo de implementação de transações temporais, aplicada à metodologia de verificação funcional VeriSC, tornando-a uma metodologia de verificação eficiente também para circuitos digitais capazes de processar transações temporais assíncronas.
id UFCG_fc533140f450780f851c3822c054f160
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/1461
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.DigiSeal - a case study for modeling asynchronous temporal transactions in the VeriSC methodology.Modelagem computacionalTransações temporais assíncronasMetodologia VeriSCModelagem de transações temporaisVerificação funcional - metodologiaAsynchronous time transactionsTime transaction modelingFunctional verification - methodologyCiência da Computação.A necessidade de sistemas cada vez mais complexos é uma realidade em quase todas as áreas de aplicação da eletrônica. Os avanços recentes da microeletrônica possibilitam o surgimento de soluções inovadoras para diversos problemas do mundo moderno, devido à criação, em ritmo cada vez mais acelerado, de sistemas digitais de qualidade, sendo possível integrar dezenas de milhões de transistores em um único chip, com baixo custo operacional. Esses sistemas estão em constante evolução, impulsionada pelo desenvolvimento da indústria de semicondutores. Assim, há fortes pressões de mercado para a disponibilização de novos produtos com um número cada vez maior de funcionalidades. As implementações dos circuitos eletrônicos complexos necessitam da utilização de metodologias eficientes e automatizadas, que auxiliem na diminuição das falhas de projeto, a exemplo da metodologia de verificação funcional denominada VeriSC, que fornece testbenches e utiliza a biblioteca SCV (SystemC Verification Library), mas se restringe à verificação de circuitos digitais que processam transações temporais síncronas. O trabalho desenvolvido consiste na criação de um mecanismo de implementação de transações temporais, aplicada à metodologia de verificação funcional VeriSC, tornando-a uma metodologia de verificação eficiente também para circuitos digitais capazes de processar transações temporais assíncronas.The necessity for more complex systems is a reality in almost all electronic application areas. Recent advances in microelectronics make possible the appearance of innovative solutions for several problems of the modern world, due to the creation in accelerated rhythm of quality digital systems, allowing the integration of tens of millions of transistors in a single chip with low operational cost. Those systems are in constant evolution promoted by the development of the semiconductors industry. Thus, there are strong pressures from the market to make new products available with an increasing number of functionalities. Implementations of complex electronic circuits must use of efficient and automated verification methodologies, which help in reducing design failures. In this context VeriSC, a functional verification methodology which provides testbenches and uses the SCV Library (SystemC Verification Library), but it is restricted to the digital circuit verification that has only synchronous time transactions. This work consists in creating a mechanism for the implementation of time transactions, applied to the VeriSC functional verification methodology, and in making it an efficient methodology for digital circuits capable of processing asynchronous time transactions.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGMELCHER, Elmar Uwe Kurt.MELCHER, E. U. K.http://lattes.cnpq.br/2995510206880397ARAÚJO, Joseana Macêdo Fechine Régis.QUEIROZ, José Eustáquio Rangel de.CARVALHO, João Marques de.ROCHA, Ana Karina de Oliveira.2008-05-162018-08-15T15:44:40Z2018-08-152018-08-15T15:44:40Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttps://dspace.sti.ufcg.edu.br/handle/riufcg/1461ROCHA, Ana Karina de Oliveira. DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. 2008. 115f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraíba - Brasil, 2008. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1461porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2025-07-24T06:18:55Zoai:dspace.sti.ufcg.edu.br:riufcg/1461Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T06:18:55Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
DigiSeal - a case study for modeling asynchronous temporal transactions in the VeriSC methodology.
title DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
spellingShingle DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
ROCHA, Ana Karina de Oliveira.
Modelagem computacional
Transações temporais assíncronas
Metodologia VeriSC
Modelagem de transações temporais
Verificação funcional - metodologia
Asynchronous time transactions
Time transaction modeling
Functional verification - methodology
Ciência da Computação.
title_short DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
title_full DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
title_fullStr DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
title_full_unstemmed DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
title_sort DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
author ROCHA, Ana Karina de Oliveira.
author_facet ROCHA, Ana Karina de Oliveira.
author_role author
dc.contributor.none.fl_str_mv MELCHER, Elmar Uwe Kurt.
MELCHER, E. U. K.
http://lattes.cnpq.br/2995510206880397
ARAÚJO, Joseana Macêdo Fechine Régis.
QUEIROZ, José Eustáquio Rangel de.
CARVALHO, João Marques de.
dc.contributor.author.fl_str_mv ROCHA, Ana Karina de Oliveira.
dc.subject.por.fl_str_mv Modelagem computacional
Transações temporais assíncronas
Metodologia VeriSC
Modelagem de transações temporais
Verificação funcional - metodologia
Asynchronous time transactions
Time transaction modeling
Functional verification - methodology
Ciência da Computação.
topic Modelagem computacional
Transações temporais assíncronas
Metodologia VeriSC
Modelagem de transações temporais
Verificação funcional - metodologia
Asynchronous time transactions
Time transaction modeling
Functional verification - methodology
Ciência da Computação.
description A necessidade de sistemas cada vez mais complexos é uma realidade em quase todas as áreas de aplicação da eletrônica. Os avanços recentes da microeletrônica possibilitam o surgimento de soluções inovadoras para diversos problemas do mundo moderno, devido à criação, em ritmo cada vez mais acelerado, de sistemas digitais de qualidade, sendo possível integrar dezenas de milhões de transistores em um único chip, com baixo custo operacional. Esses sistemas estão em constante evolução, impulsionada pelo desenvolvimento da indústria de semicondutores. Assim, há fortes pressões de mercado para a disponibilização de novos produtos com um número cada vez maior de funcionalidades. As implementações dos circuitos eletrônicos complexos necessitam da utilização de metodologias eficientes e automatizadas, que auxiliem na diminuição das falhas de projeto, a exemplo da metodologia de verificação funcional denominada VeriSC, que fornece testbenches e utiliza a biblioteca SCV (SystemC Verification Library), mas se restringe à verificação de circuitos digitais que processam transações temporais síncronas. O trabalho desenvolvido consiste na criação de um mecanismo de implementação de transações temporais, aplicada à metodologia de verificação funcional VeriSC, tornando-a uma metodologia de verificação eficiente também para circuitos digitais capazes de processar transações temporais assíncronas.
publishDate 2008
dc.date.none.fl_str_mv 2008-05-16
2018-08-15T15:44:40Z
2018-08-15
2018-08-15T15:44:40Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/1461
ROCHA, Ana Karina de Oliveira. DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. 2008. 115f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraíba - Brasil, 2008. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1461
url https://dspace.sti.ufcg.edu.br/handle/riufcg/1461
identifier_str_mv ROCHA, Ana Karina de Oliveira. DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. 2008. 115f. (Dissertação de Mestrado em Ciência da Computação) Programa de Pós-graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande - Paraíba - Brasil, 2008. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/1461
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1851784587497177088

Registros relacionados