DATA
30 de junho - 3 de julho de 2025
CALENDÁRIO
14:00 - 19:00 (CET Madrid)
Curso de formação em linha
20 horas
4 dias × 5h
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 de código VHDL utilizando a ferramenta ModelSim, onde serão geradas as provas de certificação exigidas pelas normas de segurança.
O curso destina-se a pessoas da área do software com noções de desenvolvimento de projectos sob normas de segurança. São necessários conhecimentos básicos 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
Preço
O preço normal é de 1.350 euros por participante.
Bónus de preço:
- Inscrições efectuadas antes de 30 de maio: 1.200 euros por participante
- Inscrições de 3 ou mais pessoas da mesma empresa: 20% de desconto
Inscrição
Uma vez recebido o seu pedido de registo, enviar-lhe-emos uma mensagem de correio electrónico para que saiba como confirmá-lo.
