RT Generic
T1 Diseño y simulación de sistemas neuromórficos mediante computación analógica
A1 Magalló Paz, Álvaro
AB Este trabajo presenta el diseño y verificación de un sistema neuromórfico mixto basado en el modelo de Izhikevich, empleando técnicas de verificación formal y simulación electrónica. Se desarrolla un entorno simbólico en Python que permite representar circuitos hardware mediante restricciones lógicas, las cuales son verificadas automáticamente mediante el resolutor SMT Z3. Asimismo, se implementa un banco de pruebas hardware en Siemens PartQuest, que recorre de forma determinista el espacio de entradas para garantizar el cumplimiento funcional. La propuesta sigue los principios establecidos por los estándares DO-254 y DO-333, integrando la trazabilidad normativa, la validación funcional y la comprobación lógica en un mismo entorno. El trabajo demuestra la viabilidad de una metodología combinada basada en modelado simbólico, verificación automatizada y simulación exhaustiva de hardware.
YR 2025
FD 2025-06-16
LK https://hdl.handle.net/20.500.14352/123772
UL https://hdl.handle.net/20.500.14352/123772
LA spa
NO Trabajo de Fin de Grado en Ingeniería Informática, Facultad de Informática UCM, Departamento de Arquitectura de Computadores y Automática, Curso 2024/2025
DS Docta Complutense
RD 26 feb 2026