Contrato con empresas (Arts. 68/83 LOU)


Lowering the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector

Responsable: Hipólito Guzmán Miranda
Tipo de Proyecto/Ayuda: Contrato 68/83
Referencia: PI-2485/21/2024
Fecha de Inicio: 01-06-2024
Fecha de Finalización: 31-05-2026

Empresa/Organismo financiador/es:

  • Agencia Espacial Europea
Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla