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.
![](https://doymus.com/wp-content/uploads/2022/06/curso_formacion.jpg)
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