Franco Toto

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Franco Fummi, Graziano Pravadelli, Franco Toto
Coverage of formal properties based on a high-level fault model and functional ATPG. ETS (2005)
Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto
On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE (2003)
Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto
An error simulation based approach to measure error coverage of formal properties. ACM Great Lakes Symposium on VLSI (2002)
A. Castelnuovo, Andrea Fedeli, Alessandro Fin, Franco Fummi, Graziano Pravadelli, Umberto Rossi, F. Sforza, Franco Toto
A 1000X speed up for properties completeness evaluation. HLDVT (2002)
Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto
Concrete Impact of Formal Verification on Quality in IP Design and Implementation. ISQED (2001)