brazil ip the brazilip network brazil ip the brazilip network verificação funcional por...
TRANSCRIPT
![Page 1: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/1.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Verificação funcionalpor simulação
Curso do projeto Fênix
Agosto 2003
Elmar [email protected]://lad.dsc.ufcg.edu.br/ip
![Page 2: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/2.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Roteiro
• Introdução– Motivação– Verificação funcional no fluxo de projeto– Definições– Cobertura da verificação
• Testbench– Elementos básicos– Regras de projeto– Implementação
![Page 3: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/3.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Motivação
• Entregar produtos e ganhar dinheiro.
• Custo e tempo de corrigir um defeito cresce quando descoberto mais tardeno ciclo de vida do produto.– na especificação– na simulação– na prototipagem– na fabricação em volume– no uso pelo cliente
![Page 4: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/4.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Problema para empresas
• Mais da metade do esforço de projeto está na verificação.– Um testbench muitas vezes contém mais linhas
que a própria descrição do projeto.– A equipe de engenheiros de verificação é maior
do que a equipe de projetistas.
• Verificação é difícil.• Engenheiros da Motorola no SBCCI 2002:
“Estamos procurando trabalhos sobre verificação”
![Page 5: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/5.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Problema para empresas
• Processo de projeto está indo direito.• Procura para “bons” engenheiros de
verificação em todas as empresas.
![Page 6: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/6.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Caso famoso: INTEL
• Problema descoberto no Pentium em 1994 por um professor de matemática durante uma pesquisa matemática.
• A FPU produzia resultados de divisão errôneos no oitavo digito significativo para certos argumentos.
• Embora no máximo 1 usuário em 1 milhão jamais foi afetado, confiança em INTEL caiu.
• Abriu o caminho para crescimento maior de AMD.
• Prejuízo de 500 MUS$ (?)
![Page 7: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/7.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Caso famoso: NASA
• Mars Climate Orbiter de 1999• Erro de verificação de sistema fiz com que o
Orbiter de voava muito próximo à atmosfera marciana e queimava.
• Problema era um mistura de unidades métricas e unidades inglesas que causou um erro no cálculo da trajetória.
![Page 8: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/8.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Custo da verificação
• Um mal necessário– sempre leva tempo demais e custa caro demais
• mas indispensável.– porque afeta diretamente os três requisitos:
• cronograma• custo• qualidade
![Page 9: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/9.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Verificação de IP
• Ninguém usa uma IP na qual não confia.• Como pode confiar?
– Processo de verificação bem executado e documentado.
• IPs precisam ser verificadas mais amplamente,– todas propriedades e utilizações possíveis
devem ser verificadas,– não somente um ambiente específico.
![Page 10: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/10.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Isso funciona mesmo ?
• A verificação funcional deve responder a esta pergunta.
• “isso” é uma descrição RTL de um projeto.• “funciona” se refere a simulação.• O funcionário de uma empresa
deve poder dormir tranqüilose a verificação responde “sim”.
![Page 11: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/11.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Como saber fazer ?• Muitos livros falam sobre implementação.• Poucos falam sobre verificação.
– Writing Testbenches: Functional Verification of HDL Models by Janick Bergeron, 2nd edition, KluwerAcademic Publishers, 2003
• Material usado para fazer este curso:– Functional Verification of Hardware Design, Baback Izadi et al.,
SUNY-New Paltz e IBM, outono 2002,http://www.engr.newpaltz.edu/~bai/CSE45493/
– Principles of Verifiable RTL Design, Bening et al., Kluwer 2000– System-on-a-chip Verification, Rashnikar et al., Kluwer 2001– EVITA, Curso em CD, Aldec– VHDL Testbench Methodologies, Raytheon Company, 5/3/01– A staged Verification Process with inherent testbench code reusability, Klaus-
Dieter Schubert, IBM Germany, DVE 2001– Técnicas de Verificação, Alexandre Amory, PUCRS
![Page 12: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/12.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Definições
• Verificação funcional– confrontar um modelo a ser verificado
a outro modelo padrão,comparando a funcionalidade.
não confundir com• Teste
– verificar se um CI está sem erro de fabricação.
• Verificação formal• Validação
![Page 13: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/13.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Verificação estática
• Analisadores de código HDL, Lint ou linting tools
• Tipos de problemas detectáveis– case incompleto– atribuições em if...else inconsistente– falta de sinais na lista de sensibilidade– reset síncrono / assíncrono– falta de sinais a serem resetadas
![Page 14: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/14.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Fluxo de projeto
Especificação
Descrição comportamental
Descrição estrutural
Layout
Função
Descrição RTL
Função & Timing
Função & Timing
Função & Timing
consumo, área, etc.
Verificação
![Page 15: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/15.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Modelo de Reconvergência
• Representação conceptual do processo de verificação
• Questão importante: verificar o quê?
Síntese
Verificação
![Page 16: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/16.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Nível hierárquico adequado
• Verificação funcional pode ser realizada a vários níveis:– componente/unidade/sub-unidade, ...– ASIC/FPGA/IP– Sistema/SOC– placa
![Page 17: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/17.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Nível hierárquico adequado
• Como decidir qual nível?– Nível mais baixo fornece mais observabilidade
mas exige mais esforço,– a nível mais alto os elementos menores são
verificadas implicitamente com menos esforço desde que os cenários e vetores de entrada são completos.
• Decisão depende do projeto.• Faz parte do plano de verificação
– para cada elemento existe uma seção nele.
![Page 18: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/18.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Verificação em vários níveis
• Na verificação no nível de sistema é suficiente verificar a interação dos componentes se uma verificação correta a nível de componentes foi feita.
![Page 19: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/19.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Fator Humano
• Alguém tem que interpretar a especificação e transformar na função correta.
Síntese
Verificação
Especificação
Interpretação
![Page 20: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/20.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Reduzir o erro humano
• Automação– eliminar intervenção humana no processo.– Realidade mostra que não é possível:
• processos mal definidos,• precisando de invenção e criatividade humana.
• Redundância– usar dois engenheiros (ou grupos) para um
verificar o outro.• Projetista• Engenheiro de verificação
![Page 21: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/21.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Quem pode errar ?
• Um projetista pode implementar uma funcionalidade de forma errada ?
Sim, o erro será descoberto por um teste.
Um engenheiro de verificação pode testar uma funcionalidade de forma errada ?
Sim, um erro falso aparecerá no teste.
O projetista e o engenheiro de verificação podem cometer o mesmo erro ?
Não, o erro será aceito no teste.
![Page 22: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/22.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Quem pode errar ?
• Um projetista pode esquecer de implementar alguma funcionalidade ?
Sim, a falha será descoberto por um teste.
Um engenheiro de verificação pode esquecer de testar alguma funcionalidade ?
Não, um possível erro do projetista passará despercebido.
![Page 23: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/23.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Verificação funcional
• Pode provar a presença de erros, mas não pode provar a ausência de erros.
Síntese RTL
Verificação
RTLEspecificaçãoInterpretação
Especificaçãoformal
![Page 24: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/24.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Abordagens de Verificacão
• Black Box• Grey Box• White Box
![Page 25: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/25.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Black Box
• Entradas, saídas, função• Função bem documentada (ou não...)• Para verificar, é preciso entender a função
e prever as saídas sabendo as entradas.
DUV
![Page 26: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/26.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
White Box
• Todas as variáveis internas visíveis.• Podem ser acessadas para verificação.• Para teste de unidades pequenas nas
folhas da hierarquia
DUV
![Page 27: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/27.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Grey Box
• Uma seleção restrita de variáveis internas pode ser usado para verificação.
• Exemplo: registradores de um processador
DUV
![Page 28: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/28.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Plano de Verificação
• Especificação do processo de verificação;• Define o quê será verificado e como.• Abordagem tradicional:
– faça como quiser
• Abordagem nova:– uso de métricas para saber quando a
verificação estiver completa: Verification Coverage
– idealmente a definição de sucesso “de primeira”.
![Page 29: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/29.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Plano de Verificação
• Feito a partir da especificação do DUV.• Define os cenários de teste (testbenches a
ser escritos):– define a complexidade deles,– as dependências entre eles.
• A partir daí é feito um cronograma:– recursos (humanos, máquinas, etc.)
necessários,– recursos disponíveis
![Page 30: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/30.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Plano de Verificação
• Pertence à equipe:– todo mundo envolvido é responsável,– tudo mundo deve contribuir.
• Plano de Verificação não é algo novo, já é usado por:– NASA– FAA– Software
![Page 31: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/31.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Conteudo do Plano de Verificação
• Resumo do sistema• Níveis de abstração• Tecnologias de Verificação• Modelos de referência a ser usados• Fluxograma da verificação• Definição dos estímulos• Testes de regressão
![Page 32: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/32.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Conteúdo do Plano de Verificação
• Gerência de falhas• Plano de recursos• Cronograma
![Page 33: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/33.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Os três mandamentosda verificação funcional
Você deve solicitar mais seu projeto do
que jamais ele será
solicitado no futuro.
Você deve monitorar
tudo.
Você não deve passar a um nível mais
alto de hierarquia antes de atingir
cobertura completa.
![Page 34: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/34.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Testbench - Definição e Ideal
• Definição:Montagem em volta do Design Under Verification
•transaction-based•self-checking•random-constrained•coverage-driven
![Page 35: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/35.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Transação
• Definição: Uma operação que inicia num determinado momento no tempo e termina em outro.
• É caracterizada pelo conjunto de instruções e dados necessárias para realizar a operação.
• Exemplos:– transmissão de um pacote ethernet– recepção de uma imagem– uma escrita num barramento– uma instrução de máquina para um processador
![Page 36: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/36.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Testbench
DesignUnderVerification
DriverMoni-
tor
Source
ReferenceModel
duv
Checker
FIFOsinal
refmod
![Page 37: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/37.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Definições
• Testbench– montagem de teste para simulação.– Código escrito em SystemC– cria estímulos e verifica a resposta,– não tem entrada nem saída,– um modelo do universo em volta do projeto,– imprime mensagens quando o DUV apresenta
comportamento inesperado,– caso tudo está ok imprime uma única
menagem no final.
![Page 38: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/38.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Elementos de um testbench
Tudo a mesma coisa:• UUV (Unit Under Test)
– unidade a ser testado
• MUT (Model Under Test)• DUT (Device Under Test
Design Under Test)• EUV (Entity Under Verification)• DUV (Design Under Verification)
![Page 39: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/39.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Elementos de um testbench
• Source– envia transações de entrada para o driver e o
modelo de referencia
• Checker– compara as transações de saída recebidos do
monitor com as um modelo de referência.– É bom ser reutilizável, ou seja, depender pouco
do DUV.
• Modelo de referência– tipicamente timeless
![Page 40: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/40.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Elementos de um testbench
• Driver– recebe transações de entrada e os converta em
transições de sinais da interface de entrada do DUV
• Monitor– observe sinais da interface de saída do DUV,
implementa o protocolo de sinalização e gera transações de saída que ele repassa para o checker
![Page 41: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/41.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Reutilização
DesignUnderVerification
Dri
ver_
1
Sourc
e_1
ReferenceModel_1
duv_1
FIFOsinal
Monit
or_
2
Check
er_
2
DesignUnderVerification
duv_2
ReferenceModel_2
![Page 42: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/42.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Refinamento de umModelo de Referência
Reference
Model_2
FIFOsinal
Reference
Model_3
Reference
Model_1
ReferenceModelsão
Sourc
e
Check
er
![Page 43: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/43.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Desenvolvimento deModelo de Referência e DUV
DesignUnderVerification
Reference
Model_2
duv_1
FIFOsinal
DesignUnderVerification
duv_2
Reference
Model_3
Reference
Model_1
DesignUnderVerification
duv_3
![Page 44: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/44.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Desenvolvimento do Testbench
Dri
ver_
2
Sourc
e_2
FIFOsinal
Monit
or_
2
Check
er_
2
ReferenceModel_2
Monit
or_
1
Dri
ver_
3
ReferenceModel_2
![Page 45: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/45.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Regras de projeto
• Driver – Acesso ao DUV somente pela interface do
mesmo;– transação flui do source para o driver mas
nunca na direção oposta.
• Monitor– acesso somente pela interface do DUV;– faz verificação de protocolo (baixo nivel);– envia transações ao checker;– independente de driver e checker.
![Page 46: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/46.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Regras de projeto
• Source– não envia sinais diretamente para o DUV
• Checker– nunca escreve (força sinal) dentro do DUV;– pode eventualmente ler informação do DUV
(por exemplo registradores internos);
• Modelo de Referência– modela a funcionalidade, mas não a interface
![Page 47: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/47.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
HDL Comportamental
• RTL comportamental– RTL foca implementação– código comportamental é mais rápido de
escrever e mais simples
• descrever sistema e seu TB requer conhecimento de toda a linguagem SystemC
![Page 48: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/48.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
A Arte da verificação
• Estou exercitando todos os possíveis cenários de entrada?
• Como vou saber se ocorreu um erro?
![Page 49: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/49.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Ideal x Real
• Gerar todas as possíveis combinações de entrada tem custo inviável para unidades maiores.
• Testar muitos unidades pequenas também tem custo inviável.
• É necessário fazer uma escolha.
![Page 50: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/50.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Tipos de Estimulos
• Compliance Testing– verificar situações mencionadas na especificação
• Corner Case– verificar situações críticas (extremas) do projeto
• Real Code– utilizar estímulos reais da aplicação
• Random– cria situações “inusitadas”– cobertura tipicamente melhor do que os outros tipos
porque pode gerar cenários que seriam esquecidos.
![Page 51: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/51.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Implementação de Checker, Monitor e Modelo de Referência
• Forma mais óbvia: inspeção visual de formas de onda:– muito usado,– impossível de reaproveitar,– passível a mal interpretação (erro humano),– impraticável para muitas transações.
• Use a visualização de formas de onda somente para depuração.
![Page 52: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/52.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Implementação de Checker, Monitor e Modelo de Referência
• Self Checking Testbench– Driver e Monitor implementado em código do
simulador (SystemC);– Checker implementado em SystemC compara
dados recebidos do Monitor com dados esperados;
![Page 53: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/53.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Implementação do checker
• A simulação de rodar quieto enquanto tudo estiver o.k. para não afogar mensagens de erro no meio de outras mensagens.
• Quando aparece um erro, devem ser fornecidas todas as informações disponíveis sobre o problema para facilitar a depuração.
• Inserir erro no DUV para ver se o Checker funciona.
![Page 54: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/54.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Implementaçãodo Modelo de Referência
• MdR implementado em código– SystemC, C++, C, ou Pascal, Java etc.
• Checker compara diretamente saída do Monitor com a saída do MdR.
• MdR fácil de escrever.
– Basic, Matlab, etc.• Problema de comunicação com SystemC, pode usar
IPC ou arquivos.• MdR ainda mais fácil de escrever.
![Page 55: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/55.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Implementaçãodo Modelo de Referência
• MdR implementado em código (continuação)– possibilita teste pseudo-aleatório com número
grande de amostras (muitos vetores de entrada),
– deixar rodar a noite,– dormir tranqüilo !
![Page 56: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/56.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Cobertura
• Ao acordar de manhã ainda está rodando...• Quando vou parar ?
• Quando atingir a cobertura indicada no plano de verificação
• Tipos de cobertura:• de código• funcional
![Page 57: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/57.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Cobertura de código
• cobertura de linhas– mostra quantas vezes uma linhas de código (um
comando) foi executada - também chamada cobertura de blocos ou cobertura de segmentos
• cobertura de chaveamento– conta quantas vezes cada sinal mudou de nível
lógico
• cobertura de estados de FSM– conta quantas vezes se chegou em cada estado– quais transições entre estados foram simuladas
![Page 58: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/58.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Cobertura de código
• Cobertura de eventos– verifica se todos os eventos na lista de
sensibilidade de todos processos foram exercitadas
• Cobertura de desvios– resultado semelhante ao cobertura de blocos
• Cobertura de expressões– verifica se todas as combinações de expressões
lógicas foram exercitadas
• Cobertura de caminhos– verifica passagem variada por seqüência de
comandos if...else
![Page 59: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/59.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Exemplo PCI/OCP
DUVEscrita
pci_clk ocp_clk
ocp_Reset_n
ocp_MAddr
ocp_MCmd
ocp_MData
ocp_SCmdAccept
ocp_SData
ocp_SResp
ocp_MDataValid
ocp_SDataAccept
pci_reset_n
pci_ad
pci_frame_n
![Page 60: BRAZIL IP The BrazilIP Network BRAZIL IP The BrazilIP Network Verificação funcional por simulação Curso do projeto Fênix Agosto 2003 Elmar Melcher UFCG](https://reader036.vdocuments.site/reader036/viewer/2022062623/552fc102497959413d8be758/html5/thumbnails/60.jpg)
BRAZIL IPBRAZIL IP
The BrazilIP Network
BRAZIL IPBRAZIL IP
The BrazilIP Network
Exemplo CoreCreator
DESCRIÇÃO VERILOG+
DESCRIÇÃO RTL PARA CORECREATOR
OCP_MONITORIP CORE DO USUÁRIO
Q_MASTER
core_testbench.v
stim.v
STIM.S
clock reset
GERADO PELOCORECREATO
ESCRITO PELOUSUÁRIO
Porta OCP