The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems. - Alessandro Balboni; William Fornaciari; Massimo Vincenzi; Donatella Sciuto (ISSS, 1996)