A flexible framework for hardware, software design space exploration using rewriting logic. - Carlos Federico Morra (2010)