Tese

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

• Authors:
  • Romero Tobar, Edgar Leonardo
  • Wang, Jiang Chau (Orientador)
• Autor USP: TOBAR, EDGAR LEONARDO ROMERO - EP
• Unidade: EP
• Sigla do Departamento: PSI
• Assunto: PROTOCOLOS DE COMUNICAÇÃO
• Language: Português
• Abstract: 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:
  • Publisher place: São Paulo
  • Date published: 2005
• Data da defesa: 19.05.2005

---

How to cite

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

• ABNT

  ROMERO TOBAR, Edgar Leonardo. Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. . Acesso em: 23 abr. 2024.

• APA

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

• NLM

  Romero Tobar EL. Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth. 2005 ;[citado 2024 abr. 23 ]

• Vancouver

  Romero Tobar EL. Técnicas para a verificação funcional eficiente de uma implementação RTL da camada banda base do protocolo Bluetooth. 2005 ;[citado 2024 abr. 23 ]

Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

• Contribuições à verificação funcional ajustada por cobertura para núcleos de hardware de comunicação de multimídia