Diseño y simulación de sistemas neuromórficos mediante computación analógica

Abstract

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.