SPACE - SystemC Partitioning of Architectures for Co-design of Embedded Systems

A company doing a Design Space exploration tool Hardware Software Codesign on FPGA
http://www.spacecodesign.com/products.php

Some Slides -
http://microelectronics.esa.int/core/eslday_2011/8_SpaceStudio_SpaceCodesign.pdf

Related Work for MAMPS
http://www.assert-project.net/-TASTE-