Curso de formação em linha
O curso é ministrado em espanhol ou inglês
Não o deixará indiferente
Este curso centra-se na metodologia para o desenvolvimento e verificação de lógica programável em FPGAs e SoCs utilizando VHDL, seguindo as normas de segurança exigidas em projectos de missão crítica.
O seu objetivo é apresentar metodologias, ferramentas e boas práticas de conceção para uma verificação bem sucedida de FPGA.
Inclui a realização de casos práticos de verificação em que serão geradas as provas de certificação exigidas pelas normas de segurança.
O curso está orientado para pessoas com noções de desenvolvimento de projectos sob normas de segurança, provenientes da área do software ou com experiência prévia na utilização de VHDL.
Os participantes receberão os diapositivos do curso em formato pdf e os diferentes estudos de casos práticos resolvidos.
O Formador
Engenheiro de Eletrónica e Telecomunicações e Mestre em Robótica, com vinte anos de experiência em sistemas embebidos. Combina a experiência no desenvolvimento de hardware e software com a certificação de sistemas críticos.
Agenda
- Planeamento
- Captação de requisitos
- Conceção pormenorizada
- Captação de requisitos
- Conceção pormenorizada
- Implementação
- Verificação e validação
- RTL versus código comportamental
- Boas práticas de codificação e normas de codificação
- Bibliotecas numéricas
- Mitigação de SEU
- Sistemas tolerantes a falhas
- Proteja o seu projeto
- Noções básicas de teste de regressão
- Simulação HDL
- Análise de domínio de relógio cruzado
- Análise de temporização estática
- Simulação de lista de rede
- Teste de hardware
- Cobertura funcional
- Asserções
- Verificação aleatória restrita
- UVVM
- VUnit
- Ferramentas de conceção e ferramentas de verificação
- Qualificação de ferramentas versus avaliação de ferramentas
- Criação de um projeto de demonstração
- Python para testes em VHDL
- Instalação de bibliotecas de terceiros
- Bibliotecas para análise de dados
- Testes de regressão
- Geração de dados de teste
- Síntese e implementação
- Testes com anotações posteriores
