F. Sforza

According to our database, F. Sforza authored at least 4 papers between 1989 and 2002.

Collaborative distances:

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

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

Emulation-Based Design Errors Identification.

A. Castelnuovo, Alessandro Fin, Franco Fummi, F. Sforza

Proceedings of the 17th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2002), 2002

2001

A "Design for Verification" Methodology.

F. Sforza, L. Battú, M. Brunelli, A. Castelnuovo, M. Magnaghi

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

1989

The ST18940/41: an advanced single-chip digital signal processor.

A. Picco, J. C. Michalina, B. Laurier, D. Fuin, P. Menut, J. L. Laborie, C. Priol, F. Sforza

Proceedings of the IEEE International Conference on Acoustics, 1989