U. Rossi

An integrated design and verification methodology for reconfigurable multimedia systems

Imed Moussa, Franco Fummi, Graziano Pravadelli, 2005, Design, Automation and Test in Europe.

A verification methodology for reconfigurable systems

Imed Moussa, Franco Fummi, Graziano Pravadelli, 2004, Fifth International Workshop on Microprocessor Test and Verification (MTV'04).

On the use of a high-level fault model to check properties incompleteness

Franco Fummi, Graziano Pravadelli, Umberto Rossi, 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..

A 1000X speed up for properties completeness evaluation

Franco Fummi, Graziano Pravadelli, Umberto Rossi, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

An error simulation based approach to measure error coverage of formal properties

Franco Fummi, Graziano Pravadelli, Umberto Rossi, 2002, GLSVLSI '02.

Concrete impact of formal verification on quality in IP design and implementation

Umberto Rossi, Franco Toto, Marco Boschini, 2001, Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design.