ALGOS Logo
-Co-VAlidatioN Tool for Embedded Systems (IE02033) (Project Link)
Acronym: Cervantes
Josť Carlos Campos Costa
From 01-Mar-2012 to 28-Feb-2015
Prime Contractor: INESC-ID (Other)
Financed by: FCT (Other)
Partnerships: INESC-ID (Other)
Members: Josť Carlos Campos Costa, Josť Carlos Alves Pereira Monteiro, Paulo Ferreira Godinho Flores


In this project we propose to work at the system-level validation and
produce a tool to automatically generate input test vectors, from a
system-level description in SystemC, that allows a user-specified
coverage to be obtained. We propose also to apply our methodology to
the interaction between a hardware part described in SystemC with an
Instruction Set Simulator which is running the software part. Hence
obtaining true hardware/software co-validation.