Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for +publisher:"Universidade Estadual de Campinas" +contributor:("Calazans, Ney Laert Vilar"). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Universidade Estadual de Campinas

1. Albertini, Bruno de Carvalho, 1980-. Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração: Analysis and verification support methodologies for high abstractions level platforms.

Degree: 2011, Universidade Estadual de Campinas

Abstract: The increasing complexity of high level hardware descriptions has motivated the creation of development methodologies for several years, being the most recent level of abstraction represented by projects based on platforms and on the so called Electronic System Level design (ESL). In this scenario, simultaneously exploring different architectural models, like Systems-on-Chip (SoC), is the key to achieve a good balance on hardware-software partitioning and improve performance of both hardware and software. This requires a platform simulation infrastructure able to simulate at high speeds and high level of abstraction, both software and hardware. SystemC emerged as one of the most widely adopted description languages and, when used with the Transaction Level Modeling (TLM), has been widely recognized as the most suitable for ESL development. One of the most striking features of TLM is the possibility to reuse all the infrastructure platform for the simulation of hardware and software [12]. Integration of the verification into design flow is a key point in a TLM-based methodology. One well-known verification technique is the injection stimuli, used to guide the simulation to borderline states. This kind of functionality is useful to increase the coverage of the verification. The tools currently available for SystemC descriptions do not allow stimuli injection without model modifications, or without the use of a modified SystemC simulation core specially crafted for this task. We could not find any open source tool for debugging, but there are good commercial tools specifically prepared to SystemC model debugging. This thesis proposes three methodologies focused on improving the support for introspection, debug, and analysis of hardware models described in high abstraction level. First one is a methodology using computational reflection, applicable to SystemC descriptions by inserting inspection modules, that we call ReflexBoxes. The second technique is called SignalReplay, an evolution of the first technique focused on the capture, injection, and analysis of data collected by reflection. The last proposed methodology, called Platform Dataflow Analysis (PDFA), aims on the metadata extraction through overloaded type reflection, allowing the designer to use compiler techniques for hardware analysis. The results are presented as experiments, implemented as case studies. These experiments allowed us to evaluate the effectiveness of the proposed techniques that, unlike related work, adhere to what we consider six fundamental principles: (1) are not intrusive regarding any model modifications that may be necessary to implement introspection; (2) do not require any change in simulation environment, compilers, or libraries, including our target language: SystemC; (3) generate minimal overhead in simulation time; (4) provide observability and controllability; (5) are extensible, allowing the adaptation for use in similar work with little or no change in the methodology; and (6) protect the intellectual property of the… Advisors/Committee Members: UNIVERSIDADE ESTADUAL DE CAMPINAS (CRUESP), Rigo, Sandro, 1975- (advisor), Araújo, Guido Costa Souza de, 1962- (coadvisor), Universidade Estadual de Campinas. Instituto de Computação (institution), Programa de Pós-Graduação em Ciência da Computação (nameofprogram), Azevedo, Rodolfo Jardim de (committee member), Centoducatte, Paulo Cesar (committee member), Santos, Luiz Claudio Villar dos (committee member), Calazans, Ney Laert Vilar (committee member).

Subjects/Keywords: Depuração na computação; Reflexão (Computação); Arquitetura de computador; Hardware - Engenharia de sistemas; Debugging in computer science; Reflection (Computer science); Computer architecture; Hardware - Systems engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Albertini, Bruno de Carvalho, 1. (2011). Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração: Analysis and verification support methodologies for high abstractions level platforms. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/275705

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Albertini, Bruno de Carvalho, 1980-. “Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração: Analysis and verification support methodologies for high abstractions level platforms.” 2011. Thesis, Universidade Estadual de Campinas. Accessed September 25, 2020. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275705.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Albertini, Bruno de Carvalho, 1980-. “Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração: Analysis and verification support methodologies for high abstractions level platforms.” 2011. Web. 25 Sep 2020.

Vancouver:

Albertini, Bruno de Carvalho 1. Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração: Analysis and verification support methodologies for high abstractions level platforms. [Internet] [Thesis]. Universidade Estadual de Campinas; 2011. [cited 2020 Sep 25]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/275705.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Albertini, Bruno de Carvalho 1. Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração: Analysis and verification support methodologies for high abstractions level platforms. [Thesis]. Universidade Estadual de Campinas; 2011. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/275705

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.