Released on May 28th, 2020
Finding mismatches between design specification and implementation – bugs is a key responsibility of verification engineers. We care about two key aspects of design quality: ensuring that known use cases work properly, and checking that valid but unanticipated use cases don’t result in failures. In a typical constrained-random verification process, we are trying to accomplish both of these goals across the random-regressions and coverage-closure phases of the verification cycle. In this session, we will discuss the benefits of focusing on each of these activities independently, and see how strategy-guided stimulus helps to accomplish this.
What You Will Learn:
- How Questa inFact catches bugs early by focusing on achieving functional coverage goals
- How inFact’s goal-driven approach to stimulus generation can be used to take a structured approach to bug hunting
- How inFact increases regression efficiency
