TY  - THES
AU  - Magalló Paz, Álvaro
A3  - Botella Juan, Guillermo
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/123772
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...
LA  - spa
KW  - Hardware neuromófico
KW  - Verificación formal
KW  - Z3
KW  - VHDL-AMS
KW  - Simulación electrónica
KW  - Sistemas críticos
KW  - DO-254
KW  - Modelado simbólico
KW  - Lógica temporal
KW  - Arquitectura en pipeline
TI  - Diseño y simulación de sistemas neuromórficos mediante computación analógica
M3  - bachelor thesis
ER  -