Ingeniería de Arquitecturas SoC/FPGA para Sistemas Embebidos

Sobre nuestro Ingeniería de Arquitecturas SoC/FPGA para Sistemas Embebidos

Ingeniería de Arquitecturas SoC/FPGA para Sistemas Embebidos

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.

Sistemas Embebidos
Ingeniería de Arquitecturas SoC/FPGA para Sistemas Embebidos

2.460 

Competencias y resultados

Qué aprenderás

1. Dominio SoC/FPGA: Diseño, Verificación y Optimización con HDL/HLS, AXI y DMA.

  • Diseñar módulos SoC/FPGA con HDL y HDL/HLS, integrando AXI y DMA para optimizar latencia y rendimiento.
  • Verificar funcionalidad y rendimiento de SoC/FPGA mediante HDL y HDL/HLS, con AXI y DMA usando testbenches y verificación para cobertura.
  • Optimizar diseño SoC/FPGA mediante síntesis, place-and-route y timing closure, aprovechando HLS para pipeline, y gestionando AXI interconnect y DMA para transferencias eficientes.

1. Ingeniería de Sistemas Embebidos: Arquitecturas SoC/FPGA Avanzadas con HDL/HLS, AXI, DMA y Verificación.

  • Analizar arquitecturas SoC/FPGA avanzadas con HDL/HLS, AXI y DMA, y estrategias de verificación a nivel de hardware.
  • Diseñar y sintetizar componentes HDL y modelos HLS para interfaces AXI y control de DMA, con pruebas de verificación y validación de integración.
  • Implementar y mantener flujos de desarrollo con herramientas de verificación, pruebas de rendimiento y validación de firmware/software en entornos SoC/FPGA.

3. Diseño y validación integral orientado al usuario (del modelado a la manufactura)

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. Dominio de SoC/FPGA: Diseño, Verificación y Optimización con HDL/HLS, AXI y DMA para Sistemas Embebidos.

  • Analizar la arquitectura SoC/FPGA y los flujos HDL/HLS, con interfaces AXI y DMA para Sistemas Embebidos y su verificación inicial.
  • Diseñar y verificar bloques con HDL/HLS, optimizando el tráfico entre AXI y DMA para lograr menor latencia y mayor rendimiento.
  • Implementar metodologías de verificación y optimización en HDL/HLS, con pruebas de integración y emulación, asegurando robustez y seguridad en Sistemas Embebidos.

3. Arquitectura y Diseño SoC/FPGA: HDL/HLS, AXI, DMA y Verificación para Sistemas Embebidos.

  • Analizar HDL/HLS y su integración con AXI interconexiones y DMA para sistemas embebidos.
  • Diseñar arquitecturas SoC/FPGA con pipelines y partición hardware/software, implementando AXI buses y DMA con IP cores optimizados para rendimiento.
  • Verificar y validar flujos de HDL/HLS mediante verificación de hardware y software, simulación y depuración de AXI y DMA en entornos embebidos.

3. Diseño y Verificación de SoC/FPGA: Dominio de HDL/HLS, AXI y DMA en Sistemas Embebidos.

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.

Sistemas Embebidos

Para quien va dirigido nuestro:

Ingeniería de Arquitecturas SoC/FPGA para Sistemas Embebidos

  • Ingenieros/as titulados en Electrónica, Telecomunicaciones, Informática, o áreas similares.
  • Profesionales con experiencia en el diseño y desarrollo de sistemas embebidos que deseen profundizar en arquitecturas SoC/FPGA.
  • Ingenieros de hardware y software que busquen mejorar sus habilidades en el manejo de herramientas HDL/HLS y el diseño de sistemas complejos.
  • Investigadores y desarrolladores que trabajen en el ámbito de la robótica, automatización, y sistemas de control.

Requisitos recomendados: conocimientos básicos de programación (C/C++), fundamentos de electrónica digital. Se valorará experiencia en lenguajes HDL (VHDL/Verilog).

  • Standards-driven curriculum: trabajarás con CS-27/CS-29, DO-160, DO-178C/DO-254, ARP4754A/ARP4761, ADS-33E-PRF desde el primer módulo.
  • Laboratorios acreditables (EN ISO/IEC 17025) con banco de rotor, EMC/Lightning pre-compliance, HIL/SIL, vibraciones/acústica.
  • TFM orientado a evidencia: safety case, test plan, compliance dossier y límites operativos.
  • Mentorado por industria: docentes con trayectoria en rotorcraft, tiltrotor, eVTOL/UAM y flight test.
  • Modalidad flexible (híbrido/online), cohortes internacionales y soporte de SEIUM Career Services.
  • Ética y seguridad: enfoque safety-by-design, ciber-OT, DIH y cumplimiento como pilares.

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.

  • Metodología hands-on: test-before-you-trust, design reviews, failure analysis, compliance evidence.
  • Software (según licencias/partners): MATLAB/Simulink, Python (NumPy/SciPy), OpenVSP, SU2/OpenFOAM, Nastran/Abaqus, AMESim/Modelica, herramientas de acústica, toolchains de planificación DO-178C.
  • Laboratorios SEIUM: banco de rotor a escala, vibraciones/acústica, EMC/Lightning pre-compliance, HIL/SIL para AFCS, adquisición de datos con strain gauging.
  • Estándares y cumplimiento: EN 9100, 17025, ISO 27001, GDPR.

Proyectos tipo capstones

Admisiones, tasas y becas

  • Documentación: CV actualizado, expediente académico, SOP/ensayo de propósitoejemplos de proyectos o código (opcional).
  • Proceso: solicitud → evaluación técnica de perfil y experiencia → entrevista técnica → revisión de casos prácticos → decisión final → matrícula.
  • Tasas:
  • Pago único10% de descuento.
  • Becas: por mérito académico, situación económica y fomento de la inclusión; convenios con empresas del sector para becas parciales o totales.

Consulta “Calendario & convocatorias”“Becas & ayudas” y “Tasas & financiación” en el mega-menú de SEIUM

¿Tienes dudas?

Nuestro equipo está listo para ayudarte. Contáctanos y te responderemos lo antes posible.

Por favor, activa JavaScript en tu navegador para completar este formulario.

F. A. Q

Preguntas frecuentes

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”).