TY  - THES
AU  - Magalló Paz, Álvaro
A3  - Botella Juan, Guillermo
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/124125
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...
AB  - This work presents the design and verification of a mixed neuromorphic system based on the Izhikevich model, using formal verification techniques and electronic simulation. A symbolic environment in Python is developed, allowing hardware circuits to...
LA  - spa
KW  - Hardware neuromórfico
KW  - Verificacion formal
KW  - Z3
KW  - VHDL-AMS
KW  - Simulación electrónica
KW  - Sistemas críticos
KW  - DO-254
KW  - Modelado simbolico
KW  - Lógica temporal
KW  - Arquitectura en pipeline
KW  - Neuromorphic hardware
KW  - Formal verification
KW  - Z3
KW  - VHDL-AMS
KW  - Electronic simulation
KW  - Safety-critical systems
KW  - DO-254
KW  - Symbolic modeling
KW  - Temporal logic
KW  - Pipeline architecture
TI  - Diseño y simulación de sistemas neuromórficos  mediante computación analógica
M3  - bachelor thesis
ER  -