A Platform for the Development and the Validation of HW IP Components Starting from Reference Software Specifications. (19th January 2008)