BRAZIL IP The BrazilIP Network Ferramenta para geração de templates para Testbench Projeto Fênix Fevereiro 2004 Karina Rocha G. da Silva UFCG

Apresentação em tema: "BRAZIL IP The BrazilIP Network Ferramenta para geração de templates para Testbench Projeto Fênix Fevereiro 2004 Karina Rocha G. da Silva UFCG"— Transcrição da apresentação:

1 BRAZIL IP The BrazilIP Network Ferramenta para geração de templates para Testbench Projeto Fênix Fevereiro 2004 Karina Rocha G. da Silva UFCG Karinarocha@dee.ufcg.edu.br

2 BRAZIL IP The BrazilIP Network Apresentação Metodologia; Ferramenta –Fundamentos; –Partes; –Apresentação de alguns arquivos; –Execução.

3 BRAZIL IP The BrazilIP Network Introdução Verificação funcional –confrontar um modelo a ser verificado a outro modelo padrão, comparando a funcionalidade.

4 BRAZIL IP The BrazilIP Network Introdução 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.

5 BRAZIL IP The BrazilIP Network Introdução Design Under Verification Driver Moni- tor SourceSource Reference Model CheckerChecker FIFO sinal

6 BRAZIL IP The BrazilIP Network Elementos de um testbench Source –envia transações de entrada para o driver e o modelo de referencia 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

7 BRAZIL IP The BrazilIP Network 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 Elementos de um testbench

8 BRAZIL IP The BrazilIP Network Restrições : –Somente para DUVs síncronos; –DUVs com apenas um relógio. Ferramenta

9 BRAZIL IP The BrazilIP Network Ferramenta Ferramenta divida em dois diretórios: –Executável: Todos os arquivos escritos em C para gerar o template; DUV; Arquivo de estrutura; –Testbench: gerado pelo executável; Contém todo o template; Necessário colocar o Makefile.

10 BRAZIL IP The BrazilIP Network Ferramenta Duas formas de execução da ferramenta: –VerificaSystemC vs –VerificaSystemC vdef –vs: "tabajara", criado pelo prof. Elmar –vdef: systemc2vdef da Synopsys

11 BRAZIL IP The BrazilIP Network Todas informações são retiradas a partir do arquivo de estruturas e do cabeçalho do DUV; Ferramenta

12 BRAZIL IP The BrazilIP Network Exemplo de arquivo de estrutura: // interface in // interface out struct { ; }; incluir todos os.h aqui; Ferramenta

13 BRAZIL IP The BrazilIP Network Arquivo de estrutura é mudado para fazer comparações com o Checker: // interface in // interface out struct { ; inline bool operator == (const access_struct& arg) const { return ( ( ) == arg.variavel)); } }; inline ostream& operator << (ostream& os, const access_struct& arg){ os " <<arg.variavel; return os; } Ferramenta

14 BRAZIL IP The BrazilIP Network Makefile: usa extensão para acessar bibliotecas SCV ; Exemplo: CC = g++ OPT = -03 DEBUG = -g COVER = -Profile-arcs -ftest -coverage... MODULE = tb INCS = struct_preditor_ext.h include /usr/local/sc/Makefile.defs struct_preditor_ext.h: struct_preditor.h tb_wizard_ext --extend_all --overwrite struct_preditor.h Ferramenta

15 BRAZIL IP The BrazilIP Network Ferramenta Endereço da ferramenta: https://lad.dsc.ufcg.edu.br/svn/metodologia/fenix/t ronco/VerificaSystemC/versao1.1/ferramenta.zip Exemplo de verificacao pronta: https://lad.dsc.ufcg.edu.br/svn/pci/galhos/escrita

16 BRAZIL IP The BrazilIP Network Ferramenta Apresentação prática...