Hardware Compilation from Machine Code with M2V. - Karl Meier; Alessandro Forin (FCCM, 2008)