A Framework for Hardware-Software Co-Design of Embedded Systems
My PhD thesis work contribution has been biased towards the creation of a framework,
developed in C/C++ called metroc, that transforms the conventional design flow
in a flow based on the simulation and synthesis of C/C++
representations developed in progressive refinement steps following
Platform Based Design methodology.