Carlos Federico Morra

A Flexible Framework for Hardware/Software Design Space Exploration using Rewriting-Logic