An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. - Michele Borgatti; Andrea Capello; Umberto Rossi; Jean-Luc Lambert; Imed Moussa; Franco Fummi; Graziano Pravadelli (DATE, 2004)