HOW GOOD IS MY VERIFICATION ENVIRONMENT?
Assessing Verification Quality and Completeness Using Mutation-Based Techniques
Today's leading-edge designs are verified by sophisticated and diverse verification environments, the complexity of which often rivals or exceeds that of the design itself. Despite advancements in the area of stimulus generation and coverage, existing techniques provide no comprehensive, objective measurement of the quality of your verification environment. They do not tell you how good your testbench is at propagating the effects of bugs to observable outputs or detecting the presence of bugs. The result is that decisions about when you are "done" verifying are often based on partial data or "gut feel" assessments. These shortcomings have led to the development of a new approach, known as Functional Qualification, which provides an objective measure of the quality of your verification environment and guidance on how to improve it.
This seminar provides background information on mutation-based techniques - the technology behind Functional Qualification - and how they are applied to assess the quality of your verification environment. We'll discuss the problems and weaknesses that Functional Qualification exposes and how they translate into fixes and improvements that give you more confidence in the effectiveness of your verification efforts. We'll also show a brief demonstration of the CertitudeTM system, the industry's first Functional Qualification solution.
Join us on Tuesday, July 28 @ 2PM
