aborda el diseño integral de plataformas basadas en HDL y HLS, integrando interconexiones AXI y técnicas avanzadas de DMA para optimizar el rendimiento en sistemas embebidos críticos. Este enfoque combina modelado funcional y hardware para aplicaciones en control de vuelo, procesamiento de señales y gestión de datos en tiempo real, contemplando áreas como diseño RTL, síntesis, y verificación formal mediante herramientas EDA y metodologías UVM. El dominio incluye arquitecturas paralelas configurables, interoperabilidad entre módulos y protocolos de comunicación determinísticos, fundamentales en plataformas SoC para aeronaves eVTOL y UAM.
Los laboratorios especializados facilitan simulación HIL/SIL y pruebas físicas con adquisición de datos de alta resolución, asegurando cumplimiento con normativa aplicable internacional para software y hardware críticos, equivalente a estándares como DO-254 y DO-178C. Se garantiza trazabilidad y seguridad funcional conforme a ARP4754A y ARP4761, promoviendo roles profesionales como ingeniero de firmware, verificación, diseño digital, integrador de sistemas embebidos, y analista de seguridad aeroespacial.
2.460 €
Aprenderás a integrar todo el proceso de desarrollo de producto desde la concepción del modelo hasta su validación final, aplicando metodologías centradas en el usuario. Desarrollarás competencias en diseño paramétrico, ergonomía, simulación, materiales sostenibles, visualización 3D y gestión de manufactura, garantizando soluciones eficientes, seguras y alineadas con los estándares industriales actuales.
3. Diseño y Verificación de SoC/FPGA: Dominio de HDL/HLS, AXI y DMA en Sistemas Embebidos.
Requisitos recomendados: conocimientos básicos de programación (C/C++), fundamentos de electrónica digital. Se valorará experiencia en lenguajes HDL (VHDL/Verilog).
1.1 Introducción a la Ingeniería SoC/FPGA: definición, alcance, diferencias entre SoC y FPGA y escenarios de aplicación
1.2 Arquitectura base de SoC/FPGA: CPU/ASIP, lógica programable, memoria, interconexión y bloques de aceleración
1.3 HDL vs HLS: fundamentos, lenguajes, flujos de diseño, cuándo usar cada enfoque
1.4 Flujo de diseño: especificación, codificación, simulación, síntesis, implementación y verificación
1.5 AXI y DMA: conceptos, tipos de AXI (AXI4, AXI4-Stream), motores DMA y patrones de transferencia
1.6 Verificación y validación: plan de pruebas, bancos de pruebas, simulación temporal y funcional, cobertura
1.7 Optimización de rendimiento y consumo: pipelines, parallelismo, gestión de energía, optimización de acceso a memoria
1.8 Integración de software y hardware: dual boot, bare-metal, drivers, co-simulación, debuggers
1.9 Reutilización de IP y gestión de proyectos: IP cores, integración, compatibilidad, trazabilidad y gestión de riesgos
1.10 Caso práctico: go/no-go para un proyecto SoC/FPGA con criterios de evaluación y matriz de decisión
2.1 Fundamentos de SoC/FPGA: arquitectura, bloques y flujo de diseño
2.2 HDL/HLS: lenguajes, herramientas y buenas prácticas de codificación
2.3 AXI y DMA: interconexión, transferencia de datos y control de memoria
2.4 Verificación de HDL/HLS: test benches, simulación y técnicas UVM
2.5 Diseño y verificación de sistemas embebidos: integración de IP y verificación
2.6 Optimización de rendimiento: timing closure, pipeline y paralelismo
2.7 Arquitecturas SoC/FPGA: memoria, controladores y aceleradores
2.8 Estrategias de verificación de sistemas: emulación, prototipos y simuladores
2.9 Diseño para mantenibilidad y trazabilidad: debug, documentación y cambios
2.10 Caso práctico: go/no-go con matriz de riesgos de proyecto
3.1 Introducción a la Arquitectura SoC/FPGA: conceptos, alcance y terminología
3.2 Arquitecturas de referencia: diferencias entre SoC, FPGA y sistemas híbridos
3.3 HDL y HLS: fundamentos, flujos de diseño y criterios de selección
3.4 AXI y DMA: principios de interconexión y transferencia eficiente de datos
3.5 Estructura de un sistema embebido en SoC/FPGA: CPU, aceleradores, memoria y buses
3.6 Proceso de diseño: especificación, simulación, síntesis, implementación y verificación
3.7 Verificación y validación: estrategias de pruebas, testbenches y verificación formal
3.8 Optimización de rendimiento y consumo: técnicas de pipeline, paralelismo y uso eficiente de recursos
3.9 Integración de periféricos y almacenamiento: memoria, dispositivos de E/S y controladores AXI
3.10 Casos de estudio y buenas prácticas: ejemplos de proyectos reales y métricas de éxito
4.1 Fundamentos de SoC/FPGA: visión general, componentes y flujos de desarrollo
4.2 HDL vs HLS: paradigmas, criterios de selección y escenarios de uso
4.3 HDL: Verilog/VHDL: sintaxis, estructuras, estilos de codificación y buenas prácticas
4.4 HLS: modelado en alto nivel (C/C++/SystemC) y generación de RTL
4.5 AXI: introducción a AXI4, AXI4-Lite y AXI4-Stream, roles de maestro y esclavo
4.6 AXI4-Lite y AXI4-Stream: mecanismos de negociación, canales y ejemplos de interfaz
4.7 DMA: controladores DMA, transferencia de datos, buffering y latencia
4.8 Interconexión SoC: AXI interconnect, bridges, coherencia y latencia de ruta
4.9 Verificación de interfaces y sistemas: testbenches, simulación, verificación de protocolo
4.10 Optimización, timing y validación: constraints de síntesis, timing closure, optimización de área y rendimiento
5.1 Introducción a SoC/FPGA y su Aplicación en Sistemas Embebidos.
5.2 Conceptos Clave de Hardware Description Languages (HDL).
5.3 Entornos de Desarrollo y Herramientas de Simulación.
5.4 Estructura Interna de una FPGA y sus Componentes Fundamentales.
5.5 Diseño de Circuitos Digitales con HDL: Puertas Lógicas, Flip-Flops, Registros.
5.6 Implementación de Máquinas de Estados Finitos (MEF) en HDL.
5.7 Fundamentos de AXI: Introducción a la Interconexión en Sistemas SoC/FPGA.
5.8 Conceptos Básicos de DMA (Acceso Directo a Memoria) y su Importancia.
5.9 Procesos de Verificación y Simulación de Diseños HDL.
5.10 Primeros Proyectos Prácticos: Diseño de Sistemas Digitales Simples en HDL.
6.1 Introducción a SoC/FPGA: Conceptos fundamentales y arquitecturas.
6.2 Introducción a HDL (VHDL/Verilog): Sintaxis, simulación y flujos de diseño.
6.3 Introducción a HLS (High-Level Synthesis): Conceptos, ventajas y herramientas.
6.4 Diseño de Bloques Lógicos con HDL: Implementación de funciones básicas.
6.5 Diseño de Bloques Lógicos con HLS: Creación de aceleradores hardware.
6.6 Verificación y Simulación: Estrategias y herramientas para el diseño.
6.7 Flujos de Diseño Típicos: Desde la especificación hasta la implementación.
6.8 Optimización Básica: Técnicas para mejorar el rendimiento y recursos.
6.9 Introducción a AXI: Protocolo de interconexión y su importancia.
6.10 Fundamentos de DMA: Transferencia eficiente de datos en sistemas.
7.1 Introducción a SoC/FPGA: Arquitectura, aplicaciones y ventajas en sistemas embebidos.
7.2 Lenguajes de descripción de hardware (HDL): VHDL y Verilog, sintaxis y estructuras básicas.
7.3 Diseño de circuitos digitales: Puertas lógicas, flip-flops, registros, y máquinas de estados finitos (FSM).
7.4 Herramientas de diseño y simulación: Entornos de desarrollo (IDE), simuladores y síntesis.
7.5 Proceso de diseño con HDL: Especificación, codificación, simulación, síntesis, implementación y verificación.
7.6 Conceptos clave: Reloj, reset, pines de entrada/salida (I/O), y manejo de señales.
7.7 Estructura de un proyecto SoC/FPGA: Jerarquía de diseño, módulos, y bibliotecas.
7.8 Diseño de circuitos combinacionales: Decodificadores, codificadores, multiplexores y demultiplexores.
7.9 Introducción a las estructuras de memoria: RAM, ROM y su implementación en FPGA.
7.10 Primeros pasos en HDL: Ejemplos prácticos y ejercicios de diseño.
8.1 Introducción a SoC/FPGA: Arquitectura y Componentes Clave
8.2 Lógica Programable: Conceptos de HDL (VHDL/Verilog)
8.3 Introducción a HLS (Alto Nivel de Síntesis)
8.4 Flujos de Diseño SoC/FPGA: Herramientas y Metodologías
8.5 Entornos de Desarrollo: IDE y Simuladores
8.6 Estructura de Datos y Tipos de Datos en HDL
8.7 Operaciones Lógicas y Aritméticas en HDL
8.8 Diseño de Circuitos Combinacionales con HDL
8.9 Diseño de Circuitos Secuenciales con HDL
8.10 Introducción a la Verificación y Simulación de RT
9.1 Fundamentos de Hardware Description Languages (HDL) y High-Level Synthesis (HLS)
9.2 Diseño de Circuitos Digitales con HDL (VHDL/Verilog)
9.3 Introducción a la Síntesis de Alto Nivel (HLS) para SoC/FPGA
9.4 Herramientas de Diseño y Simulación para SoC/FPGA
9.5 Metodologías de Verificación de Circuitos Digitales
9.6 Testbenches y Técnicas de Verificación
9.7 Verificación Funcional y Temporal con HDL
9.8 Conceptos de Depuración y Debugging en Diseño SoC/FPGA
9.9 Flujo de Diseño Completo: Desde la Especificación a la Implementación
9.10 Estudios de Caso: Diseño y Verificación de Módulos SoC/FPGA
10.1 Introducción a SoC/FPGA: Arquitectura y Ventajas para Sistemas Embebidos.
10.2 Ciclo de Diseño y Flujo de Trabajo para SoC/FPGA.
10.3 Lenguajes de Descripción Hardware (HDL): VHDL y Verilog.
10.4 Herramientas de Diseño: Entornos de Desarrollo Integrados (IDE).
10.5 Modelado de Hardware: Diseño y Simulación.
10.6 Procesos de Verificación: Simulación, Emulación y Pruebas en Hardware.
10.7 Conceptos de Síntesis: Lógica Combinacional y Secuencial.
10.8 Optimización para Rendimiento y Consumo de Energía.
10.9 Introducción a la Interconexión: Buses AXI y DMA.
10.10 Casos de Estudio: Aplicaciones Típicas de SoC/FPGA.
DO-160: plan de ensayos ambientales (vibración, temperatura, EMI, rayos/HIRF) y mitigación.
DO-160: plan de ensayos ambientales (vibración, temperatura, EMI, rayos/HIRF) y mitigación.
Director Académico del DSD — SEIUM Design & Industrial Design Institute
Profesor de Diseño Industrial, Diseño de Vehículos, Transportation Design, UX/HMI, Color & Trim, Iluminación y Desarrollo de Producto
El Prof. Luca Benedetti, de nacionalidad italiana, es Director Académico del DSD — SEIUM Design & Industrial Design Institute y responsable de diseño industrial, de producto y vehículos, experiencia de usuario, interacción persona-máquina, interfaces HMI, Color & Trim y prototipado.
Director Académico del SRA — SEIUM Robotics & Autonomous Systems Institute
Profesor de Robótica, Automatización Inteligente, Sistemas Autónomos, Percepción Artificial, Control Avanzado y Mecatrónica.
El Prof. Kenji Takahashi, de nacionalidad japonesa, es Director Académico del SRA — SEIUM Robotics & Autonomous Systems Institute y responsable de robótica industrial, robots móviles, mecatrónica, control avanzado, percepción artificial, navegación e inteligencia embebida y autónoma.
Directora Académica del DAIS — SEIUM Data, Artificial Intelligence & Simulation Institute
Profesora de Inteligencia Artificial, Ciencia de Datos, Ingeniería de Datos, MLOps, Simulación, Gemelos Digitales y Computación Científica
La Dra. Lucía Hernández Vega, de nacionalidad española, es Directora Académica del DAIS — SEIUM Data, Artificial Intelligence & Simulation Institute y responsable de inteligencia artificial, ciencia e ingeniería de datos, visión artificial, IA generativa, MLOps y gemelos digitales.
Director Académico del EET — SEIUM Electronics & Embedded Technologies Institute
Profesor de Electrónica, Sistemas Embebidos, Telecomunicaciones, Diseño de Hardware, FPGA, IoT y Sistemas de Tiempo Real
El Dr. Kevin O’Connor, de nacionalidad irlandesa, es Director Académico del EET — SEIUM Electronics & Embedded Technologies Institute y responsable de electrónica, sistemas embebidos, telecomunicaciones, diseño de circuitos, microcontroladores, FPGA, IoT y desarrollo de hardware electrónico.
Director Académico del SNO — SEIUM Naval & Offshore Institute
Profesor de Arquitectura Naval, Ingeniería Marítima, Sistemas de Propulsión, Construcción Naval e Ingeniería Offshore
El Dr. Javier Ferrer Salvatierra, de nacionalidad española, es Director Académico del SNO — SEIUM Naval & Offshore Institute y responsable de arquitectura naval, ingeniería marítima, construcción, propulsión, sistemas auxiliares, ingeniería offshore, seguridad y descarbonización marítima.
Directora Académica del RSC — SEIUM Rail & Smart Cities Institute
Profesora de Ingeniería Ferroviaria, Señalización, Movilidad Urbana, Infraestructuras Inteligentes y Sistemas de Transporte
La Dra. Isabel Martín Robles, de nacionalidad española, es Directora Académica del RSC — SEIUM Rail & Smart Cities Institute y profesora responsable de las áreas de ingeniería ferroviaria, señalización, sistemas de control del tráfico, movilidad urbana, transporte inteligente, infraestructuras conectadas y planificación de ciudades inteligentes.
Director Académico del SEN — SEIUM Energy & Networks Institute
Profesor de Sistemas Eléctricos de Potencia, Smart Grids, Energías Renovables, Almacenamiento y Digitalización de Redes
El Dr. Carlos Navarro Sanz, de nacionalidad española, es Director Académico del SEN — SEIUM Energy & Networks Institute y responsable de sistemas eléctricos, redes inteligentes, renovables, almacenamiento, operación, protecciones, subestaciones, digitalización y planificación energética.
Director Académico del Departamento PTW — Motorcycle & Two-Wheel Engineering
Profesor de Ingeniería de Motocicletas, Dinámica de Vehículos de Dos Ruedas, Chasis, Suspensiones y Sistemas de Propulsión
El Prof. Hiroshi Nakamura, de nacionalidad japonesa, es Director Académico del Dpto. de Motorcycle & Two-Wheel Engineering — PTW de SEIUM y responsable de ingeniería de motocicletas, dinámica, chasis, suspensiones, propulsión térmica y eléctrica, telemetría y validación experimental.
Director Académico del SAS — SEIUM Aero & Space Institute
Profesor de Ingeniería Aeroespacial, Helicópteros, Tiltrotor, eVTOL, Aviónica y Sistemas de Vuelo
El Dr. James Whitmore, de nacionalidad británica, es Director Académico del SAS — SEIUM Aero & Space Institute y responsable de ingeniería aeroespacial, diseño de aeronaves, helicópteros, eVTOL, movilidad aérea, aviónica, control de vuelo, sistemas espaciales y certificación.
Director Académico del Departamento EMH — Electromobility, Batteries & Hydrogen
Profesor de Electromovilidad, Ingeniería de Baterías, Sistemas BMS, Electrónica de Potencia e Hidrógeno Aplicado a la Movilidad
El Dr. Markus Schneider, de nacionalidad alemana, es Director Académico del Dpto. de Electromobility, Batteries & Hydrogen — EMH de SEIUM y responsable de electromovilidad, baterías, BMS, electrónica de potencia, infraestructura de recarga e hidrógeno aplicado al transporte.
Director Académico del SEIUM MotorSport Institute — SMI
Profesor de Ingeniería Motorsport, Dinámica Vehicular, Aerodinámica de Competición y Race Performance Engineering
El Dr. Alessandro Moretti, de nacionalidad italiana, es Director Académico del SEIUM MotorSport Institute — SMI y responsable de ingeniería motorsport, dinámica vehicular, aerodinámica de competición, chasis, suspensiones, telemetría y optimización del rendimiento en pista.
Consulta “Calendario & convocatorias”, “Becas & ayudas” y “Tasas & financiación” en el mega-menú de SEIUM
Nuestro equipo está listo para ayudarte. Contáctanos y te responderemos lo antes posible.
Si, contamos con certificacion internacional
Sí: modelos experimentales, datos reales, simulaciones aplicadas, entornos profesionales, casos de estudio reales.
No es obligatoria. Ofrecemos tracks de nivelación y tutorización
Totalmente. Cubre e-propulsión, integración y normativa emergente (SC-VTOL).
Recomendado. También hay retos internos y consorcios.
Sí. Modalidad online/híbrida con laboratorios planificados y soporte de visados (ver “Visado & residencia”).
Testimonios de clientes que avalan nuestra calificación