RTL IP abstraction into optimized embedded software. - Nicola Bombieri; Diego Forrini; Franco Fummi; Matteo Laurenzi; Sara Vinco (EWDTS, 2013)