Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification

• Autores: X. Xu
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 89, Nº 12, 2006, págs. 3451-3457
• Idioma: inglés
• Texto completo no disponible (Saber más ...)