A "Design for Verification" Methodology. - F. Sforza; L. Battú; M. Brunelli; A. Castelnuovo; M. Magnaghi (ISQED, 2001)