Franco Toto

According to our database, Franco Toto authored at least 5 papers between 2001 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Coverage of formal properties based on a high-level fault model and functional ATPG.

Franco Fummi, Graziano Pravadelli, Franco Toto

Proceedings of the 10th European Test Symposium, 2005

2003

On the Use of a High-Level Fault Model to Check Properties Incompleteness.

Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

2002

A 1000X speed up for properties completeness evaluation.

A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

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

Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto

Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

2001

Concrete Impact of Formal Verification on Quality in IP Design and Implementation.

Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto

Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001