DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2008 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/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_1dd2cb29c366b848b919252147b6c410 |
---|---|
oai_identifier_str |
oai:localhost:riufcg/1461 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
MELCHER, 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, A. K. O.http://lattes.cnpq.br/3554121354087381ROCHA, Ana Karina de Oliveira.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.Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-15T15:44:40Z No. of bitstreams: 1 ANA KARINA DE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2008..pdf: 1111308 bytes, checksum: d22b0170a207a14988449565a953bfb2 (MD5)Made available in DSpace on 2018-08-15T15:44:40Z (GMT). No. of bitstreams: 1 ANA KARINA DE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2008..pdf: 1111308 bytes, checksum: d22b0170a207a14988449565a953bfb2 (MD5) Previous issue date: 2008-05-16Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da Computação.Modelagem computacionalTransações temporais assíncronasMetodologia VeriSCModelagem de transações temporaisVerificação funcional - metodologiaAsynchronous time transactionsTime transaction modelingFunctional verification - methodologyDigiSeal - 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.2008-05-162018-08-15T15:44:40Z2018-08-152018-08-15T15:44:40Zhttp://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1461info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGORIGINALANA KARINA DE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2008..pdfANA KARINA DE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2008..pdfapplication/pdf1246257http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/1461/3/ANA+KARINA+DE+OLIVEIRA+ROCHA+-+DISSERTA%C3%87%C3%83O++PPGCC+2008..pdf13c99863487ec2e162f4965f2f475ad8MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/1461/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/14612022-03-28 14:48:26.962oai:localhost:riufcg/1461Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca 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:48512024-07-01T09:56:17.375863Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.pt_BR.fl_str_mv |
DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. |
dc.title.alternative.pt_BR.fl_str_mv |
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. Ciência da Computação. 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 |
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.advisor1.fl_str_mv |
MELCHER, Elmar Uwe Kurt. |
dc.contributor.advisor1ID.fl_str_mv |
MELCHER, E. U. K. |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/2995510206880397 |
dc.contributor.referee1.fl_str_mv |
ARAÚJO, Joseana Macêdo Fechine Régis. |
dc.contributor.referee2.fl_str_mv |
QUEIROZ, José Eustáquio Rangel de. |
dc.contributor.referee3.fl_str_mv |
CARVALHO, João Marques de. |
dc.contributor.authorID.fl_str_mv |
ROCHA, A. K. O. |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/3554121354087381 |
dc.contributor.author.fl_str_mv |
ROCHA, Ana Karina de Oliveira. |
contributor_str_mv |
MELCHER, Elmar Uwe Kurt. ARAÚJO, Joseana Macêdo Fechine Régis. QUEIROZ, José Eustáquio Rangel de. CARVALHO, João Marques de. |
dc.subject.cnpq.fl_str_mv |
Ciência da Computação. |
topic |
Ciência da Computação. 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 |
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 |
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.issued.fl_str_mv |
2008-05-16 |
dc.date.accessioned.fl_str_mv |
2018-08-15T15:44:40Z |
dc.date.available.fl_str_mv |
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 |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1461 |
dc.identifier.citation.fl_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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1461 |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/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 |
dc.publisher.program.fl_str_mv |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO |
dc.publisher.initials.fl_str_mv |
UFCG |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Centro de Engenharia Elétrica e Informática - CEEI |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
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 |
bitstream.url.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/1461/3/ANA+KARINA+DE+OLIVEIRA+ROCHA+-+DISSERTA%C3%87%C3%83O++PPGCC+2008..pdf http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/1461/2/license.txt |
bitstream.checksum.fl_str_mv |
13c99863487ec2e162f4965f2f475ad8 8a4605be74aa9ea9d79846c1fba20a33 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
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_ |
1803396522278125568 |