Relatório PMCT RF:

Sumário:

Este documento é o relatório final do projecto do Sistema de Validação e Teste de Cartas de Circuito Impresso com BST, onde se descreve a integração e o teste do sistema. Corresponde ao 5.º relatório a apresentar no âmbito do projecto, como resultado das tarefas 5 e 6, que decorreram durante o período compreendido entre Outubro de 1992 e Outubro de 1993.

Índice:

1 – INTRODUÇÃO

2 – WINGAPT: MANUAL DE UTILIZAÇÃO

A utilização do WinGAPT
Os menus principais
    Menu “File”
    Menu “Project”
    Menu “Config”
    Menu “Help”
Os procedimentos principais
    A sequência de geração automática do programa de teste
    Execução e configuração do WinGAPT
    Criação de um projecto de teste
    Guardar e abrir o ficheiro TPF
    Visualizar ou editar os ficheiros de projecto de teste
    A geração do programa de teste
    Criação do código binário com o Assembler
    Transferência do programa de teste para o testador

3 – MANUAL DO TESTADOR

Descrição geral
    Interface com o sistema de teste
    O processador BST
        Instruções suportadas
        Requisitos em memória e tempo de execução
        Melhoramentos introduzidos
    O controlador de comunicações e de actividades
    Carta de deserialização e E/S digitais
        Bloco de deserialização
        Configuração da cadeia de teste ligada ao TAP1
        Configurações possíveis
        Conectores frontais da carta de deserialização
    Carta das E/S analógicas
        Conectores frontais
    Infraestrutura de teste interna
Manual de utilização
    Acesso às memórias
    Selecção do relógio aplicado ao processador de teste
    Modos de operação
 Diagramas de blocos das funções da interface com o utilizador

4 – UM EXEMPLO DE UTILIZAÇÃO DO SISTEMA DE TESTE

Uma CCI com implementação parcial de BST
A geração do programa de teste
A execução do teste aplicado à CCI

5 – A COBERTURA DE FALTAS

O programa de teste
    A geração de programas de teste
    O modelo de faltas
    O protocolo de teste
Avaliação da cobertura de faltas
    O modelo single-stuck-at
    Faltas de continuidade
    Faltas do tipo curto-circuito
Simulação de faltas para uma CCI
    Um exemplo de uma CCI com implementação parcial de BST
    A simulação de faltas no HILO
        Os módulos do HILO
        Terminologia do simulador de faltas
        As tabelas dos resultados das simulações de faltas
    Os resultados da simulação de faltas
        Simulação do modelo single-stuck-at
        Simulação do modelo de faltas do tipo curto-circuito
Conclusões

6 – CONCLUSÃO

7 – REFERÊNCIAS

8 – ANEXOS

Instruções para a instalação do WinGAPT
Ficheiros relativos à CCI de demonstração
    Ficheiro de descrição da CCI
    Ficheiro de descrição dos componentes
    Ficheiro com o relatório dos vectores gerados
    Ficheiro com o programa de teste (.LST)
   Ficheiros relativos à simulação de faltas
 Listagem do modelo de simulação da CCI de demonstração
    O ficheiro “knowledge” relativo à CCI
    O programa de teste relativo à CCI convertido para DWL
    Os ficheiros de especificação das faltas simuladas