A Verification Methodology for Reconfigurable Systems

Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli. A Verification Methodology for Reconfigurable Systems. In Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), Common Challenges and Solutions, 08-10 September 2004, Austin, Texas, USA. pages 85-90, IEEE Computer Society, 2004. [doi]

Authors

Michele Borgatti

This author has not been identified. Look up 'Michele Borgatti' in Google

Andrea Fedeli

This author has not been identified. Look up 'Andrea Fedeli' in Google

Umberto Rossi

This author has not been identified. Look up 'Umberto Rossi' in Google

Jean-Luc Lambert

This author has not been identified. Look up 'Jean-Luc Lambert' in Google

Imed Moussa

This author has not been identified. Look up 'Imed Moussa' in Google

Franco Fummi

This author has not been identified. Look up 'Franco Fummi' in Google

Cristina Marconcini

This author has not been identified. Look up 'Cristina Marconcini' in Google

Graziano Pravadelli

This author has not been identified. Look up 'Graziano Pravadelli' in Google