Model-based design for test vector verification

To meet the needs of a competitive marketplace, model-based design is increasingly being adopted by companies. The use of computational models throughout the system design process accelerates development and increases quality by executable specifications, broader and automatic exploration of the design space, and high-level verification and validation. This paper shows how coverage technologies used in model-based design can be exploited in the verification and selection of test vectors used to troubleshoot faulty equipment