Exportar registro bibliográfico

Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth (2005)

  • Autores:
  • Autor USP: TOBAR, EDGAR LEONARDO ROMERO - EP
  • Unidade: EP
  • Sigla do Departamento: PSI
  • Assunto: PROTOCOLOS DE COMUNICAÇÃO
  • Idioma: Português
  • Resumo: O contínuo crescimento da capacidade de integração e a evolução das metodologias de projeto tem possibilitado a criação de sistemas digitais complexos e de grande tamanho. O verdadeiro desafio no desenvolvimento de sistemas complexos é a asseguração da sua qualidade, sendo, uma das tarefas cruciais do fluxo de projeto de sistemas digitais verificar que a implementação realizada, realmente se comporta de acordo com o estabelecido na especificação. A verificação baseada em simulação conhecida como verificação funcional é a mais utilizada e experiências de projeto indicam a verificação funcional como a etapa do projeto que mais recursos computacionais, humanos e de tempo consome. Neste trabalho são apresentadas as noções fundamentais da verificação funcional, mostrando as técnicas que tem influenciado a sua evolução e os esquemas concebidos para a sua aplicação. Adicionalmente, são identificadas e aplicadas alternativas para realização da verificação funcional de uma forma eficiente, tomando como caso estudo de caso um exemplo de um bloco de propriedade intelectual de grande tamanho e complexidade como é o caso de um adaptador da camada de banda base do protocolo Bluetooth. A verificação da implementação da camada de banda base do protocolo Bluetooth, é realizada visando esquemas metodológicos e técnicos com potencial de reduzir o tempo da sua aplicação. Trata-se de três esquemas com orientações bem diferentes encontrados dentro das metodologias deverificação: a particularização da verificação funcional de acordo com as características funcionais e de implementação da camada de banda base do protocolo Bluetooth, a adoção de modelo de testbench reativo para reduzir o tempo de execução da verificação e a assistência ao profissional de verificação com ferramentas para agilizar a construção de testbenches
  • Imprenta:
  • Data da defesa: 19.05.2005

  • Como citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ROMERO TOBAR, Edgar Leonardo; WANG, Jiang Chau. Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth. 2005.Universidade de São Paulo, São Paulo, 2005.
    • APA

      Romero Tobar, E. L., & Wang, J. C. (2005). Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth. Universidade de São Paulo, São Paulo.
    • NLM

      Romero Tobar EL, Wang JC. Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth. 2005 ;
    • Vancouver

      Romero Tobar EL, Wang JC. Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth. 2005 ;


Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2020