Curso de verificación de FPGA/ASIC en aviónica

2. 2 Fundamentos de la Metodología FPGA/ASIC en Aviónica
3. 2 Ciclo de Vida del Diseño de Hardware: Desde la Especificación hasta la Implementación
4. 3 Diseño para la Verificación (DFV) y Testbench Avanzados
5. 4 Simulación Funcional y Temporal: Herramientas y Técnicas
6. 5 Metodologías de Validación: Cobertura de Código y de Diseño
7. 6 Técnicas de Validación Formal: Model Checking y Equivalencia
8. 7 Consideraciones de Certificación: DO-254 y Normativas Aeronáuticas
9. 8 Implementación de Pruebas Unitarias y de Integración
20. 9 Análisis de Fallos y Modos de Fallo (FMEA)
22. 20 Documentación y Gestión de la Configuración del Diseño FPGA/ASIC

3.3 Introducción a FPGA/ASIC en Aviónica
3.2 Arquitecturas FPGA/ASIC para Aplicaciones Aeronáuticas
3.3 Ciclo de Vida del Diseño de Sistemas FPGA/ASIC
3.4 Herramientas y Entornos de Desarrollo
3.5 Fundamentos de la Programación en VHDL y Verilog
3.6 Normativas y Estándares Aplicables
3.7 Aplicaciones Típicas en Aviónica
3.8 Tendencias en la Industria

2.3 Metodologías de Verificación: Revisión, Simulación, y Testeo
2.2 Metodologías de Verificación Funcional
2.3 Verificación Formal y Modelado
2.4 Verificación basada en Restricciones
2.5 Diseño para Verificabilidad (DFV)
2.6 Técnicas de Cobertura: Funcional y de Código
2.7 Metodologías de Certificación: DO-254
2.8 Gestión de la Verificación

3.3 Simulación Digital: Entornos y Flujos
3.2 Testbench Avanzados: Creación y Diseño
3.3 Generación Automática de Test Cases
3.4 Depuración de Errores en Simulación
3.5 Pruebas en Hardware (HIL)
3.6 Instrumentación y Monitoreo Avanzado
3.7 Análisis de Resultados y Reportes
3.8 Estrategias de Optimización de Testeo

4.3 Diseño de Sistemas Digitales para Aviónica
4.2 Arquitecturas FPGA/ASIC: Selección y Diseño
4.3 Diseño de Circuitos Digitales: Puertas Lógicas, Flip-Flops
4.4 Implementación en VHDL/Verilog
4.5 Diseño de Componentes IP
4.6 Técnicas de Optimización de Rendimiento
4.7 Consideraciones de Diseño para la Certificación
4.8 Prototipado y Evaluación en Hardware

5.3 Normativas de Certificación Aeronáutica (DO-254, DO-378C)
5.2 Proceso de Certificación: Planificación y Ejecución
5.3 Documentación Requerida para la Certificación
5.4 Análisis de Efectos de Modo y Falla (FMEA)
5.5 Gestión de Configuración y Control de Cambios
5.6 Herramientas para la Certificación
5.7 Auditorías de Certificación
5.8 Cumplimiento de Requisitos Específicos

6.3 Análisis de Requisitos: Especificación y Diseño
6.2 Validación del Diseño: Revisión y Análisis
6.3 Pruebas Estáticas y Dinámicas
6.4 Análisis de Cobertura y Calidad del Código
6.5 Herramientas de Análisis y Validación
6.6 Aseguramiento de la Calidad del Software
6.7 Análisis de Riesgos y Mitigación
6.8 Informes de Análisis y Validación

7.3 Verificación del Diseño a Nivel de Sistema
7.2 Integración de Componentes y Subsistemas
7.3 Pruebas de Interoperabilidad
7.4 Verificación del Rendimiento y Robustez
7.5 Pruebas de Estrés y Carga
7.6 Análisis de Fallos y Recuperación
7.7 Pruebas de Seguridad Funcional
7.8 Conformidad Aeronáutica: Estándares y Regulaciones

8.3 Diseño de Hardware y Software para Aviónica
8.2 Simulación y Testeo Integral
8.3 Pruebas de Hardware: Entorno Real
8.4 Certificación de Sistemas: Proceso y Requisitos
8.5 Pruebas de Vuelo
8.6 Documentación para la Certificación Aeronáutica
8.7 Optimización del Diseño para Certificación
8.8 Cumplimiento de Estándares Aeronáuticos

4.4 Diseño de Sistemas FPGA/ASIC para Aviónica: Introducción y Fundamentos
4.2 Arquitecturas FPGA/ASIC: Selección y Diseño a Nivel de Transferencia de Registros (RTL)
4.3 Implementación de Circuitos Digitales en FPGA/ASIC: Lenguajes de Descripción de Hardware (VHDL/Verilog)
4.4 Simulación y Verificación Funcional de Sistemas FPGA/ASIC
4.5 Testbench y Metodologías de Verificación: Diseño y Desarrollo
4.6 Diseño de Pruebas y Testeo Avanzado para Sistemas FPGA/ASIC
4.7 Integración y Validación en Plataforma Hardware: Entornos de Pruebas
4.8 Certificación y Cumplimiento Normativo en Aviónica: Consideraciones para FPGA/ASIC
4.9 Herramientas de Diseño y Simulación: Flujos de Trabajo y Automatización
4.40 Estudio de Casos: Diseño y Verificación de un Sistema FPGA/ASIC para un Aplicación Aeronáutica

5.5 Metodologías de Verificación: Introducción y Conceptos Fundamentales
5.5 Diseño de Pruebas: Estrategias y Técnicas para FPGA/ASIC
5.3 Simulación y Emulación: Herramientas y Flujos de Trabajo
5.4 Verificación Formal: Métodos y Aplicaciones
5.5 Metodologías de Verificación: Diseño basado en Modelos
5.6 Revisión de Código y Análisis Estático
5.7 Testbench: Creación y Gestión de Entornos de Prueba
5.8 Cobertura de Código y Análisis de Resultados
5.9 Certificación de Hardware: Normativas y Estándares Aeronáuticos
5.50 Integración de Metodologías: Flujos de Trabajo y Mejores Prácticas

6.6 Principios de la ingeniería FPGA/ASIC en Aviónica
6.2 Diseño de sistemas FPGA/ASIC para aplicaciones aeronáuticas
6.3 Verificación integral de diseños FPGA/ASIC
6.4 Metodologías de verificación formal y simulación
6.5 Conformidad aeronáutica y normativas aplicables
6.6 Proceso de certificación para sistemas FPGA/ASIC
6.7 Herramientas y técnicas para la verificación de hardware
6.8 Gestión del ciclo de vida de los sistemas FPGA/ASIC
6.9 Análisis de riesgos y mitigación en proyectos aeronáuticos
6.60 Estudio de casos: aplicación práctica y desafíos