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